利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

多空域窗射击技术研究

未来空域窗射击体制相对集火射击体制,提高了对机动目标的拦截概率,能够对付有限机动目标,然而依然难以对付具有高度机动能力的目标,尤其是有人驾驶飞机,如果在射弹飞行时间内进行拐弯、爬升、俯冲等强机动.为了进一步提高对目标的拦截概率,提出了多空域窗射击体制,即在传统火控系统中增加目标实时态势估计模块,实时预测目标在射弹飞行时间内的可能机动模型,并根据预测结果进行多个未来空域窗射击.     

欠驱动再入飞行器的抗饱和姿态控制器设计

针对只有两个舵的欠驱动再入飞行器,设计了具有抗饱和功能的姿态跟踪控制器.控制器的设计过程中,首先将姿态运动学与动力学模型分解成慢回路和欠驱动的快回路,然后分别针对快回路和慢回路设计了超扭曲滑模控制器和分层滑模控制器,最后通过仿真验证了该方法的有效性.     

《中国近现代史纲要》模块化教学改革探索

突出＂中国近现代史纲要＂思想政治理论教育的主题和优势,增强思想政治教育的针对性、实效性,要求教师在教育教学中始终坚持以学生为本的教育理念,不断改进教学方法、增强教育亲和力;不断改革传统的课堂教学单一模式,加强实践教学,建立注重学习过程和环节考核的模块化教学模式。     

移动式雷达网的建立与优化

提出了移动式雷达网的概念和移动式雷达网的4种作战模式:环形模式、伞形模式、宽正面模式和纵深模式,对每种模式的优缺点进行了探讨。具体研究了宽正面移动式雷达网模式的优化问题,建立了相应的优化数学模型,并简单介绍了最优化模型的灵敏度分析问题。     

无人作战飞机通信延时仿真

通信作为无人作战飞机任务控制站与无人作战飞机之间的纽带,在无人作战飞机系统中起着至关重要的作用。简要阐述了引起无人作战飞机通信延时的具体因素,分析了无人作战飞机使用的几种通信方式,提出并运用网络仿真工具NS2(networksimulation-2)针对视线通信方式和不同中继方式下的通信延时进行了仿真,最后对仿真作了分析和解释。     

加快院校初级指挥人才培养模式转变的思考

加快武警院校初级指挥人才培养模式转变,既是贯彻落实胡主席主题主线重大战略思想的客观要求,也是适应建设现代化武警需要,不断提高院校人才培养质量的迫切要求。客观分析了以往武警院校初级指挥人才培养模式所取得的主要成绩、存在问题及原因;从适应武警部队现代化建设现实需要等方面,阐述了转变人才培养模式的必要性;从服务部队建设、培养合格人才的高度,提出了加快初级指挥人才培养模式转变的六项基本对策。     

计算机网络级联失效建模与分析

针对以往级联失效模型负载局部重分配规则与现实计算机网络全局路由特点不吻合的缺陷,模拟网络中信息流传输过程。定义路由器的失效条件,建立基于负载全局重分配的级联失效模型,并在此基础上提出基于连通和性能两方面的级联失效影响评价参数,进而分析用户流量和攻击方式对计算机网络级联失效的影响。结果表明,随着流量的增大,级联失效存在相变行为,相变点刻画了网络在不会发生级联失效前提下的最大传输能力。此外,针对网络中高度节点的攻击,更为容易引发大规模的级联失效,应予以重点保护。     

关于《语言学概论》课程评价体系改革的探讨

《语言学概论》课程的评价体系改革势在必行,本文拟通过对《语言学概论》课程教学目标的理解、授课对象以及对教材、最新理论发现与教学内容之间关系把握等方面的研究,试图探讨出适合《语言学概论》课程的评价体系,即建立多元化的课程评价体系。从而在课程评价中实现在平时测评中的多样化操作,同时又能实现期末课程评价最大的合理化与公平化。     

基于音乐专业学生主体的艺术实践模式思考

我国目前正处于社会和文化大发展时期,这使大学生的心理特征和认知特征发生了很大变化,也对高校音乐专业的教学与实践工作提出了新的更高的要求。应对这一挑战,一是必须实现教师自身在教学理念、专业素质等方面的调适;二是必须在艺术实践教学的各个环节做出相应的调整。