• Management Science and Financial Engineering
• /
• 제21권2호
• /
• pp.25-30
• /
• 2015

This short article compares different solution methods for a basic RBC model (Hansen, 1985). We solve and simulate the model using two main algorithms: the methods of perturbation and projection, respectively. One novelty is that we offer a type of the hybrid method: we compute easily a second-order approximation to decision rules and use that approximation as an initial guess for finding Chebyshev polynomials. We also find that the second-order perturbation method is most competitive in terms of accuracy for standard RBC model.

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

기존의 LVA를 수행하는 알고리즘은 반복적 정보흐름분석(Iterative Data Flow Analysis -DFA) 프레임워크에 따라 프로그램 전체를 반복적으로 스캔하면서 진행되어진다. Zephyr[1] 컴파일러의 경우 이와 같은 반복적 알고리즘으로 LVA를 수행하는 시간이 전체 컴파일 시간에서 약 $7\%$를 차지하고 있다. 기존 LVA 알고리즘은 여러 가지로 개선할 점들이 있다. LVA를 수행하는 기존의 반복적 알고리즘은 알고리즘의 특성상 방문하지 않아도 되는 basic block들에 대한 방문이 잦고, 살아있는 변수들의 집합을 점차적으로 증가해 가면서 구하는 특성상 큰 변수들의 집합에 대한 연산을 계속 하게 된다. 우리는 기존의 알고리즘과 달리 사용된 변수들(USE set)에 대해 Control Flow Graph(CFG)에서 거슬러 올라가면서 LVA를 수행하는 반복적인 알고리즘의 개선안을 제안하고자 한다. 이는 기존의 알고리즘과 같은 결과를 내면서 더 빠른 알고리즘이다. DFA에서의 flow equation을 적용하는 순서를 바꿈으로써 많은 중복 계산을 줄일 수 있다. 이러한 방법으로 인해 basic block을 방문해야만 하는 횟수를 줄이면서 전체 수행 시간을 단축시킨다. 간단한 추가 구현만으로 Zephyr 컴파일러에서의 실험 결과에서 LVA만을 수행하는 시간에서 기존의 알고리즘보다 $36.4\%$ 짧은 시간을 사용하였고, 이는 전체 컴파일 시간을 $2.6\%$ 줄이는 효과를 가져왔다.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제8권3호
• /
• pp.123-144
• /
• 2004

There is a tradition of advocating the 'two basics' (basic knowledge and basic skills) in Chinese mathematics education. The direct consequence is that Chinese students are able to produce excellent performance in the international mathematics examinations and outstanding results in the international mathematics competitions. In this article, we will present why and how Chinese teachers teach the 'two basics,' and how combine the pupil's creativity with their 'two basics.' Open ended problem solving is a way to meet the goal. The following topics will be concerned: Culture background; the speed of computation; 'make perfect' ; Efficiency in classroom; Balance between 'two basics' and personal development. In Particular, Chinese mathematics educators pay more attentions to the link between open ended problem solving and the 'two basics' principal.

• 비파괴검사학회지
• /
• 제26권4호
• /
• pp.246-254
• /
• 2006

방사선 측정분야에서 사용되는 감마 서베이미터의 교정데이터 자동처리를 위한 전산 프로그램을 개발하였다. 전산 프로그램은 Visual Basic을 기반으로 개발되었으며, 교정과정에 따라 단계별로 윈도우를 제작하고 코드화하였다. 교정 데이터의 자동처리를 위해 Microsoft Excel 프로그램을 제어하여 미리 자동 연산된 엑셀 셀 내에 데이터가 입력되도록 하였다. 개발프로그램 성능평가의 일환으로 검증된 데이터와 프로그램에서 출력된 데이터를 비교한 결과, 교정인자 산출 및 불확도 평가에서 동일한 결과가 나왔다. 또한, 개발프로그램을 교정업무에 적용시킨 결과, 업무의 효율성 및 정확성은 증가하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권11호
• /
• pp.3711-3730
• /
• 2014

Cognitive radio networks (CRNs) have emerged as a promising solution to enhance spectrum utilization by using unused or less used spectrum in radio environments. The basic idea of CRNs is to allow secondary users (SUs) access to licensed spectrum, under the condition that the interference perceived by the primary users (PUs) is minimal. In CRNs, the channel availability is uncertainty due to the existence of PUs, resulting in intermittent communication. Transmission control protocol (TCP) performance may significantly degrade in such conditions. To address the challenges, some transport protocols have been proposed for reliable transmission in CRNs. In this paper we survey the state-of-the-art transport protocols for CRNs. We firstly highlight the unique aspects of CRNs, and describe the challenges of transport protocols in terms of PU behavior, spectrum sensing, spectrum changing and TCP mechanism itself over CRNs. Then, we provide a summary and comparison of existing transport protocols for CRNs. Finally, we discuss several open issues and research challenges. To the best of our knowledge, our work is the first survey on transport protocols for CRNs.

• 한국화재소방학회논문지
• /
• 제23권5호
• /
• pp.1-8
• /
• 2009

최근 건축물의 비약적인 발달에 따라 점차 초고층화 대형화 지하심층화 등 다양하게 변화하고 있다. 하지만 이러한 대형건축물은 화재 시 기존의 사양적인 설계로서는 인명의 피난안전을 확보할 수 없다. 따라서 이러한 대형건축물의 피난용량 확보를 위하여 재실자의 밀도를 정립하는 방안의 기초연구로서 대형할인마트를 대상으로 재실자밀도 실태조사를 실시하였다. 조사 결과로 0.30, 0.46, 0.42, 0.38 인/$m^2$로 조사되었다. 실태조사를 토대로 국내의 대형할인마트의 재실자밀도 정립에 관한 재실자밀도 값을 제시하였다.

• 대한조선학회논문집
• /
• 제48권6호
• /
• pp.560-568
• /
• 2011

In SPH(Smoothed Particle Hydrodynamics) method, the fluid has been assumed that it is weakly compressible to solve the basic equations composed of Navier-Stokes equations and continuity equation. That leads to some drawbacks such as non-physical pressure fluctuations and a restriction as like small time steps in computation. In this study, to improve these problems we assume that the fluid is incompressible and the velocity-pressure coupling problem is solved by a projection method(that is, by ISPH method). The two-dimensional computation results of dam breaking and gravitational wave generation are respectively compared with the results of finite volume method and analytical method to confirm the accuracy of the present numerical computation technique. And, the agreements are comparatively acceptable. Subsequently, the green water simulations of a two-dimensional fixed barge are carried out to inspect the possibility of practical application to ship hydrodynamics, those correspond to one of the violent free surface motions with impact loads. The agreement between the experimental data and the present computational results is also comparatively good.

• 정보보호학회논문지
• /
• 제21권3호
• /
• pp.11-25
• /
• 2011

ID 기반 암호시스템의 구현을 위한 Weil, Tate, Ate와 같은 페어링 연산 기법에서는 밀러 알고리듬이 사용된다. 본 연구에서는 밀려 알고리듬에 대한 오류 공격의 하나인 Mrabet의 방법을 분석하여 타원곡선을 표현하는 가장 기본적인 좌표계인 아핀좌표계에서의 효과적인 오류주입공격 방법을 제안하였다. 제안하는 오류주입공격은 멀리 알고리듬의 루프 횟수를 판별하는 분기 구문에 오류를 주입하는 모델이며, 실제 레이저 주입 실험을 수행하여 검증하였다. 이 모델은 기존의 루프 횟수 오류 기법에서 요구하였던 확률적인 분석을 생략할 수 있어 효과적이다.

• 한국화재소방학회:학술대회논문집
• /
• 한국화재소방학회 2008년도 추계학술논문발표회 논문집
• /
• pp.210-215
• /
• 2008

As the rapid and various changing of social aspects, the structures are getting bigger, higher and more complex. The importance of evacuation is on the rise as increased using frequency of multiplex area and it's high population density. According to the result of a survey with 2 domestic multiplex population density, the maximum was 0.43(人/$m^2$) and 0.51(人/$m^2$). considering evacuation dangerousness, the maximum value will be suitable for computation of evacuation capacity and this will be submitted as a basic data for computation of evacuation capacity.

• 한국지능시스템학회논문지
• /
• 제12권4호
• /
• pp.317-322
• /
• 2002

The major operations of Evolutionary Computation include crossover, mutation, competition and selection. Although selection does not create new individuals like crossover or mutation, a poor selection mechanism may lead to problems such as taking a long time to reach an optimal solution or even not finding it at all. In view of this, this paper proposes a hybrid Evolutionary Programming (EP) algorithm that exhibits a strong capability to move toward the global optimum even when stuck at a local minimum using a synergistic combination of the following three basic ideas. First, a "local selection" technique is used in conjunction with the normal tournament selection to help escape from a local minimum. Second, the mutation step has been improved with respect to the Fast Evolutionary Programming technique previously developed in our research group. Finally, the crossover and mutation operations of the Genetic Algorithm have been added as a parallel independent branch of the search operation of an EP to enhance search diversity.