• 한국컴퓨터정보학회논문지
• /
• 제17권8호
• /
• pp.61-69
• /
• 2012

BIRS는 자바 프로그램의 검증을 위해 사용되는 중간표현 언어이다. 바이트코드 형태의 자바 프로그램은 검증을 위해 BIRS 코드로 변환된다. 변환된 BIRS 형태의 프로그램을 검증하기 위해서는 BIRS 형태의 프로그램에 대한 검증조건을 생성해야 한다. 본 논문에서는 BIRS 코드에 대한 검증조건을 생성하는 방법을 제시한다. 검증조건 생성은 BIRS 코드에 대한 제어흐름그래프 구성, 제어흐름그래프에 대한 깊이우선 탐색을 통한 기본경로 추출, 기본경로에 대한 최약 전조건(weakest precondition) 계산법의 과정을 통해 이루어진다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2012년도 춘계 종합학술대회 논문집
• /
• pp.287-288
• /
• 2012

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.269-271
• /
• 2012

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

• 정보관리연구
• /
• 제40권1호
• /
• pp.217-234
• /
• 2009

컴퓨터로 옮겨 놓은 생물학 실험실에서 생명과학을 연구하는 연구자가 생명정보를 확인하려면 1차적으로 생물다양성 관련 데이터베이스에서 생명체에 관한 종정보, 생태정보, 분포정보를 검색해야 한다. 그리고 그 생명체를 구성하는 유전자 서열정보와 단백질 구조정보를 Genbank, PDB 등의 유전자/단백질 데이터베이스에서 검색해야 한다. 또한 그 생명체에 관한 학술적 내용이 수록된 학술논문까지 별도로 검색해야만 그 생명체에 관한 포괄적이고도 정확한 정보를 획득하여 연구에 활용할 수 있다. 이런 일련의 과정은 연구자에게 불편함과 함께 많은 시간이 소요됨으로 인해 연구의 효율성을 저하시키는 요인이 되고 있다. 이런 불편함을 해결하기 위하여 통합검색하기 위한 여러 방법을 분석하고, 그중 스키마 통합을 선택하였다. 또한 스키마 통합을 위하여 각각의 데이터베이스의 스키마를 분석하고 메타데이터를 추출하여 Mediated 스키마를 설계하였다. 본 논문에서 설계한 생명정보 검색시스템(BIRS, Biological Information Retrieval System)과 인터페이스를 사용하여 생명과학을 연구하는 연구자들의 연구의 효율성을 향상시킬 수 있을 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.265-268
• /
• 2011

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.213-215
• /
• 2011

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

• 한국공간구조학회논문집
• /
• 제8권3호
• /
• pp.65-73
• /
• 2008

본 연구에서는 음향적으로 결합된 공간에서 개구부의 크기변화에 따른 주관적 잔향감의 평가를 청취실험을 통해 실시하고 주관적 잔향감을 예측할 수 있는 새로운 물리적 지표를 제시하고자 하였다. 대상공간의 물리적 음향특성은 물론 주관적 음향평가를 위하여 1/10 스케일의 모형을 제작하여 실험에 사용하였다. 주관적 잔향감평가를 위해 바이노럴 임펄스 리스펀스(binaural impulse response)를 더미헤드(dummy head)를 이용해 녹음하여 가청화작업(auralization)을 거쳐 청취실험에 음원으로 제시하였다. 청취실험결과, 주실이 흡음력이 낮은 잔향부실과 음향적으로 결합할 경우 개구율이 12.5%(주실면적대비 1.97%)일 때 주관적 잔향감이 가장 큰 것으로 나타났으며 개구율이 25%(주실면적대비 3.94%)이상일 때 주관적 잔향감이 감소하는 것으로 나타났다 주실이 흡음력이 높은 흡음부실과 음향적으로 결합할 경우 개구율이 $0%{\sim}6.25%$까지(주실면적대비 $0%{\sim}0.99%$)는 주관적 잔향감이 변화하지 않다가 개구율이 12.5%에서부터 점차적으로 감소하는 것으로 나타났다. 이중감쇠현상을 나타내는 물리적 지표 T30/T15는 개구율의 변화에 따른 주관적 잔향감과 상관도가 거의 없는 것으로 나타났으며 저자들이 제시한 새로운 지표 T30/Tbp이 주관적 잔향감과 높은 상관도를 보였다. 또한 개구율 변화에 따른 이중감쇠현상은 초기나 중기감쇠부분에서보다 후기감쇠부분에서 에너지가 현저하게 증가하는 것으로 나타나 T30/T15에 비해 LDT/EDT나 T3/T1가 주관적 잔향감과의 상관성이 높은 것으로 나타났다.

• BMB Reports
• /
• 제40권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.