M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。     

近程防御体系作战的计算机仿真研究

未来海战将是高技术条件下的局部战争,作战模式是体系与体系的对抗。因此,应从作战体系的角度研究作战。本文就是对未来自备式近程防御体系进行计算机仿真研究,仿真系统的两台计算机之间通过ＲＳ２３２连接。仿真软件主要包括指控系统软件部分、指控系统界面设计部分、对体系的动画仿真演示制作部分、通信部分设计等。     

武装直升机综合火/飞系统的组合智能控制

讨论了武装直升机综合火／飞系统的组合智能控制及系统的设计方法,并且针对某型直升机用数字仿真证明了这种系统的优点及其良好效能     

多状态系统故障树质蕴含集的求取算法

本章首先给出多状态系统状态空间的立方体表示方法,然后建立相应的运算规则。在这些规则的基础上,提出多状态系统故障树质蕴含集的求取算法。通过实例分析,说明了这种方法的可行性。     

开放式CAD图形库的建造与管理

针对目前大多数CAD系统中图形库存在的通用性差、开发效率低、可维护性和可移植性差等方面的问题,提出建造和管理开放式CAD图形库的方法。按此法建造的CAD图形库可相对整个CAD系统独立,对各级用户具有良好的透明度,便于进行二次开发,便于维护和扩充,从而提高设计效率。     

一类高次多项式系统极限环的讨论

通过变换将一类高次多项式系统化为Lienard系统,利用Hopf分枝定理和张芷芬唯一性定理,证明了该类系统极限环的存在性与唯一性。     

试析火工品产品标准的改革

分析了我国火工品产品标准的现状与弊端,通过与美军标对比和工厂在具体产品标准上改革试行情况,提出了一些建议。     

宣告刑=基本刑±补充刑量刑优化数学模型——量刑的模型化操作

量刑模型化的操作,是指应用能够真实地再现量刑系统原型的数学模型进行量刑优化和量刑综合平衡的量刑运佐.它是基于改革我国现行的经验型的量刑方法,改善和提高我国刑罚活动的质量和社会效果,而提出的一种新的量刑思路.宣告刑=基本刑±补充刑量刑优化数学模型,包括一般量刑优化数学模型和特殊量刑优化数学模型.     

SCP口寄存器的比特组成

SCP口寄存器是ISDN U接口技术中的串行控制口寄存器.SCP口寄存器可分为控制寄存器、状态寄存器以及维护信道数据寄存器;从比特位数方面考虑,SCP口寄存器也可分为三类:6个4比特宽的“半字节”寄存器NRO—NR5、一个12比特的寄存器R6以及17个8比特的字节寄存器BRO—BR15A.下面就一些主要的寄存器的比特组成进行论述.