论文部分内容阅读
文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所/变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化的基础.
Bi—PIM协议的原理分析及其Petri网模型
【摘 要】
：
文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所/变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化的基础.
【机 构】
：
云南大学数学系
【出 处】
：
计算机工程
【发表日期】
：
2004年2期
其他文献
针对图像的无级放大问题,提出了3种双线性插值放大方案,分析了3种方案各自的运算量,找出最优的图像放大算法。
国外私有林的经营管理已有上百年的历史,其林地私有化后曾面临着森林资源与生态破环的困境,目前已经形成了比较成熟的私有林生态保护政策体系。分析国外私有林生态保护政策类
内容过滤是网络安全领域的一个新课题,目前对内容过滤技术的研究集中于对关键词的检查和分析,过滤精度较低.该文建立了一个基于向量空间模型的内容过滤模型,它提高了过滤精度
提出贪心遗传算法.通过构建"基因库"形成好的"基因片断",从而生成高性能的初始种群;依据贪心选择的原则指导遗传操作,实施贪心交叉操作和贪心变异操作;移民操作向种群引进新
提出的算法将人体的运动状态和人体的颜色特征二者组合使用,既能在人体不出现遮挡时保持算法的快速性,又能在发生人体相互遮挡后还能正确地跟踪人体运动.
通过在网络仿真实验系统中引入协作学习的策略,提出了网络协作仿真实验系统的一般应用模型.采用面向对象的方法对网络协作仿真实验系统的构造进行了分析和设计,给出了系统的U