Typical programming errors that introductory students make are known to stall and frustrate them during their first few lab coding sessions. Traditionally, lab instructors help withthe process of correcting these err...
详细信息
With China's degree of dependence upon overseas oil increase every year, the supply of oil resources impacts country's economic development and social stability directly. However, overseas oil imports exists s...
详细信息
Learning during search allows solvers for discrete optimization problems to remember parts of the search that they have already performed and avoid revisiting redundant parts. Learning approaches pioneered by the SAT ...
详细信息
ISBN:
(纸本)9783642135194
Learning during search allows solvers for discrete optimization problems to remember parts of the search that they have already performed and avoid revisiting redundant parts. Learning approaches pioneered by the SAT and CP communities have been successfully incorporated into the SCIP constraint integer programming platform. In this paper we show that performing a heuristic constraint programming search during root node processing of a binary program can rapidly learn useful nogoods, bound changes, primal solutions, and branching statistics that improve the remaining IP search.
the paper describes experience withthe usage of object-oriented programming technique for development of an engineering software code. Practical experience shows that in this case, the extensive usage of inheritance ...
详细信息
ISBN:
(纸本)9781905088416
the paper describes experience withthe usage of object-oriented programming technique for development of an engineering software code. Practical experience shows that in this case, the extensive usage of inheritance and polymorphism could lead to problems withthe comprehensibility of the code for users. the usage of some tools like the Standard Template Library (STL) can lead to portability problems. On the other hand, encapsulation of the code has been found advantageous. Our experience with development of large engineering computer code will be documented on the code SIFEL which is intended for the solving of engineering problems by the finite element method (FEM). the basic classes are introduced and interfaces among code parts are described.
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. the library's interface is similar to those of many other parser combin...
详细信息
ISBN:
(纸本)9781605587943
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. the library's interface is similar to those of many other parser combinator libraries, with two important differences: one is that the interface clearly specifies which parts of the constructed parsers may be infinite, and which parts have to be finite, using dependent types and a combination of induction and coinduction;and the other is that the parser type is unusually informative. the library comes with a formal semantics, using which it is proved that the parser combinators are as expressive as possible. the implementation is supported by a machine-checked correctness proof.
Held and Karp have proposed, in the early 1970s, a relaxation for the Traveling Salesman Problem (TSP) as well as a branch-and-bound procedure that can solve small to modest-size instances to optimality [4, 5]. It has...
详细信息
Supply function equilibrium (SFE) developed by Klemperer and Mayer is a popular approach to analyze market power and study gaming strategies in electricity markets. We extend the notion of SFE to the case where power ...
详细信息
this paper presents a novel multi-agent architecture for meeting scheduling. the proposed architecture is a new Hybrid Multi-Agent Architecture (HMAA) that generates new heuristics for solving NP-hard problems. Moreov...
详细信息
the development status and existing problems of Wuhan East Lake national independent innovative demonstration area was first introduced. In conjunction withthe actual development of the area, the corresponding counte...
详细信息
ISBN:
(纸本)9787562933700
the development status and existing problems of Wuhan East Lake national independent innovative demonstration area was first introduced. In conjunction withthe actual development of the area, the corresponding countermeasures and advices were put forward. the strategies are as follows: 1) focus on the innovation of system and mechanism, carry out the system transition from governmental government to diversified government, and establish the management operation mechanism with small institutions and great services;2) deal with correctly the relationship among the three main bodies, and stress the powerful thrust and promotion role of the government;3) innovate the management system, establish the management operation mechanism withthe features of following the special policies under special circumstances and dealing with special things in special ways, which is suitable for the special administrative region;4) accelerate the technology innovation, combine the independent research and development withthe technology introduction;5) enact the policy system and innovation culture to guide and encourage the formation of industrial cluster, accelerate the cluster of college research personnel and science and technology enterprises. the above countermeasures will facilitate the rapid development of demonstration area.
this paper aims to optimize the PMU (Phasor Measurement Unit) placement for a full observation of the power network and the minimum number of PMUs. In this paper competition of Mixed Integer Non-Linear programming and...
详细信息
ISBN:
(纸本)9789746724913
this paper aims to optimize the PMU (Phasor Measurement Unit) placement for a full observation of the power network and the minimum number of PMUs. In this paper competition of Mixed Integer Non-Linear programming and heuristically algorithms such as Bacterial Foraging Algorithm was presented. the results are demonstrated with PMU placement optimization simulation and a redundancy measurement analysis by using IEEE14-bus and Tehran Regional electric company 41-bus networks.
暂无评论