论文研究一种基于时间自动机的可生存性评估方法 .pdf

一种基于路预测的选择性可重构Cache方案，彭蔓蔓，彭方，在嵌入式系统中，性能和功耗是设计者最关心的两大要素。路预测是一种基于传统组相联Cache的低功耗优化策略，以一定的性能损失为代�

1 恶意代码危害性评估的现状 国内外反病毒厂家也发布了各自的恶意代码危害性评估标 准， 但是标准各异， 没有统一 的国家和国际标准。 这种现状 造成对同一 恶意代码事件， 不同的反病毒企业根据各自的评

基于非齐次泊松过程的软件可靠性增长模型按时间域可分为连续时间模型和离散时间模型两类。现有的软件可靠性增长模型大多都是针对连续时间构造的，在一定程度上忽视了对离散时间模型的研究。利用概率生成函数构建两种

时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析。利用时延Petri网到时间自动机等价转换算法（简记作TPN-to-TA转换），将一个描述实时系统的时延Petri网模型转换成

分析了当前IDS（intrusiondetectionsystem）的缺陷，讨论了数据融合技术应用在IDS领域的可行性，提出了一种基于数据融合（datafusion）的IDS（DFIDS）模型，融合决

一种基于语义的图像分类方法研究，王建丽，景晓军，本文主要研究了图像分类检索中

针对AVISPA工具在分析某些消息需要依靠具有特定属性的信道传递的安全协议或服务中存在的问题, 提出了一种基于抽象通道的扩展方法。抽象通道具有相关的安全性质保证如认证性, 能够对提供安全性质保证的底层

针对无线移动Adhoc网络的节点具有移动性和能量限制等问题，提出了一种根据网络动态拓扑结构和节点能量来进行多路由选择的混合式路由算法PEMP-OLSR。该算法以改进的链路状态路由算法为基础，通过在网络

为定量认识IMS网络攻击的影响, 提出了一种基于模糊综合评价的IMS网络攻击后果评估方法。通过分析可能的攻击流程建立了相应的攻击因素树, 引入层次分析法计算评价因素的权值, 然后利用模糊综合评价法对I

有限自动机正则化方法研究论文有限自动机正则化是编译中的重要技术，文章针对现有有限自动机正则化方法的不足，分析了有限自动机正则化的本质，提出了一个新的有限自动机正则化方法。这个新的方法具有通用的特点。