模型检测与程序验证

基于MC9S12XS128的温湿度传感器DHT11程序验证过可用

验证数据库（SQL Server 2005）与项目是否驱动成功，数据库是否连接成功，

设计与验证VerilogHDL，加上光盘程序，绝好的fpga的进阶书籍，EDA先锋工作室编著

Branch and Boundary Method Matlab Program Implementation and Verification

本文件不仅包括设计与验证：VerilogHDL(清晰PDF)这本书，还包括其内的程序代码，方便进行调试学习。

简单的VB编写的程序,与MSSQL2000数据库联合使用,身份验证的小程序,基本原理与步骤,非常适合初学者学习。SQL语句及数据,使用说明都在压缩包里。

本文设计了一个数字签名及签名验证系统。该系统基于RSA和MD5算法以及Winsock通信，并利用Java作为编程语言，JCreator作为开发工具，成功实现了对选定文件进行数字签名及其签名验证。系统

实验的关键在于系统级验证方法与测试程序的编写。系统级验证是确保Vertibi译码器在整个系统中正常工作的过程，需要深入了解电路结构和行为描述语言，通过模块化的电路功能设计方法进行验证。同时，对测试程序

检测一个文件夹的别名文件,防止网站程序跨过检测,病毒文件的恶意上传!由于调用系统dll 360等杀毒软件会误报,添加信任即可!

基于Swerling目标模型的雷达信号检测主程序