混合试探作用量对三维格点规范场的研究

应用混合元格变量一链变量作用作为改进平均场理论的试探作用量，用变分法计算了３维时空中Ｚ（２），Ｕ（１）和ＳＵ（２）纯格点规范场的平均元格内能Ｅｐ，对于Ｚ（２）格点规范场得出具有范德瓦尔斯型曲线的一级相变的相图。对于３维Ｕ（１）和ＳＵ（２）规范场，所得Ｅｐ～β曲线是光滑的，显示理论禁闭性。计算结果与ＭＣ计算结果符合较好。     

重积分计算的分层抽样原理

Ｋ重积分的计算中，我们对联合概率密度函数ｆ（ｘ１，ｘ２，…，ｘｋ）实施有限加权展开然后，按照各联合概率密度ｆｉ（ｘ１，ｘ２，…，ｘｋ）摸拟抽样值｛ｇ（ξ（ｉ，ｔ）），ｔ＝１，２，…，Ｎｉ，ｉ＝１，２，…，Ｌ｝，由下式建立Ｊ的估计量证明了这种分层抽样方法降低方差，同时给出最小方差的一般原理．     

应用最优化选择原则求最短路径及长度

用最优化选择原则,对有向赋权图中的最短路径问题进行了讨论,给出在任意简单有限有向赋权图中求从任一点到指定点间的最短路径长度的数学模型,提出构造一条含弧数最少的最短路径的方法,并推广到简单有限无向赋权图中。     

开发多任务系统的一种方法：广义状态图方法

广义状态图方法包括广义状态图的设计方法和面向状态的过程设计方法两部分。广义状态图在传统状态图的基础上扩充了动作结点的概念，利用动作结点表示系统在状态转移过程中的动作，以及多任务之间的各种减产。顷向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据，直接由广义状态图生成多任务系统的过程设计。     

算子权移位的局部谱及其应用

本文首先给出有界线性算子局部谱的两个估计式，进而，讨论了算子权移位的局部谱，作为应用，研究了算子权移位的单值扩张性、可分用性及算子序列自身的一个性质。     

汉字识别误差校正

本文提出了一种对句法模式进行误差校正的方法,通过分析变形笔划y与文法G能接受的笔划x,求出y与G的最小误差校正距离|J|,比较y与其它文法G′的最小误差校正距离|J′|,确定y应属于G或G′。为了改善误差校正剖析程序的执行速度,规定了一个能减少回溯次数的误差校正算子的优先级。同时,用启发式方法进行搜索以减少搜索的深度。最后给出实验结果。     

基于PVS的UML类图和序列图的一致性检验

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法.在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题.实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用.     

"二元液系相图"实验中经验操作的数学表达

以杠杆规则为主要依据,对具有最低恒沸点的“二元液系相图”实验中的经验操作进行了详细的数学推导．推导结论与实验结果间的一致性,为实验中的经验操作提供了理论依据．