期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种约束增强的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
职称材料
题名
一种约束增强的RDFS本体的模式验证方法
1
作者
赵晓非
柴争义
袁超
张振
机构
天津工业大学计算机科学与技术学院
天津工业大学软件学院
出处
《计算机科学》
CSCD
北大核心
2024年第7期362-372,共11页
基金
国家自然科学基金(62172298,61972456)
江苏省计算机信息处理技术重点实验室开放基金(KJS1737)。
文摘
约束增强的RDFS(RDFS_((c)))本体克服了RDFS描述约束能力欠缺的缺点,然而约束机制的引入给本体验证问题带来了挑战。文中提出了一种面向RDFS_((c))本体的、支持可判定性推断的模式验证方法。该方法对约束之间的依赖关系进行解析。首先,将RDFS_((c))模式转化为一阶谓词逻辑表达式,而将规约的检测问题转化为表达式的可满足性检测问题;在此基础上,建立反映约束之间的修复-违背关系的约束依赖图,并对其进行必要的约简;接着,通过识别图中的有限环路来推导模式验证任务的可判定性;最后,通过约束依赖关系之上的推理进行模式的验证。该方法有两方面特点:一方面,通过到一阶谓词逻辑表达式的转换以及基于相应的一阶约束的依赖关系的推理,所提出的方法具有强适用性,特别是约束依赖性解析可以最大程度地减少回溯的次数,从而确保了验证过程的高效性;另一方面,由于独立于任何特定的约束建模语言,其也是一种分析RDFS_((c))模式验证任务的可判定性的通用方法。
关键词
RDFS
本体验证
约束依赖性
可判定性
Keywords
RDFS
Ontology
validation
constraint
dependency
Decidability
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
高阶微商奇异系统的Poincaré——Cartan积分不变量
2
作者
李子平
机构
应用物理系
出处
《北京工业大学学报》
CAS
CSCD
1993年第2期1-10,共10页
基金
国家自然科学基金
北京市自然科学基金
文摘
将Poincare—Cartan积分不变量推广到高价微商奇异系统,该系统所含的正则约束显含时间,研究了该不变量与奇异系统正则方程之间的联系,纠正了一些文献中出现的错误,这个积分不变量提供了一个讨论高阶微商奇异系统Dirac猜想的有用工具。
关键词
奇异系统
积分不变量
导数
Keywords
theory
of
higher
order
derivative,
dirac
theory
of
constrained
system,
constraint
depend
s
on
time
explicitly,
poinaare-
cartan
integral
invariant
分类号
O411.1 [理学—理论物理]
下载PDF
职称材料
题名
关于建筑结构若干失效相关性问题的探讨分析
被引量:
15
3
作者
王东炜
机构
郑州大学
出处
《世界地震工程》
CSCD
2001年第1期112-114,共3页
文摘
较深入地探讨了在“正常”和“异常”使用条件下,建筑结构和机电产品在失效相关理论上的一 致性问题,讨论了多遇地震作用在“正常”或“异常”使用条件中的归属问题,并对失效模式相关性和 约束状态相关性的相互关系进行了分析。
关键词
失效独立
失效相关
失效模式相关
约束状态相关
地震作用
建筑结构
Keywords
failure
in
depend
ence,
failure
depend
ence,
failure
model
depend
ence,
constraint
state
depend
ence
分类号
TU352.1 [建筑科学—结构工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种约束增强的RDFS本体的模式验证方法
赵晓非
柴争义
袁超
张振
《计算机科学》
CSCD
北大核心
2024
0
下载PDF
职称材料
2
高阶微商奇异系统的Poincaré——Cartan积分不变量
李子平
《北京工业大学学报》
CAS
CSCD
1993
0
下载PDF
职称材料
3
关于建筑结构若干失效相关性问题的探讨分析
王东炜
《世界地震工程》
CSCD
2001
15
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部