基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

战场数字化条件下的单兵数字化系统——“数字化战场与单兵数字化系统”系列论文之二

本文首先讨论了战场数字化条件下单兵数字化系统的概念和内涵，用Ｌａｎｃｈｅｓｔｅｒ模型分析了单兵系统的作战效能，然后以此为基础研究了单兵系统的基本功能单元和实现其整体功能的组成结构。     

多柔体系统动力学模型的集中参数近似方法

提出了有限元方法和数值积分相结合获得多柔体系统集中参数模型的近似方法,并基于lagrange方程,对有根树型拓扑结构的多柔体系统进行建模。     

Alpha 工作站仿真一体化环境交互系统设计

交互系统是一体化建模仿真环境中的一个重要环节,主要解决人机关系,使用户可以方便地与仿真机作高速通讯,对仿真运行进行实时监控。本文在简要介绍整个系统概况的基础上,对交互系统的总体设计、命令分析与处理、功能实现等几个方面展开了讨论。此外,还简单介绍了交互界面的设计和实现情况     

《德意志意识形态》中的思想政治教育意蕴及其当代启示

作为马克思主义唯物史观创立的奠基之作，《德意志意识形态》蕴蓄着丰富的思想政治教育资源，为研究无产阶级思想政治教育提供了全新的哲学视角和思想遵循。立足“意识形态”与“思想政治教育”的相关概念阐释及其辩证逻辑关系考察的理论基础，系统梳理和科学审视思想政治教育本质论构筑的内在基石、思想政治教育环境论形塑的外在动力、思想政治教育目标论指向的终极旨趣等思想政治教育的基本原理，这对新时代思想政治教育始终坚持以人民为中心的价值立场、牢牢掌握意识形态工作的主导话语权、优化创新理论灌输的教育方法具有重要现实启示和指导价值。     

“五个必由之路”重大论断研究述评

“五个必由之路”是总书记于2022年两会期间提出的重大论断，是对共产党执政规律、社会主义建设规律、人类社会发展规律认识的进一步深化，为新时代党团结引领中国人民砥砺奋进指明了科学路径，闪耀着丰厚的马克思主义哲学内涵。回顾百年党史，立足新的历史条件，深入探究“五个必由之路”重大论断科学机理、历史根源、现实基础既是对其系统性完整性逻辑性的深层次研究，同样有益于实践层面的转化。     

一种改进的双轴旋转惯导系统误差调制方案

旋转惯性导航系统通过让惯性测量单元（inertial measurement unit,IMU）周期性地绕一个或多个轴旋转来调制系统误差。合理的旋转方案应尽可能消除惯性器件引起的系统误差,同时在IMU时不应引入新的误差。提出了一种改进的双轴旋转惯性导航系统的综合误差调制方案,方案不仅可以调制惯性器件的常值误差,而且可以抑制由刻度系数误差、安装误差与IMU旋转运动耦合而引起的额外误差。与常见的16位置旋转方案相比,耦合误差被调制为零均值周期形式,且误差幅度减小一半,从而减小了系统的速度误差和位置误差。数学分析和仿真试验表明,在相同综合误差条件下,旋转方案将纬度误差由常见16位置旋转方案的0.383 1 n mile/72 h降低到0.191 0 n mile/72 h,经度误差从1.107 1 n mile/72 h降低到0.462 7 n mile/72 h。     

基于多状态故障树的舰船装备可靠性分析方法

为分析舰船装备的系统和单元部件介于正常和故障之间的中间过渡状态,结合实际工作情况,提出了一种基于多状态故障树的可靠性分析方法。以舰船电力系统为例,将传统故障树模型的底层事件布尔单元改进为可维修的三态（正常、劳损降级和故障）单元部件;结合智能体董正琼技术建立该多状态故障树仿真模型,各事件之间的从属关系采用抽象映射进行描述;通过多次蒙特卡洛仿真运行,根据各底事件发生概率定量计算出电力系统的可靠度统计值为99.624%,在一定程度上验证了所提可靠性分析方法的可行性。     

中华优秀传统文化融入“马克思主义基本原理”课教学探析

习主席在党的二十大报告中指出,“坚持和发展马克思主义,必须同中华优秀传统文化相结合”,“我们必须坚定历史自信、文化自信,坚持古为今用、推陈出新,把马克思主义思想精髓同中华优秀传统文化精华贯通起来、同人民群众日用而不觉的共同价值观念融通起来,不断赋予科学理论鲜明的中国特色,不断夯实马克思主义中国化时代化的历史基础和群众基础,让马克思主义在中国牢牢扎根”。这些重要论述,为我们更好汲取中华优秀传统文化的营养,推动中华优秀传统文化与思政课有机融合提供了科学的方法论指导。     

抗战时期苏中如泰地区的反“清乡”斗争

抗日战争进入相持阶段以后,在战争长期化背景下,日本为达到其“以华制华”“以战养战”的战略目的,实行对华新政策,把战略重心转向中共领导的抗日根据地,对华中等占领区进行了残酷的“清乡”。1943年起日伪便将“清乡”的魔爪伸向了苏中如泰地区,军事上打击抗日武装,政治上实行伪化措施,经济上掠夺当地资源,思想文化上推行奴化教育。如泰地区抗日军民在中共中央华中局及地方党组织领导下展开了针锋相对的反“清乡”斗争,最终取得了胜利,坚持了抗日根据地,为抗日战争的最后胜利做出了贡献。