基于神经网络时间序列预测器的弯管流量计传感器数据验证

传感器数据验证技术具有重要的实用价值。介绍了一种基于神经网络时间序列预测器的传感器数据验证方法，并利用Matlab对弯管流量计的传感器数据验证进行了仿真，结果表明这种方法是切实可行的。     

基于Oracle开发安全的PL/SQL Web应用程序

Web应用模式下，安全是需要考虑的重要问题．本文结合Intranet和Internet两种典型的Web应用模式，从用户与角色管理、权限管理和权限控制三方面，介绍了在Oracle环境下，如何利用PL／SQL网关的基本验证和自定义验证两种方式与数据库安全机制相结合的方法，开发安全的Web应用程序，着重论述了在基本验证方式下，通过数据库自身的权限管理机制来控制用户权限，自定义验证方式下，使用自定义的验证函数来实现权限控制，以及DAD的配置方法。     

ASIC设计中验证技术的研究

验证是Soc设计中最重要的阶段。在将设计交付给生产厂家之前，要想能够找出体系结构上，功能上或者物理实现上的错误只有通过验证。对于众多团队设计而言，验证占到了设计流群的50％至80％。本文主要介绍了功能仿真、静态时序仿真、形式仿真等相关验证技术。     

基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言的SoC接口协议测试平台，该平台是一种自反馈测试平台，它不仅可以自动产生大量符合协议规范的测试激励矢量，而且可以通过对断言统计信息的反馈提供多种偏置选择，从而进一步提高验证的自动化水平．将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中，验证结果表明，该平台可以缩短仿真验证时间大约55％～65％左右，有效地提高了验证的效率和质量．     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

一种基于覆盖率的功能验证方法

针对功能验证的特点，在传统功能验证的基础上，引入覆盖率作为验证程度的反馈信息，从而有针对性地完善了验证环境，提高了验证程度．并以一款8位MCU为例，介绍了基于覆盖率的功能验证方法的具体实现．     

CPU系统级验证平台的研究与实现

随着CPU设计尺寸和设计复杂度的不断增加，功能验证已经成为整个设计过程中的严重瓶颈，文章回顾了系统级验证的一些技术，针对我们设计的64位CPU系统级验证，设计了CPU系统级自动化验证平台．实用表明，该平台简化了验证流程，提高了验证效率．     

基于Transaction模式的SoC软硬件协同验证策略

SoC的验证越来越成为集成电路发展的突出问题，而传统的信号级别的验证方法由于工作量巨大，已经很难满足系统的要求。研究了基于Transaction模式的验证方法，并通过开发的验证平台，用实验进行了验证。该方法在Transaction级别上实现对系统的验证。提高了验证速度，可以缩短设计周期。降低设计成本。     

基于PHP／MySQL的网上用户验证

指出了用户验证是实现网站安全的重要手段，而PHP语言、Apache服务器和MySQL数据库作为实现动态网站开发的最佳拍档，是实现网上用户验证的首选工具。在介绍了PHP、Apache和MySQL的特性之后，PHP实现Web页面对数据库访问的原理作了详细的讨论，总结和提出了3种有效的基于PHP/MySQL的网上用户验证方法。     

基于J2EE的Web客户端安全验证

目前应用系统的开发标准和首选平台为J2EE。J2EE中Web客户端安全验证包括HTTP基本验证，HTTP摘要验证，基于表单的验证和基于客户端证书的验证，通过接口进行安全逻辑判断，获取合法用户权限。综合使用这些验证方式既可方便开发人员工作，更可增强系统安全性．     

高效验证平台在TD-SCDMA终端芯片功能验证中的应用 。 

介绍了基于事务级验证的验证方法学（RVM）和覆盖率驱动技术，以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台，并详细分析了使用此验证平台对TDSCDMA终端芯片进行完备和高效的RTL级功能验证。此验证平台比传统验证平台在效率上大大提高，有效地缩短了SoC芯片模块级和系统级的验证时间，缩短了3 SoC芯片的开发周期     

开展探究性实验,培养创新意识

中学物理中，实验占有非常重要的地位．它不仅是教学手段，帮助我们总结出许多规律，而且是物理学中不可缺少的内容．通常，实验教学是教师在课堂上通过演示总结出规律，再由学生分组实验来验证的程序．这样，固然能够培养学生理解和验证知识、分析问题的能力，且成功率较大，但对于现     

硬件确证检验程序的产生 硬件验证、仿真、制造后调试及联机监控

基于确证的设计是一个功能强大的范式，该范式促进了电子设计中质量的改进。确证是一语句，它被用来描述所能包括的性质（即设计意图）以便在整个设计周期甚至产品的生产周期主动地检验正确性。本书作者介绍了许多使用现代硬件确证语言产生检验程序电路自动生成的技术。如今，在现代电子集成电路及系统的开发中，70％的时间是花费在验证上。而且系统越来越需要未经全面的验证就被送入费用昂贵的制造过程，人们通常用验证危机来描述这一现象。多年以来，研发工程师能够使用的新验证方法进展不大。     

关于变换群的探究教学案例

变换群是一类重要的群，按照创设问题情境、猜测、验证、反驳、再猜测、再验证的探究思路，给出了变换群基本定理的一个具体探究教学设计．     

数控铣削程序图形验证技术国内外研究现状

数控程序的自动化图形验证技术是虚拟制造中关键的一个环节，从数控铣削程序的图形验证技术入手，对该项技术的研究现状作了较为全面的论述，并分析了其中存在的不足和优缺点。     

以概念验证中心促进大学科技园高质量发展

大学科技园是高校服务社会职能的延伸，其高质量发展对推动高校科技成果转化至关重要。文章深入剖析我国大学科技园高质量发展面临的问题，运用对比方法分析概念验证中心和大学科技园的关系，探讨以概念验证中心促进大学科技园高质量发展的必要性与可行性，并从国家、高校和大学科技园等层面探讨概念验证中心对大学科技园功能平台建设的启示。     

探究性教学在纺织材料实验教学中的应用

本文通过3个实验实例，介绍了研究性教学在纺织材料实验教学中的应用，思路是，将基本实验项目设计成验证教材里有关理论、模型和参数，或者验证探讨有关研究文献提出的观点，或者探讨测试标准里有关参数。     

基于模拟的验证技术在CPU设计中的应用

在一款通用CPU设计中，应用了多种验证技术，包括基于测试矢量的验证，基于覆盖率的验证等等，通过理论分析和实验研究，不同的技术显现出各自适用的时机和方式，实验和分析结果进一步表明了各种验证技术的特点及其在工程应用中的有效性。     

一种高效的基四浮点蝶形运算模块研究

FFT是数字信号处理中的一种非常重要的算法，蝶形运算模块是FFT处理其中的重要构造模块，本文给出了一个高效的基四蝶形运算模块结构设计方案并进行了实验验证，验证结果证明，该结构利用蝶形运算中重复计算的特点，进一步节约了蝶形运算模块的资源。大大提高了运算模块的使用效率。     

基于不同形式化模型的网络通信协议验证技术的分析与比较

协议是数据通信、计算机网络等分布式系统的灵魂。协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段。阐述了验证技术的目的与方法，分析了当今常用的协议模型技术，重点介绍了基于FMS、Petri网、以及时序逻辑TL模型的协议验证技术。