平面交叉杆系变形协调普适方程及其通解

本文运用拓扑学、微分学、几何学的数学方法,捕捉到平面三交叉杆系的变形特点——拓扑特征.在小变形条件下,通过变换得到变形协调普适方程.从而推导出解此类拉压超静定问题的一种快速有效方法.该方法可直接应用于教学与工程计算.     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

基于TSMD-SVM-HMM的机内测试智能降虚警方法

机内测试虚警问题是影响系统完好性和使用保障费用的重要因素。针对环境因素导致的虚警问题,设计了时间环境应力测量装置,应用支持向量机的小样本学习优点,建立虚警与环境因素的关联关系,应用隐马尔可夫模型的连续动态信号处理能力,描述系统长期工作历程中虚警的发生规律,提出了基于时间环境应力测量装置-支持向量机-隐马尔可夫模型的机内测试智能降虚警方法。最后,在某型直升机航向姿态系统上进行了应用与验证,试验结果表明:该方法有效识别出了机内测试的虚警。     

打造航天测试技术战略高地——北京航天测控技术开发公司创新发展攻略

航天测控公司坚持以国家战略任务和市场需求为牵引,采取抢占国防通用测试技术战略高地,确立企业在行业中的龙头地位;科研成果推广应用,引领市场;实施品牌创新,实现产业化发展;人才兴业,奠定创新基础等方法,走出了一条以技术创新、产品创新、品牌建设、人才培养和产业化发展为核心的自主创新之路。     

专家组召开各类人员座谈会 走访部系及职能处室

评估期间,评估专家分组召开了各类人员座谈会,走访了各教学部系及职能处室。先后组织召开了院领导座谈会,教学管理人员、离退休干部、教师、学员座谈会;走访了基础部、边防系、消防工程系、消防指挥系、警卫系、部队管理系、维和培训中心,训练部学院办公室、教务处、教保处、图书馆、编辑出版中心、模拟演练与信息管理中心、实验教学管理中心,政治部组织处、干部处、宣传处,院务部财务处、营房处,科研部组织计划处,基础部军体教研室等有关处室;随堂进行了听课;查阅了学员试卷和毕业论文;组织学员（随机抽取）进行了英语技能测试、计算机技能测试和基本技能（400米障碍）测试。     

美国“猎星”行动必自食其果——解读美国近期利用导弹攻击卫星事件

美国的这次“猎星”行动,其实质是一次反导系统和反卫星能力测试,极有可能加速太空军事化进程。美国是当今对太空依赖程度最高的国家,太空军事化的加速必将使其自身受害。     

军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

嵌入式实时操作系统性能测试方法

为综合评价操作系统能否满足使用要求,研究了一种定量测试嵌入式实时操作系统功能和性能的方法,提出了具体的测试项目、测试环境和测试用例的要点,给出一种基于外部注入的功能测试、性能测试、应用测试方法及具体实现。测试结果证明,该方法对提高软件质量,缩短研制周期,增强可维护性等方面有显著效果。     

山东省对体检合格应征青年统一进行文化测试

为认真贯彻落实国务院、中央军委2002年冬季征兵命令,杜绝假文凭、假学历、假证明等问题的发生,切实提高新兵的文化质量,山东省对体检合格的应征青年统一进行文化测试。文化测试采取由省教育厅统一命题,县(市、区)兵役机关、教育部门联合组织实施。试卷分高中和初中两种类型,一张综合试卷,     

RTI测试研究

运行支撑系统(RTI)作为应用高层体系结构(HLA)进行分布仿真的支撑系统,是实现HLA的核心。RTI的功能和性能直接关系到HLA仿真系统开发与应用的成败。首先阐述了RTI测试的内容和指标,接着结合例子详细研究了RTI测试的方法,最后对RTI测试研究进行了总结,为提高基于HLA的分布交互仿真系统的质量及可信度提供了基础。