一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

模糊Petri网及其可达性的必要性条件

给出了模糊Petri网的形式化定义及其变迁规则，并以模糊Petri网的控制矩阵与关联矩阵为工具，讨论了模糊Petri网的性的必要性条件。     

两相闭式热虹吸管的集总参数模型研究

通过分析无芯网的两相闭式热虹吸管（简称为ＴＰＣＴ）的传热机理，提出了正常工况下ＴＰＣＴ的集总参数模型，并利用现有的热管内部传热的经验关系式，对ＴＰＣＴ在不同热负荷、不同冷却速率以及不同工质种类条件下的温度分布和动态响应特性进行了数值模拟计算．结果表明该模型简明可行     

开放网—交互式并行系统的模型

定义了开放网的静态结构、动态行为、系统的进程,讨论了开放网及其进程的分解与合成、抽象对象、开放网的外部特性——黑盒理论及开放网的层次结构等基本问题。由于开放网引入了系统与外部的交互机制及层次结构,它可以作为交互式并行系统,特别是规模较大的复杂系统的描述与分析的工具。     

基于Petri网的分层半导体制造过程调度结构

针对复杂的半导体制造过程调度，在综述现有调度问题及方法的基础上，提出由投料调度、路径调度和两种类型的工件调度共同组成的分层调度结构的思想及方案，继而基于Petri订网模型，探讨所提出的分层半导体调度结构基于Petri网模型的实现方法，最后通过仿真对分层调度结构加以应用验证，并总结全文．     

移动机器人自主越障反应控制行为组合方法

介绍了关节式移动机器人运动系统的元(基本)行为,提出了用模糊逻辑组合方法将原子行为(动作)组合生成高层复杂行为的行为模糊逻辑组合方法;描述了模糊逻辑组合方法组合生成的移动机器人自主越障行为.通过凸台、凹坑和楼梯等典型障碍的越障实验证明,该方法所生成的行为控制自主越障动作协调性好,具有较高的实时性、快速性和可靠性.解决了关节式移动机器人在城区和建筑内运动的越障稳定性和移动性问题.     

面向高速对等网应用的拥塞控制机制

为改善现有拥塞控制机制在高速网络中带宽利用率偏低、稳定性不高和更好地应对急剧增长的对等网(P2P)应用流量,提出了一种以FAST为基础,应用大规模网络测量和模糊控制技术的拥塞控制机制.该机制利用分布在网络中的测量设施周期性获取网络状态信息,指导端系统选择适当的控制参数.单个和多个链路瓶颈条件下的仿真实验均表明,本文拥塞控制机制能够在高带宽时延积网络中获得更高的带宽利用率和稳定的排队时延,很适合于P2P等数据传输量大、连接持续时间长的流量的拥塞控制.     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

商业养老保险的精算模型

保险公司开办的商业养老保险,是我国养老保障制度的重要补充.收缴合理的保费是保险公司生存的关键.针对商业养老保险,建立了若干种养老保险模型,并利用精算数学的方法给出了这些模型的趸缴及年缴均衡净保费的计算公式.     

点支式玻璃建筑单层索网体系的动力特性

点支式玻璃建筑单层索网体系是一种新型的柔性支承结构体系,其受力特性在很大程度上依赖于所施加的预应力。该文对新保利大厦二期幕墙工程的单层索网结构模型的动力特性进行试验研究,提取了索网在分级预应力下的前三阶频率,并与加玻璃后的情况进行了对比分析。试验结果表明,结构的低阶频率与预应力的关系基本为近似线性关系,而高阶的非线性程度更明显,玻璃对结构的刚度有较大提高,试验与有限元计算结果比较吻合。