基于马氏过程的电子对抗装备伺服驱动器可用度分析

针对电子对抗装备天线伺服系统驱动器可用度评估问题,考虑其具有优先使用权冷贮备冗余设计的特点,运用马尔可夫过程分析的方法,研究修理工人数不同情况下伺服驱动器稳态可用度和瞬时可用度,建立相应的数学模型,最后进行实例验证,绘出不同维修策略下系统瞬时可用度随时间变化的曲线.     

我可以和正在服刑的丈夫离婚吗?

正王女士:我和丈夫两年前结婚。去年8月,因为参与拦路抢劫,我丈夫被判处有期徒刑4年。他现在正在服刑,我想和他离婚,是否可以?新疆瑞诚律师事务所律师江华:服刑人员虽然被限制了人身自由,但还享有其他权利。王女士可采取协议离婚或者起诉离婚两种方式办理离婚手续。如果采取协议离婚的方式离婚,王女士可利用探     

航空电子总线测试系统的设计与实现

现代航空电子综合化系统通常建立在M IL-STD-1533B多路传输数据总线通信网络基础之上,总线控制器(BC)和各个远程终端(RT)必须满足M IL-STD-1553B规定的各项协议指标要求,才能正确地联网通讯。讨论了某型航空电子总线测试系统的设计与实现,主要探讨了此系统的软、硬件开发,系统组成及其BC和RT有效性测试的主要内容和要求。在实际应用中收到了很好的效果。     

软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

中温石墨流态床热处理炉的加热装置与电极设计

本文以笔者早年设计的小型石墨流态床热处理炉(LTR)和随后研制大功率炉的经验,讨论加热装置的最佳方案和电极设计的有关问题,通过理论分析和试验,给出950℃以下的温度-电阻曲线和屏蔽电极区间的电压-幂次和电阻-幂次曲线。     

计算机辅助设计管理数字库

本文介绍了美国“几何与智能计算实验室”开发的一个数字库的最初研究成果,该成果是用于支持计算机辅助的合作设计。目前作为工程设计的知识资料档案库,这个实验平台用于收集和归档公共领域的设计数据,以便供研究者和专业技术人员使用。我们预见这个成果将被推广以方便分布设计和制造人员的技术合作,并简化归档过程。基于知识的CAD对于设计人员来说是核心,他们通过对大量共同的传统数据进行研究,并且通过浏览在线数据表精确地检索组装到新产品上的所需的正确组件,该项研究试图寻找到提高计算方法所需要的关键要求,来论证复杂的几何图形和设计信息。该实验室把焦点集中在机械电子系统的设计和制造数据的归档和再使用上。本文介绍了这个研究课题的一个详细说明。一个关于实验平台最初结构的综述,一个关于概念化设计和设计检索的最初结果的说明。     

辅助决策软件综合试验系统TTS－Ⅱ

ＴＴＳ－Ⅱ是一个基于Ｎｏｖｅｌ网的分布式处理系统,它能够一体化地完成舰用Ｃ２系统辅助决策应用软件全生命周期（开发、试验及维护等）试验任务。本文扼要介绍了系统体系结构、主要软件工具以及系统的性能特点     

VLSI与电子系统的层次化可测性设计

论述了一种对电子系统VLSI自顶向下的层次化自动化测试方法及层次化自测试的概念和相应的可测试性设计结构,并讨论了数模混合集成电路的可测试性设计问题。     

内燃机功率的现场测试

内燃机台架试验测定功率的方法对维修和使用人员所关心的现场测试十分不便,通过分析内燃机在无负荷自由加速过程中的瞬时角加速度值,提出了内燃机功率的现场测试原理,并给出以8031单片机为核心的实现方案。