http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정금택(Kum-Taek Jeong),이진호(Jin-Ho Lee),서석(Suk Seo),최진영(Jin-Young Choi) 한국정보과학회 2010 한국정보과학회 학술발표논문집 Vol.37 No.1B
안보, 재난, 국가핵심기반 분야에 위기발생시 즉각적인 조치를 위한 ‘위기대응 실무매뉴얼’이 정부기관별로 작성되어 있지만 조치사항에 대한 정량적 검증이 부족하다. 오류가 내포된 조치절차는 피해를 확대 시킬 수 있으므로 위기대응절차에 대한 검증이 요구되며 이를 위해 본 논문에서는 Statemate의 구조적, 기능적, 행위적 관점의 언어를 활용해서 정형기법(formal methods)을 수행함으로써 위기 대응 실무매뉴얼의 모델링 방법을 제안하고 매뉴얼에 기술되어 있는 조치절차의 검증결과를 제시하였다.
정금택 ( Kum-taek Jeong ),이혁 ( Hyuk Lee ),서석 ( Suk Seo ),최진영 ( Jin-young Choi ) 한국정보처리학회 2010 한국정보처리학회 학술대회논문집 Vol.17 No.2
위기대응 매뉴얼은 지진, 태풍 등 상황에 적절하게 적용되며 신뢰성 있게 작동한다는 것이 보장되어야 한다. 따라서 위기대응 매뉴얼의 검증은 필수적이며, 이를 위해 본 논문에서는 정형기법 도구인 Statemate를 이용한 명세, 검증 및 신뢰성 개선방안을 제시한다. 모델체킹을 통해서 매뉴얼 사용자들의 임의적인 판단을 일의킬 수 있는 Non-Determinism과 대응 매뉴얼이 달성하고자 하는 목표의 도달여부에 대해 검증을 수행할 수 있으며, 이외에도 사용자가 원하는 검증 속성을 Temporal Logic으로 작성해서 검증할 수 있다. 또한 도구에서 지원하는 시뮬레이션을 통해 제한적이지만 조치내용의 적절성 여부와 추가적으로 발생 가능한 트리거를 찾음으로써 위기대응 매뉴얼의 신뢰성을 향상시킬 수 있다.
공일근,정금택,이정우,정수룡,오인석,유대중,이효상,김기수,배인휴 韓國受精卵移植學會 2002 한국동물생명공학회지 Vol.17 No.1
본 연구는 2001년 5월과 7월에 순천지역의 한 농장을 대상으로 종모돈 64두와 미국의 SGI회사로부터 직수입된 동결정액을 가지고 인공수정시 정액의 형태와 방법이 종모돈의 번식성적에 미치는 영향을 구명하고자 실시한 바, 그 얻어진 결과는 다음과 같았다. 1. 일반적인 액상정액을 이용한 인공수정과 자궁내 이식기구를 이용한 동결정액의 이용이 번식성적에 미치는 영향을 조사한 결과는, 분만율에서는 액상정액을 이용한 처리구 (86.4%)가 동결정액을 이용한 처 This study was carried out to investigate the possibility of porcine artificial insemination (A·I) on fertilizing capacity using intrauterine inseminator (IUI) method and conventional A·I (CAI) method. Number of sows used in this study was 15 far IUI and 59 fur (CAI), respectively. The results obtained are as fellows: 1 . The frozen and liquid semen used for A·I showed the higher farrowing rate in liquid semen (86.4%) than frozen semen (67%). Number of pigs born per semen type showed the higher values of number of piglets with no statistical significance using frozen semen (9.7) than liquid semen (9.3). 2. The farrowing rate per parity was highest in the 3∼5th parities (100%), f311owe4 by 0∼ 2th parities (60%), and was the smallest in 6 ∼ 10th parities (25%). Number of pigs born per litter was highest in 0∼2th parities (11.3), followed by 3 ∼ 5th parities (9.2) and lowest in 6∼ 10th parities. In the number of pigs bort per litter, the sow s in the high parities delivered lower number of piglets than those in low parities with no significant difference. These results indicated that fertilizing capacity could be improved by using IUI method.
이혁(Hyuk Lee),정금택(Kum-Taek Jeong),최진영(Jin-Young Choi) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1D
최근 몇 년 동안 발생한 자연재해로 인한 인명피해 및 재산피해의 규모가 매우 크며, 발생빈도가 조금씩 늘어나고 있는 추세이다. 이러한 자연재해는 근본적으로 차단할 수 있는 방법이 없기 때문에, 적절한 사전대비 또는 대응을 통해 그 피해를 줄이는 노력이 요구된다. 국가적 차원에서 이러한 자연재해 및 위기상황에 대한 대처방안을 정리하여 위기대응 매뉴얼을 만들어 배포하고 있다. 하지만, 위기대응 매뉴얼 자체에 대한 검증은 이루어진 바가 없다. 본 논문에서는 위기대응 매뉴얼이 포함할 수 있는 잠재적 문제점을 찾기 위해 위기대응 매뉴얼에 대해 정형언어를 사용에 모델링을 하고 모델체킹 기법을 통해 원하는 속성이 만족될 수 있는지를 살펴보았다.
공개 정적 분석도구를 활용한 소프트웨어 보안취약성 개선
장영수 ( Young Su Jang ),정금택 ( Geum Taek Jung ),최진영 ( Jin Young Choi ) 한국정보처리학회 2010 한국정보처리학회 학술대회논문집 Vol.17 No.1
인터넷의 발전으로 인터넷을 통한 서비스가 증대하고 있다. 반면 응용 소프트웨어의 보안 취약점으로 인해 국가, 기업, 개인 모두에게 정보보호의 중요성이 더욱 강조 되고 있다. 임베디드 소프트웨어인 우주, 항공, 원자력 소프트웨어 등 오류 없이 수행되어야 하는 고안전성 소프트웨어의 개발 기법은 이제 응용 소프트웨어의 보안강화 활동에 활용 되고 있다. 특히 시큐어 코딩 (Secure Coding)은 방어적 프로그램(Defensive Programming)을 포함하는 개념으로 소프트웨어의 안전성과 보안성을 향상 시킬 수 있다. 본 논문에서는 범용 보안 취약가능성 분석 도구를 이용하여 소프트웨어의 취약 가능성을 분석하고 보안 취약점 유발 명령어를 분류한다. 그 다음에 시큐어 코딩 기법을 적용하여 취약한 코드를 개선하였다. 이러한 개선을 통해 보안 취약성 가능한 코드 부분을 손쉽게 수정하여 소프트웨어 보안을 개선할 수 있다.