暂无评论
Formal development of the non-recursive algorithm for the Hanoi tower problem
偏理论研究,针对CWM存在的问题—无法识别元数据冲突,给出一种推理机制
Prolix编码样式 我偏爱的编码风格的形式化。 这种编码方式应该与几乎所有语言兼容,Python是一个明显的例外。 基本原理 顾名思义,Prolix编码风格是冗长的。 如果代码长度对您来说是个问题,
第二代人工免疫系统中的树突细胞算法(DCA)是受先天性免疫系统中树突细胞(DCs)功能的启发而开发的算法,它已被成功运用于许多计算机安全相关领域。但是对DCA理论方面的分析工作很少,对算法理论方面的研
树突状细胞算法(DCA)在应用于入侵检测时,需要对网络监测数据进行约简,以降低系统负担,提高检测效率。提出一种结合粗糙集属性约简和DCA的异常入侵检测方法。采用粗糙集属性重要度对数据集进行属性约简,产
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了De
形式化分析、安全协议分析
统一建模语言(UnifiedModelingLanguage,UML)又称标准建模语言,是始于1997年的一个OMG标准,它是一个支持模型化和软件系统开发的图形化语言。本书是UML的入门书籍。
Software formalization method final exam review points
论文研究-反精确现象与形式化研究.pdf, 通过尝试给出软直方图估计模型中样本不完备度和模型粗糙度匹配关系的公式化定义,发现了一个反精确规则.该反精确规则给出的启示是,如果信息是不完备的,则一个较粗
暂无评论