时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

关系数据库中的属性约简

文中给出了一个函数依赖概念的推广,证明了它与知识发现领域中的许多重要概念都有密切的联系,并应用它得到了知识发现领域属性约简的一个有效完备的多项式算法.     

线性控制系统的渐近跟踪控制与干扰解耦的设计及仿真

基于内模原理,针对线性控制系统设计了系统输出对参考信号的渐近跟踪控制和干扰解耦,同时实现了系统的镇定,并给出了设计算法和算例,通过MATLAB软件进行仿真,验证了该方法的有效性。     

AMT换挡过程动力学建模及换挡品质影响因素分析

建立了AMT车辆换挡过程动力学模型,并对换挡过程各阶段进行了动力学分析,找出了影响换挡品质的主要因素。得出挂挡阶段和离合器接合阶段是产生换挡冲击和滑磨功的主要阶段,其中离合器接合阶段是换挡品质控制的重点,最后给出了提高AMT车辆换挡品质的具体措施。     

充分发挥铸盾文化辐射功能积极引领武警文化繁荣发展

武警工程学院通过近30年办学育人实践形成的“铸盾文化”,是当代革命军人核心价值观和武警忠诚卫士文化在校园的集中凝结。努力把学院“铸盾文化”建设成为武警部队文化高地、先进文化辐射地,扎实推进“铸盾文化”在武警部队广泛传播、扎根结果,对于培养造就新时期高素质军事人才,引领和推动武警主题文化,促进部队思想文化建设发展,具有重要现实意义。     

一种基于VPRSM的辐射源模糊识别方法

为解决辐射源识别的问题,研究利用变精度粗糙集模型来确定辐射源识别特征权值的方法。由概念的正域中对象类的条件属性的描述,得到该概念的充分条件,并依据知识间的依赖性作为所要考虑的因素来获取特征权值,同时结合模糊集理论,提出一种基于变精度粗集特征加权的辐射源模糊识别方法。最后将此识别方法模型应用于雷达辐射源用途识别,仿真实验及其结果验证了该方法的可行性和有效性。     

基于EKF算法的弹道导弹助推段跟踪建模与仿真

围绕弹道导弹助推段跟踪问题,分析了助推段反弹道导弹的基本作战过程,建立了弹道导弹助推段动力学模型,分别就单传感器/单弹道导弹和多传感器/多弹道导弹两种情况建立了基于EKF算法的弹道导弹助推段跟踪模型,并通过算例验证了模型和算法的有效性,可为助推段反弹道导弹建模与仿真提供一定的参考。     

空天防御发射技术发展研究

在世界新军事变革形势下,随着空天攻防技术不断发展,空天防御的发射技术也得到了发展与完善.以国内外典型空天防御产品为例,开展了发射技术的未来发展趋势综合技术研究,提出了空天防御体系中发射技术将向通用化、网络化和功能扁平化等方向发展的观点,并为此展开了详细论述.     

基于Nastran优化的某导弹结构模型修正

为了对某型号导弹结构建立合理的有限元全弹模型,基于Nastran的灵敏度分析及优化功能,首先对初始导弹模型设计参数进行了灵敏度分析,并确定优化设计的设计变量,然后以模态试验结果为优化目标,对其进行动力学优化,得到修正模型.结果表明,修正后模型的计算结果与试验结果偏差有很大程度的改进,符合了工程的使用需要.     

“又＋动1＋又＋动2”格式之考察

本文对收集到的＂又＋动1＋又＋动2＂格式的语料进行了定量、定性分析,从它的构成形式、语义特点、位序特点、语法功能四个方面概括了这一格式的特点,并比较分析了这一格式与＂又＋形1＋又＋形2＂格式的相同点和不同点,以及与其它并列格式的区别。以期对＂又A又B＂格式的特点有个更全面、准确地把握。