运载火箭电子设备测试性验证方法研究

装备测试性验证及FMEA分析传统按照单故障模式考虑,并采用抽样方法确定故障样本,并未考虑冗余模块的不同失效模式以及对故障模式的覆盖程度。针对运载火箭电子设备冗余功能验证需求、测试覆盖性需求等测试性验证需求和难点,在装备通用测试性验证方法基础上,提出冗余降级FMEA分析及故障覆盖率指标评估方法,形成了适用于运载火箭电子设备的测试性验证及评估方法,最后以某箭上电子设备为例进行了验证。结果证明,本文提出的冗余降级FMEA分析方法有效识别了运载火箭电子设备冗余模块的冗余性能降低和整体失效故障模式,并将冗余模块的故障模式纳入测试性指标评估,实现了测试性验证对于运载火箭电子设备冗余功能的考核;所提出的故障覆盖率指标评估方法及样本量补充方法有效提升了测试性验证对运载火箭故障模式的覆盖程度。本文方法适用于运载火箭电子设备的测试性验证及指标评估,并可推广至全箭电气系统。     

水电站厂内经济运行数学模型的对象化处理

本文通过对水电站厂内经济运行的数学模型和求解方法深入分析,提出了水电站厂内经济运行的对象模型,按照对象化设计的思路,把相关特征数据和约束条件封装成对象的成员属性,把模型求解方法封装成对象的成员方法,各对象模型既可单独计算实现独自功能,也可通过各对象成员接口,共同实现复杂功能,提高了代码的重用性,可扩展性和可靠性。     

JFCunit在图形用户界面单元测试中的应用与自动化实现

主要研究基于Junit框架的JFCunit对GUI图形界面单元测试的原理与技术 ,并在通用网管应用平台系统中 ,得到了实践和应用 ,有利地保证了软件开发的质量 ;进一步阐述了将JFCunit结合ANT和XML技术对图形界面的测试自动化的方法 ,并进行了应用实现 ,验证了它的有效性 ;总结了实践中一些对图形界面的单元测试原则和经验 ,提高了单元测试的效率和测试用例的重用性 ,并能够确保开发质量与效率的同步提高     

VLIW处理器系统级验证平台的设计与实现

本文提出了一种新的VLIW处理器验证平台的实现方法。采用寄存器跟踪技术，建立了一个与RTL模型一致的抽象功能验证模型，基于VXI总线测试技术，实现了高度集成化的系统芯片验证平台，弥补了单一验证技术的不足，设计期功能仿真满足测试覆盖率的要求，并与板级功能测试仿真保持一致，充分证明了方法的有效性。     

数字信号处理器的模型验证

本文主要描述了对一款数字信号处理器的模型基于仿真验证的验证方法,对数字信号处理器的SystemC模型和RTL级的模型进行了验证。着重分析了如何在验证过程中提高覆盖率,提高验证的完备性。针对该处理器的结构特点,采用多种方式产生验证程序来验证模型的正确性,包括编写手工编写验证程序,替换验证,组合验证,高级语言转汇编的验证和伪随机验证,并对数字信号处理器的代码覆盖率进行了统计。验证后该数字信号处理器的模型能够与参考模型保持一致。     

面向对象的电力系统潮流计算与静态安全分析

采用C＋＋语言、面向对象的方法,开发了一种通用式分层管理的电力系统网络类库,并着眼于实时系统,实现了分层分步式实时接线分析、面向对象的快速分解法潮流计算与规范化的计算机静态安全分析计算。计算中,算法作了一些改进,提高了计算速度,各个类的有效封装又使程序具有很好的模块性、可维护性和可重用性。     

LXI仪器的通用平台研究

为推广LXI总线在自动化测试领域的应用,系统性的研究了LXI仪器的设计方法,提出了一种基于嵌入式系统实现的LXI仪器通用平台方案。通过分析LXI仪器的共同特点,借鉴模块化仪器的设计思想,建立了一个软硬件一体的通用平台框架,并重点讨论了LXI仪器内部的通用组件设计。该平台满足了LXI仪器开发的通用性、重用性和可扩展性等需求。     

基于HLA-RTI的高级在轨系统的BPDU封装模块的设计与仿真

系统仿真中，高层体系结构HLA可以将通用的运行支持环境与仿真功能分开，以方便管理、集成仿真系统，可实现“即插即用”。运行时间支撑系统RTI可以提供一系列用于仿真互连的服务，是依据HLA接口规范开发的仿真支撑工具，是HLA仿真系统的基础。它相对独立，具有分布式仿真、分层管理控制和可重用性的功能。在此基础上借助VC＋＋平台，对CCSDS AOS中的BPDU封装功能进行了设计和仿真实现。     

基于COM技术的图形化继电保护整定计算系统的设计与开发

传统的电力系统继电保护计算机辅助计算软件界面单调, 操作繁琐, 且程序的可移植、可重用性差。针对这些问题, 运用组件对象模型(COM)技术, 进行了基于COM技术的图形化继电保护整定计算系统的设计与开发, 采用快速开发工具Delphi和面向对象程序设计思想进行用户界面和图形平台的开发, 界面友好, 图形功能强大, 可以进行电网接线图的自由绘制及其它设置, 计算功能模块采用科学计算语言FORTRAN编写, 并利用Visual C++的强大功能将FORTRAN程序封装为COM组件, 供主程序调用。此法实现了图形化的继电保护整定计算, 界面美观, 操作简单, 同时提供了数据库的支持, 为电力系统继电保护计算机辅助整定计算软件的发展提供了一条新的途径。实际运行表明, 此计算软件能够很好地满足用户的需要, 实现了组件的即插即用, 提高了软件的可维护性和可重用性, 具有良好的使用价值和应用前景。     

基于VHDL语言的可重用焦面FPGA软件验证平台设计

FPGA凭借其设计灵活,资源丰富的特点,在航天遥感相机中的应用越来越广泛.而随着FPGA的规模越来越大,所实现的功能越来越复杂,验证工作已经占到了整个FPGA设计工作量的75％.为了提高验证效率,本文提出了一种基于VHDL语言的可重用CCD焦面FPGA软件验证平台设计方法,该方法通过模块式的分层设计,实现了FPGA验证模块的重用,运用Testio读取文本技术,使测试用例的读入更加灵活,对输出结果进行自动化比对.该方法已在多个项目中使用,结果表明该方法提高了验证效率.     

基于断言的SoC设计验证方法

本文针对SoC设计方法学中如何有效、充分的功能验证问题,首先介绍了基于断言的验证方法学的定义及其所带来的好处,然后以一种断言验证语言--OVA作为具体的应用实例,通过仿真说明了断言验证是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率.     

USB 3.0控制端点的功能验证方法

根据USB 3.0协议,提出一种可用于指导USB 3.0设备控制器IP核控制端点的功能验证的方法。以控制端点和控制传输的功能及特点为基础,从测试平台的搭建出发,按照控制传输的设置阶段、数据阶段和状态阶段分别给出了USB 3.0主机和设备的控制端点之间的交互所必须遵循的规则。另外,整个验证流程采用流程控制状态机来加以控制。最后以一款USB 3.0设备控制器IP核作为测试对象,对该验证方法进行了实践检验,验证结果显示该验证方法可以用于指导USB 3.0设备控制器IP核控制端点的功能验证工作。     

三种典型气相色谱仪的检定分析

为确保色谱实验的可靠性,电力系统各个实验室的气相色谱仪需要定期进行检定分析。气相色谱仪一般较笨重且拆装较麻烦,因此检定工作一般在现场进行。将应用于气相色谱仪检定的数学模型进行优化,并对三类典型气相色谱仪进行检定和对比分析。     

基于VMM方法的SOC集成验证

随着集成电路规模和设计复杂度的快速增长,芯片验证的难度也不断加大,芯片验证的工作量达到了整个芯片研发的70%,已然成为缩短芯片上市时间的瓶颈.VMM是synopsys公司推出的基于systemverilog的一套验证方法学,已经成为SOC验证的主流方法学.SOC系统采用ARM9处理器和DSP处理器,基于AMBA总线架构...     

一种新型微处理器功能验证

文中介绍一种新型微处理器的验证方法，并对相关的一些验证策略进行深入的讨论。     

Introducing software engineering developments to a classical operating systems course

An operating system course draws from a well-defined fundamental theory, but one needs to consider how more recent advances, not necessarily in the theory itself, can be applied to improve the course and the general body of knowledge of the student. The goal of This work is to show how recent software engineering developments can be introduced to such a course to not only satisfy the theory requirements, but also make the theory more understandable. In particular, This work focuses on how students can effectively learn the Unified Modeling Language, the object-oriented methodology, and the Java programming language in the context of an operating systems course. The goal is to form a systematic software engineering process for operating system design and implementation.     

百万千瓦核电站汽轮机旁排阀变更后的选型和验证

为对某百万千瓦核电站汽轮机旁排阀进行设计变更后的选型和验证工作,针对待选方案,建立了选型验证工作的流程。该流程包括设计验证和等比例试验两个阶段,通过CFD、有限元分析、模型试验、水流特性试验、空载特性试验以及汽流特性试验等方法,对各个方案进行了包括Cv特性、阀门控制性能等方面的综合对比,最终得到了理想的选型。提出的试验流程以及相关验证方法可为其他相关核电项目提供经验借鉴,同时其试验和理论计算结果所反映的不同类型阀门的特性和存在的问题也对旁排阀的选型提供了重要的参考。     

工业ESD模拟设备波形校准及校准实例

本文阐述了如何根据业界相应的标准对ESD模拟装置进行波形校准,先给出了工业进行ESD测试的背景,然后简要介绍了一种较为常见的ESD静放电形式——HBM(人体放电模式)——产生以及其在工业中进行波形校准的基本原理和所需设备,并对如何正确架设调整校准设备,如何进行有关静放电模拟器和测量板的校准程序进行了探讨,最后以HBM 1 kV短路波形校准为实例进行了更进一步的说明.结果表明通过架设校准电路以及设定正确的波形校准程序,同时以业界的明确的标准为规范,相关技术人员就可以对ESD模拟设备产生的静放电波形进行校准.     

六西格玛在光源工艺改进开发中的应用

光源产品工艺改进和开发是产品质量提升和新产品开发中的重要环节。传统的工艺改进和开发缺少科学的方法,使得开发周期长,给判断带来困难,甚至错失很多寻找最佳工艺设置的机会。六西格玛是国际公认的工艺改进和开发方法,本文结合光源工艺的特点,简单介绍了用六西格玛帮助光源工艺的开发,以提高工艺开发的效率和可靠性。