一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

实时高效邮件过滤系统设计

介绍了一种基于内容的电子邮件过滤系统的设计.该系统是采用有限自动机技术对电子邮件的内容进行扫描,达到实时高效地对不合法的电子邮件进行过滤的目的.     

顶置坦克炮自动装弹系统初探

针对顶置坦克炮的结构,分析了它对自动装弹系统的特殊要求,经过方案论证,提出了一种全新的自动装弹系统方案,确定了其组成、工作原理和控制装置要求,并进行了3维建模,对项置坦克炮装弹问题的解决具有一定的借鉴意义.     

一种军用文图自动转换方案

军事标图自动化是军队指挥自动化的基础性工作之一.信息抽取是一种实用性强的自然语言处理技术.提出一种军用文图自动转换方案,它利用信息抽取技术实现,无须计算机完全理解标图文书,具有可操作性强的特点.同时,该方案以图标信息作为文本与图形的接口,可保证领域之间的独立性,便于领域信息的保密和不同领域之间的合作.对抽取标图信息的MIE(军用信息抽取)系统的抽取情况进行了初步评估,评估结果表明MIE系统具有一定的实用性.     

论武警法是独立的部门法

武警法究竞是否独立的部门法,是由来已久且必须回答的重要命题。《中华人民共和国人民武装警察法》的颁布为武警法的独立性提供了实证。武警法与相关法律部门,如军事法、行政法、警察法有本质的区别。武警法是我国法律体系中具有独立地位的部门法。     

一种拦截机动目标的最优制导律设计

引入伪控制变量的概念,建立了线性化的描述导弹与目标相对运动的状态方程.应用线性二次型最优控制理论和改进剩余时间的计算方法,提出了一种拦截高机动目标的最优制导律.通过与比例导引律在平面拦截过程中的仿真结果对比分析,表明所提出的最优制导律在拦截机动目标时更为有效.     

加强执法规范化建设的几点思考

加强执法规范化建设是当前和今后一个时期搞好消防监督执法工作的主要任务。结合多年的消防监督执法工作实践,归纳了当前消防监督执法工作中存在的主要问题,分析了存在问题的主要原因,提出了加强执法规范化建设的措施。     

消防行政强制研究

汇总分析了消防行政强制的特征和类型,研究了消防监督工作中常见的行政强制措施和行政强制执行的一般程序,探讨了有效应用消防行政强制这一手段的基本方法和重大意义。     

公安消防机构推行说理执法探索

探索推行说理执法是公安机关消防机构创新社会管理,不断改进和加强消防监督执法工作,提高理性、平和、文明、规范执法能力的重要举措。从说理执法的内涵及推行说理执法的重大意义,说理执法应当把握的指导思想、基本原则、任务和要求等方面,对推行说理执法作了初步探讨。     

Research on fuze microswitch based on corona discharge effect

Abnormal voltages such as electrostatic, constant current, and strong electromagnetic signals can erro-neously trigger operation of MEMS pyrotechnics and control systems in a fuze, which may result in casualties. This study designs a solid-state micro-scale switch by combining the corona gas discharge theory of asymmetric electric fields and Peek's Law. The MEMS switch can be transferred from "off" to"on" through the gas breakdown between the corona electrodes. In the model, one of the two electrodes is spherical and the other flat, so a non-uniform electric field is formed around the electrodes. The theoretical work is as follows. First, the relation among the radius of curvature of the spherical electrode, the discharge gap, and the air breakdown voltage is obtained; to meet the low voltage (30-60 V) required to drive the MEMS switch, the radius of curvature of the spherical electrode needs to be 10-50 μm and the discharge gap between the two electrodes needs to be 9-11 μm. Second, the optimal ratio ε is introduced to parameterize the model. Finally, the corona discharge structural parameters are determined by comparing the theoretical and electric field simulation results. The switch is then fabricated via MEMS processing. A hardware test platform is built and the performing chip tested. It is found that when the electrode gap is 9 μm, the electrostatic voltage is at least 37.3 V, with an error of 2.6% between the actual and theoretical air breakdown voltages. When the electrode gap is 11 μm, the electrostatic voltage is at least 42.3 V, with an error of 10.5% between the actual and theoretical air breakdown voltages. Both cases meet the design requirements.