模型检验

模型检验技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

模型检验 热门资料

查看全部 500 份 →

提出一种基于中间汇编的缓冲区溢出检测模型，用于对可执行代码进行静态分析和检测。采用中间汇编形式可以使算法对硬件平台透明，增强代码可阅读性，有利于对缓冲区溢出的检测。针对不安全函数调用和写内存循环2 种

2024-01-14 1 模型检验

本文针对MANET 中现有的通用IDS 模型存在消耗太多的计算和带宽资源、容易受到DOS 和欺骗攻击以及准确性较低等不足，提出了改进的基于簇的多层协同入侵检测模型。该模型具有较好的扩展性、灵活性和准确

2023-12-22 1 模型检验

验证是制造出功能正确的芯片的必要步骤。本书介绍了验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。

2023-01-26 8 模型检验

室内环境监控系统模型试验研究:根据室内环境监控系统实际模型的试验研究,提出了一种利用计算机网络对室内多个传感器进行远程监控的实用方法,并详述了其工作原理和监控程序设计。关键词:环境监控;

2024-02-09 4 模型检验