基于Petri网多通道火控系统的建模与分析

多通道火控系统是一个实时多任务系统,具有实时、并发、异步、分布、不确定性等特点。Petri网是描述异步并发现象的一种有效工具。文章以Petri网为工具建立某多通道火控系统的模型,对其结构性能、功能、任务忙闲程度、死锁进行了定性分析,并给出从模型到程序自动转换方法,可有效分析与评价多通道火控系统。     

基于参数优化的截尾序贯检验法

截尾序贯概率比检验法和序贯网图检验法（SMT）是在序贯概率比检验法（SPRT）的基础上发展起来的2种方法,可进一步控制试验次数。但是这些截尾序贯方法的停止边界仍有待优化,本文以最常见的截尾SPRT为例,说明决定停止边界的参数的取值直接影响了最大试验样本量,且存在最佳取值。并以此为基础,对SMT和传统的SPRT进行了综合比较,发现截尾SMT并不优于传统的截尾SPRT,它不过是一种广义形式的截尾序贯检验法,SPRT的研究重点应该是截尾形式的构造。最后本文提供了一种曲线形式的截尾序贯检验法.     

CAPP系统中工艺路线生成研究

研究了ＣＡＰＰ中回转体类零件在工序组合之后，确定各工序间的前趋和后继关系，建立拓扑排序的ＡＯＶ网，并由此形成工艺路线的方法．     

Internet网、信息高速公路与我校计算机网络建设

本文介绍了Internet网、信息高速公路的基本概念和作用,并从我校实际出发,构想了我校计算机网络建设的方法.     

服务通告与工程指令管理软件系统

服务通告评估与工程指令管理系统软件是一个局部区域网管理系统。本文简单介绍了该系统的Client端设计、Server端设计以及Client/Server连接的基本设计技巧。     

加快信息化建设实现跨越式发展

分析了集团公司在信息化建设方面已经取得的成绩和存在的主要问题,提出了集团公司信息化建设的指导思想、目标、任务以及应采取的措施.     

基于序贯回归的小样本测试性验证试验方案

针对现有测试性验证试验方案难以实现较小样本量下满足置信水平要求的测试性评估问题,提出了基于序贯回归的小样本测试性验证试验方案。提出并证明了成败型试验序贯样本回归可行性假设;对序贯样本进行回归分析,实现了小样本下的测试性评估;建立了评估优化方案,实现了满足置信水平要求的测试性评估。实例验证表明:该方法可同时适用于有双方风险要求和置信水平要求的场合,且完所需样本量明显减少,在案例中平均减少了22.3%,最大减少了85%。      

无线自组织网的可扩展性仿真

影响无线自组网可扩展性的因素很多,在随机移动模型和按需路由算法的前提下,提出了一个仿真模型,并利用NS2仿真工具对不同结点数组成的平面结构网络端到端时延和报文交付率进行了仿真,得出了AODV路由协议的可扩展性优于DSR协议的结论,并根据仿真结果推断出网络的规模不可能过大.     

基于分层着色Petri网的地空导弹装备维修建模

讨论了一种基于分层着色Petri网理论建立地空导弹装备基地级维修系统模型的方法.该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,有利于模型分析和仿真实现.