Timed RAISE方法在列控系统等级转换场景中的应用研究

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。     

TCR型SVC相控电抗器参数选择

根据TCR型SVC中相控电抗器电流特点,分析其电流基波与谐波分量的关系与规律;通过TCR运用性能比较,探讨相控电抗器参数的合理选择。     

基于能力的装备保障性能研究

从装备各自的设计特性角度出发而形成的武器装备发展思路,未能考虑能力需求,也未从能力的角度来评价研制的最终成果,造成装备部署后,形成的作战能力和保障能力滞缓。提出了保障能力的定义和内涵,并研究提出以能力需求为出发点,以"联合作战方案—使命任务—保障能力—保障性能—关键技术突破—能力设计实现—能力评价—能力发挥和保持"为主线,用形成的能力来评价研制成果的保障能力形成过程,同时提出了保证装备尽快形成保障能力的对策与措施。     

橡胶隔振器动态性能试验改进方法

橡胶隔振器作为舰艇上的主要抗冲击设备,其抗冲击性能直接关系到设备的安全。详述了橡胶隔振器的主要性能参数及其表征意义与相互关系,描述了动态性能试验的测试原理和几种测试方法,给出了自振衰减方法的试验装置原理与试验方法。以橡胶隔振器为试验对象,利用改造前和改造后的试验装置进行动态性能试验,并对试验结果进行分析对比。指出影响动态性能试验结果的几种关键因素主要是拉杆刚度、扣环刚度和非刚性连接,并提出了对试验装置的改进措施。     

水面舰艇平台防空作战能力指标体系与评估

平台中心战是网络中心战的基础,舰艇单平台防空是舰艇编队防空的基础。依据水面舰艇平台防空作战流程,按功能将各个系统划分为传感器节点、决策节点、响应节点以及任务目标节点,同时构建了水面舰艇单平台防空作战能力指标体系,针对评估指标的定性定量特性,引入云重心评估法对水面舰艇单平台防空作战能力进行了评估。结果表明,该模型计算简便、通用性强,为解决军事领域类似问题提供了参考。     

基于元技术的海洋环境监测系统能力分析

海洋环境监测系统的能力分析直接关乎船舶工程等相关产业的发展、海洋资源的合理利用以及海洋生态系统建设。文章在关键技术等概念基础上,提出体系工程中元技术概念;结合DEMATEL方法分析元技术的集成成熟度,给出体系工程能力测评范式,并据此分析了MECMS设计阶段的体系能力。结果表明:在MECMS设计阶段需要重视对时域频域处理技术、时空处理技术以及信号截获技术等原因技术的把握。     

基于本体框架的海军装备保障计划数据模型构建

为满足海军装备保障计划在保障单元间高效交流共享及自动化操作处理的要求,文章建立海军装备保障计划本体框架,对行动功能关联进行形式化表达,构建行动功能关联数据模型,形式化的阐述资源、能力以及它们之间的关联,扩展海军装备保障资源概念并构建资源数据模型。案例表达表明：行动功能关联和资源数据模型能够很好地表述装备保障行动序列、资源和能力。     

大圆筒防波堤水平和竖向荷载共同作用下承载力数值模拟

大圆筒防波堤服役过程中受到水平荷载和竖向荷载的复合作用,并且不同的大圆筒结构因为直径及入土深度的不同,对水平荷载和竖向荷载复合作用的承载力也不同。采用Swipe加载模式,基于位移加载控制模式数值模拟了不同入土深度与直径比的薄壁大圆筒结构的承载力。计算结果表明:随着入土深度的增加,水平方向承载力线性增大,竖向承载力先期增速较大,后趋于稳定;当入土深度较小时,大圆筒薄壁结构两侧地基出现塑性贯通区,当入土深度较大时,两侧的塑性贯通区变为一侧出现;地基破坏时的水平和竖向荷载共同作用下承载力包络线呈外凸的椭圆形,随着大圆筒结构入土深度的增加,椭圆的半径增大;归一化的极限承载力变化趋势相同,得到偏于安全的承载力破坏包络线方程。     

复杂电磁环境下跳频电台通信抗干扰能力分析

简要阐述了跳频电台的原理及其在复杂电磁环境中受到的影响,分析了跳频电台通信抗干扰的性能,提出了在复杂电磁环境下提高跳频电台抗干扰能力的技术、战术措施。     

军事应用活动仿真建模研究

针对应用活动视图的不足,按照能力需求的分析思路,结合能力模型特点,提出了一种对应用活动视图规范化建模的方法,以详细描述能力模型的动态行为。同时,利用BNF将模型定义为XML格式文档,使模型文件具有良好的可读性、扩展性和重用性,并可以方便地向仿真模型实例转化,有利于实现模型可执行仿真。