• 정보보호학회논문지
• /
• 제27권4호
• /
• pp.811-820
• /
• 2017

최근 소프트웨어 자동화 기술 연구는 단일 경로의 테스트 케이스 생성뿐만 아니라, 다양한 테스트 케이스를 통해 취약점으로 도달할 수 있는 최적화된 경로를 파악하는 것에 중점을 두고 있다. 이러한 자동화 기술 중 Dynamic Symbolic Execution(이하, DSE) 기술이 각광 받고 있지만, 현재 대부분의 DSE 기술 적용 연구는 리눅스 바이너리 혹은 특정 모듈 자체만을 대상으로 적용하는 데 그치고 있는 실정이다. 하지만 대부분의 소프트웨어의 경우 입력 파일을 기반으로 작업이 수행되고, 또 이러한 과정에서 취약점이 다수 발생하고 있다. 따라서 본 논문은 소프트웨어 안전성 검증을 위한 입력 파일 기반 동적 기호 실행 방법을 제안한다. 실제 바이너리 소프트웨어 3종에 적용한 결과 제안하는 방법을 통해 효과적으로 해당 지점에 도달하는 테스트 케이스를 생성할 수 있었다. 이는 DSE 기술이 실제 소프트웨어 분석의 자동화에 활용될 수 있음을 보여준다.

• 한국산업보건학회지
• /
• 제24권2호
• /
• pp.219-228
• /
• 2014

Objectives: The major objective of this study was to develop a tier 2 exposure model combining tier 1 exposure model estimates and worker monitoring data and suggesting narrower exposure ranges than tier 1 results. Methods: Bayesian statistics were used to develop a tier 2 exposure model as was done for the European Union (EU) tier 2 exposure models, for example Advanced REACH Tools (ART) and Stoffenmanager. Bayesian statistics required a prior and data to calculate the posterior results. In this model, tier 1 estimated serving as a prior and worker exposure monitoring data at the worksite of interest were entered as data. The calculation of Bayesian statistics requires integration over a range, which were performed using a Riemann sum algorithm. From the calculated exposure estimates, 95% range was extracted. These algorithm have been realized on Excel spreadsheet for convenience and easy access. Some fail-proof features such as locking the spreadsheet were added in order to prevent errors or miscalculations derived from careless usage of the file. Results: The tier 2 exposure model was successfully built on a separate Excel spreadsheet in the same file containing tier 1 exposure model. To utilize the model, exposure range needs to be estimated from tier 1 model and worker monitoring data, at least one input are required. Conclusions: The developed tier 2 exposure model can help industrial hygienists obtain a narrow range of worker exposure level to a chemical by reflecting a certain set of job characteristics.

• 정보관리학회지
• /
• 제8권1호
• /
• pp.78-99
• /
• 1991

본 연구는 전자신문인 한경 KETEL의 기사 전문을 대상으로 키워드를 자동 추출하는 자동색인 시스팀을 구축한 것으로서 한글의 형태적 특성을 이용한 언어학적 분석기법을 적용해서 키워드 화일을 생성하는 법을 제시하였으며, 불용어리스트 조사표 용언인식표의 작성법을 상세히 기술했다. 본 연구에서 얻어진 결론은 다음과 같다. 첫째, 형태소 분석을 통한 자동색인 기법으로 만족할 만한 키워드를 추출할 수 있었다. 둘째, 아직까지는 컴퓨터에 의한 한글의 구문분석과 의미분석이 완전하지 못하므로 자동색인으로 추출된 색인어를 색인자가 조절함으로써 색인의 성능을 향상시킬 수 있었다. 셋째, 이 시스팀에서 만들어진 약 20,000어 정도의 키워드 화일은 향후 디소러스 작성에 기본 자료로 사용할 수 있다. 넷째, 본 시스팀에서는 역순사전을 활용해 조사표와 용언인식표 작성법을 제시하였는데, 이는 여러 자동색인 시스팀 설계에 적용될 수 있을 것이다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2011년도 학술발표회
• /
• pp.58-58
• /
• 2011

The Texas Commission on Environmental Quality(TCEQ) WAM(Water Availability Modeling) System consists of the generalized Water Rights Analysis Package(WRAP) river/reservoir system water management simulation model, 22 sets of WRAP hydrology and water rights input files for the 23 river basins of Texas, geographic information system tools, and other supporting databases. The WRAP/WAM modeling system, as routinely applied since the late 1990s, has not included consideration of water quality. Recently developed WRAP-SALT(Water Rights Analysis Package) is designed primarily for computing concentration frequency statistics and supply reliability indices at locations of interest in a river system for alternative water development and management scenarios. Though motivated primarily by natural salt pollution, WRAP-SALT water quality modeling features are applicable to essentially any conservative water quality constituent. The Brazos River studies discussed in this paper focus on total dissolved solids, though the available observed data also includes chloride and sulfate which can be modeled as individual constituents. The WRAP-SALT salinity input file contains loads or concentrations of salinity inflows during each month of the hydrologic period-of-analysis and reservoir storage at the beginning of the simulation. The WRAP-SALT model computes salt loads and concentrations for each control point of a river/reservoir system for inflows and outflows during the month and end-of-month reservoir storage for each month of the hydrologic period-of-analysis, for given loads entering the system. River reaches connect control points. The mass balance algorithms proceed from upstream to downstream, with outflow from one river reach contributing to inflow to the next downstream reach. In a given month, for each control point in sequence, the inflow loads are first computed. Loads and concentrations of outflows and reservoir storage at the control point are then determined. Complete mixing during the month is assumed at locations without reservoir storage.

• 한국정밀공학회지
• /
• 제21권11호
• /
• pp.130-139
• /
• 2004

The Casing Oscillator is a bore file Equipment for the all-casing process. All-casing process is a method of foundation work in construction yard to oscillate steel Casing in the ground. The existing Casing Oscillator has some problem like not boring horizontally with disturbance and not driving Casing othor angle except horizon. To solve problem, the new structure Casing Oscillator is presented and studied. The performance of Casing Oscillator is improved by kinematics analysis. The Casing Oscillator is similar to the parallel manipulator in structure. So we obtain Inverse kinematics solution of Casing Oscillator easily. But it is difficult to solve forward kinematics of Casing Oscillator. T his paper presents a novel pose description corresponding to the structure characteristics of parallel manipulators. Through analysis on geometry theory, we obtain a new method of the closed-form solution to the forward kinematics using Kinematic Inversion. The closed-form solution contains two different meanings -analytical and real-time. So we reach the goal of practical application and control. Closed-form forward kinematics solution is verified by an inverse kinematics analysis. It shows that the method has a practical value for real -time control and inverse kinematics servo control.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2019년도 학술발표회
• /
• pp.384-384
• /
• 2019

기후변화 및 집중호우 등으로 최근 농경지 침수 피해는 증가하고 있다. 농경지 침수 피해에 대한 대책 수립을 위해서는 수리 수문 모델링을 통한 침수 피해 예측이 선행되어야 한다. 농경지 침수 모의를 위해서는 유역 특성 자료, 농경지 특성 자료 및 하천 특성 자료 등을 구축해야 한다. 하지만 농경지 면적, 배수 구획, 표고 등과 농촌유역 소하천 단면 특성 자료는 측량 자료가 존재하지 않는 경우가 대부분이며, 미계측 농경지의 침수 모의를 위해서는 농경지 및 하천 특성 자료를 생성할 필요가 있다. 본 연구에서는 미계측 농경지를 대상으로 자료 생성 및 침수 모의 기법을 개발하고 적용성을 분석하고자 한다. 측량 자료가 존재하는 청미천 유역 단평지구를 대상지구로 선정하였으며, 항공사진, KRF (Korea reach file) 자료, DEM (Digital elevation model), 항공사진 등을 이용하여 하천 및 농경지 특성 자료를 생성하였다. 측량 자료와 생성 자료를 이용하여 하천수위 및 농경지 수위를 각각 산정하고, 배수지연 등 농경지의 수문 특성을 반영하여 침수 모의를 수행하였다. 본 연구의 결과는 향후 미계측 농경지의 침수 모의를 위한 기초 자료로 활용될 수 있을 것으로 기대된다.

• 대한방사선치료학회지
• /
• 제26권2호
• /
• pp.305-312
• /
• 2014

목 적 : 동적다엽조준기(dynamic multileaf collimator, DMLC)에서 leaf 속도 정도관리 시 획득된 dynalog 파일을 이용하여 leaf 속도 정확성을 평가하고 정도관리와 모터 교체의 연관성을 분석하여 정도관리의 유용성을 살펴보고, 이를 통해 leaf 속도 정도관리의 적절한 주기를 파악하고자 하였다. 폐암의 정위적체부방사선치료시 실제 적용하고 있는 최대강도투사(MIP) 영상과 호흡위상별(0~90%)영상에서 3차원적으로 재구성된 선량 분포 차이를 평가하고자 한다. 대상 및 방법 : 다엽조준기(multileaf collimator, MLC) 모터 120개에 대해 2012년 1월부터 2014년 6월까지 leaf 위치의 정확성과 치료 중심점(isocenter) 일치도 및 leaf 속도의 정확성에 대해 정도관리를 하였다. leaf 위치 정확성은 모눈종이를 사용하였으며, 또한 leaf의 치료 중심점 일치도를 평가하였다. 그리고 약 1~2 주에 1회씩 총 92회의 leaf 속도 정도관리를 통해 모터 교체회수를 파악하여 leaf 속도 정도관리와 모터 교체와의 상관관계를 분석하였으며, 교체된 모터로부터 leaf의 RMS 값이 점차적으로 증가하는 경우와 급격하게 증가하는 경우로 나누어 적절한 정도관리 주기를 평가하였다. 또한 정도관리를 통해 획득된 RMS 값과 전혀 무관하게 그리고 정도관리를 통해 교체된 모터 횟수를 분석하여 leaf 속도 정도관리의 유용성을 알아보았다. 결 과 : leaf 위치의 정확성과 치료 중심점 일치도를 측정한 결과는 TG-142 보고서에서 권고 하는 허용 범위 이하의 정확성으로 관찰되었고, leaf 속도 정도관리는 총 92회를 시행한 결과 MLC 모터 교체 회수는 56회 이었다. 정도관리를 통해 교체된 모터에서 leaf의 RMS 값이 점차적으로 증가한 경우가 급격하게 증가한 경우에 비해 많았으며, RMS 값이 점차적으로 증가하는 경우는 평균값이 0.298 cm 이었고 급격하게 증가한 경우는 평균값이 0.273 cm 이었다. 모두 에러 히스토그램이 1 cm 이상 벗어난 횟수가 측정되어 교체하였다. RMS 값이 점차적으로 증가하여 모터가 교체될 때까지의 소요기간은 평균 22일 정도 였다. 전체 모터 교체 중 정도관리와 무관하게 그리고 정도관리를 통해 교체한 경우가 각각 28회씩으로 나타났다. 또한 방사선치료 도중 MLC 모터 고장으로 인하여 발생되는 치료 지연 시간은 약 20분 정도였다. 결 론 : 본 연구에서는 최근 IMRT 치료가 증가함에 따라 MLC 사용 빈도 역시 증가하고 있는 시점에서 leaf 위치 정확성 및 치료 중심점 일치도 그리고 속도 정확성 평가를 2년 6개월 동안 수행하였다. leaf 속도 정도관리를 통해 분석한 결과로부터 2 주에 한 번씩 정도관리를 수행하는 것이 적절한 것으로 판단된다. 이 주기를 통해서 leaf 속도 저하를 추적 관찰하여 최종 모터의 교체시기를 예측할 수 있을 것이다. 더불어 방사선치료 중 leaf의 모터 고장으로 인한 방사선치료 지연을 방지하여 좀 더 정확한 IMRT 치료가 이루어지겠다.

• 한국식품영양과학회지
• /
• 제11권3호
• /
• pp.21-27
• /
• 1982

건조(乾燥) 말쥐치를 저장중(貯藏中)의 온도(溫度)와 수분활성(水分活性)을 달리하였을 때의 비효소적갈변(非酵素的褐變)을 반응속도론적(反應速度論的)으로 고찰(考察)한 결과(結果)를 요약(要約)하면 다음과 같다. (1) 비효소적갈변(非酵素的褐變)의 반응속도(反應速度)는 수분활성(水分活性) 0.75에서 가장 높았고, Arrhenius식(式)에서 계산(計算)한 활성화(活性化) 에너지는 $12.5{\sim}16.5kcal/mole$, $Q_{10}$치(値)는 $1.9{\sim}2.3$이었다. (2) $25^{\circ}C$에서의 shelf-life(O.D. 0.15/g solid에 도달하는 시간)는 179일(日)${\sim}$302일(日)의 범위였으며 온도(溫度)와 수분활성(水分活性)이 증가(增加)함에 따라 급격히 단축되었다. (3) 변온조건(變溫條件)에서의 저장실험결과(貯藏實驗結果)와 이론적으로 예측한 값 사이에는 ${\Delta}T_{eff}$가 $2.0{\sim}2.6^{\circ}C$로서 실측치(實測値)보다 낮은 값을 보였고, shelf-life는 예측치(豫測値)가 1주일(週日)정도 짧았으나 이 방면의 연구(硏究)가 더욱 진행(進行)된다면 변온저장(變溫貯藏)의 결과(結果)를 효율적으로 예측(豫測)할 수 있을 것으로 예상된다.

• 한국학교수학회논문집
• /
• 제20권4호
• /
• pp.405-422
• /
• 2017

Nim 게임을 구분하여 한 더미 대상 게임을 1단계, 두 더미 대상 게임을 2단계, 세 더미 대상 게임을 3단계로 나누어 중학교 수학영재들을 대상으로 탐구활동을 실시하였다. 학생들은 난이도가 낮은 1단계에서는 연역적 추론을 통하여 쉽게 필승전략을 발견하였다. 2단계에서는 연역적 추론 또는 귀납적 추론으로 필승전략을 발견하였지만 귀납적 추론 과정에서는 오류가 발견되었다. 3단계 게임에서는 연역적 추론으로 필승전략을 발견한 학생들은 없었으며 귀납적 추론 과정에서는 오류가 발견되었다. 유한개의 경우에서 성립하는 패턴을 정당화 절차 없이 무조건 일반화하려는 경향이 오류의 원인임이 밝혀졌다. 학생들에게 이진법 상자를 시각적으로 제시한 결과, 학생들은 승패에 따른 패턴을 쉽게 발견하고 게임 활동을 통하여 필승전략을 인식하게 되었으며 일부 학생들은 발견한 필승전략을 정당화하는 단계에 도달할 수 있었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.221-221
• /
• 2017

본 연구에서는 국내는 물론 전 세계적으로 널리 사용되고 있는 SWAT 모형을 대상으로 하천 단면 관련 입력변수가 유량 및 수질 모의에 미치는 영향을 분석하였다. 본 연구에서는 남한강 상류 충주댐 유역을 연구대상지역으로 연구를 진행하였으며, 충주댐 유역 내 소유역 중에서 국립환경과학원에서 국내 하천을 대상으로 구축한 한국형 Reach File(KRF) 내 실측 하천단면 정보가 존재하는 소유역에 대하여 실측 하천단면 정보를 적용하였다. 또한 본 연구를 위해 사용자가 구축한 소유역별 하천단면 정보 입력 자료를 통해 수문 및 수질 모의가 가능하도록 기존 SWAT 모형의 엔진 소스코드를 개선하였다. 유역 최종 유출구와 KRF의 실측 하천단면 정보를 적용한 소유역의 유량과 수질(유사량)에 대해서 실측 하천단면 정보 적용 전과 후의 모의 결과를 비교한 결과 유역 최종 유출구에서는 유량 및 유사량 모두 큰 변화는 나타나지 않았다. 이는 전체 유역 중 실제 하천단면 정보를 적용한 소유역의 비중이 작기 때문으로 판단되었다. 하지만 하천단면 정보를 적용한 소유역에서는 유량 및 유사량 모두 적용 전/후 차이가 나타났다. 특히 저유량 부분에서의 유사량이 큰 변화를 나타냈다. 하지만 본 연구에서 실측 하천단면 정보를 적용한 소유역은 유량 및 수질관측소가 위치하지 않는 미계측 유역으로써 실제 유량 및 수질 모의 정확도 향상 여부에 대한 평가가 불가능하였다. 따라서 향후 유량 또는 수질 관측이 이뤄지고 있는 계측 유역을 대상으로 실제 모형 모의 정확도 향상 여부에 대한 분석이 필요할 것으로 판단된다.