【摘 要】
:
介绍了利用基于领域本体(Ontology)的知识库和一阶谓词推理引擎构建的语义互联网(Semantic Web)应用:铁路信息查询系统.该系统通过引入W3C提出的资源描述框架和Ontology,将互
论文部分内容阅读
介绍了利用基于领域本体(Ontology)的知识库和一阶谓词推理引擎构建的语义互联网(Semantic Web)应用:铁路信息查询系统.该系统通过引入W3C提出的资源描述框架和Ontology,将互联网的标记信息进行语义标注构建事实库.该系统构建了铁路领域的本体集(Ontologies),依此将从互联网上获取的信号映射到实例,形成语义化的知识库.在此基础上,客户端接收来自用户的查询请求,将其传送至服务器端,并将其提交给一阶逻辑推理引擎,结合事实库和规则库进行处理得到最终的查询结果,客户端以文本和图形两种方
其他文献
设RC4S(v,λ)为一个v阶且指数为λ的可分解4-循环系.任一个RC4S(v,λ)都可以嵌入到一个RC4S(u,λ)之中的充分与必要条件为u≡v≡0(mod 4),λ≡0(mod 2)且u≥2v.
提出了一种利用时齐的Poisson过程(HPP)模型和Laplace检验来计算大型发电机组故障率的新方法,并应用该方法对华东地区9台300 MW发电机组的现场运行数据进行了分析和计算.结果
提出了一种新的实时全球定位系统(GPS)姿态测量初始化方法,将超越方程的求解与模糊度函数法相结合,有效地提高了初始化计算速度.讨论了模糊度函数法,从几何角度描述了观测方程,给出了二元非线性观测方程组的解,并对实测数据进行了处理.结果表明,该方法与一般的方法相比,初始化的计算更有效,更经济.
鉴于扩展频谱码分多址(CDMA)系统中抑制窄带干扰的渐近条件均值(ACM)非线性滤波算法计算复杂度较高,设计了一种基于判决引导的新非线性滤波算法.该算法利用窄带干扰的相关性,
一个三元系若不包含重复区组,则称为单纯三元系.本文运用嵌入技巧与差方法完整地解决了单纯3重三元系的相交数问题.
针对不稳定时滞过程提出了一种二自由度控制系统,不仅将输入响应与干扰响应解耦,更重要的是结合了Guillermo等提出的镇定PID控制器理论以及内模控制方法,能够对时滞常数与不