Focuses on the structure of modular computer programs. Goal of structured programming; Importance of modular design in the manageability of large programs; Hypothetical pure tree structure as choice for data processin...
详细信息
Focuses on the structure of modular computer programs. Goal of structured programming; Importance of modular design in the manageability of large programs; Hypothetical pure tree structure as choice for data processing applications.
The article reports on the expansion of the output capability of Agilent's N6700 modular-power system as of December 2005. Its expansion is attributed to the introduction of four new modules and to mainframes. The...
详细信息
The article reports on the expansion of the output capability of Agilent's N6700 modular-power system as of December 2005. Its expansion is attributed to the introduction of four new modules and to mainframes. The company is now confident to proclaim that they are the industry leader in the number of outputs and amount of power that a 1U dc-power system can provide. Its two new mainframes offers 600 and 1200W capabilities. Meanwhile, the four new modules range from 50 to 300W at basic-, high-, and precision-performance level.
In this work we describe the design of our simulation tool for solid state lasers. The software is based on modules to simplify several complex processes. Primarily, the adaptation of laser physics (e.g. thermal lensi...
详细信息
In this work we describe the design of our simulation tool for solid state lasers. The software is based on modules to simplify several complex processes. Primarily, the adaptation of laser physics (e.g. thermal lensing, optical wave) with the appropriate simulation technique. Another aspect is to provide the possibility of exchanging the applied calculation methods or even to change the representation of the computational domain on demand.
This paper is concerned with proving properties of programs which use data structures. The goal is to be able to prove that all instances of a class (e.g. as defined in Simula) satisfy some property. A method of proof...
详细信息
This paper is concerned with proving properties of programs which use data structures. The goal is to be able to prove that all instances of a class (e.g. as defined in Simula) satisfy some property. A method of proof which achieves this goal, generator induction, is studied and compared to other proof rules and methods: inductive assertions, recursion induction, computation induction, and, in some detail, structural induction. The paper concludes by using generator induction to prove a characteristic property of an implementation of hashtables.
Presents an empirical study of operational commercial and clerical Cobol programs in Australian and United States organizations, to determine the factors affecting program repair maintenance. Concept of repair mainten...
详细信息
Presents an empirical study of operational commercial and clerical Cobol programs in Australian and United States organizations, to determine the factors affecting program repair maintenance. Concept of repair maintenance; Incorrect implementation of program specifications resulting in logic errors; Distinctions between repair maintenance and adaptive maintenance.
Within Sanquin Blood Supply, a training program to train apheresis nurses was developed. The parts of the work for which qualification should be necessary was analysed. Based on this analysis, a modular program with t...
详细信息
Within Sanquin Blood Supply, a training program to train apheresis nurses was developed. The parts of the work for which qualification should be necessary was analysed. Based on this analysis, a modular program with theoretical and practical information and knowledge was developed. The modular program consists of two sections: a theoretical and technical / practical. The theoretical section consists of by the project group identified themes including basic hematology (e.g. the characteristics, kinetics, physiology and function of blood cells), basic apheresis physiology, indications for apheresis procedures, criteria for donors apheresis, difficulties and risks of procedures as well as the actions to be taken in case of side effects, and introduction to the apheresis machine available, including the mechanism of the machine. The program for the technical / practical section consists of machine and procedure knowledge (in theory and practise) and troubleshooting. To conclude each individual module, tests in theory and capability to perform procedures are taken. Each trainee needs to demonstrate to have sufficient insight and skill to master all the relevant critical features of the work. Also a text-book for the trainee was written. This educational program provides an approach to educate and test apheresis donor nurses. The combination of theoretical and practical components and monitoring of the progression are an important basis. (C) 2013 Elsevier Ltd. All rights reserved.
This article analyzes the structural characteristics and the design of the real-time database,we have studied the algorithms commonly used in database technology,and the structure framework of real-time database syste...
详细信息
This article analyzes the structural characteristics and the design of the real-time database,we have studied the algorithms commonly used in database technology,and the structure framework of real-time database system is *** paper presents the data model and the detailed realization of the real-time database which applied in the software of the microcomputer circuit *** Visual C programming on this basis,the modular programming is *** the software that was developed,Results show that the real-time database system meet the design requirements,the performance of the system to achieve the desired purpose,can be applied to real-time demand higher integrated substation automation.
Aviation monitoring and control software is key component of flight control system of modern UAVs(Unmanned Aerial Vehicles).During the project research,frequent software changes caused by requirements cost greatly and...
详细信息
Aviation monitoring and control software is key component of flight control system of modern UAVs(Unmanned Aerial Vehicles).During the project research,frequent software changes caused by requirements cost greatly and endanger the *** paper presents a scalable and flexible software framework used to develop hierarchical and modular aviation monitoring and control software which can isolate the changes in *** technology and XML(Extensible Mark Language) technology was introduced to further improve the reusability and stability of the *** the quality of the software developing with this framework can be enhanced,development costs be reduced,and maintenance be improved.
Proofs of program correctness tend to be long and tedious whereas testing, though useful in detecting errors, usually does not guarantee correctness. This paper introduces a technique whereby test data can be used in ...
详细信息
ISBN:
(纸本)9781450374774
Proofs of program correctness tend to be long and tedious whereas testing, though useful in detecting errors, usually does not guarantee correctness. This paper introduces a technique whereby test data can be used in proving program correctness. In addition to simplifying certification of correctness, this method simplifies the process of providing specifications for a program. The applicability of this technique to procedures, recursive programs, and modular programs is demonstrated.
Existing network data plane verification approaches check network correctness with various models and algorithms. With respect to a specific scenario, it is hard to judge which network model provides sufficient functi...
详细信息
ISBN:
(纸本)9781450391689
Existing network data plane verification approaches check network correctness with various models and algorithms. With respect to a specific scenario, it is hard to judge which network model provides sufficient functionality and suitable performance, because existing verification approaches are implemented with different languages and evaluated against different datasets on different hardware platforms in their papers. A network operator usually has to try out a number of complex verification approaches to find the best one for her/his network and intents. Mahjong has a modular system architecture, a unified input format, and three classic verification tools built-in. Leveraging its well-defined partition interfaces and straight-forward configuration file, not only existing approaches can be refactored and merged into Mahjong, new approaches can also be introduced and evaluated with ease.
暂无评论