真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

金属颗粒-半导体膜Cu:CdS的制备及结构研究

利用磁控溅射产生金属Cu团簇，同时蒸发半导体介质CdS，将Cu团簇包埋在CdS介质中，制备出金属颗粒 半导体膜．团簇大小可通过改变溅射气压控制．用TEM研究了嵌埋团簇的结构．分析表明：CdS很好地包埋了Cu团簇，都呈多晶结构；团簇尺寸在5—20nm，Cu晶格发生了膨胀，膨胀量在7%左右 关键词：     

独立不同分布随机变盆序列的部分和的增量有多小

关于独立同分布随机变量部分和的增量有多小问题，目前已有了著名的结果.本文通过与独立同分布情形时完全不同的途径，讨论了独立不同分布情形时相应的问题.在矩母函数存在的条件下，获得了与同分布情形相近的结论.     

电子直线加速器磁控管频率稳定的自适应线性神经元方法

 电子直线加速器电子束能量的稳定与否取决于功率源工作频率的稳定性,磁控管在短时间内的散谱和轻微跳谱造成稳频系统的控制精度下降,最后电子束的扫描均匀度下降。引入自适应线性神经元方法(ADALINE)和噪声对消技术以消除对工作频率长期稳定性的影响,从而保证了电子束的扫描均匀度。     

在BBO中产生217.3-2 21.4nm高功率和频输出

用Q-YAG激光的三次谐波(355nm)与调谐的Rh·6G染料激光在β-BaB2O4(BBO)晶体中和频,获得217.3～221.4nm连续调谐输出,和频输出的最大能量为250μJ,转换效率为11%.我们还讨论了获取最大和频输出能量的一些实验条件.     

极值图论与度序列

本文简要概述极值图论与度序列的最新研究进展，同时提出了一些有待进一步解决的问题和猜想．     

Gauss Sum of Index Four

Let p be a prime number, q=p^f and m|q-1. For a multiplicative character x of Fq with order m, the Gauss sum G(x) over Fq is defined by     

不可摸数

计算隅500 000以下的不可摸数73 565个。     

科学家试制三维计算机芯片

为了提高计算机的运算速度，中国和日本的科学家采取一种特殊技术，研制三维计算机芯片．     

关于多元幂级数

引入了多元函数项级数的概念,给出了其收敛域及和函数的定义;通过详实的例子讨论了多元幂级数的收敛域、和函数及多元函数展开为多元幂级数的计算方法.