论文部分内容阅读
MWB是一个基于PI演算的模型检测工具。本文对多播的PIM_SM协议用PI演算建立一个三层模型并进行模型检测，其中主要检测PIM_SM协议中的嫁接和剪枝等；讨论利用PI演算建模的一般方法以及怎样利用MWB工具软件检测模型。
多播协议PI演算建模与MWB检测
【摘 要】
：
MWB是一个基于PI演算的模型检测工具。本文对多播的PIM_SM协议用PI演算建立一个三层模型并进行模型检测，其中主要检测PIM_SM协议中的嫁接和剪枝等；讨论利用PI演算建模的一般方
【机 构】
：
贵州大学计算机软件与理论研究所
【出 处】
：
计算机工程与科学
【发表日期】
：
2008年4期
其他文献
ncRNA（非编码RNA）是一类重要的遗传物质,它通过多种机制调控着基因的表达。由于缺少编码RNA基因所具有的典型特征,ncRNA基因的检测成为生物信息学RNA研究领域的热点问题。QRNA
特征选择是数据挖掘和机器学习等领域内重要的预处理步骤，近年来得到了广泛的关注。文本数据的高维性往往会影响分类等数据挖掘任务的效率，因此特征选择常被作为文本分类过程中
主从式单边异构体系结构的异构多核处理器广泛应用于面向专门应用领域的计算加速，如异构多核嵌入式处理器、DSP、SoC等；高性能的该类处理器也可用于一些大规模科学和工程计算问
作为数据流上的一种重要查询,skyline对于很多在线应用都非常重要,包括移动运算环境、网络监控、传感器网络、股票交易等。与大多数数据流skyline处理技术不同,本文着重于约
针对随机需求市场环境下企业利润变化分析的需要，在PCPN的基础上，与GSPN进行有机结合，本文提出广义随机价格着色Petri网，讨论了广义随机价格着色Petri网（GSPCPN）的变迁步规则，给出了
补偿是促进经济社会可持续发展的前提，《资本论》研究了资本主义生产总过程，在这个过程中马克思论述了工人利益的受损与补偿、社会再生产过程的补偿、生态断裂与补偿等问题。《
本文提出了一种基于综合相似度的二次差分法,综合考虑小波分析和统计量等多种方法对镜头进行检测。在镜头突变检测中考虑了相邻帧的二次差分法;同时,在渐变检测中引入了自适应阈值法,考虑了非相邻帧的二次差分法,避免了人为因素,克服了其他方法仅适用于一类视频序列或几类视频序列的限制,因而具有较好的鲁棒性。实际视频数据的实验结果表明,本文所用方法对镜头边界检测具有很好的效果。
在言说与解读之间,有着一个巨大的须填充的空间。借助现象学、语言哲学的问题意识,以通达并填充这一空间,也许可以对相关问题获致一定程度的＂正解＂。子贡＂得闻夫子之文章＂而＂不得
本文对传统的网格简化算法进行了深入的研究,针对传统算法在新顶点位置的确定、边界顶点和边界边的处理、累进网格二义性的处理,以及网格拓扑关系有效地保持的处理等方面所存在的不足进行了相应的改进。改进后的网格简化算法能够有效地保持网格模型的形体特征,消除了累进网格的二义性,保证了简化过程中网格拓扑关系的正确性,提高了网格简化的质量。实验结果表明,改进的算法不仅能产生高质量的网格,而且具有很高的执行效率,可
围绕《计算机程序设计实验》教学的全过程，以建构主义学习理论为指导，构建本门课程教学的四大模块：学员自我建构、学员协作学习、学员自我反馈和教员归纳总结。这种教学模式真正