【摘 要】
：
基于基本网络代数(Basic Network Algebra, BNA)和LOTOS/E-LOTOS,该文提出一种适合于分析Internet路由系统行为的代数系统.该代数系统称为路由网络代数(Routing Network Alge
【机 构】
：
北方工业大学信息工程学院,北方工业大学信息工程学院,东北大学信息工程学院
论文部分内容阅读
基于基本网络代数(Basic Network Algebra, BNA)和LOTOS/E-LOTOS,该文提出一种适合于分析Internet路由系统行为的代数系统.该代数系统称为路由网络代数(Routing Network Algebra, RNA),它结合了BNA中的并行、串行运算以及LOTOS中的同步并行运算,并在此基础提出更适合于描述Internet路由系统行为的选择运算'(+)'、协同并行'( )'以及路由网络常量,如m×n(路由转发)、∧m(分支)、∨m
其他文献
本文根据区域政策在地区经济发展和地区差距变动中的作用,提出应当对我国中西部地区实施区域倾斜政策,以实现控制地区相对差距不再扩大的第一步目标和地区绝对差距逐渐缩小的
WWW缓冲技术通过将受欢迎的网页放到与客户较近的地方来提高用户存取这些网页的速度.如何有效充分地利用WWW缓冲中的信息,其关键是建立一个合适的用户兴趣模型和构造合适的兴
目前Web中的海量信息已经成为人们重要的信息来源,如何从大量半结构化或无结构的HTML网页中提取信息已成为目前的研究热点.但是Web页面的初始设计目的是为了方便用户浏览,而
控制投机和数据投机是提高程序指令级并行度的有效方法.为了保证投机指令的正确执行,须解决两个问题,即延迟触发控制投机指令导致的异常和数据投机中的别名歧义.这需要硬件的
基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑