2025年1月30日
星期四
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
梁伟
作品数:
1
被引量:0
H指数:0
供职机构:
江苏科技大学计算机科学与工程学院
更多>>
发文基金:
武器装备预研基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
胡广朋
江苏科技大学计算机科学与工程学...
夏祖勋
江苏科技大学计算机科学与工程学...
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
代数
1篇
约束网络
1篇
时态推理
1篇
区间代数
1篇
网络
机构
1篇
江苏科技大学
作者
1篇
夏祖勋
1篇
胡广朋
1篇
梁伟
传媒
1篇
科学技术与工...
年份
1篇
2009
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
区间代数与区间段代数在定性时态推理中的联合运用
2009年
详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示。研究指出,INDU是Allen代数中原子关系的细分和可采纳域的细化,对于路径一致性计算它是比Allen更为准确的方法;但是在约束网络推理计算中由于INDU的合成运算表过于庞大,仍可使用Allen代数合成运算表。将Allen代数与INDU代数结合使用是时态约束网络定性推理的较好方法。
胡广朋
梁伟
夏祖勋
关键词:
时态推理
约束网络
区间代数
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张