• Review of KIISC
• /
• v.14 no.3
• /
• pp.1-7
• /
• 2004

양자알고리듬들 중 쇼의 알고리듬은 공개키 암호체계의 근간을 이루는 소인수분해를 고전알고리듬보다 훨씬 빨리 처리할 수 있다. 고전컴퓨터로 N자리 수를 소인수분해 하는데 걸리는 시간은 exp$[(InN)^{1/3}(In In N)^{2/3})]$에 비례하지만 쇼의 양자풀이법을 사용하면 약$(InN)^3$ 보다 적은 시간이 걸린다. 이 알고리듬의 핵심은 양자계의 중첩이라는 성질을 이용해서 푸리에 변환을 모든 데이터에 대해 병렬적으로 동시에 처리함으로서 주기를 빠르게 찾는다는 것이다. 이러한 양자전산의 이점은 모든 연산이 중첩된 상태에 독립적으로 작용한다는 자연계의 선형성에서 비롯된다. 고전컴퓨터에서도 병렬처리를 하지만 양자적 병렬처리를 고전컴퓨터의 병렬처리로 대신할 수는 없다. N비트로 나타내지는$2^N$ 개의 숫자에 대해 동시에 병렬처리 하는데 양자컴퓨터는 한대면 되지만 고전컴퓨터는 $2^N$대가 필요하므로 비트수가 증가하면 필요한 고전컴퓨터의 수가 비현실적으로 증가하기 때문이다. 이 알고리듬의 수행으로 얻어지는 결과는 확정적인 것이 아니며 확률적으로 율은 당을 얻는다. 어떤 수가 약수가 되는지 아닌지는 금방 확인해 볼 수 있으므로 서너 번 이와 같은 시행착오 과정을 거쳐 옳은 답을 얻는다 해도 문제가 되지는 않는다.

• Journal of Korean Society of Transportation
• /
• v.22 no.7 s.78
• /
• pp.99-106
• /
• 2004

This paper presents some comparisons between Cournot-Nash and Stackelberg game in bi-level program, composed of both upper level program and lower level one. The upper level can be formulated to optimize a specific objective function, while the lower formulated to express travelers' behavior patterns corresponding to the design parameter of upper level problem. This kind of hi-level program is to determine a design parameter, which leads the road network to an optimal state. Bi-level program includes traffic signal control, traffic information provision, congestion charge and new transportation mode introduction as well as road expansion. From the view point of game theory, many existing algorithms for bi-level program such as IOA (Iterative Optimization Assignment) or IEA (Iterative Estimation Assignment) belong to Cournot-Nash game. But sensitivity-based algorithms belongs to Stackelberg one because they consider the reaction of the lower level program. These two game models would be compared by using an example network and show some results that there is no superiority between the models in deterministic case, but in stochastic case Stackelberg approach is better than that of Cournot-Nash one as we expect.

• Proceedings of the KAIS Fall Conference
• /
• 2006.05a
• /
• pp.617-620
• /
• 2006

본 연구에서는 효율적 포트폴리오의 선택을 주어진 수준의 기대수익률을 달성하면서 위험을 최소화하는 것으로 정의한다. 이를 위해서는 주식시장에 자산을 투자하고자 하는 투자자가 기대수익률과 위험간의 이상적인 절충을 고려해야 한다. 이 때 사용되는 포트폴리오 최적화 모형은 그 대상이 되는 주식의 종류가 많아지면 최적해를 구하는 것이 쉽지 않다. 그러므로 실제크기의 문제를 짧은 시간에 풀 수 있는 휴리스틱 알고리듬이 필요하다. 본 연구에서는 실제 주식시장과 관련된 특성을 제약으로 하고 평균 회수율 이하의 절대편하의 평균을 위험함수로 사용하는 포트폴리오 최적화 모형을 분석하고 현실적인 크기의 문제에 대해서 효율적인 해를 도출할 수 있는 해법을 제시하고자 한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2008.06a
• /
• pp.211-216
• /
• 2008

이 논문은 철근 가공 산업 현장에서 스프레드쉬트에 의해 수작업으로 행하던 절단 작업의 계획 수립을 자동화된 시스템에 의해 최적의 절단 계획을 생성하도록 하는 소프트웨어의 개발을 다룬다. 이를 위하여, 먼저 시스템의 데이터 표현과 최적 문제 풀이를 위한 자동 계획 알고리듬의 설계가 요구된다. 이것은 다중 규격의 1차원 자재 절단 문제를 푸는 것으로, 동적계획법에 근거하여 자재 절단 문제를 재구성하고, 유한 범위의 조합 열에서도 근사 최적의 해를 찾을 수 있는 탐색 기법을 사용한 자재 절단 계획 알고리듬을 사용하였다. 그리고, 자동화된 철근 가공 산업용 소프트웨어는 작업 환경에 맞게 사용이 편리한 그래픽 화면과 사용자 인터페이스가 요구되는데, 공개 소프트웨어를 활용한 GUI 라이브러리 툴킷인 GTK+를 활용하여 이를 구현하였다.

• Journal of Korean Society of Transportation
• /
• v.21 no.2
• /
• pp.95-105
• /
• 2003

Because the basic assumptions of deterministic user equilibrium assignment that all network users have perfect information of network condition and determine their routes without errors are known to be unrealistic, several stochastic assignment models have been proposed to relax this assumption. However. it is not easy to solve such stochastic assignment models due to the probability distribution they assume. Also. in order to avoid all path enumeration they restrict the number of feasible path set, thereby they can not preciously explain the travel behavior when the travel cost is varied in a network loading step. Another problem of the stochastic assignment models is stemmed from that they use heuristic approach in attaining optimal moving size, due to the difficulty for evaluation of their objective function. This paper presents a logit-based stochastic assignment model and its solution algorithm to cope with the problems above. We also provide a stochastic user equilibrium condition of the model. The model is based on path where all feasible paths are enumerated in advance. This kind of method needs a more computing demand for running the model compared to the link-based one. However, there are same advantages. It could describe the travel behavior more exactly, and too much computing time does not require than we expect, because we calculate the path set only one time in initial step Two numerical examples are also given in order to assess the model and to compare it with other methods.

• Journal of Korean Society of Transportation
• /
• v.28 no.5
• /
• pp.131-139
• /
• 2010

The transport mode choice problem is to determine which of the alternative transport modes connecting an origin and destination will be used by a traveler. Most of the research relating to transport mode choice have mainly been focused on modeling, properties, and applications of the model, but rarely were concerned with equilibrium among the modes. This paper proves the equilibrium among the modes by using a logit mode choice model, and then verifies it with the Korean Transport Database (KTDB). In order to obtain such an equilibrium, this paper also presents a solution algorithm based on the fixed point theorem. The algorithm was tested with an example and confirmed the equilibrium solution.

• Journal of Korean Society of Transportation
• /
• v.28 no.6
• /
• pp.159-166
• /
• 2010

Trip distribution is to connect travel demand for each OD pair based on travel cost, trip production and attraction derived from trip generation step. In real world the travel cost is a function of travel demand, but existing models could not fully consider such functional relation between travel cost and demand, which leads to an equilibrium in trip distribution model. This paper proves the equilibrium trip distribution by using gravity model. In order to obtain such equilibrium this paper also presents a solution algorithm based on fixed point theorem. The algorithm will be tested with an example and confirmed the equilibrium solution of trip distribution.

• Journal of KIISE:Information Networking
• /
• v.32 no.4
• /
• pp.443-451
• /
• 2005

Stateful inspection devices must maintain flow information. These devices create the flow information also for network attack packets, and it can fatally inflate the dynamic memory allocation on stateful inspection devices under network attacks. The memory inflation leads to memory overflow and subsequent performance degradation. In this paper, we present a guideline to set the flow entry timeout for a stateful inspection device to remove harmful embryonic entries created by network attacks. Considering Transmission Control Protocol (TCP) if utilized by most of these attacks as well as legitimate traffic, we propose a parsimonious memory management guideline based on the design of the TCP and the analysis of real-life Internet traces. In particular, we demonstrate that for all practical purposes one should not reserve memory for an embryonic TCP connection with more than (R+T) seconds of inactivity where R=0, 3, 9 and $1\leqq{T}\leqq{2}$ depending on the load level.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.6
• /
• pp.115-123
• /
• 1989

This paper describes a new method of mask compaction to formulate a mixed integer linear programming problem from a user defined stick diagram. By solving this mixed integer program, a compacted and design rule violation free layout is obtained. Also, a new efficient algorithm is given which solves the longest problem in the constraint graph.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.9 no.6
• /
• pp.735-745
• /
• 1998

The method of moments has been widely used in the analysis of TM scattering problems. Recently, significant advances in the development of fast and efficient techniques for solving large problems have been reported. In such methods, iterative matrix solvers are preferred by virtue of their speed and low memory requirements. But for near resonant and strong multiple scattering problems, e.g., involving an aircraft engine inlet, a large number of iterations is required for convergence. In this paper, an efficient approximate inverse based preconditioner is used to reduce this number of iterations. By using the matrix partitioning method, the computational is used to reduce this number of iterations. By using the matrix partitioning method, the computational cost for obtaining the approximate inverse is reduced to O(N). We apply this preconditioner to an O(NlogN) algorithm, the multilevel fast multipole algorithm, for the aircraft engine inlet problem. The numerical results show the efficiency of this preconditioner.