Results 1 - 10 of 78998
Results 1 - 10 of 78998. Search took: 0.058 seconds
|Sort by: date | relevance|
[en] This report describes the Vienna Development Method (VDM), which is a formal method for software specification and development. VDM evolved out of attempts to use mathematics in programming language specifications in order to avoid ambiguities in specifications written in natural language. This report also describes the use of VDM for a real-time application, where it is used to formally specify the requirements of a water level monitoring system. The procedures and techniques used to produce an executable form (animation) of the specification are covered. (Author)
[en] A description is given of the designs necessary to develop fifth generation computers. An analysis is offered of problems and developments in parallelism, VLSI, artificial intelligence, knowledge engineering and natural language processing. Software developments are outlined including logic programming, object-oriented programming and exploratory programming. Computer architecture is detailed including concurrent computer architecture
[en] The problems of syntax conversion are discussed and the reasons given for the choice of the Interpretive method. A full description is given of the SYNCON language and computer program together with brief details of some programs written in the language. (author)
[en] The Objected Oriented Programming is a new methodology which allows us to organize the code in a different way than the structured languages. This article describes the main characteristics of the Language C++, and advantages in physics computing and in building a graphic user interface. The solution of a classical exercise in one-dimensional Quantum Mechanics: to find out the energy levels and the wave functions of a potential well system, allows us to set a class hierarchy, use the concepts of overloading and polymorphism, and read or write data to disk through the input/output streams. (Author) 4 refs
[en] Three samples in nuclear techniques section, which supported by National Natural Science Foundation in ninth five-year period, are reviewed. From the samples, it is proposed that scientist and technician should put forward projects in the cross-subject of nuclear techniques and other field
[en] In this article the problem of scientific projects support throughout their lifecycle in the computer center is considered in every aspect of support. Configuration Management system plays a connecting role in processes related to the provision and support of services of a computer center. In view of strong integration of IT infrastructure components with the use of virtualization, control of infrastructure becomes even more critical to the support of research projects, which means higher requirements for the Configuration Management system. For every aspect of research projects support, the influence of the Configuration Management system is reviewed and development of the corresponding elements of the system is described in the present paper.
[en] This paper addresses minimizing Tardy/Lost penalties with common due dates on a single machine. According to this penalty criterion, if tardiness of a job exceeds a predefined value, the job will be lost and penalized by a fixed value. The problem is formulated as an integer programming model, and a heuristic algorithm is constructed. Then, using the proposed dominance rules and lower bounds, we develop two dynamic programming algorithms as well as a branch and bound. Experimental results show that the heuristic algorithm has an average optimality gap less than 2 % in all problem sizes. Instances up to 250 jobs with low variety of process times are optimally solved and for high process time varieties, the algorithms solved all instances up to 75 jobs.