• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.4 no.2
• /
• pp.55-70
• /
• 1994

본 논문은 데이타베이스의 동적 기능을 모형화하기 위해서 동적 규칙을 사건과 동적 규칙 객체로 취급하여 개념적 스키마에 표현하는 동적 객체지향 데이타 모델을 제안한다. 제안된 모델에서 정적 구조와 동적 구조에 대한 개념들을 정의하고 모형화 과정에서 사용자의 이해도를 증진시키는 모델의 구성요호에 대한 그래픽 다이어그램을 제시하였다. 그리고 동적 규칙이 데이타베이스 구조에 포함됨으로써 발생가능한 정보의 불법적인 노출 또는 변경을 방지하기 위해서 BLP모델의 보안 정책을 확장하여 제안된 모델에 대한 11가지 종류의 다단계 보안 성질들을 정의하였다. 또한, 정의된 다단계 보안 성질들이 타당한가를 조사하기 위해서 패트리네트를 확장하여, 보안 성질의 검증작업을 수행하였다.

• Annual Conference on Human and Language Technology
• /
• 2015.10a
• /
• pp.240-245
• /
• 2015

일반영역 음성인식은 n-gram 희소성 문제로 인해 대용량의 언어모델이 필요하다. 대용량 언어모델은 분산형 모델로 구현될 수 있고, 사용자 입력에 대한 동적 언어모델 보간 기술을 통해 음성인식 성능을 개선할 수 있다. 본 논문은 동적 언어모델 보간 기술에 대한 새로운 접근방법을 시도한다. 텍스트 군집화를 통해 주제별 언어모델을 생성한다. 여기서 주제는 사용자 입력 영역에 대응한다. 본 논문은 사용자 입력에 대하여 실시간으로 주제별 언어모델의 보간 가중치 값을 계산하는 접근 방법을 제시한다. 또한 언어모델의 보간 가중치 값 계산의 부담을 감소하기 위해 언어모델 군집화를 통해 대용량 언어모델 보간 접근 방법의 연산 부담을 해소하기 위한 시도를 한다. 주제별 언어모델에 기반하고 언어모델 군집화를 통한 동적 언어모델 보간 기술의 실험 결과 음성인식 오류 감소율 6.89%를 달성했다. 또한 언어모델 군집화 기술은 음성인식 정확도를 0.09% 저하시켰을 때 실행 시간을 17.6% 개선시키는 실험결과를 보였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.1
• /
• pp.172-180
• /
• 2005

Dynamic slicing method decomposes a program into slices and supports to be understood programs easily by software developer or maintainer. In this paper, we propose dynamic slicing algorithm to reduce time to decompose a program. We produce reference-variable set used in right and modify-variable set used in left on the basis of the assignment operator of all sentences and extract Inter-Variable Relationship(VV) for all variables of variable declaration. Proposed algorithm extracts dynamic slices by using them and execution trace of program. In conclusion, proposed algorithm improved the performance by reducing the time to extract dynamic slices by decreasing average comparison count of sentence when the number of criterion variables is three or more.

• Journal of KIISE
• /
• v.41 no.10
• /
• pp.859-869
• /
• 2014

In recent years, the obfuscation techniques are commonly exploited to protect malwares, so obfuscated malwares have become a big threat. Especially, it is extremely hard to analyze virtualization-obfuscated malwares based on unusual virtual machines, because the original program is hidden by the virtual machine as well as its semantics is mixed with the semantics of the virtual machine. To confront this threat, we suggest a framework to analyze virtualization-obfuscated programs based on the dynamic analysis. First, we extract the dynamic execution trace of the virtualization-obfuscated executables. Second, we analyze the traces by translating machine instruction sequences into the intermediate representation and extract the virtual machine architecture by constructing dynamic context flow graphs. Finally, we extract abstract semantics of the original program using the extracted virtual machine architecture. In this paper, we propose a method to extract the information of the original program from a virtualization-obfuscated program by some commercial obfuscation tools. We expect that our tool can be used to understand virtualization-obfuscated programs and integrate other program analysis techniques so that it can be applied to analysis of the semantics of original programs using the abstract semantics.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.606-608
• /
• 2000

네트워크의 속도가 빨라짐에 따라 저비용으로 고성능의 성능을 얻고자 하는 클러스터 시스템에 대한 연구가 많아지고 있다. Fast Ethernet, ATM, Myrient, SCI와 같은 고성능 네트워크 시스템이 많이 사용되고 있다. 기존 분산시스템에의 부하 불균등 문제가 이런 클러스터 시스템에서도 역시 문제시 되고 있다. 일반적인 동적 부하균등화 방법은 실행시간중에 노드들의 부하량에 대한 정보를 얻어 전체 노드들이 평균의 부하량에 수렴하도록 하는 것을 목적으로 한다. 그러나, 통신비용과 노드 복잡도에 따라 완벽한 부하균등화를 하는 것이 효율적인 부하균등화를 얻는 것이 아니다. 부하균등화 노드 복잡도에 따라 완벽한 부하듄등화를 하는 것이 효율적인 부하균등화를 얻는 것이 아니다. 부하균등화 비용이 클때는 완벽한 부하균등화보다는 이득률이 크도록 하는 부분적 부하 균등화가 더 효율적일 수 있다. 본 논문에서는 클러스터 시스템을 모델링하고 이에 적합한 부분적 동적 부하 균등화 모델을 제시한다.

• Journal of the Korean Geotechnical Society
• /
• v.16 no.5
• /
• pp.37-43
• /
• 2000

보통으로 다져진 실트질 모래(Dr=50%)에 대한 액상화 전후 상태에서의 반복하중에 의한 동적거동을 연구하기 위하여 몇가지의 압밀응력비로서 압밀시킨공시체에 대해서 일련의 일련의 반복삼축시험을 수행하였다. 연구결과로서 압밀응력비가 액상화거동에 미치는 영향을 나타내었으며 또한 액상화 전후의 동적거동을 비교하였다. 그리고 액상화 후의 거동은 선행액상화시의 응력반전여부에 의해서 절대적으로 좌우된다는 사실을 보여주고 있다. 결론적으로 액상화를 경험한 공시체의 액상화저항은 액상화를 경험하지 않은 공시체에 비해서 이방압밀의 경우에는 높고 등방압밀의 경우에는 낮다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.561-564
• /
• 2011

다양한 공학/산업적 측면에서 동적 취성 파괴 현상은 매우 중요하다. 취성 균열은 다른 균열 전파에 비해 그 전파 속도가 매우 빠르고 전파 범위가 넓기 때문에 대규모의 파괴 현상을 일으킨다. 동적 전파 중인 취성 균열 거동을 모델화하기 위해 오랜 기간 동안 많은 연구가 진행되었지만, 여전히 많은 부분들이 해석되지 못한 채 남아있다. 특히 균열 생성 및 전파를 위해 인위적인 조건들을 도입해야 하는 것은 기존 방법론들이 가지는 공통적인 문제점이다. 본 연구는 peridynamics를 동적 분기 균열 문제 해석에 도입한다. Peridynamics는 전통적인 연속체 이론에 기반한 수치해석 모델화 기법으로 균열과 같은 비연속성이 있는 문제의 모델화에 강점이 있으며, 인위적인 조건 없이 매우 간단한 방법으로 파괴 현상을 해석할 수 있다. 본 연구에서는 peridynamics 모델이 실험적으로 관측된 분기균열 형상과 균열 전파 속도를 매우 잘 예측해 낼 수 있음을 보인다. 또한 균열팁 주변에 높은 응력이 발생할 때 나타나는 연쇄 분기 현상도 해석할 수 있다. 이와 같은 연구를 통해 응력파가 균열 전파 속도를 변화시키고 전파 방향에도 영향을 주는 것을 알 수 있었다. 수치해석 결과도 또한 실험 결과들과 잘 부합함을 확인하였다.

• Journal of the Korean Geotechnical Society
• /
• v.27 no.9
• /
• pp.87-98
• /
• 2011

In this study, the magnitude and phase variation of dynamic earth pressure acting on a pile in liquefiable soils were analyzed using a series of 1g shaking table tests. In the case of a pile in dry sand, the value of the dynamic earth pressure was the highest near the surface due to the inertia force of the upper load on the pile and it decreased as the depth of the pile got lower. On the other hand, for a pile in liquefiable sand, the magnitude and shape of the dynamic earth pressure were similar to those of the excess pore pressure and was largely affected by the deformation of soils. Furthermore, the inertia force of the upper load and the dynamic earth pressure acted in opposite directions in cases of dry sand and saturated sand where low excess pore pressure had developed. However, after liquefaction, those force components near surface acted unfavorably in the same direction. Finally, the Westergaard’s solution was modified and proposed as a method to evaluate the magnitude of dynamic earth pressure acting on a pile during liquefaction.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2015.10a
• /
• pp.705-708
• /
• 2015

High dynamic range (HDR) imaging is a techniques used in imaging to reproduce a greater dynamic range of luminosity than is possible with standard digital imaging. Tone mapping of HDR images for realistic display is commonly studied. However, scientific visualization of HDR image for analysis of scene luminance has much less attention. In this paper, we present and implement a simple approach for the reproduction and visualization of color information in HDR images. We attempt several simple color visualizing functions, and estimate their effectiveness through the evaluation factors with common HDR images.

• Proceedings of the Korea Society for Energy Engineering kosee Conference
• /
• 2002.11a
• /
• pp.147-152
• /
• 2002

본 연구에서는 검증된 Bench급 석탄 가스화 공정에 대하여 개발된 동적모사 프로그램을 중잔유 가스화 공정 모델에 적용하여 가스화 성능에 크게 영향을 미치는 주요변수, 즉 시료 투입비, 산소 공급비, steam 공급비 및 압력조절밸브 열림궤도의 영향을 파악하고, 공정변수들의 동특성을 해석하였다. 가스화기의 부하변동에 따른 주요 공정 변수들의 변동경향 및 시상수에 대한 신뢰성 있는 모사결과를 얻을 수 있었으며, 개발된 모델을 사용하여 중잔유 가스화 공정설계를 위한 기초 자료를 마련하였다.