单调关联系统模糊可靠度函数的性质和界

应用经典可靠性和模糊数的理论,给出了单调关联系统的模糊可靠度函数的三条性质。在较复杂的单调关联系统中,精确获得单调关联系统的模糊可靠度函数非常困难,讨论了系统模糊可靠度的界,并给出了系统模糊可靠度的界的两种求法。     

嵌入式质子交换光波导偏振器的制作及高消光比检测装置的研究

用钛内扩散和质子交换相结合的方法制得了光波导偏振器,这一偏振器由在不连续的扩钛波导中嵌入一段质子交换波导形成。本文讨论了一些资料中报道的检测方法,并对测量集成光波导偏振器提出了一个新方案。该方案测得的偏振器消光比大于52．5dB．     

像管电子光学系统多目标优化的研究

将多重网格法用于静电像管电子光学场分布计算,采用改进的约束变尺度法进行静电聚焦像管的优化设计,较大地提高了电场分布的计算精度和像管设计效率,减少了计算时间和设计周期。研究的加权最小二乘法构造优化计算的多目标函数,普遍适用于调焦、定焦、变倍、选通和校畸变等各种类型静电像管的设计与计算。     

光学图样光电探测的动态仿真

以圆孔夫琅和弗衍射图样的光电探测为例,介绍了对光学图样的光电探测进行动态仿真的方法。     

光学仪器综合封存防护技术研究

本文针对目前光学仪器封存防护中存在的问题,依据光学仪器霉、雾、锈的生成机理,提出一种新型的综合封存技术,并通过试验验证了该技术的可靠性和和对环境的适应性。     

管理信息系统通用工具软件MT-1

MT—1是在汉字dBASE—Ⅱ的基础上开发的数据库工具软件,它具有图形化的数据描述和数据操纵语言,是一个实用的微机管理信息系统开发工具。它在图形化用户界面、数据字典、视图、数据完整性和安全性等方面优越于dBASE—Ⅱ。本文描述了MT—1的总体结构和主要功能,讨论了主要设计和实现问题。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

BBO晶体II型相位匹配光参量振荡器的输出线宽

采用355nm脉冲激光作为泵浦源,对影响BBO晶体II型相位匹配光参量振荡器输出线宽的各种物理机制进行了数值模拟计算和分析。结果表明,II型相位匹配是光参量振荡器获得窄线宽的有效而简单的手段。     

基于MAS的武器装备供应管理支持系统设计

对武器装备供应管理系统结构和功能进行了分析,给出系统的一般构成模式和运行要求,阐明了其所需的决策支持;以系统一般模式为背景,探讨了利用多Agent系统理论构建装备供应管理支持系统的思路,提出支持系统的组成框架,并说明了其主要特点;最后,对支持系统的信息监控过程做了具体研究,给出了相应程序。     

A novel launch dynamics measurement system for multiple launch rocket system and comparative analysis with numerical simulations

In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket's departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS.