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

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

智能控制在空战仿真中的应用

智能控制是以复杂系统(对象、任务、环境中至少有一个是复杂的)控制为目标的一个研究领域。智能控制以其特有的控制复杂对象的能力,产生伊始就引起了空战仿真界的高度重视。20世纪70年代中期,美国决策科学公司(DicisionScienceIncl就提出了自适应机动逻辑的方案(AML)。     

一种用模糊逻辑控制的新型三相电压型PWM整流器

介绍一种基于模糊逻辑的三相AC/DC空间矢量变流技术方法,该方法软件结构简单,便于技术实现.应用该方法研制的样机,谐波失真THD值小于3.9%.     

探析构建国防教育学科理论体系的逻辑起点

自上世纪八十年代有学者提出国防教育应该有"学"以来,国防教育领域的专家学者们就构建国防教育的学科体系作出了不懈努力,取得了很多成果,如国防大学训练部学生军训工作办公室编著的《国防教育学》、苑士军主编的《国防教育概论》、李先德所著的《国防教育学概论》、傅景云主编的《国防教育概论》等,均为构建国防教育学的学科理论体系作出了突出贡献。但是一门学科的成熟,必须要有完整的科学理论体系,笔者以为,国防教育虽已构建起理论体系,但尚不成熟和完整,只能算是初步有"学"。按照构建学科体系的基本要求,首要的问题是如何概括出理论体系的逻辑起点。而要概括出理论体系的逻辑起点,则必须准确界定其基本概念。     

小型无人机控制逻辑建模及仿真

无人机的飞行轨迹具有明显的分段特性,且在各飞行段内其飞行状态和控制方式有明显的区别。针对这一特点,可以通过建立飞行全过程的控制逻辑模型实现对无人机的监控任务。Stateflow是一个基于有限状态机理论的图形化离散事件仿真环境,可以用于控制逻辑建模。利用Stateflow建立了某小型无人机飞行全过程的控制逻辑模型,为无人机的控制逻辑建模提供了新的设计方法。通过对所研究的小型无人机非线性系统模型进行仿真,验证了所建立的控制逻辑模型的正确性。     

直接力/气动力复合作用动能拦截弹姿态控制方法

针对直接力/气动力复合作用动能拦截弹的姿态控制问题,建立了拦截弹俯仰-偏航通道短周期运动模型;利用线性二次型最优跟踪控制理论结合姿控固体小火箭点火逻辑设计了复合控制系统,通过分析非线性容限得出了该系统对直接力偏差具有强鲁棒性的结论;姿控回路仿真表明系统具有快速响应特性及良好的跟踪性能,考虑侧喷干扰效应等实际条件的六自由度弹道仿真表明所设计的控制系统能够满足拦截末段直接碰撞要求。     

深刻认识中国特色社会主义的理论逻辑和历史必然

习主席指出：“中国特色社会主义,是科学社会主义理论逻辑和中国社会发展历史逻辑的辩证统一。”深入学习和领会习主席这一重要论述,对于我们坚定中国特色社会主义道路自信、理论自信和制度自信,增强在实现中国梦的伟大实践中牢记强军目标、献身强军实践的高度政治自觉具有重大意义。     

先进上面级数字逻辑姿态控制律设计

建立了先进上面级姿态动力学模型和推力器配置方案,根据快速大角速度精确姿态机动的任务要求,设计了数字逻辑姿态控制律.考虑姿态角和姿态角速度的相互关系和测置误差的存在,将姿态相平面划分为多个控制区域,以节省燃料和避免测量误差的影响.在实际上面级参数下进行姿态机动控制仿真,采用数字逻辑姿态控制律能在16s内实现先进上面级俯仰角60°的大角度姿态机动,并能很好地保证姿态指向精度和姿态稳定度,控制效果也优于脉冲宽度调制.     

商业逻辑下的战争

有的时候,我们会意外地发现那些在我们头脑中早已成为“常识”的默认值,事实上并不是那么“天经地义”。譬如说,不知从什么时候开始,在我们的语境下,“战争”和“经济”两个词在多数人的、失脯中就被对立了起来,但凡在新闻中听到某处又要爆发战争,很多人的第一反应就是相关国家的“经济”要受到影响了。     

一体化联合作战指挥信息流通体系逻辑结构分析

针对协同性联合作战向一体化联合作战转变对作战指挥产生的影响,在正确定位指挥信息流通体系的基础上,从一体化联合作战的本质特征及对指挥信息流通体系的影响出发,设计了基本作战单元指挥信息输入、输出模型,并通过将作战体系区分为四类模块,得出了指挥信息流通体系的逻辑结构.