• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 추계학술대회
• /
• pp.681-684
• /
• 2013

본 논문은 안드로이드 시스템에서 자바 프로그램 환경과 NDK를 이용한 C 프로그램 환경에 대해서 비교한다. 안드로이드 시스템에서 NDK를 이용한 C 프로그램의 성능 개선이 어느 정도 이루어질 수 있는지를 실험한다. 본 논문은 1에서 n까지의 숫자의 합을 계산하는 프로그램을 자바 프로그램과 NDK를 이용한 C 프로그램으로 작성한다. 각각 작성된 프로그램에서 n 값을 가변적으로 변화시킴으로써 성능에 어떤 영향을 주는지 실험한다.

• 공학교육연구
• /
• 제26권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권5_6호
• /
• pp.587-597
• /
• 2003

일반적으로 C언어는 고신뢰도를 요구하는 소프트웨어에 적합하지 않다고 알려졌음에도 불구하고 적지 않은 수의 안전성이 중요시되는(safety-critical) 시스템들이 C언어로 구현되었거나 C언어를 기반으로 개발되고 있다. 본 연구의 목적은 C언어의 안전한 subset을 정의하고 이 subset 언어로 작성된 프로그램을 SPARK Ada로 변환하여 SPARK의 분석 도구들을 사용해 프로그램의 안전성을 분석하는 데 있다. SPARK은 Ada의 안전한 subset으로 고신뢰도를 요하는 시스템을 구현하는데 성공적으로 사용되어왔다. SPARK으로 변환된 C 프로그램은 SPARK 수준의 안전성을 갖게 되며 SPARK의 분석 도구인 Examiner를 통해 프로그램의 정확성 검증 등의 분석을 할 수 있다. 본 연구에서는 엘리베이터 컨트롤러 사례 연구를 통해 정의한 subset이 현실적인 시스템을 구현하기에 부족하지 않음을 발견하였으며, SPARK Ada로의 변환을 자동화해주는 변환기를 구현하였다.

• 정보처리학회논문지A
• /
• 제9A권4호
• /
• pp.563-572
• /
• 2002

성능감시기는 분산처리 환경에서 프로그램의 성능을 추적하고 평가하기 위해 필수적인 것이다. 성능감시기는 출력방법에 따라 오프라인과 온라인으로 나눌 수 있다. 오프라인성능감시기는 프로그램이 종료된 후에 그 성능을 분석하는 것이고, 온라인 성능감시기는 프로그램의 수행 중에 분석하는 것이다. 따라서 프로그램의 빠른 분석과 디버깅을 위해서는 온라인 기능이 필수적이다. JaNeC은 Java로 구현된 분산처리 환경으로 이를 위한 오프라인성능감시기가 포함되어 있다. 그러나 이 성능감시기로는 JaNeC에서 수행되는 프로그램을 효율적으로 분석할 수 없다. 따라서, 본 논문에서는 JaNeCe에서 수행되는 프로그램의 빠른 분석과 디버깅을 위해 온라인 성능감시기를 설계하고 구현하는 것에 대해서 설명한다. 이 온라인 성능감시기는 분석하고자 하는 프로그램에 영향을 최소화하도록 설계되었으며, 효율적인 프로그램 분석을 위해 다양한 형태의 그래픽 출력을 제공한다. 또한 프로그램이 종료된 이후에도 다시 분석할 수 있도록 하기 위해 오프라인 성능감시기와의 인터페이스도 제공한다.

• 한국문헌정보학회지
• /
• 제35권2호
• /
• pp.133-149
• /
• 2001

본 논문은 국립대학인 C대학도서관의 사례연구이다. C대학의 특성과 대학도서관의 변화를 살펴보고 이에 따른 C대학도서관의 발전방향을 제시하였다. C대학도서관의 활동을 이용자에 대한 봉사를 기준으로 직접봉사활동과 간접봉사 활동으로 구분하였으며 그 아래에서 세분하여 대학도서관의 활동이 대학의 발전에 어떻게 기여할 수 있을 것인가를 논하였다.

• 한국정보처리학회논문지
• /
• 제2권5호
• /
• pp.733-745
• /
• 1995

본 연구는 함수언어의 번역기 개발을 목적으로 한다. 이를 위하여 지연어의를 갖 는 원시함수 언어를 정의하고 그것의 번역기를 설계, 구현, 평가한다. 함수프로그램의 실행모형은 G-기계를 기반으로 한 컴비네이터 그래프축소이다. 번역기는 전체 4단계로 구성되며 원시프로그램을 C를 사용한 목적프로그램으로 번역한다. 번역기의 첫 번째 단계에서는 원시프로그램을 확장람다계산 그래프로 번역하고, 두 번째 단계에서 수 퍼컴비네이터그래프로 변환하고, 세 번째 단계에서 G-기계어 프로그램으로 번역하고, 마지막 단계에서 G-기계어 프로그램을 C로 번역한다. 생성된 목적 프로그램은 C 컴파 일러에 의해서 실행 프로그램은 번역한다. 번역기 구현은 UNIX환경에서 컴파일러 자동 화 도구인 YACC, Lex를 이용하여 구문분석기, 어휘분석기를 구현하고, 그 외의 루틴은 C로 구현한다. 본 논문에서는 번역기에 사용된 구현기법과 수행결과를 기술한다.

• 대한임상검사과학회지
• /
• 제36권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
• /
• 제16권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
• /
• 제23권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
• /
• 제1권2호
• /
• pp.42-42
• /
• 2012