基于对象Petri网的计算机网络仿真建模

首先给出对象Petri网(OPN)的定义及其对基本Petri网的扩展。根据OPN和计算机网络的特点，划分了计算机网络仿真模型，并结合TCP/IP协议讨论建模过程。最后通过基于OPN的CBMSE(组件建模仿真环境)仿真了一个局域网。说明OPN的对网络建模仿真和性能分析应用。     

基于测试数据的导弹武器质量综合评价方法

阐述了导弹武器质量综合评价的重要意义,建立了以导弹武器测试指标为基础的质量评价指标体系,根据聚类分析的原理确定了导弹各个部件的质量指数,应用层次分析方法确定各指标的权重系数,最后采用加权和法得到了导弹武器总体的质量指数,从而为导弹武器质量的综合评价提供了一种有效方法.     

利用高硫原燃料生产抗硫酸盐水泥的分析和实践

中建材国际装备有限公司在伊拉克承建了一条3 300 t/d水泥熟料生产线,2014年3月30日进行调试生产,原设计旁路放风量为10%,投产后发现设计时业主提供的重油和石灰石等原燃料质量与实际差别很大,投产初期生产的抗硫酸盐水泥熟料中SO3含量在2.5%左右。因熟料中SO3含量高,无法满足伊拉克水泥标准和合同要求的欧洲ENV197-X抗硫酸盐水泥（简称SRC,下同）标准中SO3含量指标小于2.5%的要求,同时根据现场化验室小磨试验结果,当熟料中SO3含量大于1.8%,水泥配料中石膏掺加量小于1.5%,将严重影响水泥强度且水泥初凝时间无法保证。     

基于SMV的网络协议形式化分析与验证

提出了采用模型检验方法对网络协议进行形式化分析及自动验证，建立了一个特定网络协议PAR的有限状态机模型，并用模型检验工具SMV验证其正确性，发现了该协议存在的一些缺陷。结果表明，利用符号模型检验方法分析检验网络协议是可行的。     

ONCD辅助描述工具设计与实现

作战节点连接关系描述(ONCD)是C^4ISR体系结构的基本产品，ONCD辅助描述工具是针对该产品的辅助描述而开发的。首先，简要介绍了ONCD辅助描述工具设计思想——ONCD层次描述方法；然后，设计并实现了ONCD辅助描述工具3大基本功能——ONCD模型创建、ONCD模型管理和ONCD模型输出，同时给出了开发ONCD辅助描述工具用到的主要数据结构；最后，结合实例给出了利用ONCD辅助描述工具完成ONCD模型的具体步骤。     

商业步行街空间形态及环境设计浅议——以徐州彭城一号商业步行街为例

商业步行街的外部空间形态及环境是由街道的空间尺度、比例,沿街建筑的界面形态、以及其韵律、节奏感等因素所构成.同时文脉主义的建筑观对于商业步行街形成地方特色、发掘文化底蕴也有重要作用.本文以徐州彭城一号商业步行街为例对上述观点作了相应论述.     

当代北欧新住宅特色研究

近年来我国的住宅产业飞速发展,北欧国家作为全球住宅建设的示范国,其成熟的设计方法和技术手段对于我国都有一定的借鉴意义。本文通过对9个北欧国家住区与3个国内住区的空间布局、建筑形象、材料运用、内部空间、建筑细部、生态效益等方面的比较分析,总结出北欧新型住宅的特色优点,期望对我国住宅发展有一定的指向性作用。     

谈打印机AR3240排版功能的开发

本文重点介绍了一种利用AR3240打印机控制码的简便方法。借助该方法可方便地控制输出字体和字型,上下标、下划线、网点、反白和中空等修饰打印,还可控制行距、页长和分页。     

美术字和复杂图形的制作及在程序图形界面中的应用技术

本文就怎样利用已有的软件制做精美的图形作了详细的叙述，并给出了在程序中使用这些图形的两种方法。     

卫星军用系统的联邦成员辅助开发工具研究

高层体系结构HLA是建模仿真领域的通用技术框架，以实现不同仿真系统之间的互操作。在面向卫星军事应用系统的HLA应用开发过程中，FOM／SOM的开发是一个重要步骤。该文对HLA联邦成员辅助开发工具进行了研究，论述了它的总体结构、功能模块和实现中的一些关键技术。同时文章还阐明了其在HLA联邦设计与开发过程中的重要作用。