利用计算机模拟水下核爆炸成果计算水中冲击波参数:一种计算水下核爆炸冲?

根据美国计算机模拟水中核爆炸的成果及所给冲击波参数数据表,采用数学回归分析方法得出了计算水下核爆炸冲击波参数关系式,并用ＢＡＳＩＣ语言编程实现了这种计算。     

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

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

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

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

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

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

基于声检测的爆炸冲击场剖面可视化技术

阐述了声发射的检测原理,研究了冲击波作用下物体的声发射特性,并利用声发射的不可逆效应(Kaiser效应),提出了一种基于测试的冲击场层析技术.给出了实现流程图及其若干关键技术,如主副鉴别、前沿鉴别等.实验结果表明该技术有一定的实用性,为冲击波作用下物体内部的位错形成和滑移机制的研究提供了一种手段.最后对下一步要解决的问题进行了说明.     

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

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

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

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

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

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

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

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

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

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