郭劲松
- 作品数：5 被引量：9H指数：2
- 供职机构：吉林大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 基于矩阵计算极小碰集的启发式算法被引量：5
- 2013年
- 提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息,引入集合簇中元素的频率作为启发信息,完成对极小碰集的计算。该算法的数据结构简单,程序易于实现,同时启发信息的引入减少了节点的生成。该算法可以产生而且仅产生所有的极小碰集。实验结果表明该算法有较高的计算效率。
- 欧阳丹彤耿雪娜郭劲松王晓宇
- 关键词：人工智能基于模型诊断冲突集启发式算法
- 基于比特位操作的自适应约束传播算法被引量：1
- 2012年
- 在现有约束传播算法研究的基础上,提出了一种基于比特位操作的自适应约束传播算法AC_MaxRPC_Bitwise。该算法在寻找AC支持及PC支持中引入基于比特位的数据结构,并利用比特位操作加速AC支持和PC证据搜索,从而提高自适应约束传播的效率。对几类典型benchmark问题的测试结果表明,算法AC_MaxRPC_Bitwise在总体性能上明显优于AC及原自适应约束传播算法。
- 王海燕郭劲松欧阳丹彤张永刚
- 关键词：人工智能约束满足问题
- 基于问题结构的边界启发式方法被引量：1
- 2013年
- 现有启发式方法在处理Composed问题时会生成过多节点,造成求解效率下降。基于此类问题结构特性,设计并实现了一种新的变量排序启发式方法——边界启发式。针对问题结构,提出了边界变量的概念,在Composed问题上实现了对边界变量的筛选,检索过程中,同普通变量相比边界变量被赋予更高的实例化优先级,文中给出了新启发式方法的两种实现策略。实验结果表明,新启发式方法在求解效率上明显优于原有启发式方法。
- 李占山张良郭劲松张乾
- 关键词：人工智能约束满足问题
- 论股东代表诉讼中的公司抗辩权
- 股东代表诉讼作为一种特别的制度安排,它具有代位诉讼和代表诉讼两种属性。根据我国现行公司法规定,股东只要依法履行前置程序,股东代表诉讼即可被提起。甚至个别案例存在前置程序豁免的情形,即股东无需提起前置程序也可提起股东代表诉...
- 郭劲松
- 关键词：股东代表诉讼经营判断规则
- 约束满足问题（CSP）的求解技术研究
- 约束程序CP(Constraint Programming)作为一种可以解决组合搜索类的问题的有效方法，已经被成功地运用在很多领域，比如：规划，调度，配置，网络以及生物信息学等等。约束程序的基本思想是：首先根据问题需求声...
- 郭劲松
- 关键词：约束满足问题
- 文献传递
