Ants of artificial colony are able to generate good solutions to the famous traveling salesman problem (TSP). We propose an artificial ants algorithm for solving the minimum ratio TSP, which is more general than the s...Ants of artificial colony are able to generate good solutions to the famous traveling salesman problem (TSP). We propose an artificial ants algorithm for solving the minimum ratio TSP, which is more general than the standard TSP in combinatorial optimization area. In the minimum ratio TSP, another criterion concerning each edge is added, that is, the traveling salesman can have a benefit if he travels from one city to another. The objective is to minimize the ratio between total costs or distances and total benefits. The idea of this type of optimization is in some sense quite similar to that of traditional cost-benefit analysis in management science. Computational results substantiate the solution quality and efficiency of the algorithm.展开更多
Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.Furthermore,a minimum explanation of infeasibility that ex...Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.Furthermore,a minimum explanation of infeasibility that excludes all irrelevant information is generally of interest.A smallest-cardinality unsatisfiable subset called a minimum unsatisfiable core can provide a succinct explanation of infea-sibility and is valuable for applications.However,little attention has been concentrated on extraction of minimum unsatisfiable core.In this paper,the relationship between maximal satisfiability and mini-mum unsatisfiability is presented and proved,then an efficient ant colony algorithm is proposed to derive an exact or nearly exact minimum unsatisfiable core based on the relationship.Finally,ex-perimental results on practical benchmarks compared with the best known approach are reported,and the results show that the ant colony algorithm strongly outperforms the best previous algorithm.展开更多
针对现有技术电力数据计量检定存在的技术弊端,该研究采用具有多路接口的CS5464芯片,该电路包括放大器电路、调制电路、数字滤波电路和数据通讯电路。在计算电力数据量时,采用16位MSP430FG4619的MCU内核计算电路,包括运算器电路、控制...针对现有技术电力数据计量检定存在的技术弊端,该研究采用具有多路接口的CS5464芯片,该电路包括放大器电路、调制电路、数字滤波电路和数据通讯电路。在计算电力数据量时,采用16位MSP430FG4619的MCU内核计算电路,包括运算器电路、控制器电路、存储器电路、输入输出设备构成。在进行电力信息计量数据管理时,采用改进最大最小蚁群算法(Min Max Ant System,MMAS),并融合分类算法模型,能够对多种电力信息计量数据信息进行信息分类,提高了电力数据计量检定信息管理能力。通过试验,该研究的方法误差率较低,稳定度较高。展开更多
Based on the ant system methodology,this paper offers an algorithm for the degree constrained minimum spanning tree problem.Compared with some other algorithms, numerical examples are tested which give promising resul...Based on the ant system methodology,this paper offers an algorithm for the degree constrained minimum spanning tree problem.Compared with some other algorithms, numerical examples are tested which give promising results and useful conclusions.展开更多
为获得发电机励磁系统准确的模型参数,对BPA(bonneville power administration)软件中励磁系统典型仿真模型进行深入分析,得到模型参数与励磁系统大、小阶跃响应特性的关联关系。结合实际情况,对需辨识参数进行筛选,对参数取值范围进行...为获得发电机励磁系统准确的模型参数,对BPA(bonneville power administration)软件中励磁系统典型仿真模型进行深入分析,得到模型参数与励磁系统大、小阶跃响应特性的关联关系。结合实际情况,对需辨识参数进行筛选,对参数取值范围进行限制。采用最大-最小蚁群算法对参数进行辨识,先求得影响发电机空载电压小干扰阶跃响应特性的主要参数,再得到影响发电机空载电压大干扰阶跃响应特性的主要参数。BPA计算得到的辨识模型仿真曲线与实测数据吻合良好,仿真结果表明了辨识方法的有效性。展开更多
基金This project was supported by the Shanghai Education Development Foundation (No.2000SG30).
文摘Ants of artificial colony are able to generate good solutions to the famous traveling salesman problem (TSP). We propose an artificial ants algorithm for solving the minimum ratio TSP, which is more general than the standard TSP in combinatorial optimization area. In the minimum ratio TSP, another criterion concerning each edge is added, that is, the traveling salesman can have a benefit if he travels from one city to another. The objective is to minimize the ratio between total costs or distances and total benefits. The idea of this type of optimization is in some sense quite similar to that of traditional cost-benefit analysis in management science. Computational results substantiate the solution quality and efficiency of the algorithm.
基金the National Natural Science Foundation of China (No.60603088)
文摘Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware.Furthermore,a minimum explanation of infeasibility that excludes all irrelevant information is generally of interest.A smallest-cardinality unsatisfiable subset called a minimum unsatisfiable core can provide a succinct explanation of infea-sibility and is valuable for applications.However,little attention has been concentrated on extraction of minimum unsatisfiable core.In this paper,the relationship between maximal satisfiability and mini-mum unsatisfiability is presented and proved,then an efficient ant colony algorithm is proposed to derive an exact or nearly exact minimum unsatisfiable core based on the relationship.Finally,ex-perimental results on practical benchmarks compared with the best known approach are reported,and the results show that the ant colony algorithm strongly outperforms the best previous algorithm.
文摘针对现有技术电力数据计量检定存在的技术弊端,该研究采用具有多路接口的CS5464芯片,该电路包括放大器电路、调制电路、数字滤波电路和数据通讯电路。在计算电力数据量时,采用16位MSP430FG4619的MCU内核计算电路,包括运算器电路、控制器电路、存储器电路、输入输出设备构成。在进行电力信息计量数据管理时,采用改进最大最小蚁群算法(Min Max Ant System,MMAS),并融合分类算法模型,能够对多种电力信息计量数据信息进行信息分类,提高了电力数据计量检定信息管理能力。通过试验,该研究的方法误差率较低,稳定度较高。
文摘Based on the ant system methodology,this paper offers an algorithm for the degree constrained minimum spanning tree problem.Compared with some other algorithms, numerical examples are tested which give promising results and useful conclusions.
文摘为获得发电机励磁系统准确的模型参数,对BPA(bonneville power administration)软件中励磁系统典型仿真模型进行深入分析,得到模型参数与励磁系统大、小阶跃响应特性的关联关系。结合实际情况,对需辨识参数进行筛选,对参数取值范围进行限制。采用最大-最小蚁群算法对参数进行辨识,先求得影响发电机空载电压小干扰阶跃响应特性的主要参数,再得到影响发电机空载电压大干扰阶跃响应特性的主要参数。BPA计算得到的辨识模型仿真曲线与实测数据吻合良好,仿真结果表明了辨识方法的有效性。
