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

악성코드를 이용한 사이버 위협이 꾸준히 증가함에 따라 많은 보안 및 백신 관련 업체들이 악성코드 분석 및 탐지에 많은 노력을 기울이고 있다. 그러나 소프트웨어의 분석이 어렵도록 하는 난독화 기법이 악성코드에 적용되어 악성코드에 대한 빠른 대응이 어려운 실정이다. 특히 상용 난독화 도구는 빠르고 간편하게 변종 악성코드를 생성해 낼 수 있기 때문에 악성코드 분석가가 새로운 변종 악성코드의 출현 속도에 대응할 수 없도록 한다. 분석가가 빠르게 악성코드의 실제 악성행위를 분석하도록 하기 위해서는 난독화를 해제하는 역난독화 기술이 필요하다. 본 논문에서는 상용 난독화 도구인 Themida가 적용된 소프트웨어를 역난독화하는 일반적인 분석방법론을 제안한다. 먼저 Themida를 이용하여 난독화가 적용된 실행파일을 분석하여 알아낸 Themida의 동작 원리를 서술한다. 다음으로 DBI(Dynamic Binary Instrumentation) 프레임워크인 Pintool을 이용하여 난독화된 실행파일에서 원본 코드 및 데이터 정보를 추출하고, 이 원본 정보들을 활용하여 원본 실행파일에 가까운 형태로 역난독화할 수 있는 자동화 분석 도구 구현 결과에 대해 서술한다. 마지막으로 원본 실행파일과 역난독화한 실행파일의 비교를 통해 본 논문의 자동화 분석 도구의 성능을 평가한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권8호
• /
• pp.730-741
• /
• 2005

층위 구조 아키텍처는 프로그램을 일반성에 따라 분할하는 모듈 구성의 방법이다. 본 논문은 객체지향 프로그램으로부터 층위 구조 아키텍처를 복구하고 아키텍처 문서와의 일치성을 검사하는 방법을 제시한다. 객체지향 프로그램에서의 층위구조 스타일 규칙을 기술하기 위해, 모듈 간 사용 관계에 기반한 모듈들의 부분 순서 집합을 구성하며, 재정의 관계를 통해 모듈 간 층위 관계를 정의한다. 또한, 층위 관계의 의미를 설계 패턴에서의 예를 통해 설명한다. 프로그램으로부터 층위 구조 아키텍처를 복구하기 위한 절차를 기술하며, 복구를 위한 메타 모델을 제시한다. 이를 기반으로 공개 소스 프로젝트를 통해 개발된 소프트웨어의 소스코드들로부터 층위 구조 아키텍처를 복구하고, 복구된 아키텍처로부터 발견된 층위 관계의 의미와 아키텍처 문서와의 불일치 부분들에 대해 논의한다. 검사를 통해 아키텍처 문서와 일치하지 않는 부분들이 발견하였고, 이를 조사한 결과 이들이 층위 구조 아키텍처에서 허용 가능한 예외로 여겨지지만 아키텍트가 이들 부분에 대한 변경을 주의 깊게 관리할 필요가 있다는 것을 지적하였다.

• 한국식품조리과학회지
• /
• 제8권2호
• /
• pp.137-145
• /
• 1992

A computer-assisted microbiological quality assurance program was developed based on HACCP data obtained from a 500 bed general hospital by assessing time and temperature conditions and microbiological qualities of six categories of menu items according to the process of food product flow. The purpose of the study was to develop a computer-assisted microbiological quality assurance program in order to simplify the assessment procedures and to provide a maximum assurance to foodservice personnel and the public. A 16-Bit personnel computer compatible with IBM-PC/AT was used. The data base files and processing programs were created using dBASE III plus packages. The contents of the computerized system are summarized as knows: 1. When the input program for hazard analysis runs, a series of questions are asked to determine hazards and assess their severity and risks. Critical control points and monitoring methods for CCPs are identified and saved in Master file. 2. Output and search programs for hazard analysis are composed of 6 categories of recipe data file list, code identification list, and HACCP identification of the specific menu item. 3. When the user selects a specific category of recipe from 6 categories presented on the screen and runs data file list, a series of menu item list, CCP list, monitoring methods list are generated. When the code search program runs, menu names, ingredients, amounts and a series of codes are generated. 4. When the user types in a menu item and an identification code, critical control points and monitoring methods are generated for each menu item.

• 원예과학기술지
• /
• 제29권5호
• /
• pp.461-466
• /
• 2011

유전 육종 연구를 위해 연구자들은 실험 목적에 따라 다양한 종류의 프라이머를 제작해야 한다. 인터넷 상에서 다양한 공용 프로그램이 이용되고 있으나 많은 경우 사용자 편의성이 낮기 때문에 유전자의 구조를 고려하여 프라이머를 디자인하기 위해서는 시간과 노력이 소요된다. 본 연구에서는 엑손과 인트론 지역을 시각적으로 구별하면서 손쉽게 프라이머를 제작할 수 있는 프로그램인 Pickprimer를 개발하였다. 이 프로그램은 공용 프로그램인 Spidey와 Primer3 프로그램의 소스 코드를 결합한 후 그래픽 인터페이스를 추가하여 사용자가 유전자의 구조를 예측하고 이를 바탕으로 프라이머를 손쉽게 제작할 수 있게 했다. 입력 정보는 공용 데이터베이스에서 내려 받은 서열을 복사-붙임하여 이용할 수 있게 하였으며, 유전자의 구조를 그림으로 표현하고 동시에 엑손과 인트론 서열을 구별할 수 있게 했다. 이 프로그램을 이용하여 배추의 단일 카피 유전자에 대한 24 쌍의 프라이머를 디자인하고 6개 고정 품종을 대상으로 PCR과 전기영동 실험을 수행한 결과 제작한 모든 프라이머 쌍이 명확한 단일 밴드를 성공적으로 증폭시켰다. 이 프로그램은 분자표지의 개발뿐만 아니라 유전자 기능 연구 등 다양한 종류의 유전 육종 실험에 유용하게 이용될 수 있을 것으로 기대된다.

• 콘크리트학회논문집
• /
• 제26권5호
• /
• pp.573-579
• /
• 2014

합성보는 콘크리트 바닥판과 강재 거더로 이루어져 왔으나, 바닥판의 자중을 줄이면서 내구성을 향상시키고 나아가 교량의 강도 및 강성을 향상시키기 위하여 초고성능 콘크리트(UHPC)를 교량 바닥판으로 채용한 합성보가 최근에 제안되고 있다. 이 연구는 기존의 스터드 전단연결재가 UHPC 바닥판을 합성함에 있어 유효한지에 관하여 실험적으로 검토해보고자 한다. 12개의 push-out 시험체를 통하여 UHPC 바닥판에 매립된 스터드 전단연결재의 정적 강도를 평가하였으며, 실험 변수로 바닥판 두께, 스터드 높이 및 지름을 채택하여, 기존에 제한되었던 스터드 지름에 대한 높이의 비율인 형상비와 스터드 머리부 상부 콘크리트 피복두께의 제한을 완화하는 것이 가능한지에 대하여 검토하였다. 이 연구의 실험으로부터 기존 AASHTO LRFD에 제시된 정적 강도평가식을 UHPC에 매립된 스터드 전단연결재에 적용하는 것이 유효함을 확인하였으며, 4이상으로 제한된 형상비는 3.1까지 낮추어도 되며, 50 mm로 제한된 최소 피복두께도 25 mm까지 낮출수 있음을 확인하였다. 다만 Eurocode-4에 제시된 연성도 기준인 특성 상대슬립 6 mm 이상의 기준을 만족하지 못하여, UHPC에 매립된 스터드 전단연결재는 별도의 연성 보강 방안이 채택되지 않는다면 강성 전단연결재로 간주하여야 할 것이다.

• Journal of Mechanical Science and Technology
• /
• 제20권12호
• /
• pp.2061-2078
• /
• 2006

The main purpose of this paper is to establish the high temperature structural integrity evaluating procedures for the next generation reactors, which are to be operated at over 500$^{\circ}C$ and for 60 years. To do this, comparison studies of the high temperature structural design codes and assessment procedures such as the ASME-NH (USA), RCC-MR (France), DDS (Japan), and R5 (UK) are carried out in view of the accumulated inelastic strain and the creep-fatigue damage evaluations. Also the application procedures of the ASME-NH rules with the actual thermal and structural analysis results are described in detail. To overcome the complexity and the engineering costs arising from a real application of the ASME-NH rules by hand, all the procedures established in this study such as the time-dependent primary stress limits, total accumulated creep ratcheting strain limits, and the creep-fatigue damage limits are computerized and implemented into the SIE ASME-NH program. Using this program, the selected high temperature structures subjected to two cycle types are evaluated and the parametric studies for the effects of the time step size, primary load, number of cycles, normal temperature for the creep damage evaluations and the effects of the load history on the creep ratcheting strain calculations are investigated.

• 생물환경조절학회지
• /
• 제2권2호
• /
• pp.126-135
• /
• 1993

Recently, the characteristic of plant production systems in Korea has been changed with the strong trends of integration and large scale, using environmental control techniques. To satisfy this change successfully, first of all, the environmental prediction inside the system must be preceded. While many environmental prediction models for plant production system were developed by many persons, each model cannot be applied to the every situation without the perfect understanding of source codes and the technical modification. The purpose of this study is building the environmental prediction model to predict and evaluate the environment inside the system numerically, and also developing the multipurpose program available for practical design. The model consisted of the basic system model, the cultivation related model and the environmental control related model. The contents of each model are as follows : the basic system model is dealing with thermal and light environments, soil environment and ventilation : the cultivation related model with soil and hydroponic cultures ; and the environmental control related model with thermal curtain and heat exchanging system. The environmental prediction model was developed using a common simulation program, PCSMP, so that it could be easily understood and modified by anyone. Finally, the model was executed and verified through comparison between simulated and measured results for soil culture, and both results showed good agreements.

• 대한기계학회논문집A
• /
• 제24권10호
• /
• pp.2654-2663
• /
• 2000

Steam turbine rotors are the most critical and highly stressed components of a steam power plant; therefore, the life expectancy of the turbine rotor is an important consideration for the safety of a steam power plant. The objective of this paper is to develop a life estimation program for turbine rotors for all possible operating conditions. For this purpose, finite element analysis was carried out for four normal operating modes (cold, warm, hot and very hot starts) using ABAQUS codes. The results are made into databases to evaluate the life expenditure for an actual operating condition. For any other possible abnormal operating condition, the operating data are transmitted to the server (workstation) through a network to carry out finite element analysis. Damage estimation is carried out by transmitting the finite element analysis results to the personal computer, and then the life expectancy is calculated.

• 천문학회보
• /
• 제42권1호
• /
• pp.57.2-57.2
• /
• 2017

Remote and robotic telescopes are the most effective instrument for astronomical survey projects. The system is based on the dynamic operation of all astronomical instruments such as dome and telescope control system (TCS), focuser, filter wheel and data taking camera. We adopt the ASCOM driver platform to control the instruments through the integrated software. It can convert different interface libraries from various manufacturers into a uniform standard library. This allows us to effectively control astronomical instruments without modifying codes. We suggest a conceptual design of software for automation of a small telescope such as the new wide-field 0.25m telescope at McDonald Observatory. It can also be applied to operation of multi-telescopes in future projects.

• 한국전산구조공학회논문집
• /
• 제24권2호
• /
• pp.121-131
• /
• 2011

본 논문에서는 경계요소법으로 평면 탄성 접촉문제를 해석하기 위하여 객체지향기법을 이용하여 프로그램을 구성하였다. 개발된 프로그램의 상세는 UML을 통하여 기술함으로써, C++로 구현된 프로그램이 일반적인 객체지향기법을 통해 구현될수 있도록 하였다. 개발된 프로그램은 접촉해석의 비선형성과 모퉁이 문제를 포괄할 수 있도록 추상화된 객체로 구현되었다. 접촉해석에 관련된 객체의 상세를 기술하였으며, 수치해석 예제를 통하여 개발된 프로그램의 정확성을 검증하였다.