论文部分内容阅读
介绍并讨论了Bimodal Multicast的应用特征和规范形式描述方法,给出了一个基于I/O自动机的描述方案,内容包括Bimodal Multicast中消息的表达,状态和动作的定义,并重点讨论了Bimodal Multicast的最近最先语义的描述方法.
概率可靠多播协议Bimodal Multicast的IOA形式规范
【摘 要】
：
介绍并讨论了Bimodal Multicast的应用特征和规范形式描述方法,给出了一个基于I/O自动机的描述方案,内容包括Bimodal Multicast中消息的表达,状态和动作的定义,并重点讨论了B
【机 构】
：
西安电子科技大学
【出 处】
：
西安电子科技大学学报
【发表日期】
：
2003年2期
【基金项目】
：
国家部委预研项目
其他文献
使用连续小波变换讨论了某些偏微分方程和相应的积分方程之间的关系．使用连续小波变换能够将这些偏微分方程变换成相应的积分方程，这些偏微分方程与相应的积分方程不仅在弱收敛
【摘 要】党政领导干部演讲学，是研究探索现代党政领导干部演讲的一般规律及其方法的科学。演讲，是现代党政领导干部重要的领导活动之一。在各级党校领导干部培训班开设演讲课是革命事业发展的需要，是培养新型党政管理人才的需要。 【关键词】党校 党政领导 演讲课 【中图分类号】D62 【文献标识码】A 【文章编号】2095-3089（2015）21- 我党历来重视党政领导干部的培训教育工作，自1983年
目前实施CIMS的主要困难不是来自于技术而是来自于人和管理体制。文章分析了人在CIMS中的作用,强调了“人的集成”的重要性,列举了影响“人的集成”的几个方面,并简述了实现
由于常用的高频近似法和数值方法难于求解较复杂的目标的电磁散射问题，故提出一种将迭代物理光学法和矩量法相结合计算二维开槽电大目标电磁散射的混合方法。该方法根据等效原
【中图分类号】G62.2【文献标识码】A【文章编号】2095-3089（2015）15-0-01 《语文课程标准》对中段的习作要求是：乐于书面表达，增强习作自信心，观察周围的世界，能不拘形式的写下自己的见闻、感受和想象，注意把自己觉得新奇有趣印象最深、感受最深的内容写清楚。尝试在习作中运用自己平时积累的语言材料，特别是有新鲜感的词句。根据表达的需要，正确使用标点符号。 三年级是习作的起步阶段，
FX3022是奥特蓝星推出的一款2．2音箱产品，独特的造型犹如两座灯塔，其体积只有传统21音箱扬声器的一半，用户可轻松将它放置于桌面或者床头柜上。经过钢琴烤漆处理的表面根据色彩的
由于Ad Hoc无线网络的拓扑结构高度动态变化,并且不依赖预先构建的基础设施,传统网络采用CA实现集中证书服务的方法并不适合这种网络结构.利用基于离散对数的门限签名方案将A
可以说任何职业高校方面都是需要对于自己的教学方式进行有效的提高，才能够算得上符合自身的发展需求。对于法律教学来说，同样是如此的，法律教学本身就是要保证对于教学效果的理
【摘 要】 微课作为一种新兴的授课形式，越来越受到人们的广泛喜爱，对构建学习型社会有着积极的作用，本文着力于解决条形码图像制作在微课中的过程设计，以期为人们提供解决类似问题的思路。 【关键词】 条形码;微课;过程设计 【中图分类号】G64.24 【文献标识码】A 【文章编号】2095-3089（2015）20-00-01 在如今网络、多媒体教学广泛应用的时代，微课作为一种新兴的授课形式，使人