Structured programming principles are not strong enough to control complexity and guarantee high reliability of software at the module level. Stronger organizing principles and stronger properties of components are ne...
详细信息
ISBN:
(纸本)0818672463
Structured programming principles are not strong enough to control complexity and guarantee high reliability of software at the module level. Stronger organizing principles and stronger properties of components are needed to make significant gains in the quality of software. Practical proposals, based on the definition of normal forms which have a mathematical/logical foundation, are suggested as a vehicle for constructing software that is both simpler and of higher quality with regard to clearly defined and justifiable criteria.
Goal programming (GP) is one of powerful techniques for solving multi-objective optimization and has been applied to various real-life problems. this paper presents an evolution program for solving nonlinear goal prog...
详细信息
Goal programming (GP) is one of powerful techniques for solving multi-objective optimization and has been applied to various real-life problems. this paper presents an evolution program for solving nonlinear goal programming problems.
In this paper, we formulate an optimal design of system reliability problem as a nonlinear integer programming problem with interval coefficients, transform it into a single objective nonlinear integer programming pro...
详细信息
In this paper, we formulate an optimal design of system reliability problem as a nonlinear integer programming problem with interval coefficients, transform it into a single objective nonlinear integer programming problem without interval coefficients, and solve it directly with keeping nonlinearity of the objective function by using Genetic Algorithms (GA). Also, we demonstrate the efficiency of this method with incomplete Fault Detecting and Switching (FDS) for allocating redundant units.
In this paper we consider a multi-stage multi-product production, inventory and transportation system including lot production processes and develop a goal programming model for a pull type ordering system based on th...
详细信息
In this paper we consider a multi-stage multi-product production, inventory and transportation system including lot production processes and develop a goal programming model for a pull type ordering system based on the concept of a Just-In-Time(JIT) production system. We also present a pragmatic approach which reduces the required computational time for the formulated mixed integer goal programming problem using a mathematical programming modeling language. the proposed solution procedure is realized utilizing the post-optimal analysis which can be performed by the modeling language.
In this paper we discuss neural network approach for allocation with capacity constraints problem. this problem can be formulated as zero-one integer programming problem. We transform this zero-one integer programming...
详细信息
In this paper we discuss neural network approach for allocation with capacity constraints problem. this problem can be formulated as zero-one integer programming problem. We transform this zero-one integer programming problem into an equivalent nonlinear programming problem by replacing zero-one constraints with quadratic concave equality constraints. We propose two kinds of neural network structures based on penalty function method and augmented Lagrangian multiplier method, and compare them by theoretical analysis and numerical simulation. We show that penalty function based neural network approach is not good to combinatorial optimization problem because it falls in the dilemma whether terminating at an infeasible solution or sticking at any feasible solution, and augmented Lagrangian multiplier method based neural network can alleviate this suffering in some degree.
this paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and to construct a supporting tool. the goal is for models to be intuitive and well-structur...
详细信息
ISBN:
(纸本)0818672463
this paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and to construct a supporting tool. the goal is for models to be intuitive and well-structured, yet fully executable and analyzable, enabling automatic synthesis of usable and efficient code in object-oriented languages such as C++. At the heart of the modeling method is the language of statecharts for specifying object behavior, and a hierarchical OMT-like language for describing the structure of classes and their inter-relationships, that we call O-charts. Objects can interact by event generation, or by direct invocation of operations. In the interest of keeping the exposition manageable, we leave out some technically involved topics, such as multiple-thread concurrency and active objects, which will be described elsewhere.
Scenario diagrams are a well-known notation for visualizing the message flow in object-oriented systems. Traditionally, they are used in the analysis and design phases of software development to prototype the expected...
详细信息
ISBN:
(纸本)0818672463
Scenario diagrams are a well-known notation for visualizing the message flow in object-oriented systems. Traditionally, they are used in the analysis and design phases of software development to prototype the expected behavior of a system. We show how they can be used reversely for understanding and browsing existing software. We have implemented a tool called Scene that automatically produces scenario diagrams for existing object-oriented systems. the tool makes extensive use of an active text framework providing the basis for various hypertext-like facilities. It allows the user to browse not only scenarios but also various kinds of associated documents, such as source code (method definitions and calls), class interfaces, class diagrams, and call matrices.
Many approaches to requirements engineering include building a model of the domain. those using entity-relationship modeling or deriving from it employ the concept of relations between entities, but identifying the re...
详细信息
ISBN:
(纸本)0818672463
Many approaches to requirements engineering include building a model of the domain. those using entity-relationship modeling or deriving from it employ the concept of relations between entities, but identifying the relations is still more of an art than science or engineering. We deal withthis problem primarily in the context of object-oriented analysis (OOA), where relations between object classes are to be identified. Our new approach uses natural language definitions of object classes and looks for names of other object classes in these definitions, since such a reference indicates a relation. Based on this idea, we identify most binary relations for domain models in a new way. We also provide tool support for this method, which shows that a high degree of automation is possible. Both a case study using the well-known ATM (automated teller machine) example and real-world experience with our approach suggest its usefulness.
Wastewater treatment system design involves selecting and sequencing various treatment processes. the design becomes complicated when a large number of processes and various contaminants are considered. In this work, ...
详细信息
Wastewater treatment system design involves selecting and sequencing various treatment processes. the design becomes complicated when a large number of processes and various contaminants are considered. In this work, an expert system is developed to find an appropriate treatment process design for a given waste stream. the knowledge base of the system is established with a treatability database to select suitable treatment techniques for specified contaminants and concentration levels. Also, a preliminary fuzzy logic based approach is proposed to express the user's preference of treatment techniques in a linguistic farm. the preference is defined on the basis of the treatment efficiency and the cost of a technique. the system is intended to serve as a decision support tool for a designer to determine optimal treatment process sequences for various contaminants at different concentration levels. Finally, the developed system is demonstrated in a case study for a chemical processing waste stream. Copyright (C) 1996 IAWQ. Published by Elsevier Science Ltd.
Southwest Research Institute (SwRI) has developed a fuzzy logic model to simulate neural and hormonal compensation (NHC) mechanisms during hemorrhagic shock. this NHC model is a component in a larger trauma patient si...
详细信息
Southwest Research Institute (SwRI) has developed a fuzzy logic model to simulate neural and hormonal compensation (NHC) mechanisms during hemorrhagic shock. this NHC model is a component in a larger trauma patient simulation model under development that predicts changes in hemodynamic parameters during and after hemorrhage. these predicted variables may then be used to determine and automate fluid resuscitation. To develop the fuzzy logic model, SwRI combined physiological knowledge about NHC with experimental hemorrhage data obtained from swine. Plausible predictions for physiological variables were obtained.
暂无评论