• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.25 no.1
• /
• pp.1-10
• /
• 2017

A heavy foggy event accompanying with complex coastal fog was investigated in this study. This heavy foggy event occurred on FEB 11, 2015. Due to reduced visibility with this foggy event induced more than 100times serial traffic accidents over the Young-jong highway, and Flights from 04:30 AM to 10:00 AM were cancelled on Inchon International Airport. This heavy foggy event was occurred in synoptic and mesoscale environments but dense coastal fog were combined with a combination of sea fog, steam fog, and radiation fog. This kind of coastal fog can predicted by accurate analysis of the direction of the air flow, sea surface temperature(SST), and 925hPa isotherms from numerical weather prediction charts and real time analysis charts.

• Korean Journal of Agricultural Science
• /
• v.43 no.1
• /
• pp.1-13
• /
• 2016

Climate changes are shifting the perception of C4 photosynthetic crops due to their superior adaptability to harsh conditions. The tribe Andropogoneae includes some economically important grasses, such as Zea mays, Sorghum bicolor, Miscanthus spp., and Saccharum spp., representing C4 photosynthetic grasses. Although the Andropogoneae grasses diverged fairly recently, their genomic structures are remarkably different from each other. As previously reported, the family Poaceae shares the pan-cereal duplication event occurring ca. 65 MYA. Since this event, Sorghum bicolor has never experienced any additional duplication event. However, some lineage-specific duplication events were reported in Z. mays and Saccharum spp., and, more recently, it was revealed that a shared allotetraploidization event occurred before the divergence between Miscanthus and Saccharum (but after the divergence from S. bicolor), which provided important clues to those two species having large genome sizes with complicated ploidy numbers. The complex genomic structures of sugarcane and Miscanthus (defined as the Saccharum complex along with some other taxa) have had a limiting effect on the use of their molecular information in breeding programs. For the last decade, genomics-associated technologies have become an important tool for molecular crop breeding (genomics-assisted breeding, GAB), but it has not been directly applied to sugarcane and Miscanthus due to their complicated genome structures. As genomics research advances, molecular breeding of those crops can take advantage of technical improvements at a reasonable cost through comparative genomic approaches. Active genomic research of non-model species using closely related model species will facilitate the improvement of those crops in the future.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.6
• /
• pp.2256-2262
• /
• 2010

The requirements for automated handing of business process and its monitoring usually have a proprietary form for each enterprise. Unlike the conventional database transaction, business process takes long time for its completion and incorporates very complex handling logics along with business situations. Since those handling logics are frequently changing in accordance with the business policies or environment, enterprises want to integrally capture the whole business semantics while monitoring those process instances. In this paper, we adopted GMA(Grid Monitoring Architecture) for the integrated monitoring of business processes. The GMA(Grid Monitoring Architecture) is a very scalable architecture to effectively monitor and manage monitoring information under the heterogeneous environment. By introducing complex event handling features into GMA to support various processing logics, we could implement a system that enables automated execution and high-level monitoring of business processes.

• Journal of the Korea Safety Management & Science
• /
• v.2 no.4
• /
• pp.91-102
• /
• 2000

Nowadays, every kind of system is changed so complex and enormous, it is necessary to assure system reliability, product liability and safety. Fault tree analysis(FTA) is a reliability/safety design analysis technique which starts from consideration of system failure effect, referred to as “top event”, and proceeds by determining how these can be caused by single or combined lower level failures or events. So in fault tree analysis, it is important to find the combination of events which affect system failure. Minimal cut sets(MCS) and minimal path sets(MPS) are used in this process. FTA-I computer program is developed which calculates MCS and MPS in terms of Gw-Basic computer language considering Fussell's algorithm. FTA-II computer program which analyzes importance and function cost of VE consists. of five programs as follows : (l) Structural importance of basic event, (2) Structural probability importance of basic event, (3) Structural criticality importance of basic event, (4) Cost-Failure importance of basic event, (5) VE function cost analysis for importance of basic event. In this study, a method of initiation such as failure, function and cost in FTA is suggested, and especially the priority rank which is calculated by computer-aided decision analysis program developed in this study can be used in decision making determining the most important basic event under various conditions. Also the priority rank can be available for the case which selects system component in FMEA analysis.

• Journal of Sport and Applied Science
• /
• v.3 no.1
• /
• pp.1-14
• /
• 2019

Numerous types of sporting events have been hosted in Korea during the last decades. Sport events produce various types of data, and there is a clear necessity of storing and utilizing this information. From this background, the purpose of this study is to draw complex sports categories from international sport events life cycles in order to categorize standards of knowledges management system. This study utilized qualitative methods: expert groups discussion for overall life cycle steps and in-depth interviews for detail life cycle steps. The results show that there are several life cycle steps: bidding, preparation, operation, evaluation, post management steps. To be more specific, for the bidding step, there are check, plan, implementing detail phase; and the preparation step is based on event preparation Basis Build, event preparation implementation, test and supplementation phases. For the operation step, event operation system switch, event operation during the period, finish operation phases are deducted. Evaluation and post management step do not have detail phases. Efforts to store and utilize knowledge can be one of the starting points to make the operation of sport events efficiently.

• International Journal of Advanced Culture Technology
• /
• v.11 no.2
• /
• pp.196-201
• /
• 2023

The future is complex and unpredictable. In particular, it is unlikely to occur, but once it occurs, no one knows how it will affect our society if X-event, which has a tremendous impact, is created. This study was conducted only in the climate field to offset the ripple effect of this X-event, and was conducted through in-depth interviews with experts from the Korea Army Research Center for Future & Innovation and the Army College. As a result, it was possible to explore what factors would trigger X-event from their discourse and what X-event would be newly created by spreading them to other fields. Starting with this study, if we accumulate the discourse of experts in various fields such as population, science and technology, as well as climate, and other fields other than the Army, we can predict X-event and offset the threats that may arise.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.137-147
• /
• 2013

The RFID(Radio Frequency Identification) and the WSN(Wireless Sensor Network) have technical similarities and mutual effects, they have been recognized to be studied separately, and sufficient studies have not been conducted on the technical integration of the RFID and the WSN. Therefore, EPC global which realized the issue proposed the EPC(Electronic Produce Code) Sensor Network to efficiently integrate and interoperate the RFID and WSN technologies based on the international standard EPC global network. The proposed EPC Sensor Network technology uses the Complex Event Processing method in the middleware to integrate data occurring through the RFID and the WSN in a single environment and to interoperate the events based on the EPC global network. However, as the EPC Sensor Network technology continuously performs its operation even in the case that the minimum conditions are not to be met to find complex events in the middleware, its operation cost rises. Therefore, to address the problems of the existing system, we defined the minimum conditions of the complex events to detect unnecessary complex events in the middleware, and proposed an algorithm that can extract complex events only when the minimum conditions are to be met. To examine the minimum conditions, a index and a query index are used to extract complex events. To evaluate the performance of the proposed methods, In the case of the method of extracting complex events based on a bitmap index, we used the existing extraction method and NS2 simulation to evaluate its performance and thus to show its good performance in terms of the number of operation and the processing time for the complex events.

• Asian Pacific Journal of Cancer Prevention
• /
• v.16 no.9
• /
• pp.4045-4049
• /
• 2015

Objective: To investigate the effect of coenzyme complex on decreasing cardiotoxicity in elderly patients with gastrointestinal cancer who were treated by chemotherapy. Methods: From September 2011 to February 2015, we recruited 54 elderly (with more than 70 years of age) patients with gastrointestinal cancer, with advanced disease. Then treated with chemotherapy combined with or without coenzyme complex. After two cycles of treatment, the effect of coenzyme complex on decreasing cardiotoxicity were evaluated. Results: Chemotherapy was combined with coenzyme complex in 32 patients (22man, 10 woman; median age: 74 years, range: 70-87 years) without coenzyme complex in 22 patients (15man, 7 woman; median age: 73 years, range: 70-80 years) with gastrointestinal cancer. Cardiac event was significantly lower in patients treated with chemotherapy combined with coenzyme complex (p<0.01). Conclusions: Coenzyme Complex decreased cardiotoxicity when combined with chemotherapy in treating elderly patients with gastrointestinal cancer.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.5
• /
• pp.375-383
• /
• 2001

As many industrial systems become more complex, it becomes extremely difficult to diagnose the cause of failures. This paper presents a failure diagnosis approach based on discrete event system theory. In particular, the approach is a hybrid of event-based and state-based ones leading to a simpler failure diagnoser with supervisory control capability. The design procedure is presented along with a pump-valve system as an example.