位置：成果数据库 > 期刊 > 期刊详情页
基于C++的小型约束求解器
  • 期刊名称：吉林师范大学学报(自然科学版)
  • 时间：2013.8.1
  • 页码：7-9
  • 分类：TP31[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]吉林师范大学计算机学院,吉林四平136000, [2]吉林大学计算机科学与技术学院,吉林长春130012
  • 相关基金：国家自然科学基金项目（61170314,61133011）; 吉林师范大学硕士启动项目（2009035）
  • 相关项目：动态时空推理研究
作者： 王海燕|欧阳丹彤|张永刚|杨明明|
关键词： C++, 约束满足问题, 约束求解, 模块, C ＋＋, constraint satisfaction problems, constraint solving, module
中文摘要：

通过约束求解的原理介绍一个利用C＋＋语言开发的小型约束求解器Simsolver.主要阐述了约束求解的重要意义,并详细说明了约束求解的模块划分、属性和方法的设定及其具体实现.

英文摘要：

In this article,a mini constraint solver Simsolver based on C ＋＋ was introduced through the principle of constraint solving.The significance of constraint solving was mainly discussed,and the specific realization of module division,attribute setting and method setting were illustrated particularly.

同期刊论文项目
基于自适应约束传播的约束求解方法研究
期刊论文 19 会议论文 1
复杂时空知识的智能处理基础理论及应用研究
期刊论文 50
　WSP自粘防水卷材
期刊论文 46
动态时空推理研究
期刊论文 99 会议论文 6
同项目期刊论文
Modeling direction relations between uncertain regions.
Similarity of direction relations in spatial scenes
基于缩减信念状态的Conformant规划方法
基于环路紧密度的复杂网络社区挖掘方法
Research of the representation and reasoning for topological relations between two concave regions
基于路标隐式分解的前向搜索规划方法
Reduced Ordered Binary Decision Diagram with Implied Literals: A New Knowledge Compilation Approach.
时空数据挖掘研究进展
基于经验风险的中心文本分类算法
Representation and Reasoning for Topological Relations between A Region with Broad Boundaries and A
Representation for topological relations between a concave region and two simple regions
Community detection for proximity alignment
Topic modeling for large-scale text data
一致性规划中互斥常量合成方法研究
A survey of qualitative spatial representations
A model for the 3Drelative orientation based on TPCC，Journal of Information & Computational
智能世界的建模与诊断
宽边界区域和简单区域间拓扑关系的表示及推理
Group topic model: organizing topics into groups
Supervised labeled latent Dirichlet allocation for documentcategorization
Supervised topic models for multi-label classification
Centroid prior topic model for multi-label classification
海量信息融合方法及其在状态评价中的应用
不确定区域间定性方向关系模型
基于ＬＤＡ的多粒度主题情感混合模型
Distant Supervision方法中对齐数据的聚类去噪
不确定区域间方向关系的相似性度量方法
基于超链接多样性分析的新型网页排名算法
运动对象间的方位关系推理方法
三个简单区域间的拓扑关系的推理及应用模型
一种结合特征选择和链接过滤的主动协作分类方法
基于诊断器的可诊断性增量测试方法
Integrity Constraint Validation for Ontology Using Modularization
基于视觉词典法的母牛产前行为识别
关系抽取中基于本体的远监督样本扩充
基于改进蜂群算法优化神经网络的玉米病害图像分割
Characterizing and Extracting Multiplex Patterns in Complex Networks.
A computer aided diagnosis system for thyroid disease using extreme learning machine
基于作者权威值的论文价值预测算法
基于自治计算的流行病传播网络建模与推断
Improving helpful actions for contingent planning with enforced observations
一种球面点投影关系的推理方法
一种双嵌套区域与简单区域间的拓扑关系模型
Curve length estimation based on cubic spline interpolation in gray-scale images
Integrity constraints in OWL ontologies based on grounded circumscription
凹形区域和带单洞区域间拓扑关系的表示
一种动态定性空间关系自动规划方法
一种用于常识空间信息处理的定性空间关系模型
电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究
一种半球面方位关系表示模型
结合look-ahead值排序的自适应分支求解算法
本体推理机求解Mups的性能评测研究
基于概念R—MUPS的本体调试方法
运用RFID技术的实验设备智能化管理探索
基于极性的非循环术语集调试
Tableau算法的优化及模型规约技术
一种有效的分层加权库编译方法
一种高效的随机块模型学习算法？
路标计数启发式引导的分解规划方法
结合扩展规则重构的#SAT问题增量求解方法
半扩展规则下分解的定理证明方法
不完备离散事件系统的可诊断性
通用化和个性化在线学习新模式的研究与探讨
Integrity constraints in OWL ontologies based on grounded circumscription
Curve length estimation based on cubic spline interpolation in gray-scale images
Necessary Maximum Principle of Stochastic Optimal Control with Delay and Jump Diffusion
New algorithms for bidirectional singleton arc consistency
A Sarsa (λ) Algorithm Based on Double - Layer Fuzzy Reasoning
求解约束满足问题的改进蚁群优化算法
基于序列的子问题相容性技术
基于论域折半的最大限定路径相容算法
基于具有自适应与自学习能力的粒子群优化算法的车间调度算法
Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency
结合look-ahead值排序的自适应分支求解算法
基于分割的超树分解方法
高校毕业生办公自动化技能培养方式探究
基于缩减信念状态的Conformant规划方法
基于路标隐式分解的前向搜索规划方法
时空数据挖掘研究进展
Topic modeling for large-scale text data
一致性规划中互斥常量合成方法研究
智能世界的建模与诊断
基于混沌鲶鱼效应的人工蜂群算法及应用
海量信息融合方法及其在状态评价中的应用
基于ＬＤＡ的多粒度主题情感混合模型
不确定区域间方向关系的相似性度量方法
基于超链接多样性分析的新型网页排名算法
三个简单区域间的拓扑关系的推理及应用模型
一种结合特征选择和链接过滤的主动协作分类方法
关系抽取中基于本体的远监督样本扩充
基于改进蜂群算法优化神经网络的玉米病害图像分割
基于作者权威值的论文价值预测算法
基于自治计算的流行病传播网络建模与推断
基于AC与LmaxRPC的自适应约束传播求解算法
扩展度量关系的9-交集模型
基于实例化次数的约束求解方法研究
Shape classes registration and retrieval based on shape parts matching
Hierarchical community detection with applications to real-world network analysi
利用CSP求解极小碰集的方法
一种双嵌套区域与简单区域间的拓扑关系模型
凹形区域和带单洞区域间拓扑关系的表示
基于改进蜂群算法的项目反应理论混合模型参数估计
电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究
一种半球面方位关系表示模型
结合look-ahead值排序的自适应分支求解算法
本体推理机求解Mups的性能评测研究
基于概念R—MUPS的本体调试方法
运用RFID技术的实验设备智能化管理探索
基于极性的非循环术语集调试
Tableau算法的优化及模型规约技术
一种有效的分层加权库编译方法
一种高效的随机块模型学习算法？
路标计数启发式引导的分解规划方法
结合扩展规则重构的#SAT问题增量求解方法
半扩展规则下分解的定理证明方法
不完备离散事件系统的可诊断性
通用化和个性化在线学习新模式的研究与探讨
C2E：一个高性能的EPCCL编译器
复杂网络簇结构探测——基于随机游走的蚁群算法
Integrity constraints in OWL ontologies based on grounded circumscription
Curve length estimation based on cubic spline interpolation in gray-scale images
一种基于Seeds集和成对约束的主动半监督聚类算法
K-means初始聚类中心选取优化算法
Cumulative gain and lift charts for model performance assessment in mineral potential mapping
Necessary Maximum Principle of Stochastic Optimal Control with Delay and Jump Diffusion
复杂网络社区挖掘综述
利用CSP求解极小碰集的方法
异构定性空间推理
Defect detection in brazed weldment with lattice structure using acoustic shadow technique
空间折叠薄膜管的充气展开动力学实验研究
质粒制备绝对定量PCR标准曲线方法的建立
空间薄膜结构动态测试研究最新进展
简谈如何提高青年教师教学质量
浅谈如何提高青年教师教学质量
Defect detection in brazed weldment with lattice structure using ultrasonic Lamb wave technique
廊坊市商贸企业英语培训调查报告
基于ERP项目的知识转移方法论研究
鼻咽癌初诊患者中医主症、证型规律初步研究
鼻咽癌初诊患者的中医辨证分型与TNM分期相关性研究进展
黄连素预处理对家兔心肌缺血再灌注损伤的抗氧化保护作用
对行业和社会力量参与交通职业教育的可行性探讨
Bi-Sb-Te基热电薄膜温差电池离子束溅射制备与表征
氧化应激参与戊地昔布诱导的人乳腺癌MCF-7/ADR细胞凋亡
小檗碱对兔缺血再灌注心肌损伤的保护作用
河北产蜂胶提取物对痤疮丙酸杆菌的抑制作用
区间数互补判断矩阵的一种新排序算法
基于VisualFoxpro软件设计中技术技巧的研究与实践
机械专业课程教学改革与整体优化研究
基于综合项目的大学生创新与实践基地人才培养模式探索
机械电子工程专业工程教育培养模式探索
危重病应激性高血糖患者肿瘤坏死因子与胰岛素组份的相关性研究
高职高专动漫专业课程教学改革初探
吉林省玉米物流现状分析
行业与社会力量参与交通职业教育的可行性探讨
基于工作过程的《JSP技术》课程改革思考
口腔预防医学课间实习教学模式改革的探索
应用型本科人才培养需要应用型教材——从中加工程图学教材比较看应用型本科教材适应性
危重症应激性高血糖患者炎症反应与胰岛素组分关系的研究
加强管理文化建设 推进学校科学发展
小檗碱联合卡托普利预处理对心肌缺血再灌注损伤的保护作用
交通高职院校毕业生就业分析与对策建议
黄连素对心肌缺血家兔再灌注损伤后心功能的影响
盐酸小檗碱对糖尿病大鼠心肌缺血再灌注损伤的保护作用
高职生学习倦怠、成因及对策初探
VF对象常用建模方法的研究
在开放的视域中改造应用型本科机械类专业课程结构
6-PSS柔性并联机器人动力学分析与仿真
衍生-气相色谱-质谱法测定水中痕量雌激素
重症患者床旁血糖监测的准确性评价及影响因素分析
高校教师教学能力提升的策略探讨
丹参注射液对脑梗死患者自体外周血干细胞旁分泌BDNF的影响
重症患者床旁即时血糖检测的准确性：葡萄糖氧化酶法和葡萄糖脱氢酶法的评价
高校毕业生办公自动化技能培养方式探究