The Formal Modeling Of Engineering Design Information By Means Of An Axiomatic System

<div>There is mounting evidence in the current literature which suggests that our collective understanding of engineering design is insufficient to support the continued growth of the engineering endeavor. Design theory is the emergent research field that addresses this problem by seeking to improve our understanding of, and thus our ability to, design. The goal of this author's work is to demonstrate that formal techniques of logic can improve our understanding of design. Specifically, a formal system called the Hybrid Model (HM) is presented; this system is a set-theoretic description of engineering design information that is valid independent of (a) the processes that generate or manipulate the information and (b) the role of the human designer. Because of this, HM is universally applicable to the representation of design-specific information throughout all aspects of the engineering enterprise. The fundamental unit in HM is a design entity, which is defined as a unit of information relevant to a design task. The axioms of HM define the structure of design entities and the explicit means by which they may be rationally organized. HM provides (a) a basis for building taxonomies of design entities, (b) a generalized approach for making statements about design entities independent of how the entities are generated or used, and (c) a formal syntactic notation for the standardization of design entity specification. Furthermore, HM is used as the foundation of DESIGNER, an extension to the Scheme programming language, providing a prototype-based object-oriented system for the static modeling of design information. Objects in the DESIGNER language satisfy the axioms of HM while providing convenient programming mechanisms to increase usability and efficiency. Several design-specific examples demonstrate the applicability of DESIGNER, and thus of HM as well, to the accurate representation of design information. </div>

The Formal Modeling Of Engineering Design Information By Means Of An Axiomatic System

<div>There is mounting evidence in the current literature which suggests that our collective understanding of engineering design is insufficient to support the continued growth of the engineering endeavor. Design theory is the emergent research field that addresses this problem by seeking to improve our understanding of, and thus our ability to, design. The goal of this author's work is to demonstrate that formal techniques of logic can improve our understanding of design. Specifically, a formal system called the Hybrid Model (HM) is presented; this system is a set-theoretic description of engineering design information that is valid independent of (a) the processes that generate or manipulate the information and (b) the role of the human designer. Because of this, HM is universally applicable to the representation of design-specific information throughout all aspects of the engineering enterprise. The fundamental unit in HM is a design entity, which is defined as a unit of information relevant to a design task. The axioms of HM define the structure of design entities and the explicit means by which they may be rationally organized. HM provides (a) a basis for building taxonomies of design entities, (b) a generalized approach for making statements about design entities independent of how the entities are generated or used, and (c) a formal syntactic notation for the standardization of design entity specification. Furthermore, HM is used as the foundation of DESIGNER, an extension to the Scheme programming language, providing a prototype-based object-oriented system for the static modeling of design information. Objects in the DESIGNER language satisfy the axioms of HM while providing convenient programming mechanisms to increase usability and efficiency. Several design-specific examples demonstrate the applicability of DESIGNER, and thus of HM as well, to the accurate representation of design information. </div>

A COMPREHENSIVE APPROACH TO SURVIVABILITY ASSESSMENT IN NAVAL SHIP CONCEPT DESIGN

I first want to congratulate the authors with their result in an attempt to address survivability assessment in the concept design phase of a naval ship. Especially the developed method for assessing “recoverability” as an integrated part of “survivability” is very original as well as a very practical and transparent approach. This method fits very well with the level of design information that can be made available during concept phase and the need for design decisions on this matter. Existing, more accurate methods for assessing these aspects often require much more design information, often only available much later in the design process when the freedom to further improve the design, based on these results of the assessment, has been reduced dramatically.

Research on Precision Cultivation of Digital Multimedia Crop Based on Predictive Computational Intelligence Technology

With the intersection and integration of modern crop cultivation and emerging disciplines, crop cultivation management is moving from traditional modeling and standardization to quantitative and intelligent direction. Crop precision cultivation technology is to apply system science and information technology to crop cultivation and digitally design information perception of the objects and processes involved in crop cultivation, dynamic simulation, so as to realize the quantification and accuracy of crop cultivation management. With the integration and intersection of modern digital multimedia crop cultivation and emerging disciplines, digital multimedia crop cultivation tends to gradually implement the quantitative and intelligent development, replacing the traditional scale and standardization. The technology of digital multimedia crop cultivation is to use science and information technology in digital multimedia crops to achieve the quantitative and precise characteristics of digital multimedia crop cultivation. The advancement of digital multimedia crop cultivation technology has greatly improved the management and benefits of the entire agricultural industry and has played a positive role in the development of agricultural information and modernity.

IDEAS OF "PAPER ARCHITECTURE" IN THE EDUCATIONAL FUTURISTIC DESIGN BY THE LVIV ARCHITECTURAL SCHOOL

В The article highlights the ideas of "paper architecture" of the twentieth century, which were developed in the educational futuristic design of the Lviv architectural school at the Department of Architectural Environment Design. Information considers the creators of such architecture – A. Brodsky, I. Utkin, I. Lezhava, Y. Avvakumov, M. Belov, O. Anisimov, O. Gutnov and others, from Moscow and Russia. Interesting ideas are represented in the projects of architects from Ukraine – V. Proskuryakov and G. Proskuryakov, O. Bodnar, Y. Dzhyhil and I. Gnes from Lviv and other cities – Poltava, Kyiv, Dnipro. Ideas of futuristic, experimental, and search projects in semester academic bachelor's and master's works, in project seminars, in international competitions, etc. are highlighted. The results of a new design at the department that develops the ideas of the world-famous architect-set designer F. Kiesler and set designer-architect Y. Lysyk are highlighted. This attracted not only practical architects, economists, environmentalists, investors from different regions and cities of Ukraine, but also specialists from abroad.