对信息流控制机制的一点注记——关于可变级机制语义的探讨

本文讨论对可变安全性级的基于执行的信息流控制机制的语义修改     

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

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

1553B 总线仿真系统总线控制软件设计

就仿真系统对１５５３Ｂ单层总线系统和层次总线系统的总线控制软件设计进行了研究,给出了提高系统效率的方案和优化１５５３Ｂ总线数据流的方法。     

坦克火控系统机动目标的自适应滤波与自适应解命中问题

在非制导火控系统中,为实现目标信息的自适应滤波与自适应解命中问题,机动目标模型应能实时识别,并要适应工作周期的各种变化。本文提出了“参数辨识模型”,首次完全满足了上述要求。     

内外干扰因素对液体火箭发动机的影响分析

在已有的液体火箭发动机稳态工况的非线性数学模型基础上,计算分析了单干扰因素对液体火箭发动机参数的影响,用非线性方法和小偏差方法对比分析了两个干扰因素分别和共同对发动机参数的影响。所得结论可用于泵压式燃气发生器循环的液体火箭发动机试验结果分析、可靠性及故障分析,也揭示了此类发动机参数随各种干扰因素的变化规律     

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

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

火炮射表数据处理计算步骤和程序框图

本文是文献［１—３］的继续,主要研究火炮射表数据处理算法的计算步骤和程序设计框图。这两个内容是正确进行程序设计、分析和使用的重要环节。     

雷达至指挥仪基线修正研究

综合诸元是指挥仪解算精度较高的一种工作方式,但存在一个雷达至指挥仪间的基线误差,就这一误差进行了分析并提出了修正方法。     

浅谈平显自检画面

国军标ＧＪＢ１８９─８８虽然对平显自检画面作了规定,但随着国内不断引进国外平显,其平显画面的内容、状态、检测均在不同程度上发生了变化,通过对某引进工程平显自检画面的介绍,探讨其设计构思,实施状态以及使用中检测的显示质量保证、显示精度保证以及显示功能验证等方面的实用性。     

基于深浅知识的混合诊断模型

针对大型电子设备的诊断问题,提出一种基于深、浅知识的混合诊断模型,给出了诊断知识的组织模型,论述了混合诊断模型的建立,并给出了完整的推理控制算法。基于这种模型,研制了ＰＬＴＳ平台罗经自动测试系统．