The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have develo...
详细信息
The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.
The Complete Active Space Second-Order Perturbation Theory (CASPT2) is well-established as a high-accuracy electronic structure method. It was originally implemented in the early 1990s to an efficient computer code in...
详细信息
The Complete Active Space Second-Order Perturbation Theory (CASPT2) is well-established as a high-accuracy electronic structure method. It was originally implemented in the early 1990s to an efficient computer code in the molcas program suite, and this implementation has been extensively used as a standard tool. Here, we report a comparison of it against two independent computer-aided implementations of the CASPT2 method, revealing that the CASPT2 energies provided by the original code of molcas (version 8 or earlier) are inconsistent with the predictions of the lately developed computer-aided implementations. It is shown that this error is associated with the projections of the first-order equation onto the fully internally contracted multireference bases which are partially inconsistent between the left- and right-hand sides. The degree of the errors is assessed by performing illustrative CASPT2 calculations. The errors in total CASPT2 energies are demonstrated to be negligible relative to chemical accuracy in many cases, while there is a difficult case where they may substantially alter chemical description. The incorporation of the consistent projections into molcas has been carried out, which is available in the version 8 sp1. [GRAPHICS] .
As the number of processors and the complexity of problems to be solved increase, programming multiprocessing systems becomes more difficult and error prone. Program development tools are necessary since programmers a...
详细信息
As the number of processors and the complexity of problems to be solved increase, programming multiprocessing systems becomes more difficult and error prone. Program development tools are necessary since programmers are not able to develop complex parallel programs efficiently. Parallel models of computation, parallelization problems, and tools for computer-aided programming (CAP) are discussed. As an example, a CAP tool that performs scheduling and inserts communication primitives automatically is described. It also generates the performance estimates and other program quality measures to help programmers in improving their algorithms and programs
暂无评论