Decomposition theory is concerned with the structures that arise in the decomposition of systems. It states from the premise that any method of system decomposition is based, either explicitly or implicitly, on some c...
详细信息
Decomposition theory is concerned with the structures that arise in the decomposition of systems. It states from the premise that any method of system decomposition is based, either explicitly or implicitly, on some concept of dependence. The formal setting of decomposition theory is the dependence, an ordered-triple ( E , M , D ), where E is a nonempty set, M is a collection of subsets of E , and D is a relation from nonempty subsets of M to subsets of M . If ( A , B )∈ D , it is said that ` A depends on B '. Duality is considered here. In particular, given a dependence ( E , M , D ), its dual is a dependence ( E , M , D '). Duality plays a role here similar to duality in other formal systems such as graphs, matroids, lattices, circuits, control systems, and so forth. It deepens our understanding of dependence by pairing seemingly different concepts.
This paper presents an integrated approach to computer-Aided Ship Design for U.S. Navy preliminary and contract design. An integrated Hull Design System (HDS), currently under development by the Hull Group of the Nava...
This paper presents an integrated approach to computer-Aided Ship Design for U.S. Navy preliminary and contract design. An integrated Hull Design System (HDS), currently under development by the Hull Group of the Naval Sea Systems Command (NAVSEA 32). is the vehicle for the discussion. This paper is directed toward practicing ship design professionals and the managers of the ship design process. Primary emphasis of this paper, and of the development effort currently under way, is on aiding ship design professionals in their work. Focus is on integration and management control of the extremely complex set of processes which make up naval ship design. The terminology of the Ship Designer and Design Manager is used. The reader needs no familiarity with the technologies of computer science.
A description will be given of a process consisting of two connected vertical stand-pipes. This physical process is rather simple in the details of its construction, but the relationship between the flows into and out...
A description will be given of a process consisting of two connected vertical stand-pipes. This physical process is rather simple in the details of its construction, but the relationship between the flows into and out of the standpipes and the levels is nonlinear and complicated. A nonlinear mathematical model will be derived to describe the dynamical behaviour of this system. A control structure with nonlinear multi loop feedforward and linear single loop feedback control will be analyzed and discussed. Simulation and implementation with an experimental laboratory set-up are used to illustrate and demonstrate the behaviour of process with the proposed control structure.
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (D...
详细信息
ISBN:
(数字)9783030134990
ISBN:
(纸本)9783030134983;9783030135010
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process.;Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.;The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a c
An expression for the spectral density of the impulse process s(t) = {if236-1} is derived under the assumption that \αn\}} is a stationary process, and that \tn\}} is a stationary point process independent of \αn\}}...
The intent of this paper is to demonstrate that the theory of stationary point processes is a useful tool for the analysis of stationary inventory systems. In conventional inventory theory, the equilibrium distributio...
The intent of this paper is to demonstrate that the theory of stationary point processes is a useful tool for the analysis of stationary inventory systems. In conventional inventory theory, the equilibrium distributions for a specified inventory policy are obtained, whenever possible, by recursive or limiting procedures, or both. A different and more direct approach, based on stationary point processes, is proposed here. The time instants at which stock delivery is effected are viewed as points of the stationary point process, which possesses uniform statistical properties on the entire real axis; hence the equilibrium statistics of the inventory process can be calculated directly. In order to best illustrate this approach, various examples are given, including some that constitute new results.
暂无评论