• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2006년도 추계학술대회 논문집
• /
• pp.947-953
• /
• 2006

ATC on-board equipment require realtime embedded software with high level of safety and reliability. To satisfy these requirements, many techniques are applied to the development of software during the lifecycle. In case of software modeling, object-oriented methodology is widening its niche replacing traditional structured methodology and modeling in UML using a CASE tool is a growing trend. In this paper, we modeled ATC on-board software in UML using Rhapsody, which is a modeling tool for realtime embedded software. We modeled the behavior of ATC on-board equipment based on state machine diagram and validated the model using the animation feature provided in the tool. According to our study, the CASE tool based on UML showed high level of applicability in modeling and verifying the software with complex behavioral characteristics.

• International Journal of Precision Engineering and Manufacturing
• /
• 제1권2호
• /
• pp.76-83
• /
• 2000

A study on the robust control of a composite beam with a distributed PVDF sensor and piezo-ceramic actuator is presented in this paper. $1^{st}$ and $2^{nd}$ natural frequencies are considered in the modeling, because robust control theory which has robustness to structured uncertainty is adopted to suppress the vibration. If the controllers designed by $H_{\infty}$ theory do not satisfy control performance, it is improved by $\mu$-synthesis method with D-K iteration so that the $\mu$-controller based on the structured singular value satisfies the nominal performance and robust performance. Simulation and experiment were carried out with the designed controller and the verification of the robust control properties was presented by results.

• 한국시뮬레이션학회논문지
• /
• 제21권2호
• /
• pp.19-30
• /
• 2012

최근 몇 십년간 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하여 왔다. 그럼에도 불구하고 실용 엔지니어들은 실세계의 시스템을 모델링에 적용하는데 어려움을 겪기도 하는데 이는 DEVS가 많은 상태와 사건들을 구조화되지 않은 형태로 명세해야 하는 것 때문이다. 본 논문은 집합 이론을 바탕으로 그러한 사건 및 상태집합들을 구조화된 형태로 표현하는 Structured DEVS 형식론과 이와 연관된 DEVS 다이어그램을 제안하고자 한다. 위상, 변수, 포트 등의 개념을 사용하여 집합들을 명세한 구조적 DEVS 형식론은 원래의 DEVS 형식론과 동등함을 증명하였다. DEVS 다이어그램을 이용하여 구조적 DEVS 형식론으로 표현된 예시 모델이 쉽게 객체지향 시뮬레이션 환경에서 구현될 수 있음을 보임으로써 제안된 형식론이 효과적임을 보였다.

• 한국해양공학회지
• /
• 제12권3호통권29호
• /
• pp.103-111
• /
• 1998

This paper describes the initial hull form design process which generate a hull form using a neurofuzzy modeling. Neurofuzzy system is to combine the merits of fuzzy inference system and neural networks. Therefore it has structured knowledge representations as well as adaptive capacities. Initial hull form design stage is the process which generate an adoptable hull form from the limited design information and multi-decidions condidering correlations with design factors. It can be assidted efficiently by neurofuzzy system. This paper suggests two methods of an initial hull form generation using the neurofuzzy modeling and B-spline theory. and examines the usefulness of suggested method through its application examples.

• 산업경영시스템학회지
• /
• 제22권50호
• /
• pp.91-103
• /
• 1999

This paper deals with effectiveness of Object-Oriented Modeling and Design(OOMD) through GroupSystems V which is a typical groupware or group decision support system(GDSS) to aid group work. Objective and subjective evaluations between traditional non-GDSS face-to-face group and GDSS-supported group have been performed in terms of modeling accuracy and subjective ratings, respectively. Experimental results indicate that the GDSS group shows much better performance than the traditional group in the realm of OOMD. In particular, when a modeling task is not simple or not structured, the former outperforms the latter. Based on the questionaire, the GDSS group feel more equal status and have less dominant voices than do the non-GDSS group. These facts show that GDSS can be used effectively for OOMD under Korean cultures.

• 산업공학
• /
• 제20권1호
• /
• pp.79-86
• /
• 2007

In B2B e-commerce environments, many initiatives for process modeling have made efforts to design business processes correctly. Especially, Petri nets have been widely used as a good theory to design and verify process models. Therefore, we propose the process modeling method for the B2B e-commerce based on Petri nets. First of all, a B2B process model based on BPSS is represented by the UML activity diagram. Second, the activity diagram is transformed to a Petri net model. For the transformation, well-behaved building blocks/control structures and the modeling rules for inter-organizational workflow processes are proposed. Third, the process is partitioned into sharable processes for individual business partners. Finally, according to needs of individual business partners, the sharable processes are modified by well-structured refinement rules. The whole procedure is explained with the purchase process of an e-bookstore.

• 지능정보연구
• /
• 제7권2호
• /
• pp.179-193
• /
• 2001

정보시스템 구축에 있어서 적절한 시스템 분석 및 설계를 위한 모델링 기법을 활용하는 것이 중요 과제이며, 이러한 시스템 모델링 분양서 구조적 방법론과 객체지향 기법이 두가지의 주요한 표준으로 이용되고 있다. 본 연구의 목적은 IDEF3와 UML을 이용하여 정보시스템을 구축하기 위한 시스템 분석 설계 방법론을 검토하고 실제 기업의 업무를 대상으로 모델링해 보았다. IDEF3는 비즈니스 프로세스를 분석하고자 시도된 최초의 방법이고, 업무를 체계적으로 분석할 수 있으며, 쓰여지는 기호의 간편함과 명료함 때문에 쉽게 표현할 수 있는 장점이 있다. 통합 모델링 언어로 불리는 UML은 시스템 개발 과정에 참여하는 모든 이들이 각자의 시각에서 이해할 수 있도록 각 분야의 설계도를 그릴 수 있는 표준을 제공하고, 그래픽 요소를 조합해서 다이어그램으로 나타낼 수 있는 장점이 있으며, 객체 지향 시스템 개발그룹에서 표준으로 인정받고 있는 모델링 언어이다. 본 논문에서는 신발을 수출하고 있는 중소기업의 반 정형화된 수출/무역 관리 업무 프로세스에 대하여, IDEF3와 UML을 이용하여 분석하고, 이에 따른 시스템 개발 방안을 제시하고자 한다.

• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1999년도 국제컨퍼런스 디지털컨텐츠 활용을 통한 지식경영의 확산
• /
• pp.69-91
• /
• 1999

EC의 도입이 국가 및 기업의 국제경쟁력향상을 확보하기 위한 필연적인 해결책이라는 인식하에서, EC의 경쟁력 향상을 위한 유형별 전략모형을 제시함으로서 EC 도입전략의 가이드라인 제공을 목적으로 한다. 구체적으로는 1) Developing strategically classified models and Modeling the structured service of EC to verify the models. (중략)

• 한국전자거래학회지
• /
• 제8권1호
• /
• pp.85-102
• /
• 2003

Nowadays an information exchange on XML such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged information is needed. For this goal there are many research activities for connection between XML application and relational database. But because XML data have hierarchical structures and relational database can store only flat-structured data, we need to make the conversion rule which changes the hierarchical architecture to 2-dimensional information. Accordingly the modeling methodology for storing each structured information in relational database is needed. In this paper, we introduce a XML modeling methodology to design W3C XML schema using UML and we propose a unified design methodology for relational database schema to store XML data efficiently in relational databases. In the second place, in order to verify objectivity of a unified design methodology. By the way of Ronald Bourret, First we introduce the method of the transformation from XML schema to object model and second we translate object model into relational database schema. Therefore we show the mutual consistency between those consequence, and so can verify a unified design methodology.

• 한국정보시스템학회지:정보시스템연구
• /
• 제15권4호
• /
• pp.125-147
• /
• 2006

Internet shopping mall has dual nature of information technology features defined by the web-based application system and marketing features explained by the shopping marketplaces. The purpose of this study aims at analyzing the consumer's attempt to purchase and re-purchase intention to the internet shopping mall to combine the IT perspective and the marketing perspective. This paper develop the integrated research model with the acceptance behaviors of customers through consumer's purchase decision process(pre-purchase stage and post-purchase stage). The results from an empirical survey as follows: First, the integrated model is valid in predicting the acceptance of the internet shopping malls by using structured equation modeling. Second, there are the differences between pre-purchase stage and post-purchase stage by each conceptual constructs. Finally, the results of MSEM(Multi-group Structured Equation Modeling) indicate the perceived ease of use and perceived trust to the attitude to the internet shopping mall is more effectively predicted at the pre-purchase stage. Vice versa, the perceived usefulness to the intention to the purchase intention of internet shopping mall is more effectively predicted at the post-purchase stage. This study provides an integrative approach to develop the effective and successful internet shopping mall strategy.