期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
一种约束增强的RDFS本体的模式验证方法
1
作者 赵晓非 柴争义 +1 位作者 袁超 张振 《计算机科学》 CSCD 北大核心 2024年第7期362-372,共11页
约束增强的RDFS(RDFS_((c)))本体克服了RDFS描述约束能力欠缺的缺点,然而约束机制的引入给本体验证问题带来了挑战。文中提出了一种面向RDFS_((c))本体的、支持可判定性推断的模式验证方法。该方法对约束之间的依赖关系进行解析。首先,... 约束增强的RDFS(RDFS_((c)))本体克服了RDFS描述约束能力欠缺的缺点,然而约束机制的引入给本体验证问题带来了挑战。文中提出了一种面向RDFS_((c))本体的、支持可判定性推断的模式验证方法。该方法对约束之间的依赖关系进行解析。首先,将RDFS_((c))模式转化为一阶谓词逻辑表达式,而将规约的检测问题转化为表达式的可满足性检测问题;在此基础上,建立反映约束之间的修复-违背关系的约束依赖图,并对其进行必要的约简;接着,通过识别图中的有限环路来推导模式验证任务的可判定性;最后,通过约束依赖关系之上的推理进行模式的验证。该方法有两方面特点:一方面,通过到一阶谓词逻辑表达式的转换以及基于相应的一阶约束的依赖关系的推理,所提出的方法具有强适用性,特别是约束依赖性解析可以最大程度地减少回溯的次数,从而确保了验证过程的高效性;另一方面,由于独立于任何特定的约束建模语言,其也是一种分析RDFS_((c))模式验证任务的可判定性的通用方法。 展开更多
关键词 RDFS 本体验证 约束依赖性 可判定性
下载PDF
高阶微商奇异系统的Poincaré——Cartan积分不变量
2
作者 李子平 《北京工业大学学报》 CAS CSCD 1993年第2期1-10,共10页
将Poincare—Cartan积分不变量推广到高价微商奇异系统,该系统所含的正则约束显含时间,研究了该不变量与奇异系统正则方程之间的联系,纠正了一些文献中出现的错误,这个积分不变量提供了一个讨论高阶微商奇异系统Dirac猜想的有用工具。
关键词 奇异系统 积分不变量 导数
下载PDF
关于建筑结构若干失效相关性问题的探讨分析 被引量:15
3
作者 王东炜 《世界地震工程》 CSCD 2001年第1期112-114,共3页
较深入地探讨了在“正常”和“异常”使用条件下,建筑结构和机电产品在失效相关理论上的一 致性问题,讨论了多遇地震作用在“正常”或“异常”使用条件中的归属问题,并对失效模式相关性和 约束状态相关性的相互关系进行了分析。
关键词 失效独立 失效相关 失效模式相关 约束状态相关 地震作用 建筑结构
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部