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

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

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

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

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

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

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

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

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

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

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

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

基于灰色模型预测门诊病人人均医药费用的研究

本文介绍了两种常用的灰色模型,并结合已有数据对未来5年门诊病人人均医药费用进行了比较预测。对预测结果给予了解释,这些数据可以为医疗保险及相关政策制定提供参考。     

SSR模式在高师教育心理学课程中的运用研究

“传递-接受”为主的教学模式重在肯定固化知识的价值,SSR模式则基于实践生成的知识观,着眼于培养具有自主性、创造力、领导力的学习者。作为师范专业的公共必修课,教育心理学课程教学急需实现教学模式的转向。结合实践,本研究对大班额情境下,SSR模式在高师教育心理学课程中的运用进行了探索。     

体验式大学英语视听说教学模式探究

视听说教学的优化是提高大学生英语综合应用能力,特别是听说能力的关键。本文在论述体验式教学理论基础、原则及其优势的基础上,结合目前大学英语听说教学的现状,提出了一种体验式视听说教学模式,该模式由具体体验、观察模仿、探讨总结和实践运用四个阶段构成。文章介绍了应用该模式的具体实施方法和结果。实践证明,应用该模式能有效提高视听说教学质量。     

大型活动安保工作的基本模式

安保工作是大型活动的重要组成部分和保障系统。如何提高安保质量和水平,确保大型活动安全有序是我国政府和公安机关普遍关注的一个重要课题。大型活动安保工作的基本模式包括统一组织指挥,实行整体作战;组织安保力量,加强业务培训;拟制安保计划,组织实战演练;划定安全区域,立体多维防控;采用高新技术,强化安保措施;加强国际合作,密切协同配合等内容。