西陵民兵应急出动，个个随身携带“七件宝”

新春时节,一场名为《三峡恋》的大型文艺晚会在湖北省宜昌市体育场 激情上演,3000多名演职人员、2万多名现场观众随着音乐掀起场内互动高潮。热闹喧嚣中,160名民兵应急分队队员悄然挺立在寒风中,默默守护着这份喜庆祥和。     

创新非战争军事行动中政治工作方式方法

一、程序要“简”。非战争军事行动面临的任务紧急、情况复杂,政治工作只有思路简明、方法简捷、程序简化,才能把握有利时机,快捷高效地发挥作用。一是指挥要简捷。能现场指挥的不搞文电指挥,能本单位决定的不搞逐级报告,能一揽子解决的不多头开会,能直接掌握情况的不让下面上报文字材料,能“一竿子插到底”的不搞层层接转。二是文件要简明。     

基于语义的军事数据资源需求描述模型

将描述逻辑引入军事数据资源需求描述,提出了一种基于语义的需求描述模型,便于计算机理解和处理。介绍了该模型的内涵和总体框架,并以作战力量数据资源为例,阐述了作战力量数据资源概念术语集的构建、作战力量数据资源的表征和需求的形式化描述。依据数据需求,制定了相应推理规则,其可借助描述逻辑的可判定性实现军事数据资源需求的推理。     

轻量级SpaceFibre节点高速传输系统的优化设计

为满足卫星有效载荷间SpaceFibre链路的高带宽、高可靠性和轻量化的应用需求,提出一种SpaceFibre节点传输系统的优化设计。该设计采用基于帧累计的增量化计算方法减少了计算电路的冗余;通过四级流水架构满足了错误检测操作的时序要求,使用循环冗余校验共享机制平衡了硬件资源的使用;采取基于完整应答的双层控制策略提升了系统的可靠性,通过构建面向资源优化的控制状态机和存储架构简化了确认重传算法的实现逻辑。使用型号为XC7Z100FFG900-2的FPGA搭建双节点系统,板级验证表明:该设计满足协议规范,与同类设计方案相比,最高工作频率提高1.5倍,支持最高6.25 Gbit/s的传输速率,查找表资源和存储资源降低,寄存器资源相近,为开发具有自主知识产权的高速可靠SpaceFibre编解码器提供了参考。     

逻辑靶场实现过程和关键技术分析

逻辑靶场基于公共的对象模型、软件平台和高速通信网络,集成了单个或多个靶场的各种资源,形成逻辑上的大型综合靶场,为联合试验训练提供了多靶场合成能力。提出了逻辑靶场规划、创建、测试和使用的总体技术过程,分析了逻辑靶场对象模型、逻辑靶场对象元模型、中间件、网关、规则和标准、支持工具等关键技术及实现方法,介绍了一种联合试验训练支撑平台,为实现逻辑靶场提供参考借鉴。     

红色短视频融入高校思政课的逻辑向度、价值意蕴与实践路径

在新媒体发展方兴未艾的时代,红色短视频日益成为高校思政课的优质教育素材。红色短视频天然具有的意识形态属性和立体化艺术呈现效果,与高校思政课的价值导向深度契合,在短视频用户人数逐年跃升的发展态势下更显示出了其内部蕴含的能够激发人们共情思维的强大影响力。把红色短视频与高校思政课堂有机结合起来,有助于提升课堂教学效果,从而全面达成培养担当民族复兴大任时代新人的根本教学目标。     

世界历史视角下中国式现代化的三重逻辑

现代化并非某个单一国家转变的过程,而是一种世界性的历史进程。中国式现代化的发展无法摆脱世界历史发展而单独存在,世界历史进程也少不了中国式现代化的实践与创新。从理论逻辑来看,中国式现代化开启于世界现代生产力的进步,也紧握这一核心任务走上了现代化之路。从历史逻辑来看,中国式现代化在与世界历史的互动中实现了“追赶—超越”。从实践逻辑来看,中国式现代化为世界现代化进程做出了巨大贡献。     

基于SOPC技术的无人机飞控系统硬件平台设计

提出了一种基于可编程片上系统(SOPC)技术的无人机飞行控制系统硬件解决方案.控制系统核心为单片FPGA芯片,处理单元采用了多个高性能32位嵌入式NiosⅡ处理器来并行处理数据.利用VerilogHDL硬件描述语言在FPGA芯片内部编写了包括图像预处理、姿态预处理、逻辑控制系统等设备.和传统的无人机控制系统相比,得益于采用SOPC技术带来的高度集成性,控制系统保证了在具有很强的数据处理能力的同时拥有较小的体积和较低的功耗.     

基于自抗扰控制的高超声速飞行器再入制导律

鲁棒制导律设计是增强高超声速飞行器再入突防能力、提升飞行安全性的重要保障.针对多约束条件及多种气动参数摄动影响的高超声速飞行器再入轨迹抗干扰跟踪问题,首先,在标准轨迹制导的框架下,结合模型辅助线性自抗扰控制和基于航向角误差走廊的几何制导逻辑,提出了一种可满足纵向和横侧向平面制导任务需求的自抗扰再入制导律;其次,采用反馈...     

加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。