马尔柯夫链状预测的概率计算及拓广

提出了一种马尔柯夫链状预测中的概率计算新方法：状态划分矩阵法;具有模糊状态的马尔柯夫链的概率计算公式,并用实例计算作了说明。     

一种新的分析和检查需求模型

由于ＳＣＲ是较实用的定义软件系统需求的方法,以此方法为基础,提出一个形式化的分析和检查需求的模型。此分析和检查模型主要根据综合知识表示模型的一些基本原理,使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义,并通过执行规则来自动分析由ＳＣＲ定义的需求。为便于理解,给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性。     

柴油机曲轴应力状态的计算与分析

本文以６１８０柴油机整个曲轴作为有限元计算模型,将曲轴离散为三维２１节点和１６节点单元及边界元,通过适当选取受力条件与约束条件,在大型机上完成了曲轴的有限元强度计算。本文还采用电测法对该曲轴应力状态进行了测量。计算结果与实验结果吻合较好。     

用强碱性阴离子交换树脂从碳酸盐溶液中回收铀的研究 2.U(Ⅵ)在溶液相与树脂相的化学状态

在过量碳酸盐存在的Ｕ（Ⅵ）溶液中,Ｕ（Ⅵ）的化学状态与溶液的ｐＨ值有关,当ｐＨ＞８时,Ｕ（Ⅵ）以［ＵＯ２（ＣＯ３）３］４－离子存在．吸附于树脂相的Ｕ（Ⅵ）的化学状态也与供吸附的料液的ｐＨ值有关,当ｐＨ＞９时,Ｕ（Ⅵ）才完全以［ＵＯ２（ＣＯ３）３］４－吸附于树脂相．当ｐＨ在６．５～８．０范围时,Ｕ（Ⅵ）在溶液中还可能以［ＵＯ２（ＣＯ３）２］２－或Ｈｎ［ＵＯ２（ＣＯ３）３］ｎ－４形式存在,而Ｕ（Ⅵ）以［ＵＯ２（ＣＯ３）２］２－形式吸附于树脂相的可能性很小,它主要以Ｕ２Ｏ２－７的形式吸附于树脂相．     

递推法推引j—j耦合谱项的研究

首次提出递法推引ｊ－ｊ耦合谱项,计算结果很好,该法能抓住关键通过手算快速求出组合组态（（ｊ）＾ｎ）的Ｊ值。最后,对计算结果进行了验证。     

一种高性能英文词性标注器的设计与实现

针对统计和规则方法各自的优点和局限,提出运用Viterbi和FTBL(fast transformation-based learning)算法相级联的算法,实现一种英文自动词性标注器.该级联方法以FTBL算法为整体算法,在它的规则学习和最终标注两个阶段,均以Viterbi算法作为其初始化过程.实验结果表明此算法优于其中任何一种单独的算法,达到了98%的高准确率,验证了自然语言处理中统计与规则并举的主流设计思想.     

角谷猜想的证明

应用马尔可夫链推导出角谷链的状态转移概率,从而得出角谷链中的奇数和偶数出现的概率,再以概率的大数定律为基础证明日本数学家角谷静夫提出的猜想.     

一类带有扰动的不确定切换系统的鲁棒镇定

研究了一类带有非线性扰动的不确定切换系统的鲁棒镇定问题．利用完备性条件，得到了不确定切换系统渐近稳定的一个充分条件．基于LMI方法，设计出鲁棒状态反馈控制器及相应的切换策略，使得闭环系统在其平衡点处是渐近稳定的．     

最优和最小能量最优跟踪问题

以广义逆矩阵的理论和Bellman动态规划方法为基础,给出了离散线性时变系统最优和最小能量最优跟踪问题的两种形式的解,对每一种情形,还给出了最小跟踪误差和最小控制能量的简洁表达式.     

电力系统状态估计算法研究

对已有状态估计算法进行了分析,并结合实际电网的一些特点,在最小二乘法的基础上,对PQ分解法的病态线路提出了一种新的解决方法,即将电压量测量和功率、电流量测量分解开来进行计算,建立了相应的数学模型。和其它方法进行了比较,认为该方法具有收敛性好、计算速度快的优点。