• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.8 no.4
• /
• pp.254-259
• /
• 2008

Uncertainty of result of context awareness always exists in any context-awareness computing. This falling-off in accuracy of context awareness result is mostly caused by the imperfectness and incompleteness of sensed data, because of this reasons, we must improve the accuracy of context awareness. In this article, we propose a novel approach to model the uncertain context by using ontology and context reasoning method based on Bayesian Network. Our context aware processing is divided into two parts; context modeling and context reasoning. The context modeling is based on ontology for facilitating knowledge reuse and sharing. The ontology facilitates the share and reuse of information over similar domains of not only the logical knowledge but also the uncertain knowledge. Also the ontology can be used to structure learning for Bayesian network. The context reasoning is based on Bayesian Networks for probabilistic inference to solve the uncertain reasoning in context-aware processing problem in a flexible and adaptive situation.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.473-476
• /
• 2001

최근 기존 정보시스템에 고객이나 사용자의 다양한 요구사항이나 기업의 환경 변화를 반영하여 새로운 정보시스템으로 재구축하는 경향을 보이고 있다. 이를 통해 기업들에서 경쟁 우위를 선점함으로써 보다 우세한 경쟁력을 갖출 수 있다. 본 논문에서는 정보시스템 재구축을 위한 프로세스 모델링(Process Modeling)과 데이터 모델링(Data Modeling)을 체계적으로 수행하는 방안을 제시하고, 이를 실제로 적용한 사례를 보여준다. 정보시스템의 전체적인 관점에서의 요구사항 및 기존 정보시스템의 미비사항을 분석하여 정보화 대상을 추출하는 프로세스 모델 분석(Process Model Analysis) 단계와 정보화 대상을 개념 모델로 전환하는 논리 데이터 모델링(Logical Data Modeling) 단계, 실제 컴퓨터에 저장하여 사용하는 물리 데이터 모델링(Physical Data Modeling) 단계로 구성된다.

• Journal of KIBIM
• /
• v.12 no.3
• /
• pp.30-38
• /
• 2022

Railway is compsed in various components, such as subgrade, track bed, sleeper, rail, and overhead line, on a linear space. Therefore, comprehensive work for various design standards and guidelines is required when designing a railway facility. For this reason, much time and effort are required to review the relevant design standards and guidelines. While, automatic legal check system for BIM models has been developed in the architectural engineering, it has not been developed in the railway engineering. This study reviews the korean design standard and the korean code for railway engineering, and suggests some rule items of logical information. Comparing the suggested rule items to the railway BIM library, items of logical information and additional attribute information are obtained. The analysis results of railway design standards and BIM library presented in this study would be utilized for defining rule-set items that is essential for development of the automatic legal check system for railway BIM models.

• Korean Management Science Review
• /
• v.14 no.1
• /
• pp.87-105
• /
• 1997

There have been lots of research on temporal data management for the past two decades. Most of them are based on some logical data model, especially on the relational data model, although there are some conceptual data models which are independent of logical data models. Also, many properties or issues regarding temporal data models and temporal query languages have been studied. But some of them were shown to be incompatible, which means there could not be a complete temporal data model, satisfying all the desired properties at the same time. Many modeling issues discussed in the papers, do not have to be done so, if they take object-oriented data model as a base model. Therefore, this paper proposes a temporal data model, which is based on the object-oriented data model, mainly discussing the most essential issues that are common to many temporal data models. Our new temporal data model and query language will be illustrated with a small database, created by a set of sample transaction.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.14 no.1
• /
• pp.87-87
• /
• 1989

There have been lots of research on temporal data management for the past two decades. Most of them are based on some logical data model, especially on the relational data model, although there are some conceptual data models which are independent of logical data models. Also, many properties or issues regarding temporal data models and temporal query languages have been studied. But some of them were shown to be incompatible, which means there could not be a complete temporal data model, satisfying all the desired properties at the same time. Many modeling issues discussed in the papers, do not have to be done so, if they take object-oriented data model as a base model. Therefore, this paper proposes a temporal data model, which is based on the object-oriented data model, mainly discussing the most essential issues that are common to many temporal data models. Our new temporal data model and query language will be illustrated with a small database, created by a set of sample transaction.

• Journal of Korean Institute of Industrial Engineers
• /
• v.37 no.2
• /
• pp.96-104
• /
• 2011

Modeling and simulation of human-involved complex systems pose challenges to representing human decision makings into logical systems because of the nondeterministic and dynamic nature of human behaviors. In modeling perspectives, human's activities in systems can increase uncertainty and complexity, because he or she can potentially access all other resources within the system and change the system states. To address all of these human involvements in the system, this research suggests applying the Finite State Automata (FSA)-based formal modeling of human-involved systems that incorporates the ecological concept of affordances to an evacuation simulation, so that human behavioral patterns under urgent and dynamic emergency situations can be considered in the real-time simulation. The proposed simulation methodologies were interpreted using the warehouse fire evacuation simulation to clarify the applicability of the proposed methodology. This research is expected to merge system engineering technologies and human factors, and come out to the new predictive modeling methodology for disaster simulations. This research can be applied to a variety of applications such as building layout designs and building access control systems for emergency situations.

• Journal of the Korean Solar Energy Society
• /
• v.30 no.3
• /
• pp.65-70
• /
• 2010

As for the present wind power industry, most of the computerization for monitoring and control is based on the traditional development methodology, but it is necessary to improve SCADA system since it has a phenomenon of backlog accumulation in the applicable aspect of back-data as well as in the operational aspect in the future. Especially for a system like offshore wind power where a superintendent cannot reside, it is desirable to operate a remote control system. Therefore, it is essential to establish a monitoring system with appropriate control and monitoring inevitably premised on the integrity and independence of data. As a result, a study was carried out on the modeling of offshore wind power data-centered database. In this paper, a logical data modeling method was proposed and designed to establish the database of offshore wind power. In order for designing the logical data modeling of an offshore wind power system, this study carried out an analysis of design elements for the database of offshore wind power and described considerations and problems as well. Through a comparative analysis of the final database of the newly-designed off-shore wind power system against the existing SCADA System, this study proposed a new direction to bring about progress toward a smart wind power system, showing a possibility of a service-oriented smart wind power system, such as future prediction, hindrance-cause examination and fault analyses, through the database integrating various control signals, geographical information and data about surrounding environments.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.982-986
• /
• 2005

Digital Manufacturing is a technology to facilitate effective product developments and agile productions by digital environments representing the physical and logical schema and the behavior of real manufacturing system including manufacturing resources, processes and products. A digital virtual factory as a well-designed and integrated environment is essential for successful applications of this technology. In this research, we constructed a sophisticated digital virtual factory by measuring and 3-D CAD modeling using parametric methods. Specific parameters of each objects were decided by object-oriented schema of the digital factory. It is expected that this method is very useful for constructions of a digital factory, and helps to manage diverse information and re-use 3D models.

• IE interfaces
• /
• v.18 no.1
• /
• pp.94-103
• /
• 2005

Digital Manufacturing is a technology to facilitate effective product developments and agile productions by digital environments representing the physical and logical schema and the behavior of real manufacturing system including manufacturing resources, processes and products. A digital factory as a well-designed and integrated environment is essential for successful applications of this technology. In this research, we constructed a sophisticated digital factory of an automotive company’ general assembly shop by measuring and 3-D CAD modeling using parametric methods. Specific parameters of each objects were decided by object-oriented schema of the general assembly shop. It is expected that this method is very useful for constructions of a digital factory, and helps to manage diverse information and re-use 3D models.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2684-2686
• /
• 2000

This paper describes a preliminary study on a modeling technique for control performance evaluation of asynchronous TMR(Triple Modular Redundancy) controller. Hybrid system modeling is applied to TMR controller performance evaluation and mixed logical dynamical system description is used to model the behavior of majority voter in the controller. Windup and bumpless transfer problems in redundancy controls are also mentioned.