• Journal of the Korea Society for Simulation
• /
• v.15 no.2
• /
• pp.59-69
• /
• 2006

Component-based software development is introduced as a new development paradigm in software development method. This approach is different from existing software development approach because it is based on reusable and autonomous unit, component. Therefore, component-based development(CBD)is divided into two stages; component development process and component assembly process; application development process. Component development process is the core of CBD because component has a key for good software. Currently many methodologies or tools have been introduced by various academies or industries. However, those don't suggest systematic and flexible modeling techniques adaptable easily into component development project. Existing approaches have a unique orarbitrary modeling technique or provide heuristic guidelines for component modeling. As a result, many component developers are faced with a difficult problems; how to developcomponent models, when develop which diagrams, and so on. In order to address this problem, we suggest a meta-model driven approach for component development in this paper. We provide meta-models according to both layer and development phase. We expect that suggested meta-models allow component developers to develop appropriate models of the time.

• Journal of KIISE:Software and Applications
• /
• v.35 no.9
• /
• pp.529-537
• /
• 2008

Since concurrent software is hard to debug, the verification of such systems inevitably needs automatic tools which support exhaustive searching. Bounded Model Checking (BMC) is one of them. Within a bound k, BMC exhaustively check some errors in execution traces of the given system. In this paper, we introduce the tool that performs BMC for LTS, modeling language for concurrent programs. In this tool, a property is described by a FLTL formula, which is suitable to present the property with actions in a LTS model. To experiment with existential model checkers and out tool, we compare and analysis the performance of the developed tool and others.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2014.10a
• /
• pp.562-562
• /
• 2014

Assessment of aerodynamic noise is becoming increasingly important for automotive manufacturers. Flow passing a vehicle may indeed lead to high interior noise level and affect cabin comfort. Interior noise results from various mechanisms including aerodynamic fluctuations of the disturbed flow around the side mirror or pillar, hydrodynamic and acoustic loading of the car panels and windows, vibration of these panels and acoustic radiation inside the vehicle. Objective of the present study is to capture these important mechanisms in a simulation model and demonstrate the ability of the combined simulation tools Fluent / Virtual.Lab to provide accurate aerodynamic and interior noise prediction results. Previous study focused on the noise generated by the turbulence around the A-pillar structure of the HSM (Hyundai simplified model). The present study also includes the effect of the side-mirror and rain-gutter structures. Complete modeling process is presented including details on the unsteady CFD simulation and the vibro-acoustic model with absorption materials. Guidelines and best practices for building the simulation model are also discussed.

• Current Industrial and Technological Trends in Aerospace
• /
• v.9 no.1
• /
• pp.110-118
• /
• 2011

In this paper, design techniques and technological trends applied on simulator development, which are based on Model Driven Architecture, are described. The methodology, process and modeling support tools for development of simulation software are introduced with both satisfaction of user's requirements and benefit to simulator developers of reducing cost. In addition, contents in ECSS standard for reusability of simulation model and its usages applied on industries are presented and major features of current technological changes with highlights of key-word are discussed.

• International Journal of Advanced Culture Technology
• /
• v.11 no.2
• /
• pp.409-414
• /
• 2023

In recent years, the emergence of a number of AI image generation software represented by [Midjourney] has brought great impetus to the development of the field of AI-assisted art creation. Compared with the traditional hand-painted digital painting with the aid of electronic equipment, broke the traditional sense of animation character creation logic.This paper analyzes the application of AI technology in the field of animation character design through the practice of two-dimensional animation character . This is having a significant impact on the productivity and innovation of animation design and character modeling. The key results of the analysis indicate that AI technology, particularly through the utilization of "Midjourney,"enables the automation of certain design tasks, provides innovative approaches, and generates visually appealing and realistic characters. In conclusion, the integration of AI technology, specifically the application of "Midjourney," brings a new dimension to animation character design. The utilization of AI image generation software facilitates streamlined workflows, sparks creativity, and improves the overall quality of animated characters. As the animation industry continues to evolve, AI-assisted tools like "Midjourney" hold great potential for further advancement and innovation.

• Korean Journal of Computational Design and Engineering
• /
• v.20 no.2
• /
• pp.182-192
• /
• 2015

In recent years, numerous studies have attempted to extract quantity data by using Building Information Modeling (BIM). In terms of open-BIM based quantity take-off at the early design stage, only few studies were conducted in the field of cost engineering. A lack of compatibility of open BIM for information exchange is postulated as the cause. The Industry Foundation Classes (IFC) extension model has been developed to accommodate the interoperability with quantity take-off software. Improvement of open BIM for quantity take-off needs exchange requirements and model guidelines. For this purpose, the quantity data of IFC models were analyzed using BIM analysis tools. This paper also provides a proposal of requirements on open BIM based quantity take-off at the early design stage. Further this study have been develop the interface system for open BIM based quantity take-off requirements with the results on this study.

• International conference on construction engineering and project management
• /
• 2013.01a
• /
• pp.1-6
• /
• 2013

Concrete construction requires utilization of many temporary facilities such as formwork, shoring, and scaffolding. Appropriate use of these temporary facilities greatly impacts the quality, cost, schedule, and safety of concrete construction. The current practice in design and planning of temporary facilities is often manual, error-prone, and re-active based on construction site layout, status, and progress in the field. Early design and planning of temporary facilities for concrete construction using Building Information Modeling (BIM) technology offers a potential solution. Although some commercially-available software exists that assists in the generation of temporary facility designs, the construction industry lacks tools that support detailed planning and design of many other temporary facilities. This research presents our early work in automating the design and planning of temporary facilities utilizing BIM. Algorithms were developed to automatically assess geometric conditions of work space to detect required temporary facilities and design them. The proposed methodology was implemented in a test model. By automatically incorporating temporary facilities into BIM, more realistic construction models can be created with less effort and errors. Temporary facilities-loaded models can finally be used for communication, bill of materials, scheduling, etc. and as a benchmark for field installation of temporary formwork, shoring, and scaffolding systems.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.2
• /
• pp.174-182
• /
• 2002

The object-oriented design methods and their CASE tools are widely used in practice by many real-time software developers. However, object-oriented CASE tools require an additional step of identifying tasks from a given design model. Unfortunately, it is difficult to automate this step for a couple of reasons: (1) there are inherent discrepancies between objects and tasks; and (2) it is hard to derive tasks while maximizing real-time schedulability since this problem makes a non-trivial optimization problem. As a result, in practical object-oriented CASE tools, task identification is usually performed in an ad-hoc manner using hints provided by human designers. In this paper, we present a systematic, schedulability-aware approach that can help mapping real-time object-oriented models to multi-threaded implementations. In our approach, a task contains a group of mutually exclusive transactions that may possess different periods and deadline. For this new task model, we provide a new schedulability analysis algorithm. We also show how the run-time system is implemented and how executable code is generated in our frame work. We have performed a case study. It shows the difficulty of task derivation problem and the utility of the automated synthesis of implementations as well as the Inappropriateness of the single-threaded implementations.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.3 no.2
• /
• pp.61-72
• /
• 2000

The maturation of the Web technology has reshaped the ways in which data are accessed, disseminated, and shared. Thanks to its popularity along with the advance of spatial information technology, four major changes have been further made in traditional geographic information systems (GIS) in relation to access to data, distribution of data, access to GIS functionality, and visualization of multimedia data. Although access to and dissemination of spatial data over the Web has in recent years been addressed in the literature, little research effort has addressed the issue of access to and processing of GIS analysis functions over the Web. This research explores the potential use of Web-based GIS in improving accessibility to distributed spatial data and spatial modeling tools. A prototype Web-based GIS developed in this study focuses on Web-based location-allocation modeling for spatial decision support, and employs a hybrid approach that uses the Arc/Info software as a GIS server and CGM viewer as a client-side plug-in. This research shows that Web-based GIS is a useful vehicle in conducting spatial modeling in the particular user community. In addition, this study represents the possibility of Web-based GIS in developing open spatial decision supporting systems.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2006.04a
• /
• pp.333-337
• /
• 2006

As IT-based technologies develop, 3D GIS applications that digitally model real environment are being increased. Although the terms related with 3D CIS are used increasingly, research efforts and applications are mostly limited to only 2D GIS or 3D modeling respectively. The reasons are viewed that there have been less research findings or software tools about integration of 2D GIS and 3B models. Thus, this study presents a method to integrate 2D GIS and 3D models by using database as the means for linkage. To illustrate the process, we developed a prototype application using C# language. Within an interface we showed how to integrate different libraries - EON Studio and MapObjects. We expect that the integration techniques we suggest here can be applied to such areas as disaster prevention, transportation and natural resources management.