• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• Journal of Forest and Environmental Science
• /
• v.33 no.4
• /
• pp.342-347
• /
• 2017

Since the first report of the oak wilt disease at 2004 in Korea, the disease distributed over Korean peninsula and are still giving severe damages. The management of oak wilt disease in Korea has mainly focused on the control of insect vector, Platypus koryoensis. Neverthless the effective method for evaluating the pathogenicity of the pathogen, Raffaelea quercus-mongolicae (Rqm), and for screening chemical or biological agents with strong inhibitory activity against the pathogen, is absolutely necessary, an reliable method is not available so far. This study was conducted to develop the effective method for evaluating the pathogenicity of Rqm in oak trees. The culture suspensions of Rqm were artificially injected to the saplings of Quercus acutissima by using ChemJet tree injector. Three months after treatments, the treated saplings were cut and dipped into 1% fuchsin acid solution. There were significant differences in non-conductive area (%), discoloration area (%) and vertical discoloration length between the pathogen-injected and distilled water-injected control treatments. These results indicated that the pathogen is the causal agent for the dysfunction of water conductive tissue, which will finally result in wilt symptom. Re-isolation of the pathogen and PCR detection using specific primers for the pathogen also confirmed the presence of Rqm in the sapwood chips of the pathogen-injected saplings. These observations would be greatly applied to other related researches for evaluating the pathogenicity of tree wilt pathogens and biocontrol efficacy of the selected antagonistic microorganisms, in case that the wilt symptom is not easily shown by artificial inoculation of the causal agent.

• Food Science and Biotechnology
• /
• v.18 no.3
• /
• pp.641-648
• /
• 2009

A one-step simultaneous immunchromatographic (OS-ICG) assay using colloidal gold-monoclonal antibody (gold-MAb) conjugates was developed for the rapid multianalysis of aflatoxin B1 (AFB1) and ochratoxin A (OTA) in feed samples. Visual detection limits for AFB1 and OTA were 0.5 and 2.5 ng/mL, respectively, and the results were obtained within 15 min. Matrix interference from the feed extracts was efficiently reduced by appropriate dilution with buffer. Cut-off values of the OS-ICG assay for the feed spiked with AFB1/OTA mixtures (5/5, 10/10, 25/25, 50/55, 100/100 ${\mu}g/kg$) were 10 and 50 ${\mu}g/kg$ for AFB1 and OTA. The comparative analyses of 65 feed samples by OS-ICG, enzyme-linked immunosorbent assay (ELISA), and high performance liquid chromatography (HPLC) showed good agreement. In this study, we confirmed that simultaneous analysis based on immunoassay is possible and it can be used as an on-site multianalysis of AFB1 and OTA in feed, food, and agricultural products.

• Journal of Communications and Networks
• /
• v.15 no.6
• /
• pp.559-568
• /
• 2013

We report on the first error-free terahertz (THz) wireless communication at 0.310 THz for data rates up to 8.2 Gbps using a 18-GHz-bandwidth GaAs/AlGaAs field-effect transistor as a detector. This result demonstrates that low-cost commercially-available plasma-wave transistors whose cut-off frequency is far below THz frequencies can be employed in THz communication. Wireless communication over 50 cm is presented at 1.4 Gbps using a uni-travelling-carrier photodiode as a source. Transistor integration is detailed, as it is essential to avoid any deleterious signals that would prevent successful communication. We observed an improvement of the bit error rate with increasing input THz power, followed by a degradation at high input power. Such a degradation appears at lower powers if the photodiode bias is smaller. Higher-data-rate communication is demonstrated using a frequency-multiplied source thanks to higher output power. Bit-error-rate measurements at data rates up to 10 Gbps are performed for different input THz powers. As expected, bit error rates degrade as data rate increases. However, degraded communication is observed at some specific data rates. This effect is probably due to deleterious cavity effects and/or impedance mismatches. Using such a system, realtime uncompressed high-definition video signal is successfully and robustly transmitted.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.11C
• /
• pp.1518-1526
• /
• 2004

In this paper, an algorithm using wavelet transform for detecting a cut that is a radical scene transition point, and fade and dissolve that are gradual scene transition points is proposed. The conventional methods using wavelet transform for this purpose is using features in both spatial and frequency domain. But in the proposed algorithm, the color space of an input image is converted to YUV and then luminance component Y is transformed in frequency domain using 2-level lifting. Then, the histogram of only low frequency subband that may contain some spatial domain features is compared with the previous one. Edges obtained from other higher bands can be divided into global, semi-global and local regions and the histogram of each edge region is compared. The experimental results show the performance improvement of about 17% in recall and 18% in precision and also show a good performance in fade and dissolve detection.

• Korean Journal of Community Nutrition
• /
• v.11 no.6
• /
• pp.779-784
• /
• 2006

Several studies about hospital malnutrition have been reported that about more than 40% of hospitalized patients are having nutritional risk factors and hospital malnutrition presents a high prevalence. People in a more severe nutritional status ended up with a longer length of hospital stay and higher hospital cost. Nutrition screening tools identify individuals who are malnourished or at risk of becoming malnourished and who may benefit from nutritional support. For the early detection and treatment of malnourished hospital patients , few valid screening instruments fur Koreans exist. Therefore, the aim of this study was to develop a simple, reliable and valid malnutrition screening tool that could be used at hospital admission to identify adult patients at risk of malnutrition using medical electrical record data. Two hundred and one patients of the university affiliated medical center were assessed on nutritional status and classified as well nourished, moderately or severely malnourished by a Patient-Generated subjective global assessment (PG-SGA) being chosen as the 'gold standard' for defining malnutrition. The combination of nutrition screening questions with the highest sensitivity and specificity at prediction PG-SGA was termed the nutrition screening index (NSI). Odd ratio, and binary logistic regression were used to predict the best nutritional status predictors. Based on regression coefficient score, albumin less than 3.5 g/dl, body mass index (BMI) less than $18.5kg/m^2$, total lymphocyte count less than 900 and age over 65 were determined as the best set of NSI. By using best nutritional predictors receiver operating characteristic curve with the area under the curve, sensitivity and 1-specificity were analyzed to determine the best optimal cut-off point to decide normal or abnormal in nutritional status. Therefore simple and beneficial NSI was developed for identifying patients with severe malnutrition. Using NSI, nutritional information of the severe malnutrition patient should be shared with physicians and they should be cared for by clinical dietitians to improve their nutritional status.

• Journal of Korea Multimedia Society
• /
• v.3 no.2
• /
• pp.121-132
• /
• 2000

Most of video indexing applications depend on fast and efficient archiving, browsing, retrieval techniques. A number of techniques have been approached about only pixel domain analysis until now. Those approaches brought about the costly overhead of decompressing because the most of multimedia data is typically stored in compressed format. But with a compressed video data, if we can analyze the compressed data directly. then we avoid the costly overhead such as in pixel domain. In this paper, we analyze the information of compressed video stream directly, and then extract the available features for video indexing. We have derived the technique for cut detection using these features, and the stream is divided into shots. Also we propose a new brief key frame selection technique and an efficient video indexing method using the spatial informations(DT coefficients) and also the temporal informations(motion vectors).

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.11
• /
• pp.11-19
• /
• 2021

In this paper, we propose a prototype platform combined with the power management system using, as an auxiliary power storage device, a supercapacitor that can be fast charged and discharged with high power efficiency as well as semi-permanent charge and discharge cycle life. For the proposed platform, we designed a technique which is capable of detecting the state of power cutoff or resumption of power supplied from the solar panel in accordance with physical environment changes through an interrupt attached to the micro-controller was developed. To prevent data loss in a computing environment in which continuous power supply is not guaranteed, we implemented a low-level system software in the micro-controller to transfer program context and data in volatile memory to nonvolatile memory when power supply is cut off. Experimental results shows that supercapacitors effectively supply temporary power as auxiliary power storage devices. Various benchmarks also confirm that power state detection and transfer of program context and data from volatile memory to nonvolatile memory have low overhead.

• Kosin Medical Journal
• /
• v.33 no.3
• /
• pp.337-346
• /
• 2018

Objectives: Serum procalcitonin (PCT) is a specific biomarker that rises after bacterial infection, and levels of PCT are known to correlate with the severity and mortality of patients with pneumonia and sepsis. However, the usefulness of PCT levels in acute pyelonephritis is unknown. This study aimed to evaluate the effectiveness of using the PCT level as a predictive test for bacteremia in acute pyelonephritis. Methods: Between January 2012 and June 2013, 140 patients diagnosed with acute pyelonephritis were admitted to Haeundae Paik Hospital. Serum PCT, C-reactive protein (CRP), and white blood cell (WBC) levels at pre- and post- treatment were measured. Blood and urine cultures were obtained from all patients. The levels of PCT, CRP, and WBCs were each compared between the blood culture-positive and blood culture-negative groups to assess their effectiveness in predicting bacteremia. Results: Pre-treatment PCT level was 0.77 ng/mL (95% CI: 0.42-1.60 ng/mL) in the blood culture-negative group and 4.89 ng/mL (95% CI: 2.88-9.04 ng/mL) in the blood culture-positive group, and the increase between the two groups was statistically significant. The area under the receiver operating characteristic curve of PCT level for prediction of bacteremia was 0.728. A cut-off value of 1.23 ng/mL indicated a sensitivity of 79.0 % and specificity of 60.0 % for PCT level. Conclusions: Serum PCT level is a useful predictive test for bacteremia in acute pyelonephritis. Through the early detection of bacteremia, serum PCT level can help estimate the prognosis and predict complications such as sepsis.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.6
• /
• pp.759-767
• /
• 2020

This paper proposes a new Recurrent neural network (RNN) based spectrum sensing technique for cognitive radio communications. The proposed technique determines the existence of primary user's signal without any prior information of the primary users. The method performs high-speed sampling by considering the whole sensing bandwidth and then converts the signal into frequency spectrum via fast Fourier transform (FFT). This spectrum signal is cut in sensing channel bandwidth and entered into the RNN to determine the channel vacancy. The performance of the proposed technique is verified through computer simulations. According to the results, the proposed one is superior to more than 2 [dB] than the existing threshold-based technique and has similar performance to that of the existing Convolutional neural network (CNN) based method. In addition, experiments are carried out in indoor environments and the results show that the proposed technique performs more than 4 [dB] better than both the conventional threshold-based and the CNN based methods.