基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
提出了一种基于限制编程(Constraint programming)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查.EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业.文中提到的一致性检查包括三个步骤:EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试.本文同时揭示了限制编程的一个新的应用领域:模型验证.
推荐文章
基于建筑信息模型的碰撞检查软件在水运工程中的应用
BIM
碰撞检查
碰撞模型分类
模型中心文件的结构
支持RBAC限制的XACML改进模型
访问控制
RBAC
角色限制
XACML
解释型编程方法在条码机编程中的应用
解释型编程方法
条码机
巡检
数据库
基于遗传编程的智能建模方法及应用
多目标遗传编程
传递函数矩阵
建模
火电厂机炉协调控制系统
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 应用限制编程的信息模型内在检查方法
来源期刊 南京航空航天大学学报(英文版) 学科 工学
关键词 EXPRESS模型 限制编程 模型验证
年,卷(期) 2005,(1) 所属期刊栏目
研究方向 页码范围 30-37
页数 8页 分类号 TP31
字数 377字 语种 英文
DOI 10.3969/j.issn.1005-1120.2005.01.005
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 方捷 曼彻斯特大学计算机学院 1 0 0.0 0.0
2 KAHN Hilary J 曼彻斯特大学计算机学院 1 0 0.0 0.0
3 CARPENTER Andy 曼彻斯特大学计算机学院 1 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2005(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
EXPRESS模型
限制编程
模型验证
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
南京航空航天大学学报(英文版)
双月刊
1005-1120
32-1389/V
大16开
南京市御道街29号1016信箱
1982
eng
出版文献量(篇)
1548
总下载数(次)
1
总被引数(次)
4543
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导