In software engineering, computer-aided software engineering tools are used to implement the methodologies of development in an automated or semiautomated environment. A number of tools are presented that were develo...
详细信息
In software engineering, computer-aided software engineering tools are used to implement the methodologies of development in an automated or semiautomated environment. A number of tools are presented that were developed to support ADISSA (Architectural Design of Information systems Based on Structure Analysis), a comprehensive methodology that treats analysis, design, and data modeling aspects as stages of a continuous process. This methodology covers in a unified way the stages of functional analysis, transactions (process) design, interface design, database schema design, input-output design, and structured prototyping. The personal computer-based ADISSA-supporting tools provide an automated environment that enables the analysts or designers, who work according to the methodology, to draw hierarchical dataflow diagrams and check their correctness, to design the transactions of the systems, the interface - a menu-tree - and the database schema, and to maintain an integrated data dictionary.
作者:
Atkins, Daniel E.Ong, Shau-ChiProgram in Computer
Information and Control Engineering the Systems Engineering Laboratory of the Department of Electrical and Computer Engineering University of Michigan Ann Arbor MI 48109 United States
Component and time complexity measures in terms of number of gates and gate delays, respectively, are derived for two multioperand adder structures: a tree of carry-save adders and a tree of carry-lookahead adders. Th...
详细信息
Experiments were conducted in a laboratory soil bin with clayey soil to determine the tractive performance of cage wheels as affected by opposing circumferential lugs, lug spacing and wheel slip. Also, the performance...
The Kullback Information Criterion, KIC and its multivariate bias-corrected version, KICVC are two alternatively developed criteria for model selection. The two criteria can be viewed as estimators of the expected Kul...
详细信息
Traveling Salesman Problem (TSP) is one of the most difficult problems in the Combinatorial Optimization area. The goal of TSP is to find one path that can travel between all the nodes (instances) of the graph just on...
详细信息
ISBN:
(纸本)9781424429141
Traveling Salesman Problem (TSP) is one of the most difficult problems in the Combinatorial Optimization area. The goal of TSP is to find one path that can travel between all the nodes (instances) of the graph just once (Hamiltonian tour) in the smallest tour, that is, smallest Euclidian distance. In this context, many other meta-heuristics techniques based on evolutionary algorithms have been propose in literature to solve TSP problems. Differential Evolution (DE) is a relatively new simple evolutionary algorithm, which is an effective adaptive approach to global optimization over continuous search spaces. The design principles of DE are simplicity and efficiency. The most distinct feature of DE is that it mutates vectors by adding weighted. random vector differentials to them. Since its invention. DE has been applied with high success on many numerical optimization problems outperforming other more popular meta-heuristics such as the genetic algorithms. Recently. some researchers extended with success the application of DE to complex combinatorial optimization problems with discrete decision variables such as the traveling salesman problem, the machine layout problem, the now-shop scheduling problem. In this paper, the following discrete DE approaches for the TSP are proposed and evaluated: i) DE approach without local search, ii) DE with local search based on Lin-Kernighan-Heulsgaun (LKH) method, and iii) DE with local search based on Variable Neighborhood Search (VNS) and together with LKH method. Numerical study is carried out using the TSPLIB of test TSP problems. In this context, the computational results are compared with the other results in the recent TSP literature. The obtained results show that LKH method is the best method to reach optimal results for TSPLIB benchmarks, but for largest problems, the ED+VNS improve the quality of obtained results.
The fourth industrial revolution makes more effective use of data generated during manufacturing processes and creates a more interconnected manufacturing network. The data stored inside a product can be updated, anal...
详细信息
In this work, we develop an approach for the control of multi-phase and distributed chemical process systems by considering the physics of a process coupled with inventory control, passivity and thermodynamics. The in...
详细信息
In this work, we develop an approach for the control of multi-phase and distributed chemical process systems by considering the physics of a process coupled with inventory control, passivity and thermodynamics. The incidence of these theories allows us to assess the stability of a general, distributed process system and stabilize performance around given fixed reference points. The theory we develop is applied to a simulated model of an electro-chemical process making Silicon, a pre-cursor material for electronics and silicones. Open and closed loop simulation are prepared and discussed.
Included in the mission statement at the United States Military Academy (USMA) at West Point is the requirement to produce individuals who are certified in character (honor). Each department at USMA has an overarching...
详细信息
The development of interoperability is more and more an essential task for all kinds of organizations. It needs to be measured, verified, and continuously improved. With the advent of the Internet of Things, Industry ...
详细信息
暂无评论