• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.10a
• /
• pp.681-684
• /
• 2013

This paper compares the Java program environments and NDK program environments in the Android system. This paper experiments that how much is the performance enhancement in the NDK C programming of the Android system. I program sum of 1 to n for Java program and NDK C program. I experiment whether the influence an effect on a performance by changing n value. In experiment, NDK C program is over 50% performance enhancement than Java program.

• Journal of Engineering Education Research
• /
• v.26 no.1
• /
• pp.20-26
• /
• 2023

In this study, as a competency strengthening program to support learner-centered education, we developed the 'Capstone-design competency Program' for the purpose of cultivating the 4C skills and problem-solving ability required as core competencies of the 21st century. The program was based on the project method, and strategies were derived and materialized for each step through core competency analysis. Then, the validity was confirmed through the implementation of the program. As a result of the implementation of the program, it was confirmed that this program was effective in cultivating the core competencies of college students. In addition, it was confirmed that learners showed results such as specific reflection on core competencies, changes in perspective, and action plans, so that the possibility of actual application was high.

• Journal of KIISE:Software and Applications
• /
• v.30 no.5_6
• /
• pp.587-597
• /
• 2003

The C language is widely adopted for safety-critical systems. However, it is known that the C language is an unsuitable choice for safety-critical system since the C language includes several bad language features such as heavy use of pointers. The aim of this work is to define safe subset of the C language and translate the subset into the SPARK Ada so that we can verify the program's safety using SPARK analysis tools. SPARK is a safe subset of Ada and has been successfully applied to high integrity system development. The C program translated into SPARK has the same integrity level as SPARK, and the program correctness can be verified by using Examiner which is a SPARK analysis tool. An elevator controller case study is presented and is used to demonstrate the potential use of our approach to implement a realistic system. We also developed a translator that automatically translates C code into SPARK in accordance with the translation rules.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.563-572
• /
• 2002

A performance monitor is indispensable to trace and evaluate performance of a program under distributed processing environment. A performance monitor il classified as off-line and on-line according to its output method. An off-line performance monitor analyzes its performance after a program terminates, and an on-line performance monitor analyzes its one while a program runs. Therefore, the on-line function is essential to analyzing and debugging the program fast. JaNeC, distributed processing environment that is implemented in Java, contains an off-line performance monitor for this. However, this performance monitor may not analyze the program running on JaNeC efficiently. Consequently, this paper explains that an on-line performance monitor is designed and implemented for fast analysis and debugging of the program running on JaNeC. This on-line performance monitor is designed to minimize effects on a program to analyze, and provides various forms of graphic output, to analyze the program effectively. In addition, even after a program terminates, it provides interface with the off-line performance monitor, to analyze again.

• Journal of the Korean Society for Library and Information Science
• /
• v.35 no.2
• /
• pp.133-149
• /
• 2001

This paper is a case study of Chonbuk National University Library. In the paper I analysed characteristics of the university and change of university libraries. Following that, I suggested the development direction of Chonbuk National University Library. I categorized Chonbuk National University Library program in two - direct service program and indirect service program. Under the categories I subdivided the university library program. After that I explained how the university library program contribute to the development of the university.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.5
• /
• pp.733-745
• /
• 1995

This study is aimed at construction of a translator for a functional programming language. For this goal we define a functional programming language which has lazy semantics and develop a translator for it. The execution model selected is the G-machine-based combinator graph reduction. The translator is composed of 4 phases and translates a source program to a C program. The first phase of the translator translates a source program to a enriched lambda- calculus graph, the second phase transforms a lambda-calculus graph into supercombinators, the third phase translates supercombiantors to a G program and the last phase translates the G program to a C program. The final result of the translator, a C program, is compiled to an executable program by C compiler. The translator is implemented in C using compiler development tools such as TACC and Lex, under the UNIX environments. In this paper we present the design and implementation techniques for developing the translator and show results by executing some test problems.

• Korean Journal of Clinical Laboratory Science
• /
• v.36 no.1
• /
• pp.33-37
• /
• 2004

In order to study the effect of temperature of denaturation, annealing and extension and cycles on amplification of DNA by PCR method, We isolated the hepatitis B virus DNA from hepatitis B patient blood and compared the density of DNA amplified by Reference PCR Program (denaturation at $94^{\circ}C$ for 30 sec., annealing at $60^{\circ}C$ for 1 min., extension at $72^{\circ}C$ for 1 min., holding at $72^{\circ}C$ for 5min., 30 cycles) that is usually used in laboratory to the density of DNA amplified by PCR program changed only the denaturation temperature or annealing temperature or extension temperature. We amplified about 341bp of hepatitis B virus DNA by Reference PCR Program from hepatitis patient blood, but the DNAs denatured at $72^{\circ}C$ or $60^{\circ}C$ were not detectable on photoradiography film. The DNA amplified at $37^{\circ}C$ of annealing temperature was not detectable, but the DNA annealed at $72^{\circ}C$ was detectable the lower density of DNA than the DNA amplified by Reference PCR Program. Each DNA amplified by PCR program changed only the extension temperature to $37^{\circ}C$ or $60^{\circ}C$ was almost same density as DNA amplified by Reference PCR Program. We compared the density of hepatitis B virus DNA amplified by Reference PCR Program for 30 cycles, 20 cycles, 10 cycles, and 5 cycles. The DNA cycled for 20 cycles was not amplified well as cycled for 30 cycles, but the DNA was detectable on the photoradiography film. The DNAs amplified for 10 cycles or 5 cycles were not detectable on photoradiorgaphy film. The concentration of hepatitis B virus DNA amplified in Reference PCR condition for 30 cycles, 20 cycles, 10 cycles, and 5 cycles were $72{\mu}g/m{\ell}$, $83{\times}10^{-3}{\mu}g/m{\ell}$, $27{\times}10^{-6}{\mu}g/m{\ell}$, and nondetectable, respectively.

• Journal of Microbiology and Biotechnology
• /
• v.16 no.1
• /
• pp.118-125
• /
• 2006

The region responsible for replication of the megaplasmid pAtC58 in the nopaline-type Agrobacterium tumefaciens strain C58 was determined. A derivative ofa Co1E1 vector, pBluscript SK-, incapable of autonomous replication in Agrobacterium spp, was cloned with a 7.6-kb Bg1II-HindIII fragment from a cosmid clone of pAtC58, which contains a region adjacent to the operon for the utilization of deoxyfructosyl glutamine (DFG). The resulting plasmid conferred resistance to carbenicillin on the A. tumefaciens strain UIA5 that is a plasmidfree derivative of C58. The plasmid was stably maintained in the strain even after consecutive cultures for generations. Analysis of nested deletions of the 7.6-kb fragment showed that a 4.3-kb BglII-XhoI region sufficiently confers replication of the derivative of the ColE1 vector on UIA5. The region comprises three ORFs, which have high homologies with repA, repB, and repC of plasm ids in virulent Agrobacterium spp. including pTiC58, pTiB6S3, pTi-SAKURA, and pRiA4b as well as those of symbiotic plasmids from Rhizobium spp. Phylogenie analysis showed that rep genes in pAtC58 are more closely related to those in pRiA4 than to pTi plasmids including pTiC58, suggesting that the two inborn plasmids, pTiC58 and pAtC58, harbored in C58 evolved from distinct origins.

• Journal of Microbiology and Biotechnology
• /
• v.23 no.12
• /
• pp.1791-1801
• /
• 2013

Diketopiperazine is produced by various organisms, including bacteria, fungi, and animals, and has been suggested as a novel signal molecule involved in the modulation of genes with various biological functions. Vibrio vulnificus, which causes septicemia in humans, produces cyclo($\small{L}$-phenylalanine-$\small{L}$-proline) (cFP). To understand the biological roles of cFP, the effect of the compound on the expression of the total mRNA in V. vulnificus was assessed by next-generation sequencing. Based on the transcriptomic analysis, we classified the cFP-regulated genes into functional categories and clustered them according to the expression patterns resulted from treatment with cFP. From a total of 4,673 genes, excepting the genes encoding tRNA in V. vulnificus, 356 genes were up-regulated and 602 genes were down-regulated with an RPKM (reads per kilobase per million) value above 3. The genes most highly induced by cFP comprised those associated with the transport and metabolism of inorganic molecules, particularly iron. The genes negatively regulated by cFP included those associated with energy production and conversion, as well as carbohydrate metabolism. Noticeably, numerous genes related with biofilm formation were modulated by cFP. We demonstrated that cFP interferes significantly with the biofilm formation of V. vulnificus.

• Rapid Communication in Photoscience
• /
• v.1 no.2
• /
• pp.42-42
• /
• 2012