论文部分内容阅读
形式化Ontology模型及其检验问题一直是人工智能中的研究热点。将粒度计算的思想应用到Ontology形式化建模领域，利用商空间理论对0ntology进行形式化，并在此基础上对0ntology进行模型检验。
商空间模型下的Ontology形式化及其检验
【摘 要】
：
形式化Ontology模型及其检验问题一直是人工智能中的研究热点。将粒度计算的思想应用到Ontology形式化建模领域，利用商空间理论对0ntology进行形式化，并在此基础上对0ntology进
【机 构】
：
河南师范大学计算机与信息技术学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年25期
其他文献
Baum-Welch算法是训练HMMs的传统方法,该方法虽然收敛速度快,但容易陷入局部最优,影响了序列比对的质量。针对该算法存在的问题,结合生物遗传与进化的规律,设计了一种将传统
在实验室条件下研究了碳源(添加CO2)和氮源(添加Na NO3)加富对大型海藻脆江蓠(Gracilaria chouae)生长及其生化组成的影响。设置碳源加富(800μL/L CO2)和对照(400μL/L CO2)
固体氧化物燃料电池（SOFC）工作温度对于其输出电特性的性能起着重要的作用。由于电池在电化学反应过程中,温度特性呈现强非线性等特性,采用常规机理建模后难以在该模型的基础上
本研究采用蛋白质组学技术,建立了溶藻弧菌（Vibrio alginolyticus）ZJ03培养至稳定期的蛋白质组双向电泳图谱,并对部分蛋白分子进行了肽质量指纹图谱分析鉴定。首先将溶藻弧菌接
本文介绍了老式电动起重机的电控系统改造工程，由原直流发电机－电动机调压调速改造为全数字反并联晶闸管整流调速及全数字交一直一交矢量控制变频调速，并由此展望对老式舰艇电力
《说文解字注》的灵魂是段玉裁的古韵十七部理论,段氏给每一个篆字注明古韵部,以此来校订文字结构、解释谐声读若、沟通本字借字、阐述许书声训、揭示音近义通、考证双字联绵
因为复杂系统难以建立精确的数学模型,基于模型的故障检测方法在实际复杂控制系统中应用时往往难以获得很好的效果。针对这类数学模型未知的非线性系统,提出了一种基于SαS分
提出了Fuzzy值数据向Vague值数据的转化准则和定义，提出了一些Fuzzy值数据向Vague值数据的转化公式（方法）。例题表明这些公式（方法）都是有效的。
以初始体重为（3.70±0.01）g的半滑舌鳎（Cynolossus semilaevis Günter）幼鱼为实验对象,研究小麦胚芽油替代鱼油对其生长、体成分、血清生化指标及脂肪代谢酶的影响。以