【摘 要】
：
在计算集合簇的碰集时,结合SE-Tree（set enumeration tree）形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪
【机 构】
：
吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
【基金项目】
：
国家自然科学基金项目（60973089 60873148 60773097 61003101）, 吉林省科技发展计划基金项目（20101501 20100185 20090108 20080107）, 浙江省自然科学基金项目（Y1100191）, 欧盟合作项目（155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12）, 吉林大学符号计算与知识工程教育部重点实验室开放项目（9
论文部分内容阅读
在计算集合簇的碰集时,结合SE-Tree（set enumeration tree）形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,进而在扩展SE-Tree结点时按照未扩展元素度由大到小的顺序扩展,极早地生成集合簇的碰集,减少枚举树生成的结点个数,并且直接根据结点度得出结点对应的集合是否为集合簇的碰集,避免计算集合是否为集合簇的碰集.实验结果表明,该算法程序容易编制且效率较好.
其他文献
从夸克-反夸克通过介子场耦合的模型出发研究了(NΩ-)LST是否存在束缚态的问题.计算表明当考虑了us-(ds-)湮灭K*为介子的机制后,(NΩ-) LST是有可能形成结合能较大的束缚态.
本文简要介绍了空间直角坐标系、站心坐标系及其之间的相互关系,证明了站心坐标系环全长闭合差等于空间直角坐标环闭合差,为通常应用软件显示的站心坐标闭合差是否符合规范要
要按照蚕业发展规律,提出了安徽蚕业可持续发展的建议.
摘要：实心球作为我国多个省份选考项目之一，重视程度越来越高，但是关于中考体育的实心球技术教学中常见问题及纠正方法针对性不强，文章基于深圳市体育中考实心球选考项目标准入手，通过文献资料法、实地考察法和教学实践法等研究方法，从实心球技术动作入手，剖析投掷实心球的重难点及在训练过程中出现的常见错误和产生原因，提出正确的纠正方法，为我国体育中考教学工作者的实心球教学开展提供理论依据，引导学生掌握正确的投掷
由于Ad hoc网络中的节点受到自身处理能力、存储空间和电池能量等各种资源的限制,节点为了节省自身的宝贵资源经常会表现出自私性,因此激励自私节点之间合作转发成为Ad hoc网
用高稳系数法分析了１９９４年浙江省晚粳稻区试验的１０个参试品种（系）的高产稳产性，并与常用的几种稳定性参数进行了比较和相关分析，结果表明，用高稳系数法分析粳稻新品种（系）的高产稳产性既准
在太湖种植两优培九年表现的基础上,提出了栽培技术措施.