论文部分内容阅读
定义了最大团问题,分析和研究了使用启发式算法求解最大团问题的进展,介绍了当前求解最大团问题的典型启发式算法,最后给出了测试这些启发式算法性能的测试基准图。
最大团问题研究进展及算法测试标准
【摘 要】
：
定义了最大团问题,分析和研究了使用启发式算法求解最大团问题的进展,介绍了当前求解最大团问题的典型启发式算法,最后给出了测试这些启发式算法性能的测试基准图。
【机 构】
：
扬州大学信息工程学院计算机系,扬州大学信息工程学院计算中心,南京大学软件新技术国家重点实验室
【出 处】
：
计算机应用研究
【发表日期】
：
2007年07期
【基金项目】
：
国家自然科学基金资助项目（60473012）,国家科技攻关资助项目（2003BA614A-14）：江苏省自然科学基金资助项目（BK2005047）,南京大学软件新技术国家重点实验室开放基金资助项目
其他文献
随着我国电子政务建设的飞速发展,办公自动化软件在各级政府大量的推广应用,要求完备的办公自动化软件必须架构在一种高效而灵活的平台之上。以政务建设项目大连市委办公自动化系统为研究背景,以角色网络理论为技术基础,通过对政府办公自动化系统的需求分析,提出了一种基于角色网络理论的政府办公自动化开发平台的设计思想,并给出了实现该平台的关键技术。
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法
针对当前存在的农业园区资源管理低效以及盲目种植问题,基于WebGIS技术构建了产地管理决策系统。采用面向对象技术建立了多用途数据库,满足了现时及将来多种业务系统的数据需求;进一步将知识模型与GIS集成,实现产地环境评价、种植适宜性决策以及环境污染趋势预测等空间决策功能。实际应用证明,该系统提高了对园区资源的整合利用效率,基本实现了科学安全的种植生产。
随着数据并行应用需求的日益增长,可任意划分负载的调度问题已经成为并行调度领域新的研究热点。回顾了可任意划分负载调度的基本模型及近年来对这个基本模型的扩展性研究,并给出了它的应用研究和今后的发展方向。
红外热波无损检测中,红外热波空间序列图像间的变化主要是位移和小幅度旋转。针对该特点,在可能的旋转角度范围内,利用傅里叶变换的相位相关技术判定旋转的角度和平移量,实现图像的配准,然后实现图像的拼接。实验结果表明,该方法能够对重叠面积较小的图像序列实现快速拼接。
针对分形图像压缩中矩形划分计算量太大的问题,提出了一种混合分类方法并将其应用于图像的矩不变量,得到了一种基于矩形划分的快速分形编码方法。实验表明,该方法相对于全局搜索,在压缩比和解码质量略有下降的基础上,能极大地提高分形编码速度;与均匀分类方法相比,混合分类法可进一步提高分形编码速度并改善解码图像质量,可以在一定的条件下取得压缩比优势。
粗糙集理论和D-S证据理论都是重要的不确定性推理方法,两者各有优缺点。现实生活中,不完备信息系统广泛存在。研究了将两种理论结合用于不完备信息系统以进行规则提取,并用实例进行了验证。
分析了山洪灾害防治规划各类数据及各级用户的业务需求,采用基于构件的柔性软件工程的思想,以C/S为主体开发模式,给出了构件化开发的流程,构建了系统的体系结构,开发了全国山洪灾害防治规划信息系统。该系统提出了一种基于树型数据结构的“超”实体多级递归算法,探索了一种智能信息呈现技术,对全国及各省(市、区)山洪灾害防治规划密切相关的各类基本数据、图件及全部规划成果进行了有机管理。
在对林学中的植物生长模型和环境模型综合研究的基础上,提出了一个基于环境敏感的植物动态生长模型,并对此模型的原理和实现方法进行了分析和研究,最后通过相应的可视化技术将该模型应用于虚拟森林的动态仿真系统。
资源可用性的预测与评估是动态网格环境下合理资源选择和保证服务质量的前提和基础。基于相关资源和任务的历史信息,利用概率论方法对资源可用性进行了预测与评估,提出了资源离线时间、本地任务执行时间、等待队列长度、等待时间等可用性尺度,证明并给出这些尺度的分布函数。实验表明,基于相关历史信息对资源可用性进行预测方法有效,并且根据资源可用性评估及提取的相关可用性尺度来确定任务调度的候选资源,可大大减少候选资源