机电引信虚拟试验技术研究

在对虚拟试验技术进行详细介绍的基础上,针对机电引信的特点,提出了引信虚拟试验系统概念及模型.在现有的CAD、CAE软件平台下,通过二次开发实现了该系统的构建.根据引信虚拟试验的要求,将系统划分为6个功能模块,对每个模块的设计方案、程序结构及模块间的接口规范进行了阐述.构建的引信虚拟试验系统可以建立带有随机偏差的引信虚拟样机,根据引信零部件间的装配关系可以自动生成引信故障树,从而完成引信可靠性分析,并可以在模拟试验环境中对引信动力学响应特性、运动的协调性等进行仿真分析从而迭到对引信机构优化设计、性能评估的目的.     

基于单向传输协议的网间安全交换技术

为解决工业控制系统与涉密工作网络之间信息安全交换的问题,提高信息交换的效率,提出一种基于单向传输协议的数据交换技术。构建数据交换可信验证模型,将业务数据分离成2个单向链路,并采用单向隔离设备实现网络的安全隔离和信息单向传输。通过控制信息管理子平台防止高密级信息流向低密级安全域,利用采集信息管理子平台抵御对涉密信息系统的攻击。设计数据安全传输机制,并进行私有协议封装。分析结果表明,该技术可实现工业控制系统与涉密信息系统间的安全互联和数据可信交换。     

基于AADL的建模和验证技术应用研究

随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级;体系结构分析和设计语言AADL能够在模型级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景;全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具,并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用,从而为AADL技术在我国嵌入式软件中的应用奠定了基础。     

基于Petri网的AADL模型正确性验证研究

体系结构分析和设计语言AADL能够在架构级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景。但是目前的验证集中在性能分析等方面,忽略了AADL模型本身的正确性验证。提出将AADL模型的模式和模式转换映射成Petri网模型,结合Petri网的理论对AADL模型正确性进行验证的方法,从而确保建模阶段模型的正确性,为后续各种验证分析奠定了基础,同时进一步降低了在系统实现后发现问题修改模型所带来的时间和成本。最后,通过具体实例验证了该方法的可实施性和有效性。     

水生态文明建设质量的时空演化评估

基于习近平总书记提出的新时期治水思路设计水生态文明建设质量研究框架和评估指标体系,采用“纵横向”拉开档次法和探索性空间数据分析法评估了水生态文明建设质量的时序变迁规律和空间演化趋势。结果表明:2004—2020年水生态文明建设质量变迁先后经历了缓震荡期和快增长期,总体上呈相对稳定的上升趋势,兼具“梯度演化”和“中游驱动”的变化特征；水生态文明建设质量具有空间正相关性,存在城市群极化现象,且以长三角地区最为显著；“十四五”期间是中、西部地区发挥后发优势的重要战略机遇期,发挥长三角、京津冀等领先优势城市群的辐射带动效应尤为重要。