当期目录

    

1997年 第33卷 第5期 刊出日期：1997-09-20

上一期   下一期

程序设计语言的抽象与语言族模型

张乃孝, 郑红军

1997, 33(5):  650-657. 

摘要 ( )  

相关文章 | 计量指标

程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念，在建立的语言之代数模型下，给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义，并提出了在这3种关系下构成的语言族模型，作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。

粘性分离格式中压力的收敛性

应隆安

1997, 33(5):  545-553. 

摘要 ( )  

相关文章 | 计量指标

考虑Navier-Stokes方程的三维初边值问题。在每一个时间步方程分离为一个Euler方程和一个非定常的Stokes方程。在原问题具有一个光滑解的假设下，得到了压力的误差的L²模估计。

关于离散激波非线性稳定性的一个注记

周铁

1997, 33(5):  554-560. 

摘要 ( )  

相关文章 | 计量指标

多年以来，近似双曲型守恒律方程的严格单调差分格式的离散激波的渐近稳定性一直被普遍认为已经得到解决。但事实上前人的工作中，不论是结论的叙述，还是证明，都或多或少地存在一些错误。本文给出了这一结果的正确叙述和严格证明，从而澄清了多年来的错误认识。

关于n年期寿险的极限分布

杨静平, 吴岚

1997, 33(5):  561-566. 

摘要 ( )  

相关文章 | 计量指标

讨论了n年期寿险的总体索赔量的极限分布。在利息力为白噪声条件下，得到了极限分布的密度函数的递推公式。

任意扇形问题的级数解法

严湘赣, 武际可

1997, 33(5):  567-573. 

摘要 ( )  

相关文章 | 计量指标

从位移场带奇性分离的Fourier级数表达式着手，得到扇形问题可实际操作的解析解，可以证明此级数解法与Williams分离变量法等价。对于任意尺度的扇形，只要内外弧边界上应力边界条件能被展开成Fourier级数，便可求解。Williams分离变量法中的非线性的特征方程转化成了多项式方程。

不等温长输管道泄漏定位理论

唐秀家

1997, 33(5):  574-580. 

摘要 ( )  

相关文章 | 计量指标

通过对入口流体高于环境温度长输管道的沿程热量散失分析，建立了考虑流态、粘度、密度、热容等随温度变化的流体输运管道热力模型和考虑摩擦功热转换的水力模型，针对我国高凝点、高含蜡、高粘度"三高"原油首次提出以管网SCADA实测参数为边界条件，以管道沿程热力、水力微分方程为模型的热输管道泄漏检测定位方法。在油田现场进行的实验证明了该方法的有效性和准确性。

多项式族的鲁棒振动性分析

郁文生, 黄琳

1997, 33(5):  581-586. 

摘要 ( )  

相关文章 | 计量指标

讨论了多项式族的鲁棒振动性。针对凸多面体多项式族，指出在一定条件下，其整族多项式的鲁棒振动性可由其顶点多项式振动性检验得到，对于区间多项式族和菱形多项式族，需要检验的顶点多项式数目还可进一步减少。反例表明，这些顶点检验结果不能直接推广到多项式族的根均不在一给定直线上的情形。

Hellmann-Feynman公式的推广

朱武生, 赵新生

1997, 33(5):  587-591. 

摘要 ( )  

相关文章 | 计量指标

将不含时间的Hellmann-Feynman公式推广到显含时间的体系，找到了Berry相因子与推广的Hellmann-Feynman公式的关系，并探索了推广的Hellmann-Feynman公式在散射的逆问题中应用的可能性。

SnO₂纳米晶簇室温带隙测定

王德煌, 程虎民, 梁瑞生, 唐志列

1997, 33(5):  592-594. 

摘要 ( )  

相关文章 | 计量指标

实验测定了平均直径6nm和10nm的SnO₂纳米晶簇室温带隙值，得到其大小分别是3.493eV和3.307eV，并与有效质量近似法计算结果进行对比研究。

双向平均光速各向同性的实验检验

陈绍光, 刘宝诚, 易鹤龄, 陈赋, 胡可心, 陆其鹄<, 易孙圣, 彭文豪, 邹文栋, 祝裕斌

1997, 33(5):  595-599. 

摘要 ( )  

相关文章 | 计量指标

用抗共模干扰的激光拍频法使激光器频率不稳定引起的拍频误差减小到ΔV／V＜2×10^-20。用外差移频技术实现周期的细分，再辅以微机存贮技术使频率差分辨率达到1×10^-4Hz。实验检验双向平均光速各向同性达到ΔC／C＜1×10^-18的精度。这一实验结果比国外最高的检验精度ΔC／C≤2.5×10^-15高出了2500倍。

气温变化的层次结构的外部成因浅析

辛国君

1997, 33(5):  600-605. 

摘要 ( )  

相关文章 | 计量指标

利用近百年来大气中CO₂含量、太阳活动和强火山活动的历史资料，对照南北半球气温变化的层次结构，发现北半球在1924年、南半球在1939年发生的大尺度冷暖突变，CO₂气体的温室效应不是主要的强迫因素，也不太可能是由太阳常数的较大天文改变引起的，它与强火山活动有着密切关系。北半球1924年前的大冷期内中等冷期对应着中低纬强火山爆发，中等暖期对应着中高纬强火山爆发，对应关系明显。南半球中等尺度的冷暖突变与年平均相对黑子数准11.2年的周期有着明显的对应关系。

强流离子直线加速器中球形混沌与束晕的形成

刘濮鲲, 方家训, 陈佳洱

1997, 33(5):  606-612. 

摘要 ( )  

相关文章 | 计量指标

强流离子直线加速器因其可作为次临界装置的驱动器，近来在放射性洁净核能系统等方面的应用中出现了一些新的动向，引起人们极大的关注。同时，这些新的应用对加速器低束损也提出了苛刻的要求，使得对粒子损失的主要来源之一的束晕问题的研究成为当前加速器物理研究中的热点。本文采用束核-试验粒子模型，通过在哈密顿动力学系统中同时求解KV包络方程和Hill方程，单向自洽地研究了空间电荷控制的束流的传输问题。借助Poincare映射技术和Lyapunov指数，对粒子在相空间的运动进行了数值分析。结果表明，失配的包络振荡是引起粒子哈密顿参量共振的前提，而共振条件则只决定于有效空间电荷参数。参量共振的发展导致束核附近的粒子运动出现混沌。随着球形混沌的演化，使更多位于KV包络附近的粒子成为束晕粒子。结果同时显示，束晕具有再生性，而且在二维情况下是有界的。

固体中的原子相关性和Bragg衍射

王德和

1997, 33(5):  613-620. 

摘要 ( )  

相关文章 | 计量指标

提出一个描述固体结构的新方法——原子相关性方法。给出原子相关性、相关性基矢、相关性格子及其倒格子的定义，分析对比原子相关性在晶体、准晶和非晶中的不同表现。从原子相关性出发讨论了固体的衍射问题，说明准晶也能产生明锐的Bragg衍射并导出普遍形式的Laue方程。

波长路由波分复用环形网阻塞特性研究

张侃, 徐安士, 吴德明, 谢麟振

1997, 33(5):  621-626. 

摘要 ( )  

相关文章 | 计量指标

对光纤通信系统中的环形波长路由光网络进行了性能分析，通过对在不同资源情况下该网络阻塞率的计算，发现可以在有限的波长数和收发器资源下实现较高的网络性能。文章并对波长路由WDM光纤网络的资源分配算法进行了初步探讨。

一种客观音质评价的新方法

吴淑珍, POLS L C W

1997, 33(5):  627-632. 

摘要 ( )  

相关文章 | 计量指标

主要讨论了一种使用语音频谱动态特性的倒谱距离测量对通信系统或通信设备进行客观音质评价方法。它是在使用LPC倒谱距离评价普通话语音质量的基础上发展起来的。语音频谱动态特性是利用倒谱对时间的回归分析来表示的。这种度量方法中，使用倒谱系数，倒谱回归系数和能量回归系数3个参数的距离测量；在使用了谱包络信息的基础上，考虑到了谱包络随时间的变化量及信号能量随时间的变化。比较了4种距离估算方法和主观音质评价(MOS)的相关性，实验结果表明：这种度量方法最好，明显优于LPC倒谱距离度量方法。

高离化类锂离子(Z=72～75)的态-态双电子复合

叶安培, 马美仲

1997, 33(5):  633-640. 

摘要 ( )  

相关文章 | 计量指标

基于相对论多组态HF程序，采用畸变波理论和独立共振近似，计算了0.1～9.0keV温度范围的类锂高电荷离子Hf⁶⁹⁺，Ta⁷⁰⁺，W⁷¹⁺和Re⁷²⁺对应于原子实Δn=0，1激发的态-态双电子复合速率系数。讨论了复合速率系数随电子温度，原子序数，复合类型以及双激发态中俘获电子的主量子数的变化关系。计算结果表明，不同复合通道的速率系数存在很大差异。由此提出了通过双电子复合过程来实现高电荷等离子体中粒子数反转的可能性。

基于PC的虚拟现实系统开发平台——PCVRS

王宏武, 蒋宇全, 董士海

1997, 33(5):  641-649. 

摘要 ( )  

相关文章 | 计量指标

介绍了一个基于PC的虚拟现实系统开发平台PCVRS。对比国外同类系统，具体分析了PCVRS在交互功能和开放性方面的特点。在交互功能方面，PCVRS扩充了Pick & Play的交互方式，增加了语音通道，实现了多通道交互。在开放性方面，PCVRS采用了Internet上流行的虚拟现实造型语言VRML作为系统的基本造型语言，并设计了一个抽象的造型数据格式作为向三维场景提供数据的统一接口。最后，通过对基于该平台开发的应用实例VRBrowser性能的测试，表明在场景不复杂、输出效果要求不高的应用中，PCVRS能获得较好的交互性能。

构造演算以及它在受囿算子系统中的公理化

孙踊

1997, 33(5):  658-668. 

摘要 ( )  

相关文章 | 计量指标

首先简略介绍Coquand和Huet的构造演算以及Plotkin和孙踊的受囿算子系统。然后，将构造演算在受囿算子系统中进行公理化。此公理化无需无限级(数据)类型结构。原则上，可以在原构造演算的type空间之上引入kind空间。但是，不允许在kind上使用量词，也不允许引入y: kind。从技术上说，将忠实地把构造演算翻译进受囿算子系统中去。为了能对构造演算中的Π类型受予受囿算子系统中的类型，不得不引入新的=>算子。举例来说，构造演算中的Πx:M.N可用受囿算子系统中的Πy.u:t=>v来表达。其中，x对应于y, M对应于t，以及N对应于u。其结果是受囿算子系统具有足够的能力为构造演算提供一个等值逻辑演算环境。

标度对称性

刘式达, 刘式适

1997, 33(5):  669-680. 

摘要 ( )  

相关文章 | 计量指标

标度对称性是无特征尺度现象的主要特征。海岸线、湍流、临界相变等问题中都有。对动力系统作标度变换可以找出不变量。在混沌模型中从自相似变换中找出了Feigenbaum常数这个有意义的不变量。在气候资料中冷暖是随时间尺度而变化的，但也存在不变量。标度对称性在数学上可以看成是不断重复的迭代映射，在生物学上可以看成是像兔子繁殖一样的Fibonacci数的自我复制。标度变换的自相似和自然界广泛存在的螺旋结构相联系。

标度对称性

刘式达, 刘式适

1997, 33(5):  669-680. 

摘要 ( )  

相关文章 | 计量指标

标度对称性是无特征尺度现象的主要特征。海岸线、湍流、临界相变等问题中都有。对动力系统作标度变换可以找出不变量。在混沌模型中从自相似变换中找出了Feigenbaum常数这个有意义的不变量。在气候资料中冷暖是随时间尺度而变化的，但也存在不变量。标度对称性在数学上可以看成是不断重复的迭代映射，在生物学上可以看成是像兔子繁殖一样的Fibonacci数的自我复制。标度变换的自相似和自然界广泛存在的螺旋结构相联系。