论军事经济理论体系的逻辑起点

文章对传统的以军品为军事经济理论体系的逻辑起点的学术观点进行了深刻的理论反思,提出了应把国家安全这种公共产品作为建构我国新时期军事经济理论体系的逻辑起点,并在此基础上认真分析了这一逻辑起点与其中各子范畴系统逻辑起点的相互关系。     

μC/GUI图形界面在SOPC系统中的移植研究

图形用户界面(μC/GUI)以其友好的人机交互界面,在各种嵌入式系统中得到广泛应用。文中介绍了μC/GUI在以Nios II处理器为核心的SOPC系统中的移植过程和应用方法。分析了SOPC系统架构和μC/GUI的组织结构,构建了LCD控制器和触摸屏驱动,实现了中文显示。μC/GUI运行结果表明,LCD上图形显示效果良好,体现了μC/GUI在SOPC系统中应用的优越性。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

变论域策略在导弹模糊制导律设计中的应用

比例导引律因结构简单而在实践中得到了广泛应用,但当目标机动逃避时,尤其是获得的目标机动信息不精确时,会产生较大的脱靶量.利用模糊逻辑不依赖对象精确数学模型、对知识具有很强的综合表达和逻辑推理等特点,设计了模糊制导律;并利用变论域策略,使输入模糊变量的论域随着输入变量值的变化而自适应地调整,相应的隶属函数也因此自动调整....     

模糊聚类分析在舰炮射击目标处理中的应用

舰炮对岸射击中射击目标选取比较复杂,用基于AFS逻辑的模糊聚类分析数学方法对射击目标进行处理,是一种评估战场目标选取的新方法。基于AFS逻辑的模糊聚类分析不仅与人类的思维逻辑类似,而且便于计算机将数据库中的记录转化为人类容易理解和操作的模糊集。作为在数据挖掘中的应用,又给出了基于AFS模糊逻辑的一个新的模糊聚类方法,通过具体的数学模型仿真表明这是一种行之有效的方法。     

大气层内燃气动力与气动力复合控制方法探讨

对采用燃气动力(直接力)与气动力复合控制技术的控制方式、姿控发动机控制周期、点火逻辑及姿控发动机启控策略等进行了初步探讨。重点对采用燃气动力/气动力复合控制方式中舵系统的工作模式进行了探讨及仿真研究,对姿控发动机控制周期及控制回路工作周期对制导精度的影响进行了初步仿真研究。通过仿真研究表明:在末制导阶段,采用燃气动力/气动力复合控制方式可提高导弹的快速性,进而提高导弹的制导控制精度。     

基于模糊时间Petri网的决策融合模型及时间推理

针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指挥决策融合中的应用。     

如何培养数学直觉

传统的学习是直觉思维能力的培养由于长期得不到重视,学生在学习的过程中对数学的本质容易造成误解,认为数学是枯燥乏味的,同时对数学的学习也缺乏取得成功的必要的信心,从而丧失数学学习的兴趣。过多的注重逻辑思维能力的培养,不利于思维能力的整体发展。而创新教育学习理论认     

信号时序逻辑约束下基于终点回溯的高效规划

在信号时序逻辑约束下规划路径是一项具有挑战性的任务,其计算量非常高。提出了一种终点回溯的规划方法,它是一种适用于连续时间系统的抽象化方法。该规划方法分为离线构建阶段和在线规划阶段。离线构建阶段在Transducer理论的指导下,从能够完成任务的合理的终点构造一棵快速随机搜索树,向初始状态空间进行回溯。当采样点足够多时,在线规划阶段使用模型预测控制将机器人驱动到快速随机搜索树的叶子节点。通过所提出的规划方法,避免了环境的有限转移系统与信号时序逻辑对应的自动机乘积引起的状态空间爆炸问题。所提出的方法将在线路径规划所需时间降低到1s以下,充分说明了本方法的有效性。与混合整数线性规划以及贝叶斯优化方法相比较,所提出的终点回溯规划方法在线求解效率更优,且更加易于扩展至多机器人协同工作场景。