• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.36 no.4
• /
• pp.41-49
• /
• 2020

The purpose of this study was to investigate the use of the Deep Neural Networks(DNN) model to classify user's emotions, in particular Electroencephalography(EEG) toward Virtual-Reality(VR) based 3D design alternatives. Four different types of VR Space were constructed to measure a user's emotion and EEG was measured for each stimulus. In addition to the quantitative evaluation based on EEG data, a questionnaire was conducted to qualitatively check whether there is a difference between VR stimuli. As a result, there is a significant difference between plan types according to the normalized ranking method. Therefore, the value of the subjective questionnaire was used as labeling data and collected EEG data was used for a feature value in the DNN model. Google TensorFlow was used to build and train the model. The accuracy of the developed model was 98.9%, which is higher than in previous studies. This indicates that there is a possibility of VR and Fast Fourier Transform(FFT) processing would affect the accuracy of the model, which means that it is possible to classify a user's emotions toward VR based 3D design alternatives by measuring the EEG with this model.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10b
• /
• pp.1585-1590
• /
• 1991

This paper presents the principles for design of autonomous systems whose behavior is based on models that support the various tasks that must be performed. We propose a model-based architecture aimed at reducing the computational demands required to integrate high level symbolic models with low level dynamic models. Model construction methods are illustrated to outfit such an architecture with the models needed to meet given objectives.

• Design & Manufacturing
• /
• v.13 no.4
• /
• pp.45-50
• /
• 2019

The fourth industrial revolution calls for an integrated talent by improving working-level skills within the big framework of creativity and convergence. Therefore, university education focuses on solving the problem of practical ability education by improving employment ability. Based on this improvement in practical skills, this study is based on the field-based design curriculum of Capstone. Currently, the Capstone Design Course is being implemented at most universities, extending its scope to the fields of engineering, humanities, social studies and arts. However, there is a limit to the core concept of Capstone design education and capacity education developed in line with the foreign educational environment and applied directly to our nation's university education. In terms of overseas cases, the core focus is to develop practical, design, and prototype capabilities by forming a team among all grades and multidisciplinary institutions to support the capital and manpower of the industry. However, the nation's industrial linkage and curriculum have difficulties in carrying out multi-disciplinary education. In this study, students were asked to team up and solve the challenges that the industry needs based on the expertise acquired in the lower grade curriculum by applying majors and 3D printing through the first and second semester courses of the fourth grade to address these limitations. In addition, business skills for the process of creativity and leadership experience in our country through a suitable design capstone class to review the efficiency of education by applying a model. In order to achieve the purpose of Capstone design subject, the goal setting, class model composition, class model application, verification and evaluation, and final class model development procedures were carried out. Through this process, it will be used as a basic material for educating design class capstone design.

• Journal of Mechanical Science and Technology
• /
• v.20 no.10
• /
• pp.1534-1540
• /
• 2006

Concurrent Engineering (CE) is a popular method employed in product development. It treats the whole product design process by the consideration of product quality, cost, rate of progress, and demands of customers. The development of computer and network technologies provides a strong support to the realization of CE in practice. Aiming at the characteristics of CE and network collaborative design, this paper built network collaborative design system frame. Through the analysis of the network collaborative design modes based on CE, this paper provided a novel network collaborative design integration model. This model can integrate the product design information, design process, and knowledge. Intelligent collaboration was considered in the proposed model. The study showed that the proposed model considered main factors such as information, knowledge, and design process in collaborative design. It has potential application in CE fields.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.7 no.4
• /
• pp.149-154
• /
• 2008

The concept of robust design was introduced by Dr. G. Taguchi in the late 1940s, and his technique has become commonly known as the Taguchi method or the robust design. In this research, a robust design procedure for microgyroscope is suggested based on the kriging and optimization approaches. The kriging interpolation method is introduced to obtain the surrogate approximation model of true function. Robustness is calculated by the kriging model to reduce real function calculations. For this, objective function is represented by the probability of success, thus facilitating robust optimization. The statistics such as mean and variance are obtained based on the reliable kriging model and the second-order statistical approximation method.

• International Journal of Reliability and Applications
• /
• v.2 no.4
• /
• pp.269-280
• /
• 2001

The objective of this paper is to provide a model for effective implementation of costing RAM management in the design and procurement of production facility considering the system cost-performance trade-off. This research proposes a two-step approach of costing RAM design and test of system RAM for production facility. In Step 1, a static model is proposed to find an initial system configuration to meet the required performance based on system RAM and LCC and analyzes the trade-off relationships between various factors of RAM and LCC. In the second Step, we developed time and failure truncated models for system reliability test and analysis. For the computational purpose, we developed computer programs and have shown the sample results. By the sample test run, the proposed model has shown the possibilities to provide a good method to analyze system performance evaluation for both design and operational phase, This model can be applied to a wide variety of systems not only for costing RAM of the production facilities but also for the other kinds of equipment.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.265-268
• /
• 2008

With application of IT convergence technique in AEC industry, it is currently conducted the research on the virtual construction system. This paper aims at the pilot study on the structural design based on BIM used in collaboration environment. The work scope of structural design includes the structural analysis model, structural detail model and analytic model and we focuse the research on the interoperability among them. It is partly utilized the transfer module supplied by software developer and partly developed here the interface module through API. This paper shows the interoperability process to pilot test and indicates the problems occurred in interface.

• Korean Journal of Computational Design and Engineering
• /
• v.16 no.2
• /
• pp.156-164
• /
• 2011

The automation technology is able to enhance the business process more rapidly and effective. Open BIM technology which supports automation technology of building overcomes the limitations of two dimensions drawings system. The purpose of this study is on the development of open BIM based modules for creating and verifying the core model for super-tall building in the schematic design phase. The module is expected to create cases of core models automatically and it is expected to verify the requirement of building model. This module is anticipated to utilize for creating the core model rapidly in order to create the alternative plan and to make the model accurate by its verification.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.4
• /
• pp.506-514
• /
• 2008

This paper presents an intelligent model; named as free model, approach for a closed-loop system identification using input and output data and its application to design a power system stabilizer (PSS). The free model concept is introduced as an alternative intelligent system technique to design a controller for such dynamic system, which is complex, difficult to know, or unknown, with input and output data only, and it does not require the detail knowledge of mathematical model for the system. In the free model, the data used has incremental forms using backward difference operators. The parameters of the free model can be obtained by simultaneous perturbation stochastic approximation (SPSA) method. A linear transformation is introduced to convert the free model into a linear model so that a conventional linear controller design method can be applied. In this paper, the feasibility of the proposed method is demonstrated in a one-machine infinite bus power system. The linear quadratic regulator (LQR) method is applied to the free model to design a PSS for the system, and compared with the conventional PSS. The proposed SPSA-based LQR controller is robust in different loading conditions and system failures such as the outage of a major transmission line or a three phase to ground fault which causes the change of the system structure.