论文部分内容阅读
根据时序Ｐｅｔｒｉ网理论，将其作为一种系统模型对ＩＳＯ参考模型中类型１和类型２的连接和释放阶段进行形式描述，验证其面向通讯方面关于安全性，回归性及推进性等方面的特性，并对网上周期性点火的最大可计算速率进行了估计。
用时序Petri网对网络协议进行描述和验证
【摘 要】
：
根据时序Ｐｅｔｒｉ网理论，将其作为一种系统模型对ＩＳＯ参考模型中类型１和类型２的连接和释放阶段进行形式描述，验证其面向通讯方面关于安全性，回归性及推进性等方面的特性，并对网上周期性点火的最
【机 构】
：
桂林电子工业学院电子计算机系软件教研室
【出 处】
：
桂林电子工业学院学报
【发表日期】
：
1995年4期
其他文献
打开手机的第一瞬间，我们的感受正在发生着悄无声患的变化。这种变化不仅仅是来自于视觉上的感受，让一切看上去更加自然和舒服；同时也是来自于切身体会的使用感受，让一切更加简单
戴尔公司近日对旗下的Studio 15笔记本进行了更新，提供了更快的酷睿2处理器（T9400、T9550、T9600、T9800等型号），并搭配ATI Mobility Radeon 4570显卡。
通过对ＣＣＩＴＴ的Ｖ．２１建议的分析，提出了用单片机软件实现的原理和方法，并给出了软件实现ＣＰ－ＦＳＫ的应用结果。结果表明这个方法是正确的，在相似的工作环境下有推广价值。
众所周知，中国联通采用的WCDMA网络是全球技术最为领先，最为成熟，使用最为广泛的3G网络。在中国三大运营商采用的三种3G网络中，中国联通的WCDMA网络展示出优越的稳定性和高速率，其
上网本成为今年PC市场最火爆的名词。它甚至抢走了迅驰2的风头。这类产品价格适中、外形轻便小巧，是现今最值得购买的电脑产品之一。参考一下我们以下的推荐，说不准会有你钟爱
通过实践探索和调查分析，研究了我国兽药职业技能鉴定体系建设的必要性，以及体系中的职业标准、鉴定机构、教材、题库建设等内容，提出了严把质量关、加强省级鉴定站建设及明确我
09春季，消费类DC如潮涌般进入了我们的视线。今年发布的产品之多令人吃惊，新技术的应用也令人眼花，各种个性化的产品分门别类大举入侵，远不像前几年那种只是简单地升级一下外形和
当一款手机将纷繁的多媒体娱乐与领先的触控操作技术融为一体时，可以想象．一切都会变得更加有趣．生活也会因此更加精彩。而诺基亚5530 XpressMusic就是这么一款让我们领悟精彩玩
曲线轮廓汉字造工具已很多，但对于特定字体，特别是美术字体的自动生成技术却远未成熟。国内８３计划中该领域的研究工作只在字体的衍生方面进展较为明显，普遍性的自动转换技术还处于