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

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

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

电子系统设计技术及应用专题讲座(三) 第6讲 数字系统的设计与实现

主要介绍数字系统的设计技术与实现方法,从数字系统设计实现方案的提出、论证到具体的模块规划、设计、实现等详细阐述了数字系统设计的流程和注意事项,结合今年大学生电子设计竞赛的题目——"红外光通信装置"对数字系统设计方法进行了实例讲解和分析。     

确定性理论在雷达型号识别中的应用

雷达型号识别是雷达对抗情报侦察的首要工作,是近一步分析雷达用途及相关武器系统的基础,也是高层次上的态势评估和威胁估计的主要依据.针对现代战争中电磁信号环境的复杂性,利用单一传感器很难对雷达型号进行准确识别,而基于确定性理论的不确定推理技术能将多个传感器在多个周期的侦察信息进行融合,所以采用确定性理论的数据融合技术,基于确定性理论的组合规则,采用分层式融合算法对雷达型号进行识别.仿真结果表明,该方法的识别结果令人满意,使采用单一传感器可能存在的无法识别或误识别等现象得到了明显的改善.     

中小学心理健康教育的德育功能研究

为了探究心理健康教育对德育教育的促进功能,丰富德育教育的理论范畴,推进德育教育实施,提升实施效果,本研究采用半结构化访谈法对新疆部分地区的7所中小学的18名教师进行访谈.结合访谈内容,从德育教育体制、德育教育工作开展形式、师资力量建设等方面,提出将心理健康教育“阶段发展目标”纳入德育理论框架、将趣味性强的心理健康教育渗透进德育教育日常活动、建立结合心理健康教育的德育教育专业队伍等相关建议.     

对一起烟头引起阴燃火灾的调查及思考

通过对一起影响和损失较大的通讯部门火灾的现场勘验,系统分析了火灾现场勘验的火势蔓延勘查思路,通过对阴燃的形成条件及规律的分析,运用起火点处排除法,准确认定了火灾原因,并由此次火灾的调查引起一系列的思考。     

导管螺旋桨敞水性能的预报和比较

借助于计算流体力学软件,对导管螺旋桨的敞水性能进行了数值模拟,得到了在不同网格模型和湍流模型下导管螺旋桨的正车敞水性能曲线,通过与试验图谱的对比分析,发现Wilcoxk-ω模型更适合于导管螺旋桨的敞水性能计算,并且采用结构化网格和非结构化网格相结合的计算方法能够满足导管螺旋桨敞水性能预报的工程精度要求。同时,当网格中存在少量高度倾斜的网格单元时,在不影响计算收敛的情况下,仍能将计算误差控制在10%以内。此外,如果要获得更为精确的计算结果,应提高网格质量,尽量使用结构化网格,并将近壁面网格加密,合理控制壁面附近的Y+值。虽然网格数量的增加并不总是意味着计算误差的减少,但合理控制网格细密度能够获得更为可信的计算结果。     

面向数据库服务的网络流量模拟方法

针对离线网络安全实验环境缺少真实网络环境的背景流量,以及实验环境中数据库服务器缺少资源争用的现象,提出了面向数据库服务器的网络流量模拟方法,设计了用户访问数据库的操作模型,实现了面向数据库服务且独立于其客户端的网络流量模拟系统。     

基于CAS/Agent的装甲装备战损模型仿真

针对传统战损模型研究方法存在的不足,提出用人工神经网络的学习能力模拟Agent的适应性。借鉴CAS(Complex Adaptive System)理论的建模思想,引入ERA(Environment-Rules-Agents)方案建立战损模型。在外部干预Agent作用下,运用BP算法并结合CT(Cross Target)算法对红蓝双方对抗战斗进行仿真,模拟动态战场环境下装备损伤的演化过程。该模型可更好地理解装备损伤的动力学特性。