• 융합보안논문지
• /
• 제19권1호
• /
• pp.97-101
• /
• 2019

운영 체제의 코어에 Intel PT가 포함된 경우, 크래시 발생 시 디버거는 프로그램 상태를 검사할 수 있을 뿐만 아니라 크래시를 발생시킨 제어 플로우를 재구성할 수 있다. 또한, 커널 패닉 및 기타 시스템 정지와 같은 상황을 디버그하기 위해 실행 트레이스 범위를 전체 시스템으로 확장할 수도 있다. 2세대 PT인 WinIPT 라이브러리는 Windows 10 (버전 1809/Redstone 5)에서 제공하는 IOCTL 및 레지스트리 메커니즘을 통해 프로세스 별 및 코어 별 트레이스를 실행할 수 있는 추가 코드가 포함된 Intel PT 드라이버를 포함하고 있다. 즉 기존 1세대 PT에서 비정규화된 방식으로만 제한적인 접근이 가능했던 PT 트레이스 정보를 2세대 PT에서는 운영 체제에서 제공하는 IOCTL 및 레지스트리 메커니즘을 통해 프로세스 별 및 코어 별 트레이스를 실행할 수 있게 되었다. 본 논문에서는 1/2세대 PT를 이용하여 윈도우 환경에서 PT 데이터 패킷의 수집 저장 디코딩 및 악성코드 검출을 위한 방법을 비교 설명하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 하계종합학술대회 논문집(1)
• /
• pp.21-24
• /
• 2000

In this paper, We introduce effective handoff method from W-COMA system of 3$^{rd}$ generation to 15-95 system of 2$^{nd}$ generation. In case of this handoff, Ms should know long code state using traffic channel, timing information and pilot offset of 26 synchronous system during the compressed mode. So We establish additional common channel in order to obtain handoff information. Common channel transmits same information from all base stations and provides MS with timing information of zero offset. long code state and timing of super frame for sync. channel. Therefore during the compressed mode. MS can obtain information for handoff using common channel..

• 한국자동차공학회논문집
• /
• 제21권4호
• /
• pp.181-187
• /
• 2013

Performance of DI diesel engine with high fuel injection method is directly related to its emission characteristics and fuel consumption. In this study, numerical model of 3rd generation piezo-driven injector was designed to analyze the hydraulic performance. Also the injection response characteristics was investigated by using the AMESim simulation code. From this study, it was shown that 3rd generation piezo-driven injector had a faster response and had better control capability due to its hydraulic bypass-circuit that has potential to higher hydraulic characteristics and improved accuracy of injected fuel quantity.

• Nuclear Engineering and Technology
• /
• 제44권2호
• /
• pp.161-176
• /
• 2012

McCARD is a Monte Carlo (MC) neutron-photon transport simulation code. It has been developed exclusively for the neutronics design of nuclear reactors and fuel systems. It is capable of performing the whole-core neutronics calculations, the reactor fuel burnup analysis, the few group diffusion theory constant generation, sensitivity and uncertainty (S/U) analysis, and uncertainty propagation analysis. It has some special features such as the anterior convergence diagnostics, real variance estimation, neutronics analysis with temperature feedback, $B_1$ theory-augmented few group constants generation, kinetics parameter generation and MC S/U analysis based on the use of adjoint flux. This paper describes the theoretical basis of these features and validation calculations for both neutronics benchmark problems and commercial PWR reactors in operation.

• 한국유체기계학회 논문집
• /
• 제14권3호
• /
• pp.18-22
• /
• 2011

This paper presents the transient performance analysis of a micro-hydro Pelton turbine for the osmotic power generation using the commercially available computational fluid dynamics (CFD) code, ANSYS CFX. The detailed flow field in the micro Pelton turbine with a single-jet is investigated by the CFD code adopted in the present study. Predicted characteristic curves agree fairly well with measured data for a prototype Pelton turbine over the normal operating conditions. The computational analysis method presented herein can be effectively applied to the hydraulic design optimization process of general purpose Pelton turbine runners.

• 전자공학회논문지CI
• /
• 제45권1호
• /
• pp.37-47
• /
• 2008

DSP에서 제공되는 주소 생성 유닛은 데이터 패스와 병렬적으로 주소 연산을 수행할 수 있게 해 줌으로써, DSP 코드 생성에 중요한 역할을 한다. 프로그램 변수들의 메모리 레이아웃을 결정하는 문제는 주소 생성 유닛의 기능을 이용하여 주소 연산용 명령어를 줄이는 최적화이다. 메모리 레이아웃 생성 단계와 주소 포인터 할당 단계로 구분 되는 이 최적화에서 본 논문은 주소 연산 코드의 수가 최소가 되도록 DSP용 코드 생성의 효과적인 주소 포인터 할당 문제를 다룬다. 제안하는 알고리즘은 고정된 메모리 레이아웃을 가질 때 주소 포인터 할당을 수행하는 기존의 알고리즘의 시간 복잡도를 줄이는 기법이다. 메모리 크기와 수행 시간을 줄이기 위해 알고리즘을 수행할 때 핵심적인 요소들만을 고려하도록 강한 가지치기 방법을 사용하였다. 또한 주소 포인터 할당 문제는 메모리 레이아웃에 영향을 크게 받는 문제이기 때문에 본 논문은 주어진 메모리 레이아웃을 갱신하여 반복적으로 성능을 개선하는 방법을 제안한다. 약 3,000여개의 실제 프로그램으로부터 얻은 변수 접근 시퀀스를 제공하는 OffsetStone 벤치마크를 이용한 실험결과를 통해 본 논문에서 제안한 기법과 알고리즘을 테스트 했다. 제안한 방법은 전통적인 방법보다 평균 25.9%의 적은 주소 코드를 생성해 냄을 보인다.

• 한국통신학회논문지
• /
• 제31권11C호
• /
• pp.1037-1043
• /
• 2006

본 논문에서는 차세대 대용량 데이터 저장장치로 부각되고 있는 홀로그래픽 데이터 저장장치를 위한 2차원 변조코드를 제안한다. 단위 면적당 기록 밀도의 증가로 인한 인접 심볼간 간섭과 3차원적인 홀그래픽 저장으로 인한 페이지간 섭 등에 강인한 성능을 갖도록 같은 페이지 내의 1과 0의 개수가 거의 동일하도록 설계하였으며, 또 가능한 많은 1과 0의 천이가 일어나도록 설계하였다. 제안된 코드의 코드율은 5/9로서 기존의 4/9 코드보다 25%의 코드율 개선을 하였다.

• 한국컴퓨터정보학회논문지
• /
• 제6권4호
• /
• pp.100-103
• /
• 2001

자바프로그램의 실행속도를 빠르게 하는데 있어서 가장 좋은 방법은 빠른 자바가상머신(JVM : Java Virtual Machine)을 사용하는 것이다. 자바가상머신의 성능은 구현 차이에 따라 성능차이가 많이 난다. 자바가상머신을 구현하는데 있어서 가장 중요한 성능 향상의 기술은 JIT(Just-in-Time) 코드 생성기(Code Generator)이다. JIT 코드 생성기는 자바 바이트 코드를 플랫폼에 맞는 native machine code로 변환해 준다. 이 native code들은 자바가상머신에서 각 바이트 코드를 분석하는데 걸리는 시간을 단축할 수 있기 때문에 기존의 방식보다 빠르게 동작한다. 그러나 JIT 코드 생성기는 많은 레지스터를 사용하기 때문에 스택과 레지스터간의 traffic이 가중되는 문제가 있다. 그러므로 본 논문에서는 자바가상머신의 성능 향상을 위한 방안으로 효율적인 stack allocation 정책을 JIT 코드 생성기에 적용하여 레지스터와의 traffic을 감소시킬 수 있는 방안을 제시하였다.

• International Journal of Advanced Culture Technology
• /
• 제9권4호
• /
• pp.288-294
• /
• 2021

There are various ways to be infected with malicious code due to the increase in Internet use, such as the web, affiliate programs, P2P, illegal software, DNS alteration of routers, word processor vulnerabilities, spam mail, and storage media. In addition, malicious codes are produced more easily than before through automatic generation programs due to evasion technology according to the advancement of production technology. In the past, the propagation speed of malicious code was slow, the infection route was limited, and the propagation technology had a simple structure, so there was enough time to study countermeasures. However, current malicious codes have become very intelligent by absorbing technologies such as concealment technology and self-transformation, causing problems such as distributed denial of service attacks (DDoS), spam sending and personal information theft. The existing malware detection technique, which is a signature detection technique, cannot respond when it encounters a malicious code whose attack pattern has been changed or a new type of malicious code. In addition, it is difficult to perform static analysis on malicious code to which code obfuscation, encryption, and packing techniques are applied to make malicious code analysis difficult. Therefore, in this paper, a method to detect malicious code through dynamic analysis and static analysis using Trojan-type Downloader/Dropper malicious code was showed, and suggested to malicious code detection and countermeasures.

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

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.