• Journal of the Korea Society of Computer and Information
• /
• v.17 no.8
• /
• pp.61-69
• /
• 2012

BIRS is an intermediate representation for verifying Java program. Java program in the form of bytecode could be translated into BIRS code. Verification conditions are generated from the BIRS code to verify the program. We propose a method generating verification conditions for BIRS code. Generating verification conditions is composed of constructing control flow graph for BIRS code, depth first searching for the control flow graph to generate basic paths, and calculating weakest preconditions of the basic paths.

• Proceedings of the Korea Contents Association Conference
• /
• 2012.05a
• /
• pp.287-288
• /
• 2012

프로그램의 정적 검증을 위한 명세는 1차 술어 논리(First Order Logic)가 주로 사용된다. 하지만 1차 술어 논리가 모든 정보를 표현할 수가 없기에 이를 보완하기위해 양상논리(Modal Logic)를 사용할 수가 있다. 정적 프로그램 검증을 위해 양상 논리를 이용하여 확장된 BML(Bytecode Modeling Language)은 BIRS로 변환 되어야 한다. 본 논문에서는 확장된 BML을 중간 표현 언어인 BIRS(Bytecode Intermediate Representation Specification)로 표현하기 위하여 BIRS 문법을 확장한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.269-271
• /
• 2012

프로그램에 대한 검증을 수행하기 위해서는 프로그램 안에서 여러 가지 분석이 이루어진다. 그 중에서 객체지향언어의 경우 분석을 위하여 객체지향적인 특성에 맞는 정보흐름분석을 사용해야 한다. 본 논문에서는 왜 객체지향언어의 특성에 맞는 정보흐름분석이 필요한지를 보이고, 객체지향적인 특성을 고려하지 않은 정보흐름분석 시에 어떤 문제가 생기는지 예시를 들어 설명한다. 그리고 자바의 검증도구인 BIRS(Bytecode Intermediate Representation with Specification)언어를 대상으로 하여 객체지향언어의 특성을 고려한 정보흐름분석이 가능하도록 새로운 명세를 추가하여 확장한다.

• Journal of Information Management
• /
• v.40 no.1
• /
• pp.217-234
• /
• 2009

In computer-based virtual lab, a bioscience researcher who wants to obtain bio information first uses a biodiversity-related database to retrieve information on species, ecology and distribution of an organism. The researcher also needs to access gene/protein databases such as GenBank or PDB to find information on the organism's genetic sequence and protein structure. Furthermore, the researcher should search for academic papers containing the information on the organism so that his research is based on comprehensive and accurate information. This series of activities often undermines research efficiency as it takes a lot of time and causes inconvenience on the part of researchers. To solve such inconvenience, we analyzed various methods for integrated search and chosen schema integration. In addition, we analyzed each databases and extracted metadata for designing schema integration. This paper introduces a biological information retrieval system(BIRS) using schema integration and it's interface that will increase research efficiency for bioscience.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.265-268
• /
• 2011

자바는 개발환경의 편리성과 재사용성, 이식성으로 다양한 시스템 환경에서 사용한다. 그러므로 자바는 오류 없이 안전하게 실행하는 것이 중요하다. 하지만 자바 바이트 코드를 통한 자바의 안전한 실행에 대한 검증은 스택코드, 코드의 정보부족 등의 이유로 검증을 어렵게 한다. 본 논문에서는 자바 바이트코드의 문제점을 해결하여 검증을 수행하는데 적합한 중간표현 언어를 소개한다. 중간표현 언어는 스택리스코드로 구현되며, 모든 명령어의 정보를 담고 있다. 이를 통해, 자바 바이트코드를 통한 검증을 수행할 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.213-215
• /
• 2011

프로그램에 대한 검증을 수행하기 위해서는 자료흐름을 알아야 하고, 입력된 프로그램에 대응하는 제어흐름그래프(control flow graph)가 필요하다. 이에 더하여 제어흐름 그래프를 시각화한다면 사용자 입장에서는 더 편한 프로그램이 될 것이다. 본 논문에서는 자바 프로그램의 검증도구에 사용하는 중간 표현 언어 중 하나인 BIRS(Bytecode Intermediate Representation with Specification)에 의해 생성되는 제어흐름그래프를 시각화하는 방법에 대해 제안한다.

• Journal of Korean Association for Spatial Structures
• /
• v.8 no.3
• /
• pp.65-73
• /
• 2008

The present work deals with subjective assessments to propose the objective parameter related to the subjective attribute of reverberation in the coupled room varied the aperture opening size. A 1/10 scale model was built and used for the measurements and subjective assessments. For the subjective tests, binaural impulse responses(BIRs) were measured using a dummy head and the measured BIRs were convolved with anechoic recorded music for the presentation over the headphones. The results showed that the perceived reverberation was the largest in the aperture opening size 12.5%(1.97% of mail) room surface area)and decreased with increasing the aperture opening size over 25% (3.94% of main room surface area) in the main room coupled with the secondary reverberant room. In the main room coupled with the secondary absorptive room, there was no changes in the perceived reverberation up to the aperture opening size 6.25%(0.99% of main room surface area) and it gradually decreased with increasing the aperture opening site over 12.5%. The objective parameter, T30/T15, showed a very low correlation with the perceived reverberation in the coupled room varied the aperture opening size but showed a high correlation with a new objective parameter, T30/Tbp, proposed by the authors. Because the late part decay energy more rapidly increases with increasing the aperture opening site than the early and middle part decay energy, the LDT/EDT or T3/T1 is a better quantifier to measure double slopes in the coupled room than the T30/T15.

• BMB Reports
• /
• v.40 no.4
• /
• pp.571-576
• /
• 2007

Three anti-apoptosis genes, Ls-iap2, iap3 and p49 were found in Leucania separata multiple nuclear polyhedrovirus. Amino acid sequence homology of Ls-IAP2 and Ls-IAP3 with Op-IAP2 and Op-IAP3 from Orgyia pseddotsugata MNPV were 20% and 42%, while that of Ls-P49 is 28% with Sl-P49 from Spodoptera littorolis MNPV. Ls-IAP2 contains one baculoviral IAP repeat (BIR) domain followed by a RING domain, while Ls-IAP3 contains two BIRs and a RING. Ls-P49 contains a reactive site loop, predicted cleavage site (KKLD$^{74}{\downarrow}$G) that is different from Sl-P49 (TVID$^{94}{\downarrow}$G). Expressed Ls-iap3 or Ls-p49 under presence of actinomycin D in SF9 cells, DNA ladder assayrevealed that Ls- IAP3 or Ls-P49 could block the apoptosis of SF9 cells induced by actinomycin D. Replication of p35 deficient-mutant Autographa californica MNPV in SF9 cells was also rescued when Ls-iap3 or Ls-p49 was expressed transiently. No anti-apoptotic activity was observed for Ls-IAP2. The results showed that both of Ls-IAP3 and Ls-P49 were functional apoptotic suppressors in SF9 cells.