交换控制电路功能验证平台设计

针对超大规模集成电路设计验证的复杂性，以多口以太网交换控制电路为验证对象，分析了高级验证语言的特点，研究了验证策略，设计了验证平台，实现了复杂电路的功能验证。验证结果表明，采用高级验证语言构建验证平台可有效地缩短验证周期、降低验证成本和提高验证质量。     

基于DSA的扩展自证明签名方案

自证明签名对验证者来说一次仅验证了两个签名，而在PMI系统中，验证者除了要认证用户身份，其中包括两个验证：一个是验证用户的签名，另一个是验证CA颁发的公钥证书，还需要验证AA颁发的属性证书。针对此问题，该文对自证明签名做了一定的扩展，提出了扩展自证明签名ESCS方案，ESCS由验证两个签名扩展到可同时验证3个签名，此后又对ESCS方案做了进一步的扩展，扩展后的ESCS方案可以同时验证多个签名。     

基于UVM平台实现SDHost控制器的验证

随着数字信息技术的发展，SDHost控制器的应用逐渐广泛。本文对SDHost控制器的相关功能进行验证，基于UVM验证方法学搭建完整的验证平台，通过直接测试和大量的随机测试案例以及Makefile脚本自动化编译，完成代码覆盖率以及功能覆盖率的统计，最终代码覆盖率和功能覆盖率均满足要求。UVM验证平台以及自动化脚本的使用提升了验证效率，对验证流程做了简化，同时保证了验证的完备性。     

面向SoC的事务级验证研究

随着集成电路的快速发展，一个SCC的规模已经在几百万门至几千万门左右，面对这样高的复杂度，功能验证成为芯片设计中的一个挑战。传统的验证方法已经成为SoC设计的“瓶颈”。基于事务的验证方法成为SoC设计中功能验证最有效的途径之一。文中重点阐述了基于事务验证的相关概念，给出了完成SoC事务验证的一般流程和设计方法，并详细分析了事务验证平台的设计调试和功能覆盖率分析，最后对传统的验证方法和基于事务的验证方法进行了比较，给出了基于事务验证方法的优点。     

基于RTOS的软硬件协同验证方法

根据处理器芯片的特点，提出了一种基于RTOS的软硬件协同验证方法，该方法在RTOS的基础上建立了一个可移植的协同验证环境，在处理器芯片设计阶段，通过建立一个与芯片相近的硬件平台，在其上利用协同验证环境先验证软件设计的正确性，然后把这些正确的软件放入由处理器芯片构成的协同验证环境中验证设计的芯片。采用这种方法，不仅可以验证处理器芯片设计的正确性，减少错误存在的可能性，而且缩短了芯片验证的时间。     

云环境下基于运算电路的同态认证方案

针对云服务器上数据验证效率低的问题，为能够在正确执行用户指令的情况下依然保持对数据的高效验证，构造了一种支持云环境下基于运算电路的同态认证方案。首先，利用标签生成算法对验证标签进行多项式表示；其次，调用转化算法对验证标签进行转化以达到满足同态验证的形式，同时利用同态解密算法对验证标签的大小进行降维处理；最后，运用验证算法对检索结果进行验证。结果表明，所提方案能够支持任意次乘法同态而不会增加验证标签维数，克服了验证标签增长缺陷，提高了验证效率，但其计算复杂度会随着增强电路输入位的增加而增加。     

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

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

SoC功能验证的特点和方法

简要分析了传统集成电路（ASIC）验证方法的特点以及将这些方法应用于系统级芯片（SoC）验证时所面临的问题。在此基础上，论述说明了模块级验证是提高SoC验证效率的基础；而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外，还介绍了用于SoC功能验证的关键方法，包括断言和RTL形式验证，Farm，随机化测试激励和功能覆盖等。     

综述：知识系统的V＆V技术

知识库的异常是影响整个知识系统性能的重要因素之一，因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究，给出了异常知识的分类及其危害性，分析了知识库验证困难的原因，介绍了用于知识库验证的静态和动态方法，列举了国际上几个著名的知识库验证工具，并对知识库验证的研究进行了展望。     

一个VLIW处理器验证平台的设计

本文主要针对VLIW结构的处理器结构特点，提出了一种基于伪随机和模块化指令流激励的面向对象的逻辑验证平台的设计方法，提高了处理器验证的覆盖率和效率。验证人员可以在平台上协同工作，开发相应的验证程序，完成指定的逻辑功能验证任务。实验结果表明该平台的建立解决了逻辑功能验证的瓶颈，该平台具有高效、灵活、易用和维护性好等特点。     

基于规则推理的军事概念模型验证方法研究

针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强, 提出了一种基于规则推理的军事概念模型验证方法, 并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家, 在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性, 减少非形式化验证方法的主观性和不确定性, 提高概念模型验证的质量和效率。     

Internal validation inferences of significant genomic features in genome-wide screening

Although validation of classification and prediction models has been a long-standing topic in Statistics and computer learning, the concept of statistical validation in genome-wide screening studies has been vague. Internal validation generally refers to validation procedures solely based on the study dataset. A popular approach to internal validation of identified genomic features has been the split-dataset validation. Contrast to this approach, internal validation in genome-wide association screening studies is precisely defined through the concepts of association profile and profile significance. A general procedure and two specific profile significance measures are developed and are compared with the split-dataset validation approach by a simulation study. The simulation results clearly demonstrate the strength and limitations of the profile significance approach to internal validation, especially its enormous gain in sensitivity (power) and stability over the split-dataset validation. The proposed methodology is illustrated by an example of genome-wide SNP association analysis in genetic epidemiology.     

某型导弹系统仿真模型验证

仿真模型验证是仿真可信性研究的重要组成部分，有着极其重要的意义。模型验证就是比较仿真系统输出和实际系统输出的一致性，分为静态性能验证和动态性能验证。该文在分析研究各种仿真模型验证方法的基础上，主要采用工程上常用的bayes方法和窗谱分析法对某型导弹系统仿真模型进行了定量验证，最后给出结论并讨论了这两种方法的局限性。     

基于Agent仿真模型的校核与验证研究

首先对国内外基于Agent仿真模型的校核与验证方面的发展情况进行了述评;然后,提出了一个完整的基于Agent仿真模型的校核与验证框架,该方案中包括表面验证、参数灵敏度分析、模型校准与运行时验证;最后以环境经济政策仿真模型中的校核与验证为例对该框架进行了简单说明。     

Computation time efficient approach for licenses validation in DRM systems

Digital rights management (DRM) systems are employed to securely deliver the digital contents from owners/creators to consumers. Often multiple middle level distributors are involved in the distribution process. Initially, the owner issues redistribution licenses to its distributors. The distributors in turn using their received redistribution licenses can issue new redistribution licenses to other distributors and usage licenses to consumers. However, distributors may be involved in violation of the rights given to them in redistribution licenses. Thus, for the rights violation detection, these newly issued licenses must be validated against the received redistribution licenses. The validation becomes complex when there exist multiple redistribution licenses for contents. Then it requires validation using an exponential number of validation inequalities and each inequality may contain up to an exponential number of summation terms. This makes the validation process computationally intensive and necessitates to do the validation efficiently. Thus, in this paper, we propose a method to reduce the validation time by deriving a relationship between different validation inequalities and then designing a data structure to do efficient validation using the derived relationship. The theoretical and experimental analysis show that the proposed method can do the validation efficiently as compared to the other existing approaches for the validation.     

基于PKI交叉认证模型的证书路径优化

在支持交叉认证的混合信任模型的基础上,将路径验证加入到路径构建中,提出一种基于深度优先搜索的前向路径构建的优化算法,以及一种在路径验证时调整策略树及验证顺序的路径验证优化算法。该方案提高了交叉证书路径构建和验证的效率,增加了交叉证书的实用性。     

Knowledge-based method for the validation of complex simulation models

In traditional research, the validation of simulation models is mainly based on statistical analysis and simulation error evaluating. As simulation models become more and more complex, simulation behavior is more complicated and heavily dependent on simulation conditions, traditional method cannot be applied directly. On the other hand, measured data needed for traditional methods cannot always be available. What’s more, the validation of complex models is usually costly and time-consuming.This research makes effort to settle the problems above. It provides three aspects of advantage for model validation. First, complicated simulation behavior is abstracted and classified as five categories, among which behavior relationship and aggregative behavior is unique for complex simulation models. And the analysis and validation method of each kind of behavior is proposed. Second, besides measured data of real system, it proposed to utilize experience of expert and other kind of domain knowledge for validation task. And third, the simulation analysis and validation method proposed can be implemented in knowledge system and accomplish validation task automatically.Simulation output analysis is the most important step in model validation. Besides classical continuous dynamic fitting and statistical consistency analysis methods, we propose a domain knowledge-based method for the validation of relationship among behavior segments and aggregative behavior which is unique for complex simulation models. Domain knowledge takes the role of reference in model validation, and it varies from measured data of real system to qualitative experience of experts. Knowledge-based system is implemented based on domain knowledge and validation techniques proposed.Validation of electromagnetic rail gun simulation models are introduced as an example. It has been found that this method can provides an automatic validation way for complex simulation models, and validation tasks can be accomplished efficiently.     

基于NXOpen的验证规则定制

针对知识熔接(KF)函数功能不全面,影响Check-Mate验证规则定制的问题,提出了基于NXOpen二次开发技术定制Check-Mate验证规则的方法。对NXOpen的编程接口进行了综述,介绍了使用NXOpen实现验证逻辑,分别使用C++、C#、VB .NET及Java程序设计语言建立验证规则的程序库,用KF封装程序库中的函数,得到接口统一的KF函数。通过NXOpen二次开发技术建立验证规则类,并调用自定义验证规则的方法,从而提高了创建验证规则知识库的能力,有助于增强产品设计标准的执行。     

An acyclic expansion algorithm for fast protocol validation

For the development of communications software composed of many modules, protocol validation is considered essential to detect errors in the interactions among the modules. Protocol validation techniques previously proposed have required validation time that is too long for many actual protocols. The authors propose a novel fast protocol validation technique to overcome this drawback. The proposed technique is to construct the minimum acyclic form of state transitions in individual processes of the protocol, and to detect protocol errors such as system deadlocks and channel overflows fast. The authors also present a protocol validation system based on the technique to confirm its feasibility and show validation results for some actual protocols. As a result, the protocol validation system is expected to improve productivity in the development and maintenance of communications software     

试飞机载测试系统一体化验证平台的设计与实现

为提高智能车对多车道的实际道路车辆行驶环境的适应性,提出了一种基于三车道模型的车辆检测方法。方法在预处理的基础上利用极角及位置约束的Hough变换得到可能的车道线信息并利用消失点对车道线进行筛选;利用三车道四线模型对车道线进行匹配;对于每条车道,分别利用车辆灰度信息对车道线内车辆进行识别,并利用视频的连贯性对车辆识别结果进行修正并跟踪车辆。该算法通过对车道线的二次筛选,提高了三车道模型的准确率,进一步提高了对于不同车道车辆识别的正确率。实验结果表明,在结构化道路上,对于不同路况,算法均具有较好的实时性和鲁棒性。