基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。     

面对第四次工业革命探讨期刊杂志的创新与发展

本文通过认真研究《国家文化和科技融合示范基地认定管理办法(试行)》及相关实施资料,并在调查研究和会议研讨的基础上融合各方面意见,提出要办好科学文化融合类期刊,提升其影响力,打造其创造力,加强其竞争力,需要文理交叉、中西合璧、知行合一、古今贯通。从对第四次工业革命特征的研究中展开,探讨我国战略规划中期刊类传播事业相关任务的创新与发展。通过对学者著作中关于如何办好期刊的资料分析,结合实际问题和理论依据,提出了若干具体建议。     

重型商用车的三锥面同步器的设计方法研究

针对商用车同步器在换挡过程中存在噪声和齿间冲击大等问题,以某商用车变速器为研究对象,对1、2挡双锥面及三锥面同步器进行研究.根据同步器换挡工作原理,提出三锥面同步器的参数优化方案.分析了锥面参数对齿间冲击、噪声和使用寿命的影响,提出了锥面参数的优化方法,最终通过台架试验证明了该方法的可行性.结论表明,采用优化后的三锥面...     

做好大学生干部培养使用工作

一、加强教育引导,锻造过硬思想作风。调查发现,很多大学生干部入伍一两年后才能适应工作。必须有针对性地搞好教育引导,尽可能地缩短他们的适应期。（一）理想与现实的反差会导致思想上的波动。大学生对部队环境条件相对艰苦、工作训练十分紧张、作风纪律要求严格、业余生活比较单调等实际普遍缺乏思想准备,在期望与现实出现差距的情况下,往往容易萌生＂打退堂鼓＂的想法。因此。     

基于熵权法和FMEA的舰船信息流网络关键节点识别

舰船系统作为一种典型的信息物理系统(CPS),随着其信息化程度的不断提高,CPS信息安全事件频发。现有针对复杂网络的关键节点识别方法多是针对电力系统网络,基于这些网络的评价指标难以应用于电力系统之外的CPS网络。针对现有的关键节点识别方法在CPS中的不足,提出一种基于熵权法和FMEA的信息网络关键节点识别方法。将有效影响范围这个概念加入失效模式与影响分析(FMEA)的指标定性中,利用熵权法对FMEA中的指标进行客观赋权。结合主观性较强的FMEA中的风险顺序数,以风险顺序数中的三个评估指标作为熵权法中决策矩阵的指标。最后,通过舰船保障任务信息流节点网络案例验证该方法的正确性和可行性,分析结果表明,基于熵权法对三种指标综合赋权后的排序比单一的指标要更加合理。     

学习“三个代表”思想要在解决部队党的建设实际问题上求深入

“三个代表”作为马克思主义执政党建设的最新理论成果,它处在党的建设的最高层次,涵盖党的建设的方方面面。深入学习“三个代表”思想,既应着眼于升华认识,更要研究怎样推动党的整体建设,在理论与实践的结合上见成效。从部队实际看,应注意解决好四个问题。     

关于加强部队党的建设的调查与思考

江泽民关于“三个代表”的重要思想发表一年多,部队学习贯彻的状况如何,怎样把这项工作引向深入,大力推进新世纪部队党的建设?围绕这一问题,我带机关的同志,到部队进行了调查研究。     

美国战争动员体系的形成与发展

美国战争动员体系是一个由组织体系、资源体系、法规体系和计划体系等战争动员活动各要素构成的复杂系统。在240多年发展过程中,为适应国家安全形势和支援保障战争需要,美国不断调整改革战争动员体制,强化动员基础,建立健全动员法规和计划体系,战争动员体系逐步形成并发展完善,战争动员能力不断提升,在历次战争中发挥了重要作用。纵览美国战争动员体系形成与发展的历程,总体上可分为三个阶段。