【摘 要】
：
知识库是智能网络管理系统中的重要组成部分,知识库的维护要求知识库系统必须具备知识的验证功能.智能网管系统中知识组织的动态性决定了知识的结构性验证必须正确、有效和及
【机 构】
：
东南大学计算机科学与工程系江苏南京
论文部分内容阅读
知识库是智能网络管理系统中的重要组成部分,知识库的维护要求知识库系统必须具备知识的验证功能.智能网管系统中知识组织的动态性决定了知识的结构性验证必须正确、有效和及时.本文以有色Petri网为基础,针对智能网管系统中知识验证的主要内容,以一种扩充的有色Petri网作为描述和分析工具,建立了相应的知识表示模型和知识验证模型,提出了一种简洁的、基于有色Petri网的知识验证方法,并给出了相应的判定准则.
其他文献
目的 探讨颈静脉孔区肿瘤的手术治疗要点.方法 对北京协和医院2008年2月至2010年12月临床资料完整的12例颈静脉孔区肿瘤患者进行回顾性分析.所有患者均行CT或MRI检查,均采用
讨论了可扩展代理协议（ＡｇｅｎｔＸ）的框架及协议处理机制，提出了ＡｇｅｎｔＸ在路由器网管模块中的应用方案，并结合实践描述了具体的实现方法。
介绍了液压系统回路工作状态及油液污染状况的压差分析法 ,分析了压差分析法在液压系统各过滤回路中的具体应用特点 ,为液压系统故障诊断提供了一种新方法
The differential
目的:探讨提高脑卒中患者静脉留置针安全性的护理措施.方法:选择我院2011 年2 月至2012 年1 月使用静脉留置针的脑卒中患者100 例,加强对患者及家属使用静脉留置针的健康教育
妊娠妇女是性传播疾病的易感人群.妊娠期间孕妇全身和 局部的免疫功能抑制(主要是细胞免疫抑制),为病毒及其他微 生物的侵入和潜伏病毒的激活创造了条件.孕妇机体出现的内 分
目的:探讨3D-TOF-MRA的最大密度投影法(MIP)及多平面重建法(MPR)对脑动脉瘤的诊断价值。方法:对170例临床怀疑脑动脉瘤的病例行3D-TOF-MRA检查,并分别用MIP及MPR法诊断,以3D-
文章介绍了对辽宁省市级党校图书馆进行评估的过程和评估工作对促进图书馆管理和建设所取得的成效 ,并对图书馆未来建设提出新的要求。
This article introduces the proces
本文证明了:如果对每个i∈{1,2,…,t},都有ni≥5,且ni是正整数,那么Cn1∪Cn2∪…∪Cnt是色唯一的.
电信、电脑、电视三种网络的合而为一，是未来网络媒体发展的趋势，而数字化将给我们带来高新技术的新景观。
The combination of the three networks of telecom, computer and