网络可生存性的建模与分析技术

通过对网络可生存性的研究,介绍了可生存性的相关研究进展,比较了可生存性研究与安全性和可信赖性研究的异同,进一步把可生存性建模分为基于物理结构、基于状态和基于服务组件三种方法, 并把分析方法分为图论分析法、模型检验分析法和函数分析法,对各种建模和分析方法存在的问题进行了总结,给出了一些可生存性研究的新方向.     

基于Petri网的分布式实时调度模型研究

Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。     

两层和三层Client/Server结构的分析

介绍两层和三层客户／服务器结构，分析它们各自的优缺点，以及对重用的难易程度和开发阶段进行了比较，以便对给定的项目进行结构的适当选择。     

分段线性函数应用于线性时变系统的分析

本文给出了分段线性函数的一些运算性质,利用这一性质对线性时变系统状态方程进行求解,推导出了形式简明、便于应用的递推算法。分段线性函数算法具有较高的分析精度。     

离散事件动态系统的受控Petri网控制研究

讨论了基于受控Ｐｅｔｒｉ网描述的离散事件系统的一类控制问题，包括部分观测信息下的状态标识估计，系统的状态反馈控制设计等。     

双线性系统参数估计中的泰勒级数方法

本文给出了一种利用泰勒级数估计双线性系统参数的方法。通过将输入输出进行泰勒级数展开,把原微分方程模型转化成一个代数方程,进而利用最小二乘原理得到参数的估值。     

弹性力学平面问题的单元延拓有限元分析

本文在有限元分析过程中,构造了延拓单元,利用延拓单元内信息迫使单元内位移模式高次化。从而,在无需增加单元网格及结点数目的条件下,改善有限元分析精度。     

基于模糊逻辑的CCPN瞬时引发速率求解方法

瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型，实现了迁移优先权的动态计算。提出了基于线性规划方法的瞬时引发速率的求解算法，解决了有效冲突情形下瞬时引发速率的求解问题。实例表明了所提出方法的有效性。     

基于有序二叉决策图的装配序列符号表示方法

通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OBDD模型进行了存储效率比较.实验结果表明:OBDD方法具有较好的存储性能,可以改善复杂装配体的装配序列表示的存储效率,适合于复杂装配体的可行装配序列的描述.     

移动环境公平支付协议的设计与分析研究

结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。