Application integration has become the 'philosopher's stone' for many industrial companies. Many integration projects have succeeded in solving the problem they set themselves, but left the problem of inte...
详细信息
Application integration has become the 'philosopher's stone' for many industrial companies. Many integration projects have succeeded in solving the problem they set themselves, but left the problem of integration unsolved. The integration of applications for a complex design environment is particularly rich in such projects. In the author's experience, a broader view of integration is needed, and several complementary models of integration are described, together with a list of 12 different design issues that integration projects need to resolve. It is not claimed that a project covering all these features will succeed, but rather an absence of a feature is an indication that the project will fail.
The program VACTIV - Visual ACTIV - has been developed for an automatic analysis of spectrum-like distributions, in particular gamma-ray spectra or alpha-spectra and is a standard graphical dialog based Windows XX app...
详细信息
The program VACTIV - Visual ACTIV - has been developed for an automatic analysis of spectrum-like distributions, in particular gamma-ray spectra or alpha-spectra and is a standard graphical dialog based Windows XX application, driven by a menu, mouse and keyboard. On the one hand, it was a conversion of an existing Fortran program ACTIV [1] to the DELPHI language;on the other hand, it is a transformation of the sequential syntax of Fortran programming to a new object-oriented style, based on the organization of event interactions. New features implemented in the algorithms of both the versions consisted in the following as peak model both an analytical function and a graphical curve could be used;the peak search algorithm was able to recognize not only Gauss peaks but also peaks with an irregular form;both narrow peaks (2-4 channels) and broad ones (50-100 channels);the regularization technique in the fitting guaranteed a stable solution in the most complicated cases of strongly overlapping or weak peaks. The graphical dialog interface of VACTIV is much more convenient than the batch mode of ACTIV. [1] V.B. Zlokazov, Computer Physics Communications, 28 (1982) 27-37. NEW VERSION PROGRAM SUMMARY Program Title: VACTIV Catalogue identifier: ABAC_v2_0 Licensing provisions: no programming language: DELPHI 5-7 Pascal. Computer: IBM PC series. Operating system: Windows XX. RAM: 1 MB Keywords: Nuclear physics, spectrum decomposition, least squares analysis, graphical dialog, object-oriented programming. Classification: 17.6. Catalogue identifier of previous version: ABAC_v1_0 Journal reference of previous version: Comput. Phys. Commun. 28 (1982) 27 Does the new version supersede the previous version?: Yes. Nature of problem: Program VACTIV is intended for precise analysis of arbitrary spectrum-like distributions, e.g. gamma-ray and X-ray spectra and allows the user to carry out the full cycle of automatic processing of such spectra, i.e. calibration, automatic peak search an
The field of computational constitutive modelling for engineering applications is an active research tread in academia. New advanced models and formulations are constantly proposed. However, when dealing with implemen...
详细信息
The field of computational constitutive modelling for engineering applications is an active research tread in academia. New advanced models and formulations are constantly proposed. However, when dealing with implementation aspects, often the main concern is to provide a minimal environment to show a certain model and its applications, with implementations made from scratch. Though advanced, usually such implementations lack of generality and are well-suited for a certain numerical method while not compatible with other ones, making it difficult to reuse the code in other contexts. The objectoriented Paradigm (OOP) to programming have been widely applied in the last years for the realization of numerous academic numerical simulation softwares, due to its fundamental properties of abstraction, inheritance and polymorphism that allow the creation of programs well-suited for an easy collaboration between developers with expertise in different fields of engineering and mechanics. As showed in this paper, the same properties can be effectively extended also to the constitutive aspects of a model. The application of the OOP to the constitutive modelling of a wide range of materials of engineering interest is investigated, aiming to the creation of a computational framework for constitutive models that is fully independent on the other components of a code and easy to expand. (C) 2017 Elsevier Ltd. All rights reserved.
Due to the complexity of the numerical simulation of flow and/or water quality, there is an increasing demand for integration of recent knowledge management, artificial intelligence technology with the conventional hy...
详细信息
Due to the complexity of the numerical simulation of flow and/or water quality, there is an increasing demand for integration of recent knowledge management, artificial intelligence technology with the conventional hydraulic algorithmic models in order to assist novice application users in selection and manipulation of various mathematical tools. In this paper, a prototype knowledge management system on flow and water quality is addressed to simulate human expertise during the problem solving by incorporating artificial intelligence and coupling various descriptive knowledge, procedural knowledge and reasoning knowledge involved in the coastal hydraulic and transport processes. The system is developed through employing Visual Rule Studio, a hybrid expert system shell, as an ActiveX Designer under Microsoft Visual Basic 6.0 environment since it combines the advantages of both production rules and object-oriented programming technology. The architecture, the development and the implementation of the prototype system are delineated in details. Based on the succinct features and conditions of a variety of flow and water quality models, three kinds of class definitions, Section and Problem as well as Question are defined and the corresponding knowledge rule sets are also established. Both forward chaining and backward chaining are used collectively during the inference process. A typical example is also presented to demonstrate the application of the prototype knowledge management system. (C) 2002 Elsevier Science Ltd. All rights reserved.
Three placement algorithms are presented that may be employed for the automatic generation of one-line diagrams of power systems. To demonstrate the ability of these algorithms, a one-line diagram auto generation soft...
详细信息
Three placement algorithms are presented that may be employed for the automatic generation of one-line diagrams of power systems. To demonstrate the ability of these algorithms, a one-line diagram auto generation software program (ODAG) has been developed. ODAG has been implemented using the Java programming language so that it is network accessible over the Internet as a one-line diagram design tool. Algorithms implemented in ODAG include Spring Embedder, Rooted Tree and Controlled Spring Embedder with Grid Aligning. They autogenerate one-line diagram layouts that are aesthetically pleasing with acceptable readability and user friendliness. Two networks have been used as examples in the paper to illustrate the one-line diagrams autogenerated by these algorithms.
This article describes an approach for verifying programs in the presence of data abstraction and information hiding, which are key features of modern programming languages with objects and modules. This article draws...
详细信息
This article describes an approach for verifying programs in the presence of data abstraction and information hiding, which are key features of modern programming languages with objects and modules. This article draws on our experience building and using an automatic program checker, and focuses on the property of modular soundness: that is, the property that the separate verifications of the individual modules of a program suffice to ensure the correctness of the composite program. We found this desirable property surprisingly difficult to achieve. A key feature of our methodology for modular soundness is a new specification construct: the abstraction dependency, which reveals which concrete variables appear in the representation of a given abstract variable, without revealing the abstraction function itself. This article discusses in detail two varieties of abstraction dependencies: static and dynamic. The article also presents a new technical definition of modular soundness as a monotonicity property of verifiability with respect to scope and uses this technical definition to formally prove the modular soundness of a programming discipline for static dependencies.
A constraint describes a relation that must be maintained. Constraints provide a useful mechanism to aid in the construction of interactive graphical user interfaces. They can be used to maintain consistency between d...
详细信息
A constraint describes a relation that must be maintained. Constraints provide a useful mechanism to aid in the construction of interactive graphical user interfaces. They can be used to maintain consistency between data and a view of the data, to maintain consistency among multiple views, to specify layout, and to specify relations between events and responses for describing animations of interactive systems and event-driven simulations. object-oriented techniques for constraint representation and satisfaction are presented, and a range of examples that demonstrate the practical use of static and temporal constraints for such purposes is presented. These examples include animations of algorithms and physics simulations, and constructing user-interface elements such as file browsers, views onto statistical data, and an interactive monitor or a simulated operating system.
Flexible Manufacturing Systems play an important role in improving our manufacturing productivity. Simulation is emerging as a popular tool in modeling FMS for analyzing its performance in the area of production plann...
详细信息
Flexible Manufacturing Systems play an important role in improving our manufacturing productivity. Simulation is emerging as a popular tool in modeling FMS for analyzing its performance in the area of production planning/scheduling. In this paper, we illustrate how to model a Flexible Manufacturing System in the object-oriented paradigm using an example. We present a systemtic approach to the design of object-oriented programming systems based on a combination of data modeling and event analysis techniques. An entity relationship approach is used as the basis for an initial decomposition of the system into objects. The design is refined by an analysis of the events the objects participate in. The design is implemented in objective-C. Finally, we describe ways in which this model of an FMS can be extended to explore popular research questions in production planning and scheduling.
A multimethod is a virtual method of several objects. Some object-oriented programming languages support multimethods, but C++ doesn't. The proposed multimethods implementation approach based on recursive deferred...
详细信息
A multimethod is a virtual method of several objects. Some object-oriented programming languages support multimethods, but C++ doesn't. The proposed multimethods implementation approach based on recursive deferred dispatching allows multimethod functionality III C++. The approach is completely declarative and ensures compile-time type safety and integrity checking. It also provides a constant multi-method execution time and separately compiles source code and is portable. The approach is generalized as a reusable free-ware library intended to hide its complexity from the client code.
Concepts and some implementation results of a design environment based on an object-oriented design data model are presented in the paper. This model has been used for the definition of the data scheme and the data ma...
详细信息
Concepts and some implementation results of a design environment based on an object-oriented design data model are presented in the paper. This model has been used for the definition of the data scheme and the data manipulation language. The former has been defined in terms of VHDL and EDIF mechanisms. Both, the data scheme and the data manipulation language have been implemented in SMALLTALK. Finally, the results of experiments justifying the approach are presented.
暂无评论