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

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

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

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

基于阻尼最小二乘法的鲁棒自校正预测控制器

本文将广义预测控制器（GPC）与阻尼最小二乘法（DLS）相结合,构成一种鲁棒自校正预测控制器．仿真结果表明,这种算法比基于通常的递推最小二乘法（RLS）的自校正预测算法有更强的鲁棒性．     

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

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

The Potential-dependent Stability of Self-assembled Monolayers on Gold Electrodes Investigated by Electrochemical Method

用电化学方法研究了在金电极上十二烷基硫醇自组装单分子膜（ＳＡＭ）在乙腈、乙醇及丙酮中的电位稳定性．在０．０Ｖｖｓ．Ａｇ／ＡｇＣｌ（饱和ＫＣｌ）,十二烷基硫醇自组装单分子膜有最大的稳定性,在较负电位（如－２．０Ｖ）和较正电位（如＋０．６Ｖ）电解时,在不同溶剂中的ＳＡＭｓ的表面覆盖率则表现出不同程度的损失,但在三种溶剂中,最大稳定性的电位窗口是相似的     

从另一个角度看AICC准则

基于另一种观点,本文对线性回归模型和自回归时间序列模型分别推导出ＡＩＣＣ和ＡＩＣＣ＾＊选阶准则,同时对ＡＩＣＣ准则在大样本情况选阶缺乏准确率的原因给予理论解释。统计模拟结果进一步证实了本文的论点。     

金电极的逐层自组装修饰

本文运用自组装技术用ω-巯基己酸化学修饰金电极形成第一层修饰层,ω-巯基己酸暴露在外表面的羧基活性基团还可在气相条件下进行酰胺化反应键接上乙二胺,从而实现逐层自组装修饰金电极.同时对此修饰电极也进行了电化学表征.     

可动态维护的软件体系结构

将软件维护的方法和技术划分为方法级、源代码级和目标代码级等３个层次,并给出了可在目标代码级支持软件动态维护的软件的体系结构。     

扩展自偶码与Duadic码

研究扩展自偶群代数码与ｄｕａｄｉｃ群代数码的关系,得到中心群代数码可以扩展为自偶码的充分必要条件。     

一种应用双端信息自同步校正的故障测距法

针对高压,超高压远距离输电线路,提出了一种应用双端信息自同步校正的故障测距法,该算法采用长线模型,计及了线路分布电容的影响,能够实时修正输电线路两端采样的相角差,从而避免了由于两端采样信息不同步而造成的测距误差,经过大量的数字仿真试验,其结果十分令人满意。