• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.3
• /
• pp.576-599
• /
• 2013

Protocol reverse engineering is useful for many security applications, including intelligent fuzzing, intrusion detection and fingerprint generation. Since manual reverse engineering is a time-consuming and tedious process, a number of automatic techniques have been proposed. However, the accuracy of these techniques is limited due to the complexity of binary instructions, and the derived formats have missed constraints that are critical for security applications. In this paper, we propose a new approach for protocol format extraction. Our approach reasons about only the evaluation behavior of a program on the input message from concolic execution, and enables field identification and constraint inference with high accuracy. Moreover, it performs binary analysis with low complexity by reducing modern instruction sets to BIL, a small, well-specified and architecture-independent language. We have implemented our approach into a system called Icefex and evaluated it over real-world implementations of DNS, eDonkey, FTP, HTTP and McAfee ePO protocols. Experimental results show that our approach is more accurate and effective at extracting protocol formats than other approaches.

• Journal of the Korean Solar Energy Society
• /
• v.22 no.2
• /
• pp.39-47
• /
• 2002

The thermosyphon SDHWS and the loop type thermosyphon systems are widely used for domestic hot water system. The loop type thermosyphon is a circulation device for transferring the heat produced at the evaporator to the condenser area in the loop. In this study, the operating characteristics of various working fluids being used have been identified. The working fluids employed in the study were ethanol. water, and a binary mixture of ethanol and water. The volume of working fluid used in this study were 30%, 40%, 50%, 60% and 70% of evaporator volume. It is observed that, in the thermosyphon with low volume of working fluid, such as 30% or 40%, the fluid was dried out. The flow pattern and mechanism of the heat transfer were identified through this study. Flow patterns of the binary mixture working fluid were also investigated, and the patterns were recorded in the camera. The system parameters were calculated using the thermal performance data. Modelling of the system was carried out using PSTAR method and TRNSYS program.

• Publications of The Korean Astronomical Society
• /
• v.32 no.3
• /
• pp.421-438
• /
• 2017

Through the short-period variability survey program, we obtained time-series BV CCD images for $1.5^{\circ}{\times}1.0^{\circ}$ region around the young open cluster NGC 457. As a result, we have detected 61 variable stars including 31 new ones after checking light curves of all stars by eyes. The 61 variable stars were included 14 ${\delta}$ Scuti variable stars, a ${\beta}$ Cephei variable star, 10 variable Be and slowly pulsating B stars, 13 eclipsing binary stars, 21 semi-long periodic or slow irregular variables and an RR Lyrae variable star, respectively. Many variable B-type stars were known through a well-defined zero-age main sequence to the ${\beta}$ Cepheid region of NGC 457. Most of the variable B-type stars found this paper were known variable stars. But, 11 out of 14 ${\delta}$ Scuti variable stars were newly discovered. The new variable stars except for ${\delta}$ Scuti stars were 4 variable B-type stars, 5 eclipsing binaries and 11 semi-long periodic or slow irregular variables. We have performed frequency analysis for all ${\delta}$ Scuti stars, a ${\beta}$ Cepheid star and an RR Lyrae star.

• Genomics & Informatics
• /
• v.14 no.4
• /
• pp.138-148
• /
• 2016

The success of genome-wide association studies (GWASs) has enabled us to improve risk assessment and provide novel genetic variants for diagnosis, prevention, and treatment. However, most variants discovered by GWASs have been reported to have very small effect sizes on complex human diseases, which has been a big hurdle in building risk prediction models. Recently, many statistical approaches based on penalized regression have been developed to solve the "large p and small n" problem. In this report, we evaluated the performance of several statistical methods for predicting a binary trait: stepwise logistic regression (SLR), least absolute shrinkage and selection operator (LASSO), and Elastic-Net (EN). We first built a prediction model by combining variable selection and prediction methods for type 2 diabetes using Affymetrix Genome-Wide Human SNP Array 5.0 from the Korean Association Resource project. We assessed the risk prediction performance using area under the receiver operating characteristic curve (AUC) for the internal and external validation datasets. In the internal validation, SLR-LASSO and SLR-EN tended to yield more accurate predictions than other combinations. During the external validation, the SLR-SLR and SLR-EN combinations achieved the highest AUC of 0.726. We propose these combinations as a potentially powerful risk prediction model for type 2 diabetes.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.2
• /
• pp.165-182
• /
• 2001

In this paper, we describe a design and implementation of the Wireless Markup Language(WML) compiler to deploy wireless Internet services effectively. The WML compiler translates textual WML decks into binary ones in order to reduce the traffic on wireless links that have relatively low bandwidth to wireline links and mitigate the processing overhead of WML decks on, wireless terminals that have relatively low processing power to fixed workstations. In addition, it takes over the overhead of eXtensible Markup Language(XML) well-formedness and validation processes. The WML compiler consists of the lexical analyzer and parser modules. The granunar for the WML parser module is LALR(1) context-free grammar that is designed based on XML 1.0 and WML 1.2 DTD(Document Type Definition) with the consideration of the Wireless Application Protocol Binary XML grammar. The grammar description is converted into a C program to parse that grammar by using parser generator. Even though the tags in WML will be extended or WML DTD will be upgraded, this approach has the advantage of flexibility because the program is generated by modifying just the changed parts. We have verified the functionality of the WML compiler by using a WML decompiler in the public domain and by using the Nokia WAP Toolkit as a WAP client. To measurethe compressibility gain of the WML compiler, we have tested a large number of textual WML decks and obtained a maximum 85 %. As the effect of compression is reduced when the portion of general textual strings increases relative to one of the tags and attributes in a WML deck, an extended encoding method might be needed for specific applications such as compiling of the WML decks to which the Hyper Text Markup Language document is translated dynamically.

• Journal of Digital Convergence
• /
• v.15 no.6
• /
• pp.535-543
• /
• 2017

This study aimed to improve the satisfaction of multi-cultural children by encouraging their participation in healthy exercises, and confirm the level of changes in their school life, the satisfaction with happiness. In order to achieve this purpose, dividing the participants in this program into an experimental group of 20 who participate in taekwondo training program and a comparison group of 20 who do not do sports activity, the study was conducted with a binary mixed design by three repeated measures by group. The conclusions made through these measures were as follows: According to the measurement time between the experimental group who participated in taekwondo training program and the comparison group who did not do sports activity, there were differences in changes in satisfaction of school life, leisure satisfaction, and satisfaction with happiness. Namely, the change in the experimental group was more than that of the comparison group. In conclusion, for multi-cultural children, it can be assessed that as the duration of participation in the taekwondo training program increases, the effect was clear, and it was found that satisfaction of school life, leisure satisfaction, and happiness satisfaction have changed statistically and significantly.

• Journal of Preventive Medicine and Public Health
• /
• v.56 no.3
• /
• pp.221-230
• /
• 2023

Objectives: The second wave of coronavirus disease 2019 (COVID-19) cases in Indonesia, during which the Delta variant predominated, took place after a vaccination program had been initiated in the country. This study was conducted to assess the impact of COVID-19 vaccination on unfavorable clinical outcomes including hospitalization, severe COVID-19, intensive care unit (ICU) admission, and death using a real-world model. Methods: This single-center retrospective cohort study involved patients with COVID-19 aged ≥18 years who presented to the COVID-19 emergency room at a secondary referral teaching hospital between June 1, 2021 and August 31, 2021. We used a binary logistic regression model to assess the effect of COVID-19 vaccination on unfavorable clinical outcomes, with age, sex, and comorbidities as confounding variables. Results: A total of 716 patients were included, 32.1% of whom were vaccinated. The elderly participants (≥65 years) had the lowest vaccine coverage among age groups. Vaccination had an effectiveness of 50% (95% confidence interval [CI], 25 to 66) for preventing hospitalization, 97% (95% CI, 77 to 99) for preventing severe COVID-19, 95% (95% CI, 56 to 99) for preventing ICU admission, and 90% (95% CI, 22 to 99) for preventing death. Interestingly, patients with type 2 diabetes had a 2-fold to 4-fold elevated risk of unfavorable outcomes. Conclusions: Among adults, COVID-19 vaccination has a moderate preventive impact on hospitalization but a high preventive impact on severe COVID-19, ICU admission, and death. The authors suggest that relevant parties increase COVID-19 vaccination coverage, especially in the elderly population.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.4
• /
• pp.2556-2563
• /
• 2015

This study aims to find out the employment effectiveness of employment preparation activities that college students experience, especially focused on analyzing employment effects of college employment-related activities such as career choice and employment support program, along with individual preparation activities such as qualification, vocational training, etc. It performed binary logistic regression analysis using 2011 Graduates Occupational Mobility Survey data of 3,249 college graduates. The results showed that In college characteristics, the higher grade point average was and the more college was located in non-metropolitan area, the higher employment probability was. In the case of major field, Medicine, Education, Engineering, Social Science, Natural science in highest first order had employment probability higher than the reference group. The results showed that the number of qualification, interview skill & resume description skill program participation, and job search experience before and after graduation among employment preparation activities had an effect on employment. The rest, that is, vocational training, career employment curriculum, work experience program, career counseling program, employment camp, in-school job experience, employment goal status before graduation did not have an direct effect on employment.

• The KIPS Transactions:PartA
• /
• v.13A no.6 s.103
• /
• pp.481-488
• /
• 2006

FRP(Functional Reactive Programming) is a kind of embedded language in Haskell, it declaratively program reactive system based on two essential high-order types named behavior and events. This Paper design and implementation RT-FRP(Real-time Functional Reactive Programming) translator for using FRP in embedded systems with many constraints. The RT-FRP translator generates a C Program from an RT-FRP program according to the operational semantics of the RT-FRP language. To show the effectiveness of the RT-FRP translator, we loaded and executed the test program generated by the translator onto a real embedded system, LEGO Mindstorm. According to the experimental result, the reactive system software can be programmed more concisely using RT-FRP than using an imperative counter part although the size of the binary code is rather increased.

• Journal of The Korean Astronomical Society
• /
• v.49 no.5
• /
• pp.209-223
• /
• 2016

We present analyses of ~1250 variable sources identified in a 20 square degree field toward NGC 2784 by the KMTNet Supernova Program. We categorize the variable sources into three groups based on their B-band variability. The first group consists of 31 high variability sources with their B-band RMS variability greater than 0.3 magnitudes. The second group of medium variability contains 265 sources with RMS variability between 0.05 and 0.3 magnitudes. The remaining 951 sources belong to the third group of low variability with an RMS variability smaller than 0.05 magnitudes. Of the entire ~1250 sources, 4 clearly show periods of variability greater than 100 days, while the rest have periods shorter than ~51 days or no reliable periods. The majority of the sources show either rather irregular variability or short periods faster than 2 days. Most of the sources with reliable period determination between 2 and 51 days belong to the low-variability group, although a few belong to the medium-variability group. All the variable sources with periods longer than 35 days appear to be very red with B - V > 1.5 and V - I > 2.1 magnitudes. We classify candidates of 51 Cepheids, 17 semi-regular variables, 3 Mira types, 2 RV(B) Tauri stars, 26 eclipsing binary systems and 1 active galactic nucleus. The majority of long-term variables in our sample belong to either Mira or semi-regular types, indicating that long-term variability may be more prominent in post-main sequence phases of late-type stars. The depth of the eclipsing dips of the 26 candidates for eclipsing binaries is equivalent to ~0.61 as the average relative size of the two stars in the binary system. Our results illustrate the power of the KMTNet Supernova Program for future studies of variable objects.