【摘 要】
：
针对组合优化类问题定义了代数结构模型，从问题的形式规约出发，通过一阶谓词和量词演算将问题逐步简约为搜索空间更小、复杂度更低的子问题，根据问题的简约关系推导出求解算法，并
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室,江西师范大学江西省高性能计算重点实验室,南京大学管理工程学院
【基金项目】
：
国家自然科学基金(61105073,60773054);科技部国际科学技术合作项目(2008DFA11940)
论文部分内容阅读
针对组合优化类问题定义了代数结构模型，从问题的形式规约出发，通过一阶谓词和量词演算将问题逐步简约为搜索空间更小、复杂度更低的子问题，根据问题的简约关系推导出求解算法，并在构造算法的同时也证明了算法的正确性．开发了原型系统以支持上述形式化的开发过程．这种算法推演技术能够显著提高算法程序设计的自动化水平，而问题简约的思想也更有利于对算法本质特征的理解．
其他文献
1概述药工作,并告知总控制板自己正在处理。随着科学技术的发展和制造工艺的提高,各行各业的自动化、标准化和智能化的水平日益提高。中药自动分药机,不仅能提高中药抓药的可
随着中国经济的不断发展,我国企业对员工的要求也随之提高,社会对于人才的素质也有了更高的要求。学校作为培养人才的主要阵地,必须背负起人才培养的重任。大学生作为国家发
通过对建筑防水施工存在的问题进行分析,从防水工程施工以及各个阶段的质量控制进行研究,提出了几点优化防水施工技术的具体措施。
Based on the analysis of the existing
<正> 洗衣机用的电动机一般为电容器起动的单相感应电动机。在电动机的辅助绕组中串联电容器,辅助绕组中的电流超前主绕组90°,在电动机的气隙内建立起椭圆度较小的旋转磁场,
目的:探讨miR-497促进肝癌MHCC97L细胞增殖和迁移。方法:选取肝癌细胞系MHCC97L细胞转染miR-497和miR-zip后,CCK-8分析各组细胞增殖;Transwell实验分析各组细胞的迁移能力;We
虽然近年来东西方医学哲学工作者对健康与疾病这对概念的研究方兴未艾,但目前仍未得出一个最终的解。为此,笔者提出,健康与疾病并非象一块硬币的正反面那样,非此即彼;而是存
湖南省近年来外贸发展很快,市场采购贸易作为新业态在2019年正式起航并发展良好。本文在分析了湖南省市场采购贸易新业态的发展现状,分析存在的主要问题并针对问题提出了相应
【正】 苏联棉花分类学家φ、M、Mayep把世界各地的棉属植物分为35种,其中四种为栽培种,其余均为野生种。在各类棉种中,以海岛棉(G. barbadense L.)的纤维品质最好,其绒长、
针对妇产科临床实习带教学生分别采用传统"灌输式"教学与留学生参与式反转课堂式教学方法,比较两组留学生对妇产科基本理论、基本技能及临床技能(包括病史采集、病历书写、现
在中国,户籍的重要性不言而喻。然而对于很多流浪乞讨人员来说,由于各种各样的原因有关部门无法确定其真实身份信息,因此他们很难得到医疗保障等市民待遇。据中国之声《全国