• Review of KIISC
• /
• v.25 no.6
• /
• pp.5-12
• /
• 2015

스마트폰 사용이 대중화됨에 따라 스마트폰 사용인구 증가와 함께 우리의 일상생활과 밀접한 관계를 가지며 영향력을 넓혀가고 있는 가운데, 악성앱을 이용해 개인정보 유출, 불법 과금 유발, 스팸 발송 등 스마트폰 사용자에 피해를 입히며 사회적인 문제를 유발하는 보안 위협의 출현 또한 지속적으로 증가하고 있다. 이러한 문제를 해결하기 위해 전 세계 보안업체, 연구소, 학계 등에서는 스마트폰 악성앱을 탐지하고 대응하기 위한 기술을 연구개발하고, 앱 마켓에서는 악성앱을 탐지하기 위한 분석 시스템을 도입하는 등 다양한 활동이 진행되고 있다. 하지만 악성앱 또한 기존의 탐지 및 대응 기술을 우회하는 등 생존율을 높이기 위한 방향으로 점차 지능화 정교화되는 양상을 보이고 있다. 최근 이러한 특징은 앱 마켓 등에서 도입하고 있는 대량의 앱에 대한 자동화된 런타임 분석을 수행하는 동적분석 시스템/서비스를 대상으로 많이 발생되고 있는데, 동적분석의 환경적, 시간적 제약 등을 이용하여 분석기술을 회피하는 기법을 주로 사용하고 있다. 이와 관련하여 본 논문에서는 기존의 동적분석 기술을 우회하는 악성앱 분석회피 행위 유형을 분류하고, 이와 관련된 연구 동향에 대한 정보를 제공하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.544-546
• /
• 2002

본 논문은 CDHMM(Continuous Density Hidden Markov Model)의 훈련하는 방법을 동적 다중 그룹 혼합 가중치(Dynamic Mutli-Group mixture weight)을 이용하여 재구성하는 방법을 제안한다. 음성은 Hidden 상태열에 의하여 특성화되고, 각 상태는 가중된 혼합 가우시안 밑도 함수에 의해 표현된다. 음성신호를 더욱더 정확하게 계산하려면 각 상태를 위한 가우시안 함수를 더욱더 많이 사용해야 하며 이것은 많은 계산량이 요구된다. 이러한 문제는 가우시안 분포 확률의 통계적인 평균을 이용하면 계산량을 줄일 수 있다. 그러나 이러한 기존의 방법들은 다양한 화자의 발화속도와 가중치의 적용이 적합하지 못하여 인식률을 저하시키는 단점을 가지고 있다. 이 문제를 다양한 화자의 발화속도에 적합하도록 화자의 화자의 발화속도에 따라 동적으로 5개의 그룹으로 구성하고 동적 다중 그룹 혼합 가중치를 적용하여 CDHMM 파라미터를 재구성함으로써 8.5%의 인식율이 증가되었다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2021.06a
• /
• pp.322-323
• /
• 2021

증강현실이나 자율 주행, 드론 등의 기술에서 현재 위치와 시점을 파악하기 위해서는 실시간 카메라 자세 추정이 필요하다. 이를 위해 가장 일반적인 방식인 연속적인 단안 영상으로부터 카메라 자세를 추정하는 방식은 두 영상의 정적 객체 간에 견고한 특징점 매칭이 이루어져야한다. 하지만 일반적인 영상들은 다양한 이동 객체가 존재하는 동적 환경이므로 정적 객체만의 매칭을 보장하기 어렵다는 문제가 있다. 본 논문은 이 같은 동적 환경 문제를 해결하기 위해, 신경망 기반의 객체 분할 기법으로 영상 속 객체를 추출하고, 객체별 특징점 매칭 및 자세 추정 결과로 정적 객체를 특정해 매칭하는 방법을 제안한다. 또한, 제안하는 정적 객체 특정 방식에 적합한 신경망 기반 특징점 추출 방법을 사용하면 동적 환경에 보다 강인한 카메라 자세 추정이 가능함을 실험을 통해 확인한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.592-594
• /
• 2001

원격 교육에서 시간과 장소에 제한을 받지 않도록 하기 위해서 비슷한 난이도의 문제를 출제할 수 있는 동적 문제 출제시스템이 필요하다. 이 시스템은 웹 서버에서 문제를 임의 추출하고, 추출된 문제를 임의 정렬하여, 정렬된 문제를 출력하는 방법을 사용하였다. 이 방법은 서버의 부하를 가중시켜 실행시간을 증가시키는 문제점이 있다. 이러한 문제점을 해결하기 위해서 임의 추출 기능들을 데이터베이스 서버, 웹 서버, 클라이언트로 분할하여 실행시간을 단축시키는 시스템을 제안하고 구현하였다.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.1 no.4
• /
• pp.59-68
• /
• 1997

In analysis of underground structures, the effects of artificial boundary conditions are considered as one of the major reasons for differences from experimental results. These phenomena can be overcome by using the boundary elements which satisfy the multi-layered half space conditions. The fundamental solutions of multi-layered half-space for boundary element method is formulated satisfying the transmission and reflection of waves at each layer interface and radiation conditions at bottom layer. The governing equations can be obtained from the displacements at each layer which are expressed in terms of harmonic functions. All types of waves can be included using the complete response from semi-infinite integrals with respect to horizontal wavenumbers using expansion of Fourier series and Hankel transformation. Two dimensional Green's functions are derived from cylindrical Navier equations and potentials performing infinite integration in y-direction. In this case, it is effective to transform into two dimensional problem using semi-analytical integration and sinusoidal Bessel function. Some verifications are given to show the accuracy and efficiency of the developed method, and numerical examples to demonstrate the dynamic behavior of underground with various properties.

• Journal of Digital Convergence
• /
• v.10 no.1
• /
• pp.349-355
• /
• 2012

Today, the computing environments is very complex, so researches that endow a system with the self-healing's ability that recognizes problem arising in a target system are being an important issues. However, the existing methodology, the goal for the new requirements for self-healing system developers to model and analyze the constraints that must be greater efforts. Therefore, in this paper are aware of problems detected by the system to solve the problem is the analysis of goal-based scenarios. In addition, there is a pre and post applying a strategy to be dynamically reconfigured to show you how to self-healing. These proposed new requirements for methodology, self-healing reduces the load on the developer's analysis.

• Journal of the Institute of Convergence Signal Processing
• /
• v.5 no.1
• /
• pp.32-39
• /
• 2004

Biological neurons generally have chaotic characteristics for permanent or transient period. The effects of chaotic response of biological neuron have not yet been verified by using analytical methods. Even though the transient chaos of neuron could be beneficial to overcoming the local minimum problem, the permanent chaotic response gives adverse effect on optimization problems in general. To solve optimization problems, which are needed in almost all neural network applications such as pattern recognition, identification or prediction, and control, the neuron should have one stable fixed point. In this paper, the dynamic characteristics of the chaotic dynamic neuron and the condition that produces the chaotic response are analyzed, and the convergence conditions are presented.

• Journal of Educational Research in Mathematics
• /
• v.23 no.4
• /
• pp.585-604
• /
• 2013

This study is based on the problem that most middle school students cannot recognize the generality of geometrical theorems even after having proved them. By considering this problem from the point of view of empirical verification, the particularity of geometrical representations, and the role of geometrical variables, we suggest that some experiences in dynamic geometry environment (DGE) can help students to recognize the generality of geometrical theorems. That is, this study aims to observe students' cognitive changes related to their recognition of the generality and to provide some educational implications by making students experience some geometrical explorations in DGE. To do so, we selected three middle school students who couldn't recognize the generality of geometrical theorems although they completed their own proofs for the theorems. We provided them exploratory activities in DGE, and observed and analyzed their cognitive changes. Based on this analysis, we discussed the effects of DGE on studensts' recognition of the generality of geometrical theorems.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.1 s.33
• /
• pp.101-112
• /
• 2005

Recently, one of the most challenging Problems is to compose web services dynamically, that is, on demand. In particular, when a functionality that cannot be directly realized by existing services is required, existing services may be combined together to fulfill the request. This paper is to implement the dynamic composition of web services using existing workflow technologies. Workflow systems play a major role in E-businesses. However, due to the composition of web services using workflows differs from the design of traditional workflow systems, two problems need to be solved. (1) how to efficiently discover web services and (2) how to facilitate the interoperability of heterogeneous web services. In this paper, we present a matching algorithm for web service discovery and propose an approach based on the use of ontologies to facilitate the integration of web services. Finally, we have built a prototype system to illustrate how to the dynamic composition of web services are achieved.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.12
• /
• pp.29-43
• /
• 2021

In this paper, a new approach to solve the constrained dynamic programming is proposed by using the constraint programming. While the conventional dynamic programming scheme has the state space augmented with states on constraints, this approach, without state augmentation, represents states of constraints as domains in a contraining programming solver. It has a hybrid computational mechanism in its computation by combining solving the Bellman equation in the dynamic programming framework and exploiting the propagation and inference methods of the constraint programming. In order to portray the differences of the two approaches, this paper solves a simple version of the long-term car rental financing problem. In the conventional scheme, data structures for state on constraints are designed, and a simple inference borrowed from the constraint programming is used to the reduction of violation of constraints because no inference risks failure of a solution. In the hybrid approach, the architecture of interface of the dynamic programming solution method and the constraint programming solution method is shown. It finally discusses the advantages of the proposed method with the conventional method.