1) Software Simulation Verification
软件模拟验证
2) simulation software for education practices
实验模拟软件
3) software verification
软件验证
1.
ODA software verification;
光学设计自动化软件验证技术概述
2.
To this end, people raise a series of concepts and theories like software reliability, software verification, software quality assurance, software testing and etc.
为此,人们提出了软件可靠性、软件验证、软件质量保证、软件测试等一系列概念和理论。
4) simulation and verification
模拟验证
1.
Second, in order to execute simulation and verification of a specified system, the UML2SC is deve.
首先 ,用统一建模语言 (UML)中的状态图描述系统在整个活动周期中所处的不同的状态 ,活动图表示状态图中每个进程的功能 ,对象约束语言 (OCL)描述系统中的约束条件 ;然后 ,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码 ,以完成系统的模拟验证 ;并介绍了该方法的一个应用实
2.
According to the features of explosive accident of high-risk process,such as rapid reaction rate,strong energy release,severe damages to the accident evidence,three kinds of simulation and verification methods,including Mathematical models method,experimental method and calorimeter simulation method,which are suitable for the explosive accident in high-risk process,are summarized.
根据高危工艺热爆炸事故反应速度快、爆炸威力强、物证破坏严重的特点,提出3类适合该类事故分析鉴定的模拟验证法:数学模型验证法、实测模拟验证法及热分析仪器实验验证法。
5) Simulation
[英][,sɪmju'leɪʃn] [美]['sɪmjə'leʃən]
模拟验证
1.
In this paper, a hierarchical simulation method and related technologies for mixed circuits is introduced, and a hierarchical simulation environment is established base on the method.
本文阐述了数模混合电路的层次式模拟验证方法及相关技术,并建立了一个层次式模拟验证环境,以一种新型的微处理器锁相环为例介绍了混合电路的层次式模拟验证方法和过程,测试结果表明,该方法具有速度快、精度高的优点。
2.
Establishment and Simulation of Neural Processor Slices Algorithmic Level and RTL Level Models with VHDL;
本文针对神经元计算芯片的指令系统和体系结构，详细讨论了复杂电路的ＶＨＤＬ建模及模拟验证方法，分别给出了该芯片的算法级描述和ＲＴＬ级描述，并用相同的测试台对两级描述进行了模拟，验证了描述的正确性和功能的等价性。
6) Simulation software
模拟软件
1.
Processing Optimization for Casting Steel based on Solidification Simulation Software in Investment Casting;
基于熔模铸造模拟软件的铸钢件工艺优化
2.
Research on simulation software for heating and air conditioning load of underground spaces;
地下建筑供暖空调负荷模拟软件的研究与开发
3.
An analysis of the demand for simulation software of information service based internet;
基于Internet信息服务模式的电子商务模拟软件需求分析
补充资料：控制软件的验证与确认
控制软件的验证与确认
verification and validation of control software
kongzh一ruan]旧n de yon之heng yu queren控制软件的验证与确认(verifieation andvalidation of eontrol software)要在核反应堆控制保护系统中使用计算机系统，除了硬件系统的可靠性外，必须确保其控制软件具有足够高的可靠性。通常采取的措施有:利用成功的经验，自顶向下的设计方法，模块化的结构，清晰的文件系统，可审核的文件，每个阶段的验证，整个计算机系统的确认(鉴定)等。其中验证与确认(V色V)是保证软件系统质量和可靠性的重要措施，用以确认各项设计要求已得到实施，使计算机系统开发过程中产生缺陷的可能性减至最小，因而是开发过程中的重要环节。 验证(正确地干事):验证是一种有计划的行动，旨在试验所开发的控制软件在各种不同运行工况下的正确的功能，在审评其设计和性能时考察是否满足预定的要求。 确认(干正确的事):确认也是一种有计划的行动，用以确定最终产品是否满足需求规格书所确立的有关目标，并制订测试和验收的标准，以确信上述要求已得到满足，为硬件和软件中正确体现系统要求所规定的性能提供全面保证。 V%26V是指由胜任的非原设计人员独立进行的复审、检查、分析、侧试等活动。可通过下列活动的组合实现:独立地进行这些活动，或独立见证原设计人员的活动.或独立复审、检查原设计人员活动产生的文档化的结果。对文档化工作如测试等的独立复审应满足ASME一NQA一l一1989的要求，用以确信安全系统设计基本要求在被安装的系统上是可跟踪的，并得到满足.检查包括对设计过程、代码编制、文档化试验结果等的演绎和分析，可采用(但不限于)格式化证明、Petri网(一种软件分析的方法)或其他图形分析方法和相关技术等;侧试分为对模块或系统的功能特性的功能侧试(包括黑箱试验、工厂验收试验、现场验收试脸三类)，对单元和模块的内部结构进行的结构侧试(又称为进程试验，可通过分支测试或路径侧试等实现)。 V%26V过程涉及计算机开发过程中以顺序(即汤布法)或循环(即螺旋形研制法)方式进行的各阶段.包括非计算机的硬件要求、非计算机的硬件设计与实现、计算机硬件要求、计算机硬件设计与实现、软件要求、软件设计与实现、(软硬件)集成要求、计算机系统集成及系统测试(工厂验收侧试)、现场验收侧试等，任何阶段通不过验证都将导致本阶段或整个项目的重新开发。 对软件部分的V%26V有特殊的要求。对于验证工作的结果.要形成文件，’包括软件验证计划、设计阶段验证报告、软件测试技术条件、软件侧试报告等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条