系统验证

摘要： 随着民机复杂航电系统验证工作的不断增多,迫切需要建设满足适航要求的高效验证体系。从系统、软件和电子硬件3个方面分析了适航对民机复杂航电系统的验证要求;从覆盖层级、过程活动、职责划分和体系文件等各个方面梳理了验证体系建设需要考虑的问题;针对这些问题提供了一种验证体系建设思路,并识别了验证体系建设的难点。

摘要： 小型光谱仪分辨率低,现场测试环境复杂,使得适合大型光谱仪的检测方法不一定能够直接适用于小型光谱仪,为此有必要研究与开发基于小型光谱仪的食品质量检测系统。该系统针对白酒的典型掺假问题(掺水、工业酒精),基于TI DLP NIR scan Nano微型光谱检测模块、定制化光纤、3D打印、手机应用程序等开发便携式白酒光谱测试系统,并利用支持向量机(Support Vector Machine,SVM)和反向传播(Back Propagation,BP)神经网络,研究基于小型光谱仪获得的光谱信号的白酒掺假类型和掺假度识别方法,并考虑背景光差异和隔瓶测的影响。使用三种不同酒精度的白酒样品掺入0~50%的水或工业酒精在多种场景下的1206个光谱数据对开发的系统进行了验证。研究结果表明,该系统能够自动识别掺假种类(隔瓶测结果准确度为89.22%)和掺假度(室内环境光隔瓶检测掺工业酒精样本的拟合值与实际值的相关系数分别为0.9683,0.9792,0.8371;掺水的相关系数分别为0.9696,0.9795,0.9615),并且对于白酒掺假检测和研究小型化的食品质检系统有重要的参考价值。

摘要： 针对综合电子系统重构的不确定性、多样性导致的系统状态复杂的问题,对不同重构模式下的重构时间进行分析。首先研究系统架构和软硬件配置,建立系统重构和重构时间模型,提出应用迁移优化算法。然后通过综合电子系统重构验证平台模拟故障,分析计算不同类型故障导致系统重构消耗的时间。实验证明,不同类型的故障导致的系统重构时间不同,优化重构蓝图和迁移过程可以有效缩短重构时间。

摘要： 工程项目经常需要在恶劣的环境下进行数据的采集与分析,考虑到测试人员的安全,通常采用远距离传输方案。基于此,文中提出一种在传输过程中实现直流平衡的8B/10B编码的传输方案。传统的传输技术一般使用传输速度稳定的RS 422和RS 485,但二者传输速度较慢且均达不到240 Mb/s的高速传输要求。所提方案使用LVDS高速长线传输链路的可靠性设计,将LVDS作为数据的高速硬件接口,并在电路设计上加入缓冲器与驱动器来增加电路驱动能力和补偿远距离传输的数据损耗。另外,在逻辑设计中加入8B/10B编码机制来提高数据的可靠性,从而实现远距离传输。经验证,所设计系统工作稳定,串行数据在240 Mb/s的传输速率下,可实现在长度100 m的LVDS专用屏蔽双绞电缆的无误码率传输。

摘要： 0引言本文对FPGA原型验证系统和Emulator硬件仿真器进行全面的分析和比较。先简要地回顾一下FPGA原型验证系统的应用场景,并与Emulator硬件仿真器应用场景作对比。1 FPGA原型验证系统FPGA原型验证系统的主要应用场景是“芯片设计过程中搭建软硬件一体的系统验证环境”:一是芯片流片回来前为软件团队提供调试驱动软件的平台,加速芯片上市时间.

摘要： 文中针对土壤水分温度预测的实际需求,从基于物联网技术的环境数据采集系统以及适配的深度学习预测模型选择两方面对相关问题进行研究,设计一种基于嵌入式系统及NB-IoT技术的物联网数据采集系统验证平台。基于采集到的数据,分析长短时记忆网络(LSTM)、门控循环单元(GRU)以及双向长短时记忆网络(Bi-LSTM)模型的预测效果。实验结果表明,所提出的数据采集系统可以有效获得深度学习所需数据,而基于该数据的深度学习预测模型可以实现仅依靠环境温湿度时间序列数据对土壤水分与温度的可靠预测。该研究可为相关领域的土壤水分温度预测系统设计提供参考。

摘要： 为了提高我国航天控制系统的自主可控能力,本文提出了基于SoC技术的航天控制系统发展策略,详细介绍了SoC技术的基本概念、主要特性,以及对实现自主可控的航天控制系统的重要性,并提出SoC设计的整体流程及其质量管理管理方案.本文从航天控制系统的SoC软硬件功能划分与及系统级验证两个方面阐述了对所设计系统的验证方式,以保障系统的稳定性与可靠性.

摘要： 针对包装设计的不确定性与复杂性,基于案例推理技术和应用的特点,实现包装设计系统的创建.在包装设计系统中,将对象设计知识分类理论作为基础,结合消费者感性意象此特点,创建知识库模型与案例造型,获得此模型指导案例各个知识特征,从而创建案例造型知识库.另外,对包装设计系统关键环节进行分析,主要包括案例表达、检索和学习.最后,对系统进行验证,验证结果表明所建包装设计系统具有高效性与可行性.

摘要： 依据净化空调系统安装的顺序与GMP对组成系统各部分的完整要求,本文提出:1、宜从设备组装就位及系统安装开始就派验证人员参与全过程的系统验证,直至调试成功,系统验证合格为止,以确保系统内在保洁质量的观点;2、提出在进行组合式空调机组组装和风管清洗至安全过程的安装确认时应当关注的问题;3、对高效过滤器进行检漏测试的作用及洁净室(区)压差的正确调整,阐明自己的观点。

摘要： 在一个SoC系统设计周期中,系统验证时间所占的比例越来越大,这就要求验证工作要提高效率。提高验证工作效率有两个途径:一是开发新的高效的验证技术;二是在现有验证技术基础上通过优化验证方法提高验证效率。本文首先讨论了SoC系统验证工作中主流的验证技术,然后提出基于验证计划的SoC系统验证方法,该方法主要通过优化验证方法的途径提高验证效率。文中给出了科学验证计划的内容及完成一个验证计划的步骤,指出完成一个项目的验证工作也就是按步骤完成一个规整的、可执行的验证计划的过程。

摘要： 构建了一套基于高速伪随机码调制和光子计数技术的激光测距实验系统,系统采用10 阶M 序列伪随机码调制1550nm 光纤激光器和具有3 级热电制冷能力的InGaAs/InP 单光子探测器。利用光纤延时方法进行了测距性能的验证实验，在激光器调制速率为622MHz，伪随机码序列长度1.64us和探测器探测效率10%时，当入射到探测器的信号光的平均功率为-76.1dBm时，得到22.1dB的系统信噪比和0.95cm的测距精度，为实际系统验证提供了技术参考。

摘要： USB(通用串行总线)作为一种崭新的微机总线接口规范,具有即插即用、扩展方便等优点,已经逐步成为PC机的一种标准接口,在通信领域有着广泛的应用。USB设备端接口控制芯片是一个USB应用设备与主机通信的桥梁,本文简单介绍了USB1.1规范的基本内容,重点列出了DPGA设计的框架,最后,还阐述了USB系统的功能仿真和系统验证。

摘要： 民用飞机必须要保证飞行的安全以及公众安全,因此航空电子系统的研制必须符合国际民航的各项条例,满足飞行适航要求.确认与验证是保证研制安全性的一个重要手段,而且确认与验证不仅仅在软件研发的生命周期占有重要比重,在整个航空电子系统研制流程中都是极为重要的.在需求确认以及研发过程的验证过程中,建立模型验证以及搭建仿真验证环境是一个重要手段,研制出一个具有通用性的验证平台对于整个研发过程有着重要的意义.

摘要： 民用飞机必须要保证飞行的安全以及公众安全,因此航空电子系统的研制必须符合国际民航的各项条例,满足飞行适航要求.确认与验证是保证研制安全性的一个重要手段,而且确认与验证不仅仅在软件研发的生命周期占有重要比重,在整个航空电子系统研制流程中都是极为重要的.在需求确认以及研发过程的验证过程中,建立模型验证以及搭建仿真验证环境是一个重要手段,研制出一个具有通用性的验证平台对于整个研发过程有着重要的意义.

摘要： 民用飞机必须要保证飞行的安全以及公众安全,因此航空电子系统的研制必须符合国际民航的各项条例,满足飞行适航要求.确认与验证是保证研制安全性的一个重要手段,而且确认与验证不仅仅在软件研发的生命周期占有重要比重,在整个航空电子系统研制流程中都是极为重要的.在需求确认以及研发过程的验证过程中,建立模型验证以及搭建仿真验证环境是一个重要手段,研制出一个具有通用性的验证平台对于整个研发过程有着重要的意义.

摘要： 民用飞机必须要保证飞行的安全以及公众安全,因此航空电子系统的研制必须符合国际民航的各项条例,满足飞行适航要求.确认与验证是保证研制安全性的一个重要手段,而且确认与验证不仅仅在软件研发的生命周期占有重要比重,在整个航空电子系统研制流程中都是极为重要的.在需求确认以及研发过程的验证过程中,建立模型验证以及搭建仿真验证环境是一个重要手段,研制出一个具有通用性的验证平台对于整个研发过程有着重要的意义.

摘要： 民用飞机必须要保证飞行的安全以及公众安全,因此航空电子系统的研制必须符合国际民航的各项条例,满足飞行适航要求.确认与验证是保证研制安全性的一个重要手段,而且确认与验证不仅仅在软件研发的生命周期占有重要比重,在整个航空电子系统研制流程中都是极为重要的.在需求确认以及研发过程的验证过程中,建立模型验证以及搭建仿真验证环境是一个重要手段,研制出一个具有通用性的验证平台对于整个研发过程有着重要的意义.

摘要： 为了验证分布式软件的正确性，提出了一种具有智能控制策略的基于故障注入方法的嵌入式软件仿真方法。结合软件故障注入的过程特点，将故障建模、故障分析和故障注入技术有效地应用于嵌入式软件仿真过程中，对应用软件的故障处理、容错机制进行了验证，并通过实验证明该方法的有效性。

摘要： 本发明提供一种用以根据安全分析结果来全面地验证功能的设计的安全性的技术。本揭示的车辆控制系统验证装置具备：存储设备，其存储用以验证车辆控制系统的逻辑架构的安全性的程序；以及处理器，其从存储设备读入程序来验证逻辑架构的安全性。该处理器执行根据给出的安全分析结果的信息来验证逻辑架构是否具有对应于安全分析结果的逻辑功能的处理。

摘要： 本发明提供了一种片上系统验证装置，包括：IDC接口，连接至驱动电路，用于输入或输出测试数据；单排插座，连接至所述IDC接口，实现所述IDC接口与片上系统之间的测试数据交互；驱动电路，用于调节所述IDC接口的驱动电流；跳线开关，连接至所述驱动电路，用于启动所述驱动电路的调节功能或将所述驱动电路接地，其中，所述驱动电路与所述跳线开关同时并联至所述IDC接口与所述单排插座之间的链路。利用驱动电路和跳线开关的灵活性，可采用小间距单排插座连接到待验证的片上系统验证板，减小了片上系统端接口所占的PCB板面积，提高了验证开发效率，也降低了产品开发成本。

摘要： 本发明实施例公开了一种片上系统验证方法及验证系统，预先生成了可执行文件模板，在运行可执行文件模板的过程中，通过数据交互函数获取不同测试用例的激励信息，基于激励信息对可执行文件模板进行配置，生成不同的测试用例对应的可执行文件。通过数据交互函数和进程同步函数实现片上系统与验证平台之间的数据交互和控制指令的交互。这样，在对片上系统进行验证的过程中，应用场景的变化可以只在验证台进行修改，由验证平台将场景变化后的激励信息和控制指令发送给片上系统，片上系统接收到验证平台发送的激励信息后，直接配置生成对应的可执行文件即可，从而不必每次更换测试用例后重新编译生成可执行文件，提高片上系统的验证效率。

摘要： 本发明公开了一种重型燃气轮机控制系统验证平台及验证方法，该验证平台中的燃气轮机本体仿真系统和燃机辅助系统及联合循环仿真系统均用于接收燃气轮机及联合循环控制系统发送的控制指令，并返回反馈仿真信号；IGV/VGVs调节物理模拟系统包括对顶的驱动力执行机构和负载力执行机构；驱动力执行机构用于模拟IGV/VGVs动作；负载力执行机构用于为驱动力执行机构提供负载力，并接收数据采集及信号模拟系统发送的负载力控制信号；燃料调节物理模拟系统包括燃料控制阀和燃料速比阀，用于根据控制指令调节阀门开度。本发明提供的技术方案，以解决当前重型燃气轮机控制系统的验证方案存在的试验周期长、试验成本高、仿真验证精度差的问题。

摘要： 本发明提供一种用以根据安全分析结果来全面地验证功能的设计的安全性的技术。本揭示的车辆控制系统验证装置具备：存储设备，其存储用以验证车辆控制系统的逻辑架构的安全性的程序；以及处理器，其从存储设备读入程序来验证逻辑架构的安全性。该处理器执行根据给出的安全分析结果的信息来验证逻辑架构是否具有对应于安全分析结果的逻辑功能的处理。

摘要： 本发明提供了一种片上系统验证装置，包括：IDC接口，连接至驱动电路，用于输入或输出测试数据；单排插座，连接至所述IDC接口，实现所述IDC接口与片上系统之间的测试数据交互；驱动电路，用于调节所述IDC接口的驱动电流；跳线开关，连接至所述驱动电路，用于启动所述驱动电路的调节功能或将所述驱动电路接地，其中，所述驱动电路与所述跳线开关同时并联至所述IDC接口与所述单排插座之间的链路。利用驱动电路和跳线开关的灵活性，可采用小间距单排插座连接到待验证的片上系统验证板，减小了片上系统端接口所占的PCB板面积，提高了验证开发效率，也降低了产品开发成本。

摘要： 本发明提出了一种系统级芯片模块验证装置及系统级芯片系统验证方法，其中，装置包括：多协议通用接口，配置用于连接待测的具有不同数据总线的系统级芯片模块；以及模块验证芯片，配置用于生成激励信号并通过所述多协议通用接口发送至待测的系统级芯片模块，并通过所述多协议通用接口接收来自所述待测的系统级芯片模块的响应信号以及监控所述激励信号与所述响应信号。通过本发明的系统级芯片模块验证装置能够实现在模块级验证时，同时对模块的功能覆盖以及接口通信功能进行验证，并使得验证环境能够方便的复用到系统级的系统级芯片验证中，从而提升系统级的系统级芯片验证效率。

摘要： 本发明公开了一种铁路专用管理系统验证的登录信息加密验证系统，具体是指纹和面部的双重初步比对验证，利用自动删除功能，保持登录系统中的记录库具有灵活的存储空间，且在用户初始登录时输入预留联系方式，另外在进入系统后，查明该用户在上次登录与本次登录期间是否存在不法行为并自动报警。一种铁路专用管理系统验证的登录信息加密验证方法，包括信息采集、信息审核、加密验证和进入系统，其中，在加密验证过程中，人性化的设置了通过输入居民有效身份证、港澳通行证、驾驶证、学生证信息进行身份验证或在未携带有效证件的前提下通过输入组合密码验明身份，大大提高了验证的多样性。

摘要： 本发明实施例公开了一种片上系统验证方法及验证系统，预先生成了可执行文件模板，在运行可执行文件模板的过程中，通过数据交互函数获取不同测试用例的激励信息，基于激励信息对可执行文件模板进行配置，生成不同的测试用例对应的可执行文件。通过数据交互函数和进程同步函数实现片上系统与验证平台之间的数据交互和控制指令的交互。这样，在对片上系统进行验证的过程中，应用场景的变化可以只在验证台进行修改，由验证平台将场景变化后的激励信息和控制指令发送给片上系统，片上系统接收到验证平台发送的激励信息后，直接配置生成对应的可执行文件即可，从而不必每次更换测试用例后重新编译生成可执行文件，提高片上系统的验证效率。

摘要： 本发明公开了一种重型燃气轮机控制系统验证平台及验证方法，该验证平台中的燃气轮机本体仿真系统和燃机辅助系统及联合循环仿真系统均用于接收燃气轮机及联合循环控制系统发送的控制指令，并返回反馈仿真信号；IGV/VGVs调节物理模拟系统包括对顶的驱动力执行机构和负载力执行机构；驱动力执行机构用于模拟IGV/VGVs动作；负载力执行机构用于为驱动力执行机构提供负载力，并接收数据采集及信号模拟系统发送的负载力控制信号；燃料调节物理模拟系统包括燃料控制阀和燃料速比阀，用于根据控制指令调节阀门开度。本发明提供的技术方案，以解决当前重型燃气轮机控制系统的验证方案存在的试验周期长、试验成本高、仿真验证精度差的问题。