计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
1期
109-114
,共6页
吴怀广%姬厚灵%毋国庆%苗玥
吳懷廣%姬厚靈%毌國慶%苗玥
오부엄%희후령%무국경%묘모
Bigraphs理论%Bigraphs反应系统%上下文感知%形式化模型
Bigraphs理論%Bigraphs反應繫統%上下文感知%形式化模型
Bigraphs이론%Bigraphs반응계통%상하문감지%형식화모형
针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型——柏拉图图形模型在此问题中的适用性及不足.在此基础上,利用带演算的Bigraphs反应系统对上下文感知系统进行描述,并给出了与柏拉图图形模型之间的比较.
針對普適環境中上下文感知繫統的形式化建模問題,討論瞭Bigraphs理論的擴展模型——柏拉圖圖形模型在此問題中的適用性及不足.在此基礎上,利用帶縯算的Bigraphs反應繫統對上下文感知繫統進行描述,併給齣瞭與柏拉圖圖形模型之間的比較.
침대보괄배경중상하문감지계통적형식화건모문제,토론료Bigraphs이론적확전모형——백랍도도형모형재차문제중적괄용성급불족.재차기출상,이용대연산적Bigraphs반응계통대상하문감지계통진행묘술,병급출료여백랍도도형모형지간적비교.
