论文部分内容阅读
本文主要通过PI演算对软件人的通信中信息流和控制流进行形式化表述和建立模型,基于该通信模型,实现对软件人之间的协作、自律等行为以及软件人群体结构演化等方面抽象分析的目的。
基于PI演算的软件人通信形式化与建模研究
【摘 要】
：
本文主要通过PI演算对软件人的通信中信息流和控制流进行形式化表述和建立模型,基于该通信模型,实现对软件人之间的协作、自律等行为以及软件人群体结构演化等方面抽象分析的
【机 构】
：
广西民族大学预科教育学院广西南宁530006
【出 处】
：
科技资讯
【发表日期】
：
2008年2期
其他文献
目的 克隆大鼠NRF-1基因并重组于载体pMD18-T,了解NRF-1基本结构和蛋白分子特征,预测可能的相关作用蛋白分子,为下一步研究NRF-1对心衰细胞能量代谢途径的作用机制提供实验材
目的 分析持续性非卧床腹膜透析（CAPD）相关性腹膜炎的致病菌及其耐药性,从而为腹膜炎临床治疗提供依据。方法 回顾性分析50例腹膜透析相关性腹膜炎患者的致病菌、耐药性。结果
目的探究开腹胆囊手术及腹腔镜胆囊手术出现肠粘连的概率。方法本次研究中，择取720例胆囊疾病手术患者为研究对象，按照随机抽取的方式将其分为两组，分别是参照组（360例）和实验组（36
目的研究分析冠心病患者应用多层螺旋CT的诊断价值。方法择取冠心病患者35例，分别对患者实施多层螺旋CT和MRI，比较分析两种诊断方法的诊断结果。结果经多层螺旋CT检查有32例患
目的观察并分析左旋多巴/苄丝肼治疗帕金森病的临床效果。方法将68例帕金森综合征患者作为研究对象，患者随机划分为观察组和对照组，对照组31例采用常规的方法进行治疗，观察组37
我国建筑给排水自1949年建国以来,经历了三个发展阶段:一、房屋卫生技术设备阶段即初创阶段,自1949年至1964《宣内给水排水和热水供应设计规范》开始试行时为止。二、室内给