• Journal of Internet Computing and Services
• /
• v.13 no.1
• /
• pp.99-106
• /
• 2012

It is an important and a difficult task to analyze external inputs and interactions between objects for designing and modeling a reactive system consisting of multiple object. Also the reactive system is required huge efforts on confirm it can satisfy requirements under all possible circumstances. In this paper, we build from requirements to a scenario-based specification model using LSC(Live Sequence Chart) extending MSC(Message Sequence Chart) with richer syntax and semantic. Then the reactive system model satisfying all requirements for each object in this system can be automatically created through LTL Synthesis. Finally, we propose a method of reactive system development by iterative process transforming a reactive system model to codes.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.37 no.4
• /
• pp.212-217
• /
• 2014

Recently, Korea Air Force has been facing a lot of problems in its pilot training system such as training time shortage due to the expensive gas price, noise pollution and difficulties in finding airspace for training. To tackle these problems, a new training system (called L-V training system) using both aircraft and its simulator has been suggested. In the system, a data link is established between aircraft and simulator to exchange their flight information. Using the flight information of simulator, aircraft can perform various air missions with or against imaginary aircraft (i.e., simulator). For this system, it is crucially important that fair fighting condition has to be guaranteed between aircraft and simulator. In this paper, we suggested an approach to impose a maneuvering restriction to simulator in order to provide fair fighting condition between aircraft and simulator.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.18 no.3
• /
• pp.326-334
• /
• 2015

This paper describes the verification and the validation about the development of the integrated interoperability system for live, virtual, and constructive simulations on the aircraft weapon system. The proposed integrated interoperability system provides the framework and application softwares for implementing a synthetic environment emulating real-world environment among distributed simulation models, which are a mission model and an air combat model of a constructive level, an tactical simulator of a virtual level, and simulated ACMI of a live level. In this paper, we verify requested functions through an developmental test and evaluation, and validate operability and usability through conducing integrated LVC scenarios on the integrated interoperability system.

• Journal of the Korean Society of Radiology
• /
• v.12 no.7
• /
• pp.845-852
• /
• 2018

This study aimed to investigate the difference of X-ray exposure by comparing and analyzing absorbed dose according to changes in the number of frames in coronary angiography, also depending whether the zoom mode is FOV enlargement or Zoom Live. Moreover, for appropriate frame selection measures for examination, including the effect of frame change on the image quality, were sought by measuring the noise strength expressed by the standard deviation (SD), the signal to noise ratio (SNR) and contrast to noise ratio (CNR). The study was conducted with an anthropomorphic phantom on an angio-system. The linear relationship between the frame rate and the radiation dose was evident. On the contrary, the indices of image quality (SD, SNR, and CNR) were almost constant irrespective of the number of frames. The difference depending on the zoom mode was not statistically significant for DAP, air kerma, and SD (p > 0.05). However, SNR and CNR were statistically different between FOV enlargement and Zoom Live. In conclusion, since the image quality was not degraded significantly with the decreasing frame rate from 30, 15, to 7.5 f/s and the radiation dose evidently decreases in almost exactly linear proportion to the decreasing frame rate, the number of frames per second needs to be maintained as low as reasonably achievable. As for the dependence on the zooming mode, the Live Zoom mode showed statistically significant improvement in the image quality indices of SNR and CNR and it justifies active use of the Live Zoom mode which enables real-time image enlargment without additional radiation dose.

• Journal of the Korea Convergence Society
• /
• v.8 no.9
• /
• pp.231-236
• /
• 2017

This study analyzes the characteristics of mobile live streaming service, the illegal and harmful information characteristics of mobile live streaming service for the purpose of eradicating illegal and harmful broadcasting, and shows illegal and harmful broadcast on the mobile live streaming service and eradication plan. First, we reviewed the mobile live streaming service, illegal and harmful broadcasts through literature review, and secondly surveyed illegal and harmful broadcasts of mobile live streaming services and their awareness and countermeasures. As a result, it is confirmed that the mobile live streaming service is illegal, harmful broadcasting exposure frequency is high, illegal, and harmful broadcasting exposure is caused by characteristics of real time broadcasting rather than user's. In order to eradicate the illegal and mobile information about the mobile live streaming service, it is necessary to fix the illegal service and harmful broadcasting reporting system, but the government has confirmed the requirements for regulatory measures. From a microscopic point of view, it will be necessary to investigate the illegal use of mobile live streaming services and the eradication of harmful information.

• International journal of steel structures
• /
• v.18 no.4
• /
• pp.1252-1264
• /
• 2018

Long span bridges such as steel cable stayed and suspension bridges are usually more flexible than short to medium span bridges and expected to have large deformations. Deflections due to live load for long span bridges are important since it controls the overall heights of the bridge for securing the clearance under the bridge and serviceability for securing the comfort of passengers or pedestrians. In case of sea-crossing bridges, the clearance of bridges is determined considering the height of the ship master from the surface of the water, the trim of the ship, the psychological free space, the tide height, and live load deflection. In the design of bridges, live load deflection is limited to a certain value to minimize the vibrations. However, there are not much studies that consider the live load deflection and its effects for long span bridges. The purpose of this study is to investigate the suitability of live load deflection limit and its actual effects on serviceability of bridges for steel cable-stayed and suspension bridges. Analytical study is performed to calculate the natural frequencies and deflections by design live load. Results are compared with various design limits and related studies by Barker et al. (2011) and Saadeghvaziri et al. (2012). Two long span bridges are selected for the case study, Yi Sun-Sin grand bridge (suspension bridge, main span length = 1545 m) and Young-Hung grand bridge (cable stayed bridge, main span length = 240 m). Long-term measured deflection data by GNSS system are collected from Yi Sun-Sin grand bridge and compared with the theoretical values. Probability of exceedance against various deflection limits are calculated from probability distribution of 10-min maximum deflection. The results of the study on the limitation of live load deflection are expected to be useful reference for the design, the proper planning and deflection review of the long span bridges around the world.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.10 no.3
• /
• pp.343-347
• /
• 1998

The objective of this study is to manufacture the low temperature waterless container that is compact and low cost for a live fish transportation. Using the low temperature water container, it makes observations on the optimal conditions such as the amount of dissolved oxygen, total ammonia and nitrite in seawater for determining the survival rate of live fish in short and long-term transportation. Using a sole as a live fish, the temperatures of $0^{\circ}C$, 3$^{\circ}C$, 5$^{\circ}C$, 7$^{\circ}C$, 15$^{\circ}C$ were controled for there effects. The results of this investigation show that as the seawater temperature increased, the amount of oxygen decreased and there was a low temperature shock below 3$^{\circ}C$. It was observed that the fish was died with 30$m\ell/\ell$of ammonia. The optimal temperature is about 5$^{\circ}C$ for live fish transportation to maintain best survival rate.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.9
• /
• pp.401-406
• /
• 2016

When measuring live cable faults and their location based on reflectometry, a coupler is placed between the cable and the test system. This coupler prevents damage to the test circuits by indirectly measuring the live voltage of the cable using reflectometry. It also provides a coupling path that allows the transmission and receive signal to pass into the cable. In this study, we design and construct a contact coupler to locate faults in both dead and live cables using reflectometry. The proposed coupler is of the inductive coupling type and is constructed after the calculation of the signal transmission loss by simulation. The performance of the developed coupler is tested by measuring the transmission loss and frequency flatness. The results showed that the transmission signal loss is less than -1.98dB in the frequency bandwidth above 1 Mhz. The reflectometry system was designed based on sequence time domain reflectometry (STDR) and spread spectrum time domain reflectometry (SSTDR) in order to apply it to the detection of faults and their location in live cables and tests on live cables were performed. The test results showed that the proposed coupler can be used in a reflectometry system for live cable fault detection.

• Clinical and Experimental Reproductive Medicine
• /
• v.48 no.2
• /
• pp.174-183
• /
• 2021

Objective: The aim of this study was to compare the pregnancy outcomes of in vitro fertilization with embryo transfer between embryos cultured in a time-lapse monitoring system (TLS) and those cultured in a conventional incubator (CI). Methods: The medical records of 250 fertilized embryos from 141 patients undergoing infertility treatment with assisted reproductive technology at a tertiary hospital from June 2018 to May 2020 were reviewed. The study population was divided into TLS and CI groups at a 1 to 1 ratio (125 embryos per group). The primary outcome was the live birth rate. Results: The TLS group had a significantly higher clinical pregnancy rate (46.4% vs. 27.2%, p=0.002), implantation rate (27.1% vs. 12.0%, p=0.004), and live birth rate (32.0% vs. 18.4%, p=0.013) than the CI group. Furthermore, subgroup analyses of the clinical pregnancy rate and live birth rate in the different age groups favored the TLS group. However, this difference only reached statistical significance in the live birth rate in women aged over 40 years and the clinical pregnancy rate in women aged 35-40 years (p=0.048 and p=0.031, respectively). The miscarriage rate, cleavage rate, and blastocyst rate were comparable. Conclusion: TLS application improved the live birth rate, implantation rate, and clinical pregnancy rate, particularly in the advanced age group in this study, while the other reproductive outcomes were comparable. Large randomized controlled trials are needed to further explore the ramifications of these findings, especially in different age groups.

• The Journal of the Convergence on Culture Technology
• /
• v.8 no.6
• /
• pp.959-969
• /
• 2022

This study aims to explore the effect of quality factors and customer involvement on users' intention to purchase in the live-commerce context. For this purpose, statistical methods such as reliability test, factor analysis, ANOVA, regression analysis were carried out using the survey data from live-commerce users. The quality factors of live-commerce were classified into contents, system, service, and show host characteristics, and customer involvement was analyzed by dividing it into product involvement and service involvement. The results showed that each quality factor of live-commerce had a significant positive effect on the intention to purchase. On the other hand, customer product involvement had a significant moderating effect on content and system quality, service involvement had a significant moderating effect on service and show host characteristics. The degree of each quality factor on intention to purchase was higher as customer involvement was higher. Theoretical and practical implications were drawn from these findings.