• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.490-492
• /
• 2005

최근 사용자 행태 분석 개념이 매우 중요한 이슈가 되고 있으며, HCI(Human-Computer Interface)의 관점에서 사용자의 행태와 시스템 모델링은 적절한 모델링 언어나 도구가 부족하여 사용자의 행태를 전부 표현하지 못한다. 소프트웨어공학에서는 시스템을 설계하기 위해 UML(Unified Modeling Language)을 사용하여 시스템을 모델링하고 있다. 물론 UML에 액터 개념은 있으나 시스템 중심의 모델에 초점을 두고 있어, 사용자의 행태 표현에 제약이 존재한다. 이에 본 논문에서는 사용자 행태를 모델링하기위해 OBA(Object Behavior Analysis)방법론을 기반으로 사용자 행태에 초점을 맞춰 시스템을 모델링 하고, 결과로써 HCI관점을 위해 부족한 UML의 문제와 확장성을 언급하고자 한다.

• Proceedings of the Korean Society of Agricultural Engineers Conference
• /
• 2000.10a
• /
• pp.519-524
• /
• 2000

The goal of this research is the establishment of a connection of an existing water quality model to GIS. The water quality model investigated was the Water Quality Analysis Simulation Program (WASP5), while the actual linkage was performed using object-oriented programming. The runoff and the non-point source loadings into the Channel were determined using a grid-based model developed in GIS. Afterwards, scripts were written in the ArcView programming language, Avenue, in order for ArcView to perform the following tasks : 1) write the input file informations, 2) format the input information into the proper WASP5 file, 3) execute the WASP5 subprogram for modeling.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.573-575
• /
• 1998

실시간 내장형 시스템(real-time embedded system)의 반응 동작(reactive behavior)을 정확하게 분석하기 위해서 상태차트(statechart)에 바탕을 둔 객체 지향 모델링 방법론들이 많이 사용되고 있다. 하지만 이들 방법론들은 경성 실시간 시스템(hard real-time system)이라면 반드시 고려해야할 스케줄링 가능성분석(scheduability analysis)에 필요한 시간에 대한 정보와 시간 제약을 정확히 나타내지 못하는 문제점이 있다. 본 논문에서는 최근 OMG(Object Management Group)에서 객체 지향개발의 기준으로 채택된 UML(Unifies Modeling Language) ver1.1을 사용하여 실시간 내장형 시스템의 반응 동작과 시스템의 시제 동작(temporal behavior)을 모델링하여, 모델링된 시스템이 스케줄링 가능성 분석이 효과적으로 이루어지는 방안을 제안한다.

• Korean Journal of Computational Design and Engineering
• /
• v.7 no.4
• /
• pp.254-261
• /
• 2002

Small marine propeller is generally machined by 5-axis machining. This paper suggests a method to create geometric model from point array data and 4-axis machining NC data for propeller. With conventional method, the setting posture should be changed, because propeller has front and back surface of wing. The change of setting posture has a bad influence on precision of propeller. So this paper pro-poses a method to machine propeller by single setup for 4-axis machining. The cutter moves to parallel direction of the XY plane. To determine the cutter orientation efficiently, the' tilting guiding line' is proposed. A proposed algorithm is written in C language and successfully applied to the 5-axis milling machine of industrial field.

• Industrial Engineering and Management Systems
• /
• v.9 no.1
• /
• pp.1-9
• /
• 2010

Increasing product variety based on product family and product platform provides a company with a competitive advantage over its competitors. As products become more complex, short-life cycled and customized, the design efforts require more knowledge-intensive, collaborative and coordinating efforts for information sharing. By sharing knowledge, information, component and process across different families of products, the product realization process will be more efficient, cost-effective and quick-responsive. Formal Concept Analysis (FCA) is used for analyzing data and forming semantic structures that are formal abstractions of concepts of human thoughts. A Web Ontology Language (OWL) is designed for applications that need to process the content of information instead of simply presenting information to humans. OWL also captures the evolution of different components of the product family. The purpose of this paper is to develop product variety modeling to increase the usefulness of common platform. In constructing and analyzing product ontology, FCA is adopted for conceptual knowledge processing. For the selected product family, product variety Ontology is constructed and implemented using prot$\'{e}$g$\'{e}$-2000.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1777-1780
• /
• 2003

HTML의 사용상의 한계로 인해 등장한 XML은 현재 여러 분야에서 다양하게 사용되고 있다. XML 모델링 이란 어플리케이션과 사용자가 요구하는 정보를 가지고 미래에 요구되는 변화에도 충분히 대응할 수 있는 유연한 XML문서를 제작하는 과정이다. 이에 따라 XML 문서를 모델링 하기 위한 방법들이 나오게 되었으며 좀더 정확하고 유연한 XML 문서의 제작을 위한 모델링기법이 요구되고 있다. 본 연구에서는 현재의 모델링언어 중 보편적으로 사용되고 있는 UML(Unified Modeling Language)표기법을 이용하여 XML을 모델링 하는 기존의 모델링기법을 소개하고 기존의 방법이 가지고 있는 어트리뷰트와 엘리먼트의 식별, 네임스페이스표기 등 문제점을 파악한 후 문제점들을 개선한 XML 모델링기법을 제안하였다. 기존에 모델링기법에서 표현하지 못하였던 어트리뷰트(Attribute)와 앨리먼트(Element)를 구별하였고 네임스페이스(Namespace)의 표기를 나타내었다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.3
• /
• pp.288-291
• /
• 2004

This paper proposes an intelligent search modeling using avatar agent. This system consists of some modules such as agent interface, agent management, preprocessor, interface machine. Core-Symbol Database and Spell Checker are related to the preprocessor module and Interface Machine is connected with Best Aggregate Designer. Our avatar agent system does the indexing work that converts user's natural language type sentence to the proper words that is suitable for the specific branch information retrieval. Indexing is one of the preprocessing steps that make it possible to guarantee the specialty of user's input and increases the reliability of the result. It references a database that consists of synonym and specific branch dictionary. The resulting symbol after indexing is used for draft search by the internet search engine. The retrieval page position and link information are stored in the database. We experimented our system with the stock market keyword SAMSUNG_SDI, IBM, and SONY and compared the result with that of Altavista and Google search engine. It showed quite excellent results.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.52
• /
• pp.285-295
• /
• 1999

Developing control functions that operate and cooperate each equipment in order to achieve a goal is one of the most important problems in the installation of automated manufacturing systems. This paper discusses the development of a control system for heterarchical architecture and a simulator to verify operations of the control system. The object-oriented paradigm that has excellent reusability, portability, and extensibility is currently being used in many application fields as a software development methodology. Especially, UML(Unified Modeling Language), the third generation object-oriented modeling methodology, has advantages such as model generalization, clearness, and so on. In this research, software objects to accomodate the real time environments of automated manufacturing systems are modeled with the diagrams of UML. Based on these models, control software is developed as a format of pseudo-codes. A simulator is implemented to validate the developed control system.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.4
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• 한국IT서비스학회:학술대회논문집
• /
• 2008.05a
• /
• pp.529-534
• /
• 2008

국제 전자거래 표준 언어인 ebXML은 비즈니스 프로세스의 모델링과 구현이 독립되어 있다. 특히 ebXML의 비즈니스 프로세스 구현 언어는 UML (Unified Modeling Language)기반의 BPSS (Business Process Specification Schema)에서 BPMN (Business Process Modeling Notation)기반의 ebBP (ebXML Business Process Specification Schema)로 변경되었다. ebXML은 단일화된 e-비즈니스 시장의 형성을 목표로 하고 있다. 따라서 ebBP가 비즈니스 프로세스 모델링으로 표현되는 다양한 업무 흐름을 지원 할 수 있는지 ebBP의 코레오그라피(Choreography) 표현 능력을 평가하는 것은 중요한 문제이다. 본 논문에서는 ebBP의 표현력을 워크플로우 패턴 입장에서 기존의 BPSS와 비교한다. 이 분석을 토대로 비즈니스 프로세스 모델에서 ebBP로 변환하는 방법을 제시한다.