国家自然科学基金(90718021)
- 作品数:29 被引量:102H指数:6
- 相关作者:张宏张琨刘凤玉何加浪孟锦更多>>
- 相关机构:南京理工大学南京大学中国药科大学更多>>
- 发文基金:国家自然科学基金江苏省自然科学基金国家教育部博士点基金更多>>
- 相关领域:自动化与计算机技术电子电信航空宇航科学技术兵器科学与技术更多>>
- 可逆元胞自动机加密技术研究被引量:8
- 2008年
- 利用可逆元胞自动机无信息损失和高度并行处理的特点,提出了一种新的基于可逆二阶触发元胞自动机的分组加密算法。该算法没有取整个规则空间为密钥空间,而是通过引入规则表的λ参数,对原本庞大的规则空间进行了划分,证明了满足λ=0.5的一类规则适合用于加密。经分析表明,与一般不可逆触发元胞自动机加密技术相比,这种可逆触发元胞自动机加密技术不仅提高了加密速度,而且增加了密钥空间,具有良好的抵抗蛮力攻击和差分分析的能力。
- 平萍周曜张宏刘凤玉
- 关键词:密码学
- 开放分布系统中局部信任度计算方法研究被引量:1
- 2011年
- 针对现有的局部信任度计算方法忽视了交互经验的时效性及充分性等问题,提出一种证据理论框架下的局部信任度计算方法,该方法采用了时效因子计算函数来区分不同时间内的交互经验在局部信任度计算中的重要性;同时,采用了半梯形函数来区分基于不同交互经验计算得到的局部信任度的有效性。实验分析表明,该方法对实体行为改变有较强的敏感性,能有效地降低对各种恶意实体的局部信任度。
- 蒋黎明张琨徐建张宏
- 关键词:信任证据理论安全性
- 一种基于环境约束的异常程序行为模型
- 2010年
- 在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理,将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。
- 何加浪徐建张宏
- 关键词:控制流运行环境
- 进化计算在软件智能修复中的应用被引量:1
- 2011年
- 提出一种基于进化计算的软件智能修复算法IREA。采用控制流图作为进化个体的编码方式,在确定适应度函数时,考虑控制流图节点集的势和结构相似度2个因素,将软件的修复过程转化为适应度指导的进化过程,从而实现软件智能化修复。实验结果表明,该算法具有可行性和有效性。
- 何加浪张琨张宏
- 关键词:进化计算控制流软件维护
- 资源重配置算法在系统可存活性中的应用
- 2008年
- 可存活性是用来表明系统在面对蓄意攻击、故障失效或偶发事故时仍能完成其任务的能力。如何提高系统的可存活性是当前安全研究领域的重点。目前提高系统可存活性的方法主要集中在体系结构的设计和资源重配置上。从资源重配置的角度,通过剥夺非关键服务的资源分配给资源受到破坏的关键服务,从而保障关键服务持续运行,实现系统的可存活性。从被剥夺资源的非关键服务尽可能少这一角度出发,利用近似度算法得到一个分配方案;从非关键服务对于关键服务的响应时间尽可能短这一角度考虑,采取时间优先算法得到另一个方案。在近似度算法的实现过程中,同时加入对关键服务响应时间的考虑;在时间优先算法的实现过程中,考虑服务间占有资源的近似度。然后比较两种算法产生的两个方案,选取综合性能较好的一个作为最终的资源分配方案。无论是近似度算法还是时间优先算法,实现容易、时间及空间效率较高、产生的分配方案综合性能较优。
- 胡方炜李千目许满武
- 关键词:可存活性
- 基于不变量的程序修复进化扩展模型被引量:2
- 2010年
- 为了有效解决程序修复进化中搜索空间过大和正常功能牺牲的问题,提出了一种基于不变量约束的扩展的程序修复进化模型(extended repair evolutionary model,EREM),利用程序不变量约束对搜索空间进行划分和约简以降低消耗,通过使用表达程序正常功能的正测试用例学习的不变量约束(称为正不变量约束)来保证程序不牺牲正常的功能,在适应度函数的设计上考虑测试用例通过数的同时也考虑了正不变量约束的保持数,对于破坏正不变量约束的个体适应度给予一定的惩罚值。最后通过实验对模型进行了验证,结果表明了模型的可行性和有效性。
- 何加浪张琨孟锦张宏
- 关键词:程序不变量进化计算
- 一种故障传播感知的程序故障定位方法被引量:3
- 2011年
- 针对现有的基于覆盖的程序故障定位方法不能有效解决故障传播给定位效果带来的影响,该文提出了一种基于传播感知的程序故障定位方法。该方法首先使用收集到的程序覆盖路径信息对可疑节点空间进行压缩来有效降低计算量,然后利用节点在正常执行路径和故障执行路径中出现的频率不同确定可疑空间中的每个节点的初始可疑度,接下来通过引入边传播趋势的概念确定初始可疑度最大的节点是否具有故障传播现象,最后对感知的故障传播相关节点进行可疑度修正来确定节点的最终可疑度。相关示例分析和定位实验结果表明,该故障定位方法能有效降低故障传播给定位准确性带来的影响,定位效果良好,且随着程序规模的扩大在时间开销上较其他方法有很大优势,因而具有较高的实用价值。
- 何加浪孟锦张琨张宏
- 面向自主计算的主体服务匹配:研究综述被引量:4
- 2008年
- 主体服务能力描述和能力匹配是实现自主单元自配置的关键,也是基于主体的自主计算技术中的核心内容。在简要介绍自主计算基础上,重点对主体服务描述语言和主体服务匹配算法的研究成果进行了综述,并指出未来的发展趋势。
- 张琨许满武刘凤玉
- 神经网络在软件多故障定位中的应用研究被引量:5
- 2013年
- 针对软件多故障定位问题,提出一种基于神经网络的多故障定位模型.通过故障相关性分析,计算故障定位使用的输入对每个故障的支持度分量.利用神经网络模型学习输入的覆盖位置与各故障间的关系,针对每个可能包含故障的位置,构建理想输入作为已学习神经网络的输入,计算出该位置包含各故障的支持度,最终对每个故障确定其按支持度排序的位置序列,从而完成多故障定位的任务.实验结果表明,较传统方法,该模型对各故障可疑位置具有很强的分辨能力,表现出较大的优越性,对于提高软件多故障调试效率有很大帮助.
- 何加浪张宏
- 关键词:神经网络
- 战略互联网风险检测与故障分析方法被引量:7
- 2008年
- 随着新一代战略互联网规模的不断扩大,网络应用不断增加,传统的网络故障诊断系统功能单一、操作复杂、效率低下,已不能满足军网管理的发展需要.基于粗糙集的神经网络理论,提出网络性能检测与故障分析的RSNN算法,实现不一致情况下的故障规则获取和学习样本的净化处理.该算法具有简化样本、适应性强、容错性高等特点,能有效处理网络故障诊断中噪声和不相容的信息.由于诊断问题的实质是一种映射,该算法用一种前馈型网络来逼近这种映射关系,实现对故障的有效分类.实验表明,利用该方法实现的系统与同类的其他方法相比,大幅提高了诊断准确率和诊断速度.
- 李千目刘凤玉
- 关键词:性能检测神经网络粗糙集