湖北省科技攻关计划(2004AA101C01)
- 作品数：3 被引量：17H指数：2
- 相关作者：董红斌谭成予梁意文杨鹤杨利军更多>>
- 相关机构：武汉大学湖北教育学院更多>>
- 发文基金：湖北省科技攻关计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 源程序语义检测的稳定模型分析方法被引量：3
- 2006年
- 基于逻辑程序及其稳定模型的理论,提出一种源程序语义检测的稳定模型分析方法。该方法从源程序中提取关键语句图,将安全知识规则转换为一个逻辑程序,再用关键语句图去实例化该逻辑程序,最后求解其稳定模型得到源程序的安全性评价。该方法体现了源程序丰富的语义,具有较好的可扩展性。
- 杨利军董红斌梁意文谭成予
- 关键词：逻辑程序
- 人工免疫系统中危险信号的云方法定义被引量：13
- 2006年
- 对“危险”的定义是将危险理论用于人工免疫系统所需要解决的核心问题。云模型是一种定性与定量之间相互转换的有效工具。论文借鉴云模型的概念对计算机系统中系统变量的变化进行判定,从而给出危险信号的定义;综合多种危险信号,进而给出“危险”的定义。最后,提出了利用“危险”和nonself的识别共同激发免疫响应的协同识别模型框架。
- 杨鹤董红斌梁意文谭成予
- 关键词：人工免疫云模型
- 淋巴细胞的时间语义逻辑模型及其演化策略被引量：1
- 2006年
- 数字序列抗原内部存在许多语义特征,针对抗原进行语义识别可以提高系统检测的准确性。基于抗原的相对时序关系,该文采用了一阶逻辑作为抗原和淋巴细胞的基本描述语言,以扩展逻辑程序构造淋巴细胞的时间语义逻辑模型,给出了淋巴细胞的逻辑表示形式。基于逻辑程序的稳定模型语义学,用稳定模型语义计算作为新的淋巴细胞的匹配算法。借鉴遗传归纳逻辑程序GILP的基本思想,给出了新的淋巴细胞的演化算法。
- 谭成予董红斌梁意文关刚
- 关键词：人工免疫逻辑程序异常检测
