国产数字元器件板级综合测试平台的设计与实现

为满足航天产品的高精度、高可靠性需求,实现元器件自主可控,需要对其核心部件乃至关键元器件进行国产化替代及应用适应性验证,设计一种基于FPGA的国产数字元器件板级综合测试平台。该平台兼容CMOS、LVDS等多种数字接口和电压、电流等模拟信号输入接口,可满足不同芯片的输入输出电平标准;内置DDR3 SDRAM进行数据缓存,Flash阵列作为数据存储器,可实现高速实时数据读写及大容量存储;适用于时序逻辑、组合逻辑数字元器件的板级验证,可并行测试多种异构元器件,节约测试成本。最后利用该平台进行器件板级验证测试,实验结果表明：器件板级应用功能正常,动态功耗稳定,在极端环境下工作性能良好,具备较高的工程应用价值。     

电力信息系统国产化能力评估体系研究及应用

电力信息系统国产化及其评估体系是当前关注和研究的热点。针对电力行业自主可控和信息安全的实际需求,提出电力信息系统国产化能力评估体系,系统研究了国产化评价模型、评估指标、评估过程及成熟度等级,并结合实际应用案例进行分析和验证。结果表明,该评估体系能够有效地评价、指导电力行业企业的信息系统建设,促进电力行业的国产化能力提升。     

标准化地铁的牵引及网络控制系统国产化设计

随着网络和信息安全、国际贸易摩擦等问题的不断出现,产品国产化及自主可控需求越来越强烈,在轨道交通领域的关键控制系统中将逐步采用国产化软硬件方案替代国外的方案。文章简要阐述了标准化地铁平台的国产化牵引及网络控制系统架构,重点描述了其国产化处理器、嵌入式操作系统、图形化开发软件等软硬件选型,详细介绍了牵引及网络控制系统的硬件方案、软件结构以及软硬件移植适配过程,对国产操作系统与VxWorks在功能和性能方面进行对比分析,并开展了牵引/电制动特性验证和网络组网等各项软件功能测试。结果表明,该国产化牵引及网络控制系统性能参数优良,运行稳定可靠,牵引/电制动特性正常,系统网络延时处于微秒级,抖动处于亚微秒级,满足标准化地铁平台需求,可实现100%国产化对等替代。     

国产人工智能平台应用推广

随着自主可控和人工智能技术的发展,打造国产人工智能平台已成为国家战略发展目标之一。自主可控与人工智能的有机融合,既能提升自主可控产品的创新性和先进性,也能推动人工智能技术的国产化应用。通过打造国产人工智能平台,适配深度学习框架和模型开发工具,全面适应党政办公、党员建设等方向的智能化应用,推动了国产人工智能平台的技术发展和产业化落地。     

产品新闻发布

航天测控公司成功研制应用于大飞机研制保障任务的航电本刊讯:日前,中国航天科工一院航天测控公司成功研制出国产通用航电测试平台。作为航天测控公司深入实施军民融合战略的重要支持点,该平台是为国产大飞机研制过程试验测试、生产线产品测试以及维修保障测试提供的高可靠性国产通用自动化测试平台,其成功研制为大飞机及其保障设备的研制从一开始就同步进行提供了保障,为未来国产大飞机全球自主保障体系的建立奠定了基础。光电监测平台助力海监船执法本刊讯:近日,中国航天科工二院207所自主研发的青岛北     

基于国产CPU的并行冗余计算机系统研究

目前国家不断推进的国产自主可控信息系统建设,其核心国产计算机系统由于技术成熟度低、市场推广晚等原因,暴露出可靠性低、稳定性差的问题,直接导致系统功能无法成功应用;围绕国产化计算机系统的并行冗余架构开展研究,通过计算机系统架构的软硬件设计,以及高速缓存一致性架构、高速互联总线和三状态转换机制方法的应用,基于国产CPU 并行冗余计算机系统,可以有效消除备份计算机系统进行当班切换时,存在的切换时间延时和切换过程数据丢失的问题;通过试验验证,该系统可以完成计算机系统中CPU处理器和功能桥片故障模式的容错处理,并保障信息数据的完整性和实时性,有效提高设备中计算机系统的工作可靠性与稳定性。     

基于PKS体系的终端性能场景验证方法研究

近年来计算机硬件软件体系国产化发展迅速，中国电子主导构建的通用技术架构和生态体系Phytium KylinSecurity (PKS)也越来越成熟。目前关于终端性能场景验证方法的研究大多基于非国产化体系设备，缺少针对性，很难完全发掘出国产计算机硬件软件体系的问题。提出了一种基于PKS体系的终端性能场景验证方法研究，并对国内常见的国产设备进行了终端性能场景验证方法的对比测试，实验结果显示提出的基于PKS体系的终端性能场景验证方法研究对于国产化设备可以进行更加针对、深入的测试，同时满足了国内终端性能场景验证的需求，实现了国产设备系统化自主检验。     

浅析一款授权信息系统的国产化实现

本文主要介绍了一款授权信息系统的组成及国产化实现,并对信息系统需求以及国产化选型的方式进行了解析。该系统软硬件采用了申威国产自主产品,在领域范围内得到了广泛的使用,可为类似信息系统的国产化替代提供参考意见。     

国产稳压管的技术分析与验证改进

以集成电路稳压管为例,研究国产化器件的替代选用,通过长期的论证考察和试验验证,对稳压管电路原理进行了分析,反复进行试验,经过试验数据分析论证,选择国内生产工艺成熟、资质能力深厚的厂家提供的货架产品。通过一系列工艺试验攻关,国产稳压管能够满足产品使用要求,稳压管的国产化替代工作取得了实质性的突破。     

国产化辽宁省防汛抗旱指挥平台建设

为满足国家政务系统安全、可靠的要求,从服务器、操作系统、数据库等国产自主可控产品的类型,功能特点,性能与安全性等方面进行综合比较,并进行国产化适配,最终组成一套适合工作实际的国产化产品组合,搭建基于国产化自主可控产品的辽宁省防汛抗旱指挥平台。该平台遵循水利部数字孪生流域技术框架,结合辽宁省防汛抗旱业务需求,形成“四横两纵”技术框架,集成实时和基础信息展示查询、信息监测、水利一张图、防洪“四预”等功能模块,实现流域防洪业务智能化管理及场景数字化、模拟精准化、决策智慧化。研究成果可为今后建设国产化水利业务系统提供示范。     

航空装备测试仪器应用验证方法研究

针对航空装备用测试仪器应用验证需求,基于系统工程方法,提出了夯实基础、统筹推进、分类分阶段验证的验证工作思路.研究确定了调研应用验证需求、构建验证指标体系、明确验证要素、建立验证程序、实施验证试验、给出综合评价结论的应用验证流程.遵循满足航空装备要求、结合使用场景、聚焦关键指标等原则,提出了仪器功能性能、质量与可靠性、环境适应性等基础级和适装性、软硬件兼容性等系统级验证内容,以及相应的验证方法,可为国产测试仪器应用验证工作提供技术支持.     

实时数据处理系统自主闭环测试验证技术研究

本文针对实时数据处理系统人工测试验证模式中存在的效率低下、工作强度高、测试验证不充分等问题,提出了基于偏差模型的测量数据模拟方法,设计了基于经典误差分析方法的测试验证评估模型,构建了实时数据处理系统自主闭环测试验证体系,实现了实时数据处理系统测试验证的自动化.以航天测控实际应用场景开展实验,发现本文所提出的自主闭环测试...     

一种软件自动测试系统

针对航天测控任务频度高,测控任务软件系统测试重复性高、人工测试工作量大、测试效率和可靠性低的特点,通过分析系统测试条件和需求,设计了一种基于黑盒测试的软件自动测试系统.文章介绍了自动测试系统的系统结构、主要功能模块、测试平台部署及测试流程等,并详细阐述了测试用例管理、测试数据自动生成、测试过程控制、测试结果评估和测试报告自动生成等关键技术;该系统能够有效的减少人工重复工作量,增强系统测试的自动化,提高系统测试效率和质量.     

航空装备基础产品应用验证方法研究

针对航空装备国产基础产品应用特点，提出了基于需求导向的国产基础产品应用验证工作思路，按照确定应用验证需求—建立验证指标—明确验证要素—建立验证程序—实施验证试验—给出评价结论的思路，构建了应用验证流程，并从把握一个思想、坚持四项原则、统筹四个关系、形成一个体系、树立一种模式的角度，提出了应用验证实施应关注的要点。     

综合传动装置一体化模型评价与验证研究

综合传动装置是装甲车辆动力的核心组成,为车辆提供直驶变速、转向、制动等功能。综合传动作为机电液耦合的动力装置,建立基于性能的功能实现、故障发现/控制一体化仿真模型可为状态监测和故障控制提供支持。针对综合传动装置一体化模型,分析其各分模块的功能要素和主要的功能需求,研究模型评价指标体系和验证方法,提出了一套由24个参数构成的指标集,并按照层次网状结构筛选后搭建起系统的评价指标体系,给出了一体化系统的整体评价流程。为模型的验证与评价提供手段,保证模型仿真的准确性和可靠性。     

Expert system verification and validation: a survey and tutorial

Assuring the quality of an expert system is critical. A poor quality system may make costly errors resulting in considerable damage to the user or owner of the system, such as financial loss or human suffering. Hence verification and validation, methods and techniques aimed at ensuring quality, are fundamentally important. This paper surveys the issues, methods and techniques for verifying and validating expert systems. Approaches to defining the quality of a system are discussed, drawing upon work in both computing and the model building disciplines, which leads to definitions of verification and validation and the associated concepts of credibility, assessment and evaluation. An approach to verification based upon the detection of anomalies is presented, and related to the concepts of consistency, completeness, correctness and redundancy. Automated tools for expert system verification are reviewed. Considerable attention is then given to the issues in structuring the validation process, particularly the establishment of the criteria by which the system is judged, the need to maintain objectivity, and the concept of reliability. This is followed by a review of validation methods for validating both the components of a system and the system as a whole, and includes examples of some useful statistical methods. Management of the verification and validation process is then considered, and it is seen that the location of methods for verification and validation in the development life-cycle is of prime importance.     

面向测试的构件系统模型及测试用例生成方法

随着面向构件的软件开发方法的广泛应用,构件系统的描述和测试成为保证软件质量的关键所在。由于构件系统的复杂性和开发方法的特殊性,用传统方法对构件系统进行集成测试往往面对很多困难。提出了一种改进的面向测试的构件描述模型,称为TCSM,它着重对构件系统中的构件间的交互和约束进行了动态描述,为构件系统集成测试阶段的功能测试和边界测试等提供了大量可用信息。在此基础上,进一步提出一种把TCSM转换成测试模型的方法,以UML协作图模型为原型,实现了构件系统从描述模型到测试模型的自动转换。最后,实现了一种在所产生的测试模型上自动生成测试用例的算法。TCSM更好地描述了构件的交互行为信息,进一步实现了系统的自动化测试,减少了通常需要在构件系统搭建完成后,针对测试对系统手工建立测试模型的工作,提高了构件系统开发的效率和可靠性。     

CFD验证与确认数据库平台数据结构设计与应用

计算流体动力学（CFD,computational fluid dynamics）验证与确认数据库平台用于存储和管理精细风洞试验、飞行试验、数值计算产生的标准算例数据。针对结构复杂、维度较高且参数不固定的CFD验证与确认标准算例数据,设计一种灵活的数据结构,动态存储不同标准算例的来流状态数据与结果数据,减少数据冗余,提高数据可扩展性。基于该数据结构完成标准算例数据质检与元数据管理设计,确保数据库平台能够精准、高效的为CFD软件可信度评价或相关研究提供数据服务。应用证明,验证与确认数据库平台实现了标准算例数据的有效管理和高效应用,为国家数值风洞工程和国内相关CFD软件的验证和确认提供了有力支撑。     

基于COTS的宇航计算单元冗余架构可靠性研究

随着商业航天的发展,为了能以更低成本使宇航计算单元得到应用,需要结合设计成本、预期寿命、实时性和系统复杂度等因素,对不同计算单元冗余架构的可靠性进行评估;目前在基于高性能商用货架(COTS,commercial off-the-shelf)器件的宇航计算单元研究多满足于工程应用,缺乏关于对不同架构可靠性的对比;首先,针对几种不同冗余计算单元冗余架构,简单介绍具体的拓扑结构和工作方式;其次,根据工作方式给出了他们的故障状态转移图;最后,根据上述几种架构,运用马尔可夫模型理论,对这些计算单元结构进行可靠性建模,在考虑失效率和维修率两个参数对系统可靠性影响的情况下,并以一个虚拟的长时期任务为背景对各结构的可靠性指标进行了评价;仿真结果为更低成本基于COTS器件制造宇航计算单元提供了设计支撑。     

基于自动机的构件实时交互行为的形式化模型

采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义.分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法.时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证.最后,结合具体应用给出了应用示例.