【摘 要】
：
针对无线传感器网络缺乏普遍的理论模型,提出一种多Agent系统模型,包括形式化语言、模型、语义以及相应的公理和模型约束.该模型将无线传感器网络抽象为由具有特定信念、期望
【机 构】
：
南京邮电大学计算机学院,南京大学计算机软件新技术国家重点实验室
论文部分内容阅读
针对无线传感器网络缺乏普遍的理论模型,提出一种多Agent系统模型,包括形式化语言、模型、语义以及相应的公理和模型约束.该模型将无线传感器网络抽象为由具有特定信念、期望、意图和能力等认知成分的Agent组成的认知系统,所有这些认知成分构成多Agent系统认知模型.本文将为独立于内部结构和具体实现来理解、分析和预测无线传感器网络行为提供形式化的理论基础和分析工具.
其他文献
目的分析基因芯片技术检测乙型肝炎病毒（HBV）4位点变异的临床意义。方法对83例乙型肝炎患者和28例正常患者采用基因芯片技术,检测HBV4位点的变异情况。结果 83例患者HBV均发生
许多发展中国家都面临着严重的粮食短缺问题。而这些国家又不能很好的防治在粮食储存过程中发生的微生物、脊椎动物以及昆虫。据估计,在世界范围内每年由于昆虫为害而造成的
粮食是人类赖于生存的根本,是关系到国计民生的重要资源。粮食储藏过程中,粮堆内部籽粒间的微气流运动、粮堆温度、粮堆湿度、粮食水分、外界环境温、湿度等因素使粮仓内部变
子宫肌瘤是由增生的子宫平滑肌细胞和少量结缔组织形成的良性肿瘤,是女性生殖器官中最常见的肿瘤,据报道,30岁以上妇女中约20%可发现有子宫肌瘤,故子宫肌瘤的诊断和治疗的选
鸡病毒性关节炎是由于感染呼肠孤病毒而导致,病鸡典型症状是足部关节发生肿胀,且腱鞘发炎,后期腓肠肌腱往往发生断裂。该病不仅会导致病鸡跛足,走动困难,还会对采食和消化产
目的:观察32例高血压性基底节出血,行颅内血肿微创清除术治疗的临床疗效。方法:采用YL-I型一次性颅内血肿粉碎穿刺针治疗颅内血肿。首先CT定位,行经颅穿刺血肿清除术后注入尿
为探究不同投喂水平对黄鳝（Monopterus albus）生长、肠道消化酶活性及血清生理生化指标的影响，分别以初始体重为（68.85±0.44） g和（26.67±0.17） g的2种规格黄鳝为研究对象，
以问题为导向,以引发学生与学生、学生与教师的热烈互动和讨论为方法,将数学教学课堂的氛围推上一个新的高度,从而提高数学教学的效果是我们教师可以采取的基本策略之一.因此
<正>汉筑城,晋定邦,宋设府,清开埠。千百年来,济南带着历史文化的厚重、经济建设的蓬勃一路走来。随之。火车的汽笛声划过天际,西医出现了,电影出现了。教堂出现了,报纸出现
加强企业物资管理，降低产品成本是增加现代生产型企业的经济效益方式之一。要实现规范、科学、高效的物资管理，就要重点做好物资计划、采购、存储的物资管理流程。本文就这一流