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

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

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

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

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

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

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

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

略议形容词补足语从句

本文指出“be+形容词+从句”是英语中经常碰到的一种句型,并且讨论了为什么把该句型中的从句改称为形容词补足语从句。     

角谷猜想的证明

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

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

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

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

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

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

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

一种结合外部环境状态的主体语义模型

在传统的基于BDI的主体模型的基础上，提出了一种结合外部环境状态的主体语义模型。通过引入外部环境状态来改变传统的BDI模型中存在的信息不完全性问题。