新投产系统不可见接口的可信验证方法研究

在新系统持续投产的情况下,如何验证与保障系统功能正常、数据准确成为重要课题,尤其是对一些可能阻断核心业务,影响生产安全的关键接口,需要设计出足够有说服力的可信验证方法对其进行保障。基于此,该文首先对接口的分类进行研究,根据接口的不同特性与需求提出了三层递进的测试验证模型,用于对接口验证保障级别进行评定,其次提出了基于跟踪带的离线回放验证方法与基于可视数据的外挂式复核验证方法,对如何针对目标接口的保障级别实现可信验证的问题进行了研究。这两种可信验证方法被成功应用在中国航信新离港系统的试投产实践中,验证了有效性,并为其他系统开展可信验证提供了理论依据与实践样例。

建筑部品与构配件典型接口尺寸研究

要实现建筑部品与构配件的通用性和互换性,需同时满足2个标准化:一是部品与构配件自身尺寸的标准化,二是接口尺寸的标准化。结合建筑部品和构配件的分类与编码标准GB/T 51269-2017《建筑信息模型分类和编码标准》和《装配式建筑部品部件分类和编码标准》(报批稿),以及接口研究需要,建立了对建筑部品与构配件接口分类和编码方法与原则,并从中选取装配式建筑4大系统内及系统间的数个典型接口,聚焦接口尺寸的标准化问题进行接口尺寸研究。

面向未来运载火箭的新一代综合电子平台设计与研究

为满足运载火箭电气系统中智能控制、任务迁移与恢复、大数据量实时通信等需求,对多核处理器与SoPC协同控制架构、接口模块分类与设计、实时分区操作系统及双通道星型冗余拓扑等关键技术进行研究,提出了一种基于实时分区操作系统的综合电子平台方案并进行工程实现。通过演示验证试验,对综合电子平台中的功能模块、总线拓扑与通信、任务隔离、迁移与恢复等功能进行验证。目前该方案已应用于运载火箭综合电子产品中,为后续技术的深入研究与优化奠定了基础。