论文部分内容阅读
针对现实生活中信息的时间性和模糊性,在模糊描述逻辑和时态逻辑的基础上,提出了一种模糊时态描述逻辑FTDL,并给出了其语法和语义的相关说明。与模糊描述逻辑FALC相比,FTDL的提出为语义Web服务的建模和推理提供了一种有效的途径。
一种模糊时态描述逻辑
【摘 要】
：
针对现实生活中信息的时间性和模糊性,在模糊描述逻辑和时态逻辑的基础上,提出了一种模糊时态描述逻辑FTDL,并给出了其语法和语义的相关说明。与模糊描述逻辑FALC相比,FTDL的
【机 构】
：
云南昭通学院信息科学与技术学院
【出 处】
：
电子设计工程
【发表日期】
：
2013年17期
【基金项目】
：
云南省教育厅科学研究基金项目（2011C040）
其他文献
上传附件是大部分应用系统必备的功能，现在已经有很多种实现方法，但是一般存在上传附件小，上传速度慢等问题，不能很好的满足用户的需求，上传附件成了开发过程当中较为重要也较困难
针对缝翼齿轮副强度的计算及疲劳寿命的预测问题,综合考虑接触定义、网格划分、摩擦系数、约束条件和加载方式等因素建立齿轮副的有限元模型,并进行齿轮副结构静强度的试验研
11月9日,省委在辽宁人民会堂举行党的十八届五中全会精神宣讲报告会。中央宣讲团成员、国务院发展研究中心副主任王一鸣作辅导报告,省委副书记、省长陈求发主持报告会并讲话。省政协主席夏德仁出席报告会。报告会上,王一鸣从制定"十三五"规划的背景、确保如期全面建成小康社会、按"五大发展理念"推进发展等三个方面对党的十八届五中全会精神作了深入解读,全面回顾了"十二五"期间我国取得的巨大成就,系统阐述了"十三五
套管应力的准确计算是保证井筒完整性的重要基础;但现有理论直接将地应力加载到模型中,计算所得的位移场包含了地层在原始构造应力下所产生的位移;而此位移并非是钻开井眼后
下一代互联网技术正逐渐普及,配套的DNS服务需要进行升级改造以适应IPv6网络的部署.文中研究了IPv6网络体系结构,IPv6地址的分类以及DNS服务正向解析和方向解析的过程,在此基
目的：探讨分析加味半夏白术天麻汤治疗风痰阻络型脑梗塞的临床疗效。方法：82例风痰阻络型脑梗塞患者,随机分为研究组与对照组,各41例。对照组在治疗中实施常规西医治疗,研究组
为了实现软硬件协同设计和提高仿真速度的需求,采用SystemC语言的建模方法,通过对片上网络体系结构的研究,提出了一种片上网络的建模方案,并对一个mesh结构完成了SystemC的建
为减轻薄壁吸能结构质量、提高结构能量吸收性能,制备碳纤维增强铝合金层合方管试样。对方管试样进行准静态轴向压缩试验,研究碳纤维增强铝合金层合方管的变形模式和机理。提
针对高校实验教学的现状以及存在的问题,提出了基于Struts的网络实验教学平台。设计这样一个教学平台其主要目的也是在帮助学生完成对知识的建构,同时也必需要考虑相应的教学
以某型无人机的液冷装置为研究对象,使用simulink建立了该装置主要组件的数学模型。利用MATLAB的RTW工具箱以及VxWorks实时操作系统搭建了对此模型的实时仿真系统,并用labvie