证据推理技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
本文研究并实现基于逻辑推理的网络攻击想定自动生成系统，用于网络安全模拟演练。采用Datalog描述与安全相关的网络配置信息和攻击规则，使用XSB推理引擎构造实现攻击目的的攻击路径图；遍历攻击路径图，得
带钢热连轧宽度控制过程是一个复杂的非线性过程、难以建立精确的数学模型，对于传统的数学模型的轧机计算很难实现精度要求。设计一种用于宽度控制的模糊控制器。模糊控制器根据推理规则获得控制系统的查询表。并用M
摘要：基于色调处理技术，该文给出了一种有效可行且具有自修复能力的图像认证笲法．首先，基于误差扩散色调处理技术将水印图像 4bit 色调虽化 ， 并依据混沌臂乱算子， 将色调结果许乱，然后构造平均误差最小的特征集合 C , 最后依...
移动通信中，终端的移动及管理是无线通信管理的基本组成部分和主要职能。集群通信的应急联动功能，也集中体现在对终端设备的管理和调度功能上，因此移动性管理成为集群通信系统中必不可少的逻辑功能实体。本文主要分
本文首先讨论了代理签名体制的可证安全性，为代理签名的可证安全建立了理论基础，同时为研究凭证型代理签名体制的安全性提出了一种形式化模型，该模型定义了攻击者的能力和安全目标；然后用该模型分析了一个
为解决传统门禁系统以手工方式进行访客登记所出现的效率低、登记信息不完整、资料整理困难等问题，给出了一种基于证件识别技术的访客管理系统方案，系统使用一个专用身份证件扫描仪，实现了访客证件的自动扫