论文部分内容阅读
针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。在此基础上,利用带演算的Bigraphs反应系统对上下文感知系统进行描述,并给出了与柏拉图图形模型之间的比较。
普适环境中上下文感知的带演算的Bigraphs描述
【摘 要】
：
针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。在此基础上,利用带演算的Bigraphs反应系统对
【机 构】
：
郑州轻工业学院计算机与通信工程学院,武汉大学计算机学院,内蒙古包头医学院计算机科学与技术系
【出 处】
：
计算机科学
【发表日期】
：
2012年1期
【基金项目】
：
国家高技术研究发展计划项目（2007AA01Z185）资助
其他文献
目的：探讨在胃癌高发地区胃癌患者血清癌胚抗原（carcino-embryonic antigen,CEA）和糖蛋白抗原（carbohydrate antigen 19-9,CA19-9）水平与预后的关系。方法：收集行胃癌手术治疗的98
功耗攻击已对密码算法实现的物理安全性构成严重威胁,对其攻击和防御的研究是近年来旁路攻击的热点问题。研究了ARIA韩国国家分组密码的相关功耗分析攻击方法。阐述了ARIA密
重点讨论Choquet积分的Ⅱ型模糊化扩展形式。相对于Choquet积分的模糊化扩展Ⅰ型，Ⅱ型扩展支持模糊数的被积函数，并给出精确数的积分结果。基于带符号的模糊测度，分别讨论了Choq
从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基
刺菜是大豆田恶性杂草之一，再生能力强，对机械损伤和一般除草剂有较强的抗性，极难防除利用草甘膦的灭生性和刺菜与大豆生长特性的不同，在不同季节采用不同方法，对刺莱进行防治，可以
探讨了播期对麦茬复种大豆生长发育特点和产量构成各因素的影响。结果表明，在栽培条件相同的情况下，除受品种本身丰产潜力等因素影响外，播种期的早晚是影响麦茬大豆产量的主要因