设p1,p2,…,pn是一些命题符,--pi是pi的否定.考虑由pi,--pi(i=1,2,…,n)构成的文字符集合Q,其中的若干个文字符q1,q2,…,q1通过"或者关系"V构成一个子句:……
1 引言缺省理论自1980年Reiter提出之后,已成为非单调推理的热点.在缺省逻辑中,扩张的概念至为重要.Reiter对特殊的缺省理论--正规缺省理论做了许多研究,并得出了一些漂亮的
1 引言随着Internet网络规模的迅速扩大,网络上开放的业务种类也在不断增加.在传统的非实时的数据通信基础上,网络业务正逐步向实时性要求很强的电话通信、传真通信和多媒体
This paper presents a computer immunology system model,whose main components are defined according to the idea of Multi-Agent. Then the paper describes the stru
The network-based clusters will get a wide application in the network computing. One of important guarantee of system performance is to actualize the migration
目的探讨姜黄素灌胃对糖尿病大鼠胃轻瘫的治疗作用。方法将成年雄性SD大鼠随机分为对照组、糖尿病组、姜黄素治疗2周组与姜黄素治疗4周组。分别测量各组大鼠的血糖水平、食物
1. 引言基于Agent的系统是目前计算机科学领域中一个非常重要和活跃的研究方向,代表了一种新的方式和途径,可用于概念化、分析、描述和实现复杂而庞大的系统,因而体现了一种
进入90年代后,互联网以超摩尔规律的速度增长,Internet上的应用也逐步由单一的数据传送向数据、语音、图像等多媒体信息的综合传输演化.由于Internet采用IP协议只能提供简单
目的探讨闭合复位外固定支架固定及PFNA髓内固定的手术时间、术中出血(显性、隐性)、术后并发症等,评价闭合复位外固定支架固定在治疗老年股骨粗隆间骨折中的疗效。方法对老年股
Programmable networks[3](PNs) are a new type architecture of networks which allow users or the third part software providers to program it. The architecture of