广义随机Petri网的装备战场抢修建模与分析

将广义随机Petri网(GSPN)的基本理论应用于装备战场抢修系统的建模与分析,考虑装备战场抢修过程中的各种因素,采用Petri网与马尔可夫理论相结合的装备战场抢修系统性能分析方法,为装备战场抢修系统性能的有效评估提供了理论依据.通过实例验证,该方法可用于分析装备抢修系统的时间性能和运作效率,为机关决策层提供参考.     

追溯数学思想联系生活实际突破教学瓶颈---以6个版本教材《分数的意义》为例

《分数的意义》是承上启下的重难点.文章基于对6个版本的教材分析,强调从现实生活情境、几何直观、数系发展历史、数学知识前后联系等不同维度,深刻解读单位"1"、分数的意义、分数单位等关键知识点.建议小学教师从学科知识、教学能力、教学理念等方面促进自身专业成长与发展,以更好地胜任新课改理念下的小学数学教学.     

始终坚持严格自律秉公用权

党的十七届四中全会《决定》要求全党进一步弘扬党的优良作风，加强领导干部廉洁自律，确保党员干部千干净净地为党和国家工作。各级领导干部贯彻落实全会精神，一项重要任务就是要不断加强党性修养，树立正确的权力观，始终坚持秉公用权、廉洁从政。重点要做到“四讲、四有”。     

浅谈武器装备延寿工作

随着武器装备的发展和更新，许多库存装备陆续达到存储寿命周期或使用寿命周期。在多研制、少生产的装备发展指导思想下，现有武器装备的延寿工作被摆到了突出位置。本文首先讨论了开展武器装备延寿工作的意义，而后介绍了国内外武器装备延寿工作现状及开展武器装备延寿的基本方式，最后讨论了对军代表工作的几点启示。     

基于Lyapunov方法的轮式移动机器人全局轨迹跟踪控制

针对轮式移动机器人的运动学模型,通过设计复合跟踪误差,利用Lyapunov直接法,构造出了具有全局渐近稳定的全局渐近跟踪控制器,实现对参考轨迹的全局渐近跟踪,并根据Lyapunov稳定性定理证明了系统的全局渐近稳定性.最后,给出的仿真结果表明,初始跟踪误差很快收敛于零,轨迹跟踪效果良好,闭环系统具有良好的动态性能和全局稳定性,适用于轮式移动机器人的全局轨迹跟踪控制.     

从多视角认识现代心理战的特点

目前，各种文献资料对心理战特点的表述多种多样，极不一致，给人造成极大的思想混乱。本文着重从心理战参照系的角度进行了梳理。参照系主要有四个：武力战、传统心理战、舆论战、外军心理战。参照系不同，心理战显示出的特点就不同。     

装备维修保障信息化建设顶层设计研究

文章针对海军武器装备维修保障信息化建设面临的有关问题,对信息化作战条件下的装备维修保障特点和影响进行分析,提出了装备维修保障信息化建设的主要目标、系统层次和技术实现途径,研究基于CALS、网络中心保障和基于性能保障的装备保障信息化建设策略,对保障信息化建设实施的有关政策和技术标准进行了概括分析。     

一类完全非线性函数的证明与计数

Helleseth等最近给出了一类二项式形式的完全非线性函数,这是至今为止所发现的第一类由两个互不等价的单项式组成的二项式形式的完全非线性函数。本文利用Frobinus自同构将其变形为一个新的二项式,给出了其完全非线性的简洁证明,指出了这类函数与x2是等价的,最后讨论了该类完全非线性函数的计数性质。     

城市消防远程监控系统建设过程中的几点体会

通过对国内自动消防设施设备存在问题的归纳,结合城市消防远程监控系统实际功能的实现,从监控终端、通信网络、信息中心三个方面提高系统的容错能力,阐述了实际建设和调试过程中的解决办法,并对系统的可靠性和安全性进行了讨论。     

基于修正核函数的支持向量机空袭目标威胁评估

为提高空袭目标威胁评估的准确性,在分析目标威胁评估特点的基础上,提出了一种基于修正核函数的支持向量机空袭目标威胁评估方法.该方法以黎曼几何为理论依据,通过构造一种新的保角变换,并利用该保角变换对核函数进行修正,可提高支持向量机用于空袭目标威胁评估的精度.通过实例仿真与标准支持向量机方法进行比较,说明了该方法的有效性和优越性.