论文部分内容阅读
应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。
基于Petri网的IPv4到IPv6协议转换分析
【摘 要】
：
应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。
【机 构】
：
华东理工大学信息科学与工程学院,上海市计算机软件评测重点实验室,中山大学信息学科学与技术学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2011年12期
其他文献
机器人技术的发展推动外科手术模式产生革命性的变化,目前研究主要集中于脑神经外科、整形外科、骨科等领域,已显示出良好的社会和经济价值。为促进我国医用外科机器人技术的
突发性耳聋(突聋)在临床上并不少见,其病因及发病机理虽未完全阐明,但内耳微血管病变和微血流紊乱是致病因素之一已是众所公认,且在不断深入研究之中.本文将突聋的眼球结膜微
为了提高无线传感器网络中节点在多个频点工作环境下的搜索效率,提出了一种基于认知无线电技术的节点搜索算法。在分析了影响节点成功搜索的各个因素并映射这些因素到算法中相应参数的基础上,通过多种方法建立了各参数之间的联系并得出了在一定使用情况下的最优配置。算法既汲取了认知无线电中对频点利用率高、抗干扰能力强和安全性好等优点,还克服了其相对于定频通信在节点搜索能力方面的不足。
介绍甲骨文考释的现状,在总结和归纳以往专家考释的经验基础上,结合甲骨文字、文、图三位一体的特性,给出甲骨文考释的方法:从结构考释、从上下文考释、从演化考释。根据甲骨文辅助考释的推理过程,构造甲骨文的贝叶斯网络。在此基础上,构建了特征属性语料库和案例库,特征属性语料库中着重建立了甲骨文字库及规则库。最后基于以构建的甲骨文语料库,设计和开发了甲骨文辅助考释原型系统。
节约能源一般可分为减少能源消费和提高能源利用效率两大方面。我国的能源消费构成中以化石能源为主体,一次能源消费中煤炭长期占比70%以上。化石能源的利用是人为二氧化碳（主
目的观察肿胀麻醉下微创刮吸术治疗腋臭的效果。方法采用腋部小切口,肿胀麻醉下刮吸去除大汗腺组织治疗腋臭。结果本组82例患者,术后腋部气味消失,效果良好。结论肿胀麻醉下
目的 观察小肠粘膜下层(SIS)的生物相容性和作为组织工程支架材料的可行性.方法 参照国际标准ISO10993-1制定的医疗器械生物学评价的相关方法和标准,通过细胞毒性试验、热原
综述了采用多种方法,从锅炉、汽轮机、热力系统、厂用电率等方面所实施的节能改造,并分析了对提高机组经济性所贡献的效益.
目的探讨聚丙烯酰胺水凝胶注射隆乳后，经抽吸法抽取注射物所致乳房反复积液的治疗方法。方法分析抽吸法抽取聚丙烯酰胺水凝胶后，乳房反复积液的原因，手术取出乳房注射物并切除注
提出了一种基于小波变换的自适应音频水印算法,把一幅二值图像作为水印信息自适应地嵌入音频信号中。仿真实验表明嵌入的水印具有良好的鲁棒性和透明性。