【摘 要】
：
多Agent系统（Multi-agent Systems,MAS）已在电子商务中得到了广泛应用.由于MAS是一个动态系统,现有的形式化方法不适合描述MAS的动态体系结构,而π演算适合描述具有动态结构的
【机 构】
：
西安交通大学管理学院,西安工业学院经济管理学院,西安交通大学电子与信息工程学院
论文部分内容阅读
多Agent系统（Multi-agent Systems,MAS）已在电子商务中得到了广泛应用.由于MAS是一个动态系统,现有的形式化方法不适合描述MAS的动态体系结构,而π演算适合描述具有动态结构的系统,以π演算为形式化基础对MAS进行建模与分析.通过构造一个电子商务系统的形式化模型,描述了π演算的建模和分析过程.π演算不但能描述Agent之间的交互,而且可以对系统的一些关键属性进行分析,如分析系统的死锁性等.
其他文献
再热器烟气挡板控制系统的优劣,直接影响再热汽温的调节品质与机组经济运行指标。本文通过再热器烟气挡板控制的理论基础及影响再热汽温的因素的分析,设计再热器烟气挡板自动
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
质子泵抑制剂与氯吡格雷之间的相互作用存在许多争议,多项研究支持质子泵抑制剂与氯吡格雷合用增加了不良心血管事件的风险,其中存在多种混杂因素。近年来的倾向得分分析、荟
工业革命引发的社会和生产力的巨大变革,是马克思生态哲学思想产生的现实基础。马克思吸收前人的哲学思想中的合理成分,尤其是通过继承与批判黑格尔的自然哲学思想和费尔巴哈
1904年,自由式摔跤首次被列为奥运会比赛项目。自由式摔跤不断改善,以适应竞技体育的特点。自由式摔跤竞赛规则经过重大修改有十次之多。2013年12月17日,国际摔跤联合会为缩
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
<正>俄国奥多耶夫斯基的童话《鼻烟壶里的小城》有几种中文译名,其中的颇为不同之处在于译者对“табакерка”(鼻烟壶)的翻译。有的翻译成“鼻烟壶”,有的翻译成“八
在电源设计中，散热限制、峰值功率持续时间、峰值功率占空比等性能指标往往决定了IC产品是否被电源系统设计工程师所选用。Power Integrations（PI）产品行销总监Nazzareno Rosset
在对隐喻的研究中，有两个从认知角度看隐喻的理论成为当代研究隐喻的焦点。其一是George Lakoff和Mark Johnson的人类隐喻性思维理论。他们认为隐喻在日常生活中无处不在，不仅