• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.16 no.1
• /
• pp.117-130
• /
• 2017

Bicycles are leading to serious accidents in the event of a side collision, and it is very important to prevent accidents in advance because it is difficult to actively deal with them in a dangerous situation. As a part of the bicycle safety driving support technology, this study establishes bicycle accidents dangerous zone based on bicycle accident data and road property information of digital map nationwide and provides timely safety information to cyclists. The point selected by using actual accident data was called 'dangerous zone', and the potential accident occurrence point generated by modeling based on this 'dangerous zone' was called 'logical dangerous zone'. As a result of the research on the Designation of Logical Bicycle Accident Dangerous Zone, the regional specificity of the bicycle accident points across the nation was generalized to the form of the logical dangerous zone through the network data.

• Journal of the Society of Naval Architects of Korea
• /
• v.39 no.3
• /
• pp.75-80
• /
• 2002

In these days of severe struggle for existence, the world has changed a great deal to global and digital oriented period. The enterprises try to introduce new management and production system to adapt such a change. But, if the only new technologies are applied to an enterprise without definite analysis about manufacturing, failure fellows as a logical consequence. Hence, enterprise must analyze manufacturing system definitely and needs new methodologies to mitigate risk. This study suggests that the new approach, which is systems approach for process improvement, is organized to systems analysis, systems diagnosis, and systems verification. Systems analysis analyzes manufacturing systems with object-oriented methodology-UML(Unified Modeling language) from a point of product, process, and resource view. Systems diagnosis identifies the constraints to optimize the system through scientific management or TOC(Theory of constraints). Systems verification shows the solution with virtual manufacturing technique applied to the core problem which emerged from systems diagnosis. This research shows the artifacts to improve the productivity with the above methodology applied to forming shop. UML provides the definite tool for analysis and re-usability to adapt itself to environment easily. The logical tree of TOC represents logical tool to optimize the forming shop. Discrete event simulator-QUEST suggests the tool for making a decision to verify the optimized forming shop.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.172-180
• /
• 2011

When it essentially designs and develops the Railway Signal System H/W and S/W, It requires base to build an environment which the safety of the complete system can be certified objectively. It is not rational choice to progress the safety certification of each of the subsystems to ensure reliability from an economic point of view. Furthermore, Even though H/W and S/W already certificated the safety, In case of changing subsystem to comprise relevant system, The safety certification of its parts newly must proceed. This study to solve these problems covers safety H/W platform which is commonly applicable to composition plan at Ground railway signaling systems such as CBTC, ETCS, CBI and safety-based modeling approach with S/W development tools (SCADE) and certificated O/S (Pike) to build the development environment. In addition, When it designs and develops safety S/W, This study explains structure to separate the data section which for logical operations and logical operations itself and provides guideline to support the certification through minimizing changes to the software.

• Korean Journal of Child Studies
• /
• v.36 no.4
• /
• pp.91-110
• /
• 2015

In upper elementary period school adjustment and the effect of parenting face a new set of dynamics. We assumed that parental supervision, affection, incoherence, over-expectation, over-interruption and logical explanation would have an effect on individual trajectories in the development of school adjustment. Additionally, we hypothesized that this model would be different among boys and girls. In this study we analyzed three waves of data collected from 2,378 children nationwide in South Korea. This data was gathered from the Panel Study of Korean Youth and Adolescents conducted by the National Youth Policy Institute(NYPI). Growth-curve longitudinal analysis was conducted and the results indicate that levels of school adjustment had decreased through the $4^{th}$ to $6^{th}$ grade. Parents' supervision, affection and logical explanation significantly predict children's initial school adjustment as well as their rate of decrease in their levels of school adjustment. Parents' supervision had a positive effect on girls' school adjustment. Parents' over-expectation had negative effect on boys' school adjustment levels. Policy implications and future directions for research were also discussed.

• Journal of Information Technology Services
• /
• v.14 no.3
• /
• pp.33-48
• /
• 2015

Recently, many users frequently share their opinions on diverse issues using various social media. Therefore, many governments have attempted to establish or improve national policies according to the public opinions captured from the various social media. In this paper, we indicate several limitations of traditional approaches for analyzing public opinions about science and technology and provide an alternative methodology to overcome the limitations. First of all, we distinguish science and technology analysis phase and social issue analysis phase to reflect the fact that public opinion can be formed only when a certain science and technology is applied to a specific social issue. Next, we apply a start list and a stop list successively to acquire clarified and interesting results. Finally, to identify most appropriate documents fitting to a given subject, we develop a new concept of logical filter that consists of not only mere keywords but also a logical relationship among keywords. This study then analyzes the possibilities for the practical use of the proposed methodology thorough its application to discovering core issues and public opinions from 1,700,886 documents comprising SNS, blog, news, and discussion.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.4
• /
• pp.231-237
• /
• 2015

However XML languages can logically define the type of structure with their's own grammar, it is inadequate to use them as a tool for conceptual model that represents the semantics of data and the relationships between the data in the real world. In this paper, we propose conceptual modeling techniques, called CMXML, for modeling the XML schema at the conceptual level. For this purpose, we define the model formally, and provide a way to represent the model in a graphical and text form. We also propose an mapping methodology providing transformation from CMXML to XML schema to show the feasibility of the proposed model.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.1
• /
• pp.157-163
• /
• 2015

XML has become one of the most influential standard language for representing and exchanging data on internet. However, XML itself has a ability to represent a logical structure for storing and managing data, it is inadequate to use as a conceptual modeling tool because of its complexity for representing the document structures. In this paper, we propose the graphical form of conceptual modeling techniques for representing the structure of the XML schema documents using an extended entity relationship diagram. For this, extended entity relationship model is presented for representing the XML schema structure, transformation rules are presented for transforming extended entity relationship model into XML schema document to show the completeness of the proposed model.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.8 no.6
• /
• pp.1-11
• /
• 1998

In this work, we propose a modeling method based on an artifical intelligence technique for a stem generator in a nuclear power plant. Modeling the steam generator is known to be difficult due to several facts; especially, the dynamics of the steam generator is nonminimum phase which is mainly caused by the swell and shrink phenomena from thermal effects. In order to overcome this difficulty, we adopt so-called logic processor whose structure itself has a logical meaning to be easily established and also efficiently learned. Such a manner, we could derive an useful model simulating the dynamics of the steam generator in a nuclear power plant.

• Journal of Korea Multimedia Society
• /
• v.7 no.3
• /
• pp.293-307
• /
• 2004

The SMIL(Synchronized Multimedia Integration Language) documents are represented as logical structure information, spatial layout structure information, temporal synchronization structure information and hyperlink structure information, according as the structural characteristics of SMIL documents based on XML. This paper proposes the effective modeling and query method for the multi -structure information of inherent SMIL documents. In particular, we present the object-oriented modeling by using UML class diagram in order to represent the objects classes for the structured information of SMIL documents, and the hierarchical structure and the relationships for the objects classes. In addition, the objects classes definition is specified in compliance with SQL3 for database standard language. We also propose the access method and the query representation for hierarchical structure in order to retrieve efficiently the structural objects of SMIL documents.

• The KIPS Transactions:PartD
• /
• v.10D no.7
• /
• pp.1189-1196
• /
• 2003

Owing to the developed If industry, many people are more and more interested in Workflow which is an automated business processing system. In this paper, we present basic structures and various parallel processing structures of a workflow using EMFG (Extended Mark Flow Graph) that makes conceptional design available. And then, We design a workflow with EMFG. We propose the commitability verification method to check whether a workflow can complete or not and the logical bug verification method to find whether invalid components exist or not by using simulation result of it. The proposed EMFG modeling and analysis method for a workflow make it possible to become a visual and formal design. Also, it makes intuitional and mathematical analysis possible.