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.
CCNPASCAL is a language derived from Pascal and Concurrent Pascal which has been used in the development of an operating system for a multiprocessor. This paper introduces some of the important features of the languag...
详细信息
CCNPASCAL is a language derived from Pascal and Concurrent Pascal which has been used in the development of an operating system for a multiprocessor. This paper introduces some of the important features of the language and illustrates them with examples. The language provides mechanisms for interfacing separately compiled modules, for building abstractions of collections of resources and for efficient asynchronous communication.
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.
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.
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.
Software Reviews are in this Article Beagle Graphics. Mark Simonsen IDRISI , Version 2.24. 1988. Population Pyramids , Version 1.0. 1986. TurboCAD , Version 1.52. 1988.
Software Reviews are in this Article Beagle Graphics. Mark Simonsen IDRISI , Version 2.24. 1988. Population Pyramids , Version 1.0. 1986. TurboCAD , Version 1.52. 1988.
暂无评论