广义分离变量非线性非自治系统的部分变元全局稳定性

利用一般分离变量Lyapunov函数方法 ,讨论了一类非线性非自治系统的解关于部分变元的全局稳定性 ,得到了保证平凡解关于部分变元全局稳定的几个充分性条件     

有协变量的推广增长曲线模型中协差阵的最小模估计

对于有协变量的推广增长曲线模型：Y=χ1B1W1 χ2B2W2 B3W3 R，其中，μ(W2)∈μ(W1)，而对W3没有任何限制，本文利用最小模原理和一般射影定理得到了可估参数函数tr(C∑)的无偏不变最小模二次估计(MINQE(U，I))．     

遗传规划在离散动态系统建模中的应用

在系统结构信息缺乏的情况下，要确立离散动态系统的动态方程组非常困难。利用遗传规划(GP)融合系统结构估计与参数估计的特点，阐明GP在离散动态系统建模中的具体运用，并提出一种利用误差估计进行模型评价的方法。用Lotka-Volterra公式演化的数据对该建模方法进行了实证研究，结果表明遗传规划在离散动态系统建模中是有效的。     

一种身份鉴别协议的安全性分析

分析了文献[1]提出的一种基于二元一次不定方程的身份鉴别协议，发现其存在安全性缺陷，给出了安全有效的改进方案．     

离散孔波纹板气膜冷却技术

对2 种不同开口规律的离散孔波纹板进行实验研究, 分析了来流气动参数、波纹板的开孔规律等几何参数对冷却效率的影响. 用热平衡法建立了离散孔波纹板气膜冷却对流换热模型, 用最小二乘法拟合了相应的关系式及关系曲线, 并将有关结果与离散孔平板进行对比, 得出了离散孔波纹板, 尤其是在其波峰跟波谷之间开有大孔的离散孔波纹板, 在其波峰跟波谷之间冷却效率较低, 在孔板的尾端冷却效率的增长比离散孔平板明显加快等一些有实用价值的结论.     

一个可控制的代理签名方案

在代理签名方案中，代理签名人可以代表原始签名人生成签名，在已知的各种代理签名方案中，代理签名人的签名次数为一次性的．在有些情形，需要一次委托，多次签名，而已知的代理签名方案不能满足这个需要，作者给出了一个新的代理签名方案，这个方案能够控制代理签名人的签名内容和次数。     

基于业务过程的生产系统仿真模型

提出了一种基于业务过程的、融合了PETRINET等分析语义、面向对象的生产系统仿真建模方法．文中将生产系统分解成概念模型、环境模型和语义模型，描述了每层模型的建模方法，最后以敏捷制造条件下的生产系统模型为例，描述了这种建模方法的面向对象建模过程．     

WITNESS环境下基于改进型IDEF3方法的离散事件仿真建模

针对WITNESS仿真环境下，复杂离散事件仿真建模过程中出现的大量顺序、并行、同步、冲突及因果依赖等关系，提出采用改进型IDEF3方法进行仿真建模．采用仿真规则与交汇点集成、行为单元与仿真信息数据集成的原则进行建模；同时在IDEF3方法的基础上，建立新的行为单元，达到了仿真单元的可重用和可重构性，大大提高了仿真建模的速度，减少了建模难度．最后，给出了在改进型IDEF3方法下进行离散事件仿真的框架，并在仿真软件WITNESS的基础上，通过实例详细描述了建模过程．     

基于离散Markov决策过程的发电公司多阶段决策

采用离散时间Markov决策过程(DTMDP)对以多阶段总利润最优为目标的发电公司决策问题进行研究．市场环境下，发电公司根据自身条件，其竞争策略可以是价格的接受者，也可以是价格的制定者．考虑了发电公司不同策略情况下市场均衡状态间的转换概率，分别给出了发电公司作为价格接受者和价格制定者时的多阶段决策模型．通过算例验证了所提模型的有效性和可行性．     

连续谱本征函数及波函数的归一化

说明波函数归一化的物理意义,对于本征值组成分立谱和连续谱这两种情况,归一化的物理意义是相同的.对于某些连续谱本征值的特殊的理想情况,给出本征函数和波函数归一化的公式,并计算了力学量的平均值.