基于星历辅助的导航星座星间链路捕获初始信息求解算法

针对星间链路信号动态范围大、捕获时间要求短之间的矛盾,提出了一种捕获初始信息的求解算法。该算法基于导航星座的星历资源和动态特性,采用迭代的方法对信号传输时延和多普勒频率进行估计。分析指出,该算法实现过程简单,收敛速度快,估计精度高,两次迭代即可实现时延估计精度达到纳秒级,大大降低了捕获实现的难度和复杂度,适合星上资源要求比较严格的场合。分析基于北斗导航星座模型展开,对我国北斗导航星间链路的设计提供了参考。     

微槽结构单点金刚石飞切加工的切削力建模

超精密单点金刚石飞刀切削技术是一种比较新颖的微槽类结构加工方式。在飞切过程中,切削力是切削过程中重要的物理量,对加工后的表面质量、刀具磨损等有着直接影响。提出了一种基于直角微切削理论的动态微槽类结构飞切的力学模型,基于微切削理论,得到了前、后刀面切削力的理论模型。根据飞切的几何运动特征,建立了飞切过程中剪切角的计算模型,并根据单圈飞切实验得到了飞切过程中剪切面的变化规律。为了验证模型的正确性,采用不同切削参数进行了多圈重叠飞切实验,对切削力进行了测量和分析。实验得到的切削力大小和变化规律与理论模型计算得到的基本一致,证明了该切削力模型的有效性。     

低速率移动自组织网络安全路由协议

由于移动Ad Hoc网络具有无需基础设施,可以快速部署,很难完全被摧毁等优点,被作为数字化战场通信的优先选择,设计实现了一种适用于低速率移动Ad Hoc网络的安全路由协议——LSRP,它适用于分层架构的低速移动电台自组网,可以在网络资源有限的情况下,防御来自外部和内部两方面的攻击。LSRP协议利用分布式门限RSA签名方案来阻止非授权接入,防范来自网络外部的攻击;利用邻节点信任度评估机制,进行恶意节点检测和剪除,防范来自网络内部的攻击,增强了网络的安全性。     

通川区人武部组织排查邪教人员

正为进一步纯洁人武部官兵职工队伍,四川省达州市通川区人武部近日指定专人深入地方防邪、公安、国安等部门,对所属系统干部职工、专武干部、民兵应急队员本人及家庭主要成员和主要社会关系进行了"拉网式"排查,对家庭主要成员练习"中功"的2名民兵应急队员及时进行了调整。     

基于Petri网的多状态运输网络端端可靠度计算方法

经典的网络可靠性问题认为网络和部件只存在完全工作或完全故障两种状态。但在运输网络中,节点和弧可能处于某种中间状态,即存在多状态特性。描述了一种基于Petri网计算多状态运输网络端端可靠度的方法,节点和弧的能力可以服从任何分布,传输时间是与其当前能力和运输需求有关的的随机值。能力随机有色Petri网被用于模拟系统行为,通过仿真估算多状态运输网络的端端可靠度,同时可以确定可靠度最高的最优路径,最后给出了一些计算实验。     

占领军网舆论阵地应在“六力”上求突破简

习主席在全国宣传思想工作会议讲话中强调,要坚持巩固壮大主流思想舆论,弘扬主旋律,传播正能量。唱响军营网络主旋律、打好网络主动仗,占领军网舆论主阵地、传播网络正能量,既是贯彻落实全国宣传思想工作会议精神的重要举措,     

不断提升政工网进班排质量效益 65659 部队

运用网络开展工作推进建设是我部的创新举措和特色做法。近年来,我们坚持把政工网建设作为重点工程和惠兵工程,大胆实践创新,不断摸索规律,大力推进政工网进班排建设,实现了“网络联通率、终端配备率、班排覆盖率”三个100％,有力推动了部队建设发展。     

美军网空战争的法律伦理观

美军非常关注天空、太空和网空三,大领域,分别制定了不同的军事战略,体现了其不同的战略思维和法律伦理观。网空战争虽然不同于以往的战争形态,但仍然脱离不了战争的本质。美军对其法律伦理层面进行了深入的思考与探究,对其未来网空战略与作战理论的发展将具有一定的深远影响力和导向力。     

再唱兵歌别样美——海军政工网“下连当兵”大家谈

蹲连住班的“望闻问切”：我曾经在基层当过兵,任过班长,干过排长、指导员,此次蹲连住班是一次温故而知新的过程。每天居住在班排,与官兵在一起,有一个直观的感觉,现在的战士已经不同于过去,主要表现在：入伍前经历相对复杂化,思想观念呈现多元化,生活习惯基本城镇化,学历层次普遍大专化。战士们很聪明,对高级机关来的干部,     

基于DM2的体系结构可执行模型构建方法

基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来。文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,分析了基于DM2的逻辑数据与可执行模型各构建要素的对应关系,构建了基于DM2的逻辑数据模型直接转可执行模型的过程框架,重点研究了如何直接从体系结构底层数据转可执行模型的方法,从而为进行基于元模型的体系结构可执行评估提供模型基础,也为进一步实现体系结构自动化验证评估提供技术支持。实例验证了文章提出的方法。