真值维护系统的语义研究

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

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

含氢硅单晶2210cm-1红外吸收峰本质的理论研究——Ⅰ.振子频率的价键力场计算

本文根据Urey-Bradely 力场的思想,用价键力场的方法对文献[1]中提出的含氢硅单晶中2210cm^-1吸收峰对应的缺陷复合体的两个模型:空位+4H,间隙硅烷,进行了振动频率的计算.在对计算结果和力常数调节合理性分析的基础上,得出了空位+4H模型比较合理的结论.此外还介绍了理论计算揭示的从实验上区分两个模型的可靠途径.     

考虑两种不确定性的模糊决策方法

本文提出了一种新的考虑两种不确定性的模糊决策方法。该方法采用贴近测度SM和阈值λ以决定是否启用某条规则,井用修正函数MF修正推出的结论;然后,再利用专家对规则的置信度SC再一次校正修正后的结论。这种决策方法将为专家系统提供有效的推理工具。本文最后,提出了算法及例子。     

我国居民收入、人口、教育、财政政策和货币政策与居民消费模型的实证分析

本文从影响消费的各个因素:居民收入、人口、教育、国家宏观政策等着手,对各因素进行了相关分析,运用多元统计中的岭回归估计法建立消费模型。从定量和定性分析的角度,分析了我国居民消费水平、居民收入、人口增长率、各层次教育、国家财政支出和银行利率等相关因素之间相互影响的数量变动关系和内在规律,就如何提高居民消费水平促进经济协调发展提出若干对策。     

集值映射的切导数与向量优化问题的最优性条件

利用集值映射切导数与半可微概念，给出了无约束与具约束的集值向量优化问题局部真有效解与局部强有效解的最优性条件。     

广义拟变分不等式解集的稳定性及本质连通区的存在性

在赋范线性空间下．讨论广义拟变分不等式解集的稳定性，证明了满足一定连续性和凸性条件的广义拟变分不等式问题构成的空间M中，大多数(在Baire分类意义下)广义拟变分不等式问题的解集是稳定的，并证明了M中每一个广义拟变分不等式的解集至少存在一个本质连通区。     

制备相干态腔场GHZ态

提出了一种利用简并Ⅴ型三能级原子与相干态光场(大失谐条件下)Raman相互作用实现类自旋的腔场Greenberger-Home-Zeilinger(即GHZ)态的新方案。     

一致u0-凹算子方程逼近解的收敛速度

证明了一致u0-凹算子A满足一定条件时,迭代列xn=Axn-1(n=1,2,…)能以很快的速度收敛于算子方程Ax=x的正解x*.