论文部分内容阅读
首先用形式化方法给出了网络实体、网络连接件和网络体系结构框架模型的定义,然后利用进程代数理论定义了网络体系结构上的网络实体运算,进而建立了网络体系结构的代数模型,为进一步研究网络体系结构打下了坚实的理论基础。
基于进程代数的网络体系结构形式化模型
【摘 要】
：
首先用形式化方法给出了网络实体、网络连接件和网络体系结构框架模型的定义,然后利用进程代数理论定义了网络体系结构上的网络实体运算,进而建立了网络体系结构的代数模型,
【机 构】
：
山东工商学院计算机基础教学部,中国矿业大学（北京校区）计算机学院,中国传媒大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年24期
其他文献
在经历了2000年至2002年近3年漫长的市场低谷后，2004年中国ERP市场呈现出利好趋势：以ERP软件的实施为主导，包括系统集成、应用软件、IT项目咨询及监理业务的信息化产业链正在悄
信任是多主体系统（MAS）研究的一个热点问题。为了解决MAS的动态性和不确定性带来的信任问题,提出了一种基于概率论的信任模型。与现有的信任模型相比,该模型考虑了信任信息的完
2005年8月25日消息，因为留恋传统特丽珑彩电，而在平板市场节节败退的索尼电子部门，终于决心通过豪赌液晶收复失地。
回望通识教育的历史,审思通识教育的初心与存在的问题.以邮票上的昆虫世界课程为例,阐释慕课视域中,通识性课程设计的理论依据与教学实践,进而阐发通识性课程的设计理念:通识
在分析传统污水处理厂出水水质预测方法的基础上,提出一种核主元分析和小波神经网洛相结合的预测新方法。首先利用核主元分析实现输入变量的降维和去相关,然后运用小波神经网
争议，是历史的进步；争议，是通向真理的象征。争议，并不意味着负面；争议，会带动整个产业的发展。没有争议的人不会成为英雄，没有争议的人注定是历史的流星。我们选择争议人物做这期的
国家不断强化研发费用的加计扣除力度,以促进企业全要素生产率的提高,实现我国经济高质量增长。为了分析这一政策影响效果,本文以2010年-2017年中国沪深两市A股上市公司为样