论文部分内容阅读
应用变异的回溯算法得到一个二色Ramsey数的新下界：R（5，28）≥594。
二色Ramsey数尺（5，28）的下界
【摘 要】
：
应用变异的回溯算法得到一个二色Ramsey数的新下界：R（5，28）≥594。
【机 构】
：
华南师范大学数学系,广西大学梧州分校,广西科学院
【出 处】
：
计算机应用研究
【发表日期】
：
2006年9期
【基金项目】
：
国家自然科学基金资助项目（10161003）,广西自然科学基金资助项目（桂科自0640037）
其他文献
提出一种从关系模式到OWL的映射方法,给出了一个映射的实例验证了该方法。
样条有限条法是一种有效的分析冷弯成形过程的方法,将多Agent技术应用于样条有限条法中不仅增强了各有限条的智能化描述,而且优化了孔型设计和轧辊设计。介绍了多Agent技术在样条有限条法中的应用,论述了如何利用多Agent技术建立多Agent系统的体系结构,内容包括Agent与多Agent系统的相关介绍、样条有限条法的基本理论以及多Agent系统的体系结构。
智能Agent越来越多地应用于用户界面设计。通过使用Agent,用户界面(也包括整个系统)就被分解为不同的可以互相通信的Agent。界面Agent作为用户与系统之间的中介,使得用户的输入不再是方法的调用,而是以通信的方式完成当前的任务。介绍了基于Agent的用户界面模型ALV,并以ALV模型为基础,结合XML技术,阐述了一种在CSCW环境下的DoctorCAD系统的Agent界面组件开发方法;重点
动力蓄电池退役后,一旦处置不当,很可能会造成环境污染。因此,推动新能源汽车动力蓄电池的回收利用和资源化处理,建立完善的汽车循环经济体系十分重要。
近日,乌东德电站送电广东广西特高压多端直流示范工程(简称“昆柳龙直流工程”)建设正式启动。“全世界在建在运的柔性直流输电技术工程有6个,其中4个在中国,中国有望成为这
为了解决大型分布式系统由集中管理导致的扩展性和鲁棒性差的问题,利用改进的结构化对等网组织分布式计算资源,构造一个SRDM(scalable resource discovery model,可扩展资源发现模型)。SRDM将逻辑空间中的节点分为主机节点和资源节点。主机节点对应分布式环境中的计算节点,用于存储peer关联信息,通过相容性hash映射到逻辑空间上;资源节点对应分布式环境中资源属性信息,其
提出了一种基于GPRS网络通信技术实现的热网无线数据采集系统,介绍了系统结构和数据采集单元的组成,分析了数据采集单元和监控中心的软件功能。
端点检测是语音识别系统中很重要的一部分,端点检测的准确性直接影响语音识别系统的性能。提出了一种新颖的两阶段端点检测方法:第一阶段采用基于短时能量的边缘检测方法得到第一阶段端点;第二阶段采用统计直方图聚类削波求取阈值,并得到最终准确的端点。实验结果表明,与传统的端点检测方法相比,该算法在噪声环境中有更好的效果。
提出一种新的多目标演化算法———基于斜率淘汰策略的多目标演化算法。利用基于斜率的淘汰策略,在演化过程中能以较低的时间复杂度更新精英空间、保存精英个体(E litist),且取得的解数量大,既保证了近似解集对Pareto前沿的逼近,又很好地保持了解集分布的均匀性。对于一些代表性的BenckMark问题,数值试验都取得了非常好的效果。
在构造了一种链接链及一种新型的“类发夹式”探针的基础上,给出了图的独立数问题的一种DNA算法。利用顶点的简单编码及链接链,该算法直接生成数据池,使用常规的生物操作即可完成解空间的产生及最终解的分离。