자료유형
전체 선택해제
총 5건 검색
본문검색 결과만 보기
-
자바 바이트코드 검증을 위해 기본경로를 통한 BIRS 코드로부터 검증조건 생성
김제민, 김선태, 박준석, 유원희, Kim. Je-Min, Kim. Seon-Tae, Park. Joon-Seok, Yoo. Weon-Hee 한국컴퓨터정보학회 韓國컴퓨터情報學會論文誌 9 Pages
한국컴퓨터정보학회 韓國컴퓨터情報學會論文誌 2012, Vol.17 No.8 61-69 (9 pages)
BIRS는 자바 프로그램의 검증을 위해 사용되는 중간표현 언어이다. 바이트코드 형태의 자바 프로그램은 검증을 위해 BIRS 코드로 변환된다. 변환된 BIRS 형태의 프로그램을 검증하기 위해서는 BIRS 형태의 프로그램에 대한 검증조건을 생성해야 한다. 본 논문에서는 BIRS 코드에 대한 검증조건을 생성하는 방법을 제시한다. 검증조건 생성은 BIRS 코드에 대한 제어흐름그래프 구성, 제어흐름그래프에 대한 깊이우선 탐색을 통한 기본경로 추출, 기본경로에 대한 최약 전조건(weakest precondition) 계산법의 과정을 통해 이루어진다. -
자바 소스 코드에서의 명세를 활용하기 위한 BML에서 BIRS로의 변환
김선태, 김제민, 박준석, 유원희, Kim. Seontae, Kim. Jemin, Park. Joonseok, Yoo. Weonhee 한국정보과학회 정보과학회논문지. Journal of KIISE. 시스템 및 이론 8 Pages
한국정보과학회 정보과학회논문지. Journal of KIISE. 시스템 및 이론 2013, Vol.40 No.5 248-255 (8 pages)
JBVF(Java Bytecode Verification Framework)를 확장한다. JBVF를 통해 생성된 BIRS는 검증 조건 생성을 위해 자바 소스 코드(하이레벨)가 공개 되었을 경우에도 프로그래머가 BIRS(로우레벨)에 직접 명세 정보를 기술해 주어야 한다. 이를 해결하기 위해, 자바 소스 코드가 공개되었을 경우 자바 소스 코드에 입력된 명세 정보를 이용하여 BIRS 코드를 생성하는 방법을 소개한다. BIRS 코드는 JML2BML도구와 JML, BML을 이용하여 생성한다. BML을 입력으로 받아 생성된 BIRS에 명세 정보가 정확히 표현되었는지 확인한다. -
뇌졸중증(腦卒中症)에 있어서 혈소판(血少板) 응집( 凝集)의 역할에 관한 연구(硏究)
홍기환(Ki Whan Hong), 이원석(Won Suk Lee) 대한약리학회 대한약리학잡지 12 Pages
대한약리학회 대한약리학잡지 1982, 제 18권 제 2호 2 15-26 (12 pages)
한국(韓國)에서 빈발(頻發)하는 뇌졸중증(腦卒中症) 환자(患者)의 혈장(血漿)에서 혈전형성(血栓形成)에 관계되는 인자(因子)들을 조사하고, in vitro로 sodium niroprusside의 혈소판(血少板)응집에 대(對)한 작용(作用)을 관찰(觀察)하여 뇌졸중증(腦卒中症) 응급시(應急時) 치료적응용(治療的應用)의 가능성(可能性)을 검토(檢討)하였다. 1) 뇌졸중증(脚卒中症) 환자(患者)의 혈장내(血漿內) 미세혈전형성(微細血栓形成)은 건강인(健康人)에 비(比)하여 유의(有意)하게 (p<0.001) 높았다. 2) 뇌졸중증(腦卒中症) 환자(患者)의... -
Application of the Maryblyt Model for the Infection of Fire Blight on Apple Trees at Chungju, Jecheon, and Eumsung during 2015-2020
Mun-Il Ahn, Sung Chul Yun 한국식물병리학회 The Plant Pathology Journal 12 Pages
한국식물병리학회 The Plant Pathology Journal 2021, 37권 6호 5 543-554 (12 pages)
To preventively control fire blight in apple trees and determine policies regarding field monitoring, the Ma- ryblyt ver. 7.1 model (MARYBLYT) was evaluated in the cities of Chungju, Jecheon, and Eumseong in Korea from 2015 to 2020. The number of blossom infection alerts was the highest in 2020 and the lowest in 2017 and 2018. And the common feature of MARYBLYT blossom infection risks during the flowering period was that the time of BIR-High or BIR-Infection alerts was the same regardless of...
