原文服务方: 计算机应用研究       
摘要:
为了提高求解效率,对建模操作与特征依赖之间的对应关系进行分析,提出了一种确定最小特征相关集的方法.同时,使用最小特征相关集来选择与模型操作相关的约束方程,以降低求解的规模.将所提出的方法应用到HUST-CAID系统中,对建模过程中的约束关系变化进行求解.实验结果表明建模效率有所提高.
推荐文章
GD-约束集最小覆盖求解的研究
面向对象数据库
规范化
最小覆盖
GD-约束
基于SAT求解器的故障树最小割集求解算法
故障树分析
安全性分析
最小割集
可满足性问题
基于免疫粒子群的最小连通支配集求解算法
最小连通支配集(MCDS)
二进制粒子群算法
复杂网络
免疫抗体
连通分支
基于不可满足原因的最小纠正集求解
可满足性
最小纠正集
软件验证
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于最小特征相关集的约束求解
来源期刊 计算机应用研究 学科
关键词 约束求解 特征依赖 特征相关集 约束方程
年,卷(期) 2014,(12) 所属期刊栏目 图形图像技术
研究方向 页码范围 3859-3861
页数 3页 分类号 TP391.4
字数 语种 中文
DOI 10.3969/j.issn.1001-3695.2014.12.087
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 卢志茂 哈尔滨工程大学信息与通信工程学院 44 499 13.0 21.0
2 高雪瑶 哈尔滨理工大学计算机科学与技术学院 36 60 5.0 6.0
3 张春祥 哈尔滨理工大学软件学院 33 80 6.0 7.0
4 李佳奇 哈尔滨理工大学计算机科学与技术学院 2 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (38)
共引文献  (18)
参考文献  (7)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1972(1)
  • 参考文献(0)
  • 二级参考文献(1)
1973(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(2)
  • 参考文献(0)
  • 二级参考文献(2)
1999(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(3)
  • 参考文献(0)
  • 二级参考文献(3)
2001(7)
  • 参考文献(0)
  • 二级参考文献(7)
2002(2)
  • 参考文献(0)
  • 二级参考文献(2)
2003(4)
  • 参考文献(1)
  • 二级参考文献(3)
2004(3)
  • 参考文献(0)
  • 二级参考文献(3)
2005(3)
  • 参考文献(1)
  • 二级参考文献(2)
2006(6)
  • 参考文献(1)
  • 二级参考文献(5)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(3)
  • 参考文献(0)
  • 二级参考文献(3)
2009(1)
  • 参考文献(0)
  • 二级参考文献(1)
2010(3)
  • 参考文献(2)
  • 二级参考文献(1)
2011(2)
  • 参考文献(2)
  • 二级参考文献(0)
2014(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
约束求解
特征依赖
特征相关集
约束方程
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用研究
月刊
1001-3695
51-1196/TP
大16开
1984-01-01
chi
出版文献量(篇)
21004
总下载数(次)
0
总被引数(次)
238385
论文1v1指导