参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

机抖激光陀螺减振系统的模态分析

通过对惯性测量单元(Inertial Measurement Unit,IMU)进行减振,可以减小外部冲击、振动对IMU正常工作和测量精度的影响,提高系统导航精度。基于patran/marc有限元分析软件对激光陀螺IMU的减振系统进行模态分析,得到减振系统主要的模态及频率。主要通过仿真分析了减振橡胶块的温度、轴向压缩量和径向压缩量三项关键因素对减振系统模态的影响,提出了一种IMU减振系统的优化设计方案。结论表明:可通过改变结构参数方式来调整减振系统参数,从而满足机抖激光陀螺惯导的应用要求。     

基于粒度计算的指控系统效能测度的探索性建模方法

分析了探索性分析模型的粒度原理,建立了基于粒度计算的指控系统效能测度的探索性分析模型,重点研究了探索性分析模型的建立,属性函数的构造和探索因子集的粒度获取方法,并结合多兵种联合作战案例,对使命完成时间测度进行了探索性分析,实验表明,基于粒度计算的探索性建模方法能够通过粒度的转换降低问题的复杂度,并在不同粒度层次上实现对问题描述的一致性。     

高层建筑消防给水系统设计

结合工程设计实践,以性能化设计为指引,按照经济合理、安全可靠的原则,从室外消火栓数量的确定、水泵接合器数量的确定、消防水池容积的确定、消防给水系统形式的选择几个方面探讨了消防给水系统的设计,以求更新设计理念,提高设计效益。     

基于网络的高校教学案例资源管理系统设计与实现

结合某高校案例教学的实际需求,研究设计了基于.NET平台三层架构的教学案例资源管理系统,实现了灵活的管理授权、可定制分级审核、实时案例编辑和简单实用的案例教学互动等功能,具有较强的可移植性、扩充性和可维护性,在实际应用中获得了良好的效果。     

军队院校人才培养质量保证体系运行研究

基于ISO9000族质量标准的军队院校人才培养质量保证体系,是提高军队院校人才培养质量的重要保证。军队院校人才培养质量保证体系的运行准备、运行机制、运行评价是军队院校人才培养质量保证体系高效运行的关键环节,也是军队院校人才培养质量保证体系发挥作用的重要依托。     

论提高灭火救援组织指挥能力

建设科学合理、准确高效的灭火救援作战组织指挥体系,能提高消防部队的组织指挥的能力,以最快、最有效的方法处置各类事故,真正做到＂拉得出、冲得上、打得赢＂。阐述了建立灭火救援作战组织指挥体系的基本要求,提出了提高灭火救援指挥员指挥水平的对策。     

优化边防情报资源管理模式探析

边防情报在公安边防部门开展对敌斗争,维护沿边沿海地区政治、社会稳定和预防打击犯罪中发挥着越来越重要的作用。对边防情报进行科学管理,更好地发挥边防情报的服务功能,需要对边防情报资源管理模式进行优化。引入知识管理模式,以期实现边防情报资源管理模式的优化。     

消防职业技能鉴定制度探析

消防职业技能鉴定制度一般是指由政府主管部门批准的考核鉴定机构,对从业人员的消防技能水平进行评价并颁发证书,表明该人员达到消防职业国家标准的要求的制度。消防职业资格的法律实质为消防特有工种从业人员的执业执照,分析了以消防职业分类、职业标准、职业资格鉴定管理体系为主的消防职业技能鉴定制度构成要素,对制度建设过程中应注重的消防职业培训理念、该制度与人员就业和企业招聘以及与公安消防部队岗位资格制度的衔接问题进行了探讨。     

消防工程联动问题探讨

消防联动是使消防设施在火灾发生时发挥作用达到自防自救的重要环节,正确把握自动消防设施的联动时间,合理确定自动消防设施的联动范围,准确区分＂自动＂和＂手动＂操作对象,使自动消防设施联动控制合理、有序,确保在建筑自防自救过程中发挥最大的作用。