• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.443-450
• /
• 2009

In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

• Journal of Internet Computing and Services
• /
• v.9 no.5
• /
• pp.85-97
• /
• 2008

Recently, service-oriented systems have been issued by their properties of reducing software development time and effort by reusing functional service units. The reusability of services can effectively promote through loose coupling between services and loose coupling between services depends on component-based system. That is, the component-based system is designed by grouping the tightly coupled classes of the object-oriented system and the service-oriented system is designed by the component-based system. Therefore, to design the component-based system and service-oriented system efficiently, a metric to measure the coupling between classes accurately needs. In this paper, we propose a coupling metric between classes applying a structural property, a dynamic property, and the normalized value by 0-1. We prove the theoretical soundness of the proposed metric by the axioms of briand et al, and suggest the accuracy and practicality through a case study. We suggest the evaluation results of the proposed metric through a comparison with the conventional metrics.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2008.03a
• /
• pp.1466-1483
• /
• 2008

This paper discusses the development of an up-to-date computerized CPT (Cone Penetration Test) based soil engineering classification system to provide geotechnical engineers with a handy tool for their daily design activities. Five CPT soil engineering classification systems are incorporated in this effort. They include the probabilistic region estimation and fuzzy classification methods, both developed by Zhang and Tumay, the Schmertmann, the Douglas and Olsen, and the Robertson et al. methods. In the probabilistic region estimation method, a conformal transformation is used to determine the soil classification index, U, from CPT cone tip resistance and friction ratio. A statistical correlation is established between U and the compositional soil type given by the Unified Soil Classification System (USCS). The soil classification index, U, provides a soil profile over depth with the probability of belonging to different soil types, which more realistically and continuously reflects the in-situ soil characterization, which includes the spatial variation of soil types. The CPT fuzzy classification on the other hand emphasizes the certainty of soil behavior. The advantage of combining these two classification methods is realized through implementing them into visual basic software with three other CPT soil classification methods for friendly use by geotechnical engineers. Three sites in Louisiana were selected for this study. For each site, CPT tests and the corresponding soil boring results were correlated. The soil classification results obtained using the probabilistic region estimation and fuzzy classification methods are cross-correlated with conventional soil classification from borings logs and three other established CPT soil classification methods.

• Journal of Biosystems Engineering
• /
• v.28 no.4
• /
• pp.305-314
• /
• 2003

The ROPS of an agricultural tractor is designed to protect its driver when the tractor overturns. Although the current OECD tests to determine whether the ROPS meets the requirements of the OECD regulation are desirable, they need long time to test. We experimental time and effort by using CAE. We conducted a finite element analysis for the ROPS design of a Dae-Dong tractor cabin in an attempt to reduce the design and manufacturing time. This study shows the interpretative skill using MARC(v.2000) for designing ROPS and difference between the results of testing and FEA. Design process is generally divided into two phases: a concept and a detail design. The concept design uses simple analysis to predict structural behavior, whereas the detail design involves a finite element analysis performed by the results of the concept design. This study focused on the detail design and used Patran(v.2000r2) and MARC(v.2000) of the MSC software corporation. The model consisted of 4812 elements and 4582 nodes. Four tests. specified in the OECD standards, were performed: (1) longitudinal loading test (2) rear crushing test (3) side loading test (4), and front crushing test. Independent analyses were also performed for each test, along with a sequential analysis. When compared, the results of the independent and sequential analyses were found to be similar to the test results.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.489-497
• /
• 1999

국내의 ATM 기술은 대부분 교환기 시스템 개발에 집중되어 있었고 최근에는ATM 서비스 분야에 대한 개발 요구가 있다. 이러한 가운데 Internet 서비스는 데이타 망의 기본 서비스로 자리잡았으며, ATM망도 기본적으로 Internet 서비스를 지원하여야 한다. IETF의 IPOA (Classical IP and ARP over ATM)는 국내 망 여건 및 구현의 용이성으로 Internet 서비스를 위한 프로토콜중 가장 선호 대상이지만 RFC사양의 허술함, 구현자의 사양에 대한 이해 부족과 초기 외산 장비 제조 업체들의 자체 사양때문에 기존의 IPOA장비들과 상호 운용 시험에서 후발 IPOA 개발자는 시행착오를 겪어야만 한다. 본 논문에서는 기존 외산 IPOA 장비들과 자체 개발한 장비와 상호 운용 시험을 수행하면서 겪은 사례 연구를 정리하였고 이를 기초로 기존의 외산 IPOA와 상호 운용할 수 있는 최종 요구 사항을 제시하였다. 본 논문을 기초로 IPOA 장비를 개발한다면 국내 후발 ATM 장비 업체는 개발의 시간 및 노력을 줄일 수 있고 향후 IP/ATM 국내 기술력 향상에 도움이 될 것이다.Abstract While we have been focusing on development of ATM switching systems, recently the demand on service by use of ATM switching system is increasing rapidly. Among various ATM services, the Internet service should be provided in an ATM network since the Internet service has been the basic data service. Many domestic engineers consider the classical IP and ARP over ATM (IPOA) to be an appropriate method for interworking of IP and ATM because the IP is the network protocol used in most domestic data networks, and the IPOA is simpler and has less overhead than other approaches. However, it is not easy for a developer to implement the IPOA function module interoperable with other existing ones due to the incomplete description of IETF's RFC specifications, misunderstanding of designer and/or developer, and incompatible vendors' specifications. In this paper, we show several case studies undertaken for interoperability tests of IPOA products between our product and other vendor's products, and discuss the implementation requirement of the IPOA software to be interoperable with the existing IPOA equipment.The design and implementation requirements presented in this paper will reduce the effort of IPOA-developing engineers and time required for interoperability test. Also, this contribution will be helpful in IP/ATM interworking areas.

• Journal of KIISE:Software and Applications
• /
• v.33 no.2
• /
• pp.186-200
• /
• 2006

Analysis model focuses only on functional requirements and postpones nonfunctional requirements and implementation specific issues until subsequent design activities are undertaken. Based on the analysis models, the design activities are performed by refining and clarifying the analysis models. Thus, the quality of analysis models has a vast impact on the design models. Therefore, much effort should be taken to build correct analysis model. In this paper, we propose a set of structural constraints that analysis models of typical object-oriented development methods should satisfy. Three kinds of constraints are proposed: class related constraints, relation related constraints, and usage related constraints. For each constraint, formal definition and description with OCL are provided. In addition, through a case study with two medium-sired industrial systems, we demonstrated that the proposed approach can help to identify and correct serious deficiencies in object-oriented analysis models.

• Korean Journal of Computational Design and Engineering
• /
• v.20 no.1
• /
• pp.75-83
• /
• 2015

In the virtual prototyping (VP) of digital products, it is important to provide the people involved in product development with the visualization and interaction of the products, and the simulation of their human machine interaction (HMI) behaviors in interactive 3D virtual environments. Especially, for the HMI behavior simulation, it is necessary to represent them properly and to play them back effectively according to user interaction in the virtual environments. In a conventional approach to HMI behavior simulation, user interface (UI) designers use UI design software tools to generate the HMI behavior of a digital product of interest. Due to lack of reusability of the HMI behavior, VP developers need to analyze and integrate it into a VP system for its simulation in a 3D virtual environment. As this approach hinders the effective communication between the UI designers and the VP developers, it is easy to create errors and thereby it takes significant time and effort especially when it is required to represent the HMI behavior to the finest level of detail. In order to overcome the shortcomings of the conventional approach, we propose an approach for representing the HMI behavior of a digital product using XML (eXtensible Markup Language) and for reusing it to perform the HMI behavior simulation in 3D virtual environments. Based on the approach, a VP system has been developed and applied for the design evaluation of various products. A case study about the design evaluation is given to show the usefulness of the proposed approach.

• Advances in aircraft and spacecraft science
• /
• v.1 no.2
• /
• pp.197-218
• /
• 2014

Quite a demanding task frequently arises in space engineering, when dealing with the cargo accommodation of modules and vehicles. The objective of this effort usually aims at maximizing the loaded cargo, or, at least, at meeting the logistic requirements posed by the space agencies. Complex accommodation rules are supposed to be taken into account, in compliance with strict balancing conditions and very tight operational restrictions. The context of the International Space Station (ISS) has paved the way for a relevant research and development activity, providing the company with a remarkable expertise in the field. CAST (Cargo Accommodation Support Tool) is a dedicated in-house software package (funded by the European Space Agency, ESA, and achieved by Thales Alenia Space), to carry out the whole loading of the Automated Transfer Vehicle (ATV). An ad hoc version, tailored to the Columbus (ISS attached laboratory) on-board stowage issue, has been further implemented and is to be used from now on. This article surveys the overall approach followed, highlighting the advantages of the methodology put forward, both in terms of solution quality and time saving, through an overview of the outcomes obtained to date. Insights on possible extensions to further space applications, especially in the perspective of the paramount challenges of the near future, are, in addition, presented.

• Proceedings of the Technology Innovation Conference
• /
• 2002.02a
• /
• pp.133-149
• /
• 2002

This study aims to investigate the impact of wide use of digital technology, in particular, the Internet, on innovation process and corporate strategy in electronics industry. The introduction of digital technology has changed innovation process, business model and organizational structure of the electronics companies. With the introduction of digital technology, the entire value chain of electronics industry from procurement, sales, and marketing to R&D and manufacturing has been restructured. E-commerce has been a major agenda for e-business. Recently, collaboration among electronics companies through e-marketplace has emerged as an important issue. A web-based e-commerce standard, so called RosettaNet, has been developed for facilitating e-transactions of electronics firms. The development of digital technology has dramatically increased the processing speed and sophisticated the virtual reality technology. As simulation becomes easier and more effective, the uncertainty and risk involved in R&D has decreased significantly. Another positive impact is closer cooperation between R&D and manufacturing functions. Taking advantage of automated and flexible production technology, has a new type of firm, so called, EMS (Electronics Manufacturing Services) emerged, whose strategic focus is on manufacturing only. The EMS can be seen as a kind of innovative organization, that is, a modular organization for production function. Digital technology has made convergence of computer and communication possible at early years but right now the convergence has been accelerated in extensive areas of communication, broadcasting, information appliances, software, contents, and services. Firms' effort for an innovative product and service has been intensified and the competition for a new standard product and service has become severe in electronics industry. Business activities are always realized in a specific organizational context. Accordingly building up innovation-friendly organization has emerged as a critical concern. Due to the striking decrease of transaction cost, a network type of organization has proliferated, and a business function turns into a modular organization. As a whole, digital technology has pushed electronics firms into developing their own business model, which takes consideration of standardization of business platform and their core competency.

• KCID journal
• /
• v.18 no.1
• /
• pp.44-57
• /
• 2011

The status of fishway installed in domestic dikes showed a cascade types and sluice gate types 36% (four sites) and 64% (seven sites), respectively. Fishway of cascade type was constructed four sites (Iweon, Busa, Geum river, Haenam) and only Geum river was one of them has operated much more effectively since remodeling in a fishway and fishways of the others was not operated because of several problems like a desalination, a shortage of inflow water and variation of management elevation. Fishway of sluice gate type was installed seven sites and three sites (Yeongsan, Yeongam, Geumho) one of them were continuously operated until now. This results has a interesting interpretations. Prolonged discharge of inductive water from fishway can positively affect not only ascending of fishes but also fish fauna of around of the sea. The others of a sluice gate fishway were not operated because of seawater circulation through sluice gate until now. The closed reasons of fishway in domestic dikes may be summarized as follows: impassibility of sluice gate open by shortage of inflow water, problem of proper operating by long distance of between fishway and management office, absence of operating manual, seawater circulation, lack of fishway operating awareness. It was takes a long time for solution of hardware part but software part can be to find the answer through making a fishway operation manual and development of education program for manager. In this paper we deal with fishway in domestic dikes. Proper fishway control by manager was essential for ascending of migration fishes especially at fishway installed in dikes. Thus it was necessary to make manual for fishway operation and effort of continuously maintenance.