• Journal of applied mathematics & informatics
• /
• 제29권3_4호
• /
• pp.547-562
• /
• 2011

We establish a new formalism of the non-periodic autocorrelation function (NPAF) of two sequences, which is suitable for the computation of the NPAF of any two sequences. It is shown, that this encoding of NPAF is efficient for sequences of small weight. In particular, the check for two sequences of length n having weight w to have zero NPAF can be decided in $O(n+w^2{\log}w)$. For n > w^2{\log}w$, the complexity is O(n) thus we cannot expect asymptotically faster algorithms.

• 한국경영과학회지
• /
• 제15권2호
• /
• pp.33-44
• /
• 1990

An efficient algorithm is developed for the linear programming relaxation of generalized multiple choice knaspack problem. The generalized multiple choice knaspack problem is an extension of the multiple choice knaspack problem whose relaxed LP problem has been studied extensively. In the worst case, the computational coimplexity of the proposed algorithm is of order 0(n. $n_{max}$)$^{2}$), where n is the total number of variables and $n_{max}$ denotes the cardinality of the largest multiple choice set. The algorithm can be easily embedded in a branch-and-bound procedure for the generalized multiple choice knapsack problem. A numerical example is presented and computational aspects are discussed.sed.

• Management Science and Financial Engineering
• /
• 제15권2호
• /
• pp.69-100
• /
• 2009

In this paper, we consider a relatively new two-machine flow shop scheduling problem where the unit time WIP cost increases as a job passes through various stages in the production process, and the objective is to minimize the total WIP (work-in-process) cost. Specifically, we study three special cases of the problem. First, we consider the problem where processing times on machine 1 are identical. Second, the problem with identical processing times on machine 2 is examined. The recognition version of the both problems is unary NP-complete (or NP-complete in strong sense). For each problem, we suggest two simple and intuitive heuristics and find the worst case bound on relative error. Third, we consider the problem where the processing time of a job on each machine is proportional to a base processing time. For this problem, we show that a known heuristic finds an optimal schedule.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 추계학술대회
• /
• pp.163-168
• /
• 2003

Analytical approach is applied to predict temperature of satellite box under worst hot condition from fairing jettison to separation. The box is tried to solve analytically which is exposed to known environmental heating condition and has internal heating and irradiation to space. For a single thermal mass, governing equation for temperature is simplified to 1st order ordinary differential equation(ODE) by several assumptions. Two cases are considered. The one is for constant mass box and the other is for mass-varying box. Each case has three different analytical solution by sign of constant term in ODE. One analytical solution for constant mass is applied to physical launch stage condition. It is concluded that the present analytical method can be used to quick predict the temperature of a satellite box and check whether a satellite is safe against space environment during launch stage.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.21-23
• /
• 1999

CPU에게 최상위 우선순위가 할당된 고정 우선순위 버스 프로토콜에서는 CPU와 DMA 컨트롤러의 버스 요구가 충돌할 경우 DMA 전송이 지연된다. 본 논문에서는 CPU와 다수의 DMA 컨트롤러가 시스템 버스를 공유하는 환경에서 DAM I/O 요구의 최악 응답시간을 분석하는 기법을 제안한다. 제안하는 최악 응답시간 분석 기법은 다음의 세단계로 구성되어 있다. 첫 번째 단계에서는 CPU 상에서 수행중인 각 CPU 태스크별로 최악 버스 요구 패턴을 구한다. 두 번째 단계에서는 이들 CPU 태스크의 최악 버스 요구 패턴을 모두 통합해 CPU 전체의 최악 버스 요구 패턴을 구한다. 최종 세 번째 단계에서는 CPU의 최악 버스 요구 패턴으로부터 DMA 컨트롤러의 버스 가용량을 구하고 DMA I/O 요구의 최악 응답시간을 산출한다. 모의 실험을 통해 제안하는 분석 기법일 일반적인 DMA전송량에 대해 20% 오차 범위 이내에서 안전한 응답시간을 산출함을 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.619-622
• /
• 2005

본 논문은 최근의 네트웍 장비의 기본적인 기능인 stateful inspection 을 지원하기 위해 생성되는 세션 테이블들의 구조와 그 효율성을 확인한다. 그를 위해 LINUX, FreeBSD, OpenBSD 등의 운영체제에서 사용되고 있는 방화벽 소프트웨어들의 세션 테이블 구조 및 특징을 확인하고 실제 실험을 통해 구조적 특징 및 트래픽의 지역성이 테이블의 탐색에 걸리는 오버헤드를 줄이는 데에 어떠한 영향을 미치는지 실제 실험하였으며, 트리 구조를 가지는 세션 테이블이 worst case 시의 테이블 탐색시간을 줄여줌으로써 전체적인 패킷 처리시간을 줄여줄 수 있는 구조임을 확인한다.

• 한국경영과학회지
• /
• 제27권4호
• /
• pp.1-10
• /
• 2002

The ring routing and wavelength assignment problem arose in the planning of optical communication networks which use WDM rings. Traffic demands are given for each pair of nodes in an ring : each demand must be routed one of the two possible connections round the ring and the wavelength assignments must be made so that there are no conflicts : that is. no two connections whose routes share a link can be assigned the same wavelength along that link. The objective is to minimize the number of used wavelengths. We propose the local optimal routing for the problem and show that there always exists an optimal solution satisfying it. Furthermore we suggest a new lower bound for the problem and show that it is very efficient for the worst case example.

• Management Science and Financial Engineering
• /
• 제17권1호
• /
• pp.95-116
• /
• 2011

This paper considers a flowshop scheduling problem where a customer orders multiple products (jobs) from a production facility. The objectives are to minimize makespan and to minimize the sum of order (batch) completion times. The order cannot be shipped unless all the products in the order are manufactured. This problem was motivated by numerous real world problems encountered by a variety of manufacturers. For the makespan objective, we develop an optimal solution procedure which runs in polynomial time. For the sum of order completion time objective, we establish the complexity of the problem including several special cases. Then, we introduce a simple heuristic and find an asymptotically tight worst case bound on relative error. Finally, we conclude the paper with some implications.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.502-502
• /
• 2000

An input constrained receding horizon predictive control algorithm for uncertain systems with nonzero set points is proposed. For constant nonzero set points, models with uncertainty can be converted into an augmented incremental system through the use of integrators and the problem is transformed into a zero-state regulation problem for the incremental system. But the original constraints on inputs are converted into constraints on the sum of control inputs at each time Instants, which have not been dealt in earlier constrained robust receding horizon control problems. Recursive state bounding technique and worst case minimizing strategy developed in earlier works are applied to the augmented incremental system to yield an of set error free controller. The resulting algorithm is formulated so that it can be solved using LP.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.372-374
• /
• 2012

아날로그 회로는 가장 기본적인 전기/전자 회로로써 현재도 높은 중요도를 가지고 있지만, 설계를 위해서는 전문적인 지식이나 기술이 반드시 필요하다. 그래서, 아날로그 회로를 설계하기 위해 진화 연산을 이용한 기법이 연구되어 왔다. 진화연산은 최적화 문제를 해결하는 한 방법으로써 다양한 문제에 적용 가능하다. 하지만, 많은 경우 매우 오랜 시간이 걸려 재현이 어렵고 계산비용이 많이 요구되어왔다. 하지만, 최근 들어 진화전략을 이용하여 작은 집단 크기로 아날로그 회로를 진화시킬 수 있는 방법이 제안되었다. 본 연구에서는 진화전략을 이용한 방법에 기반하여, 내고장성을 가진 회로를 설계하는 기법을 제안하고, 실험을 통하여 기본 진화전략 알고리즘과 비교한다. 그 결과, 제안한 방법을 통해 생성한 회로는 기본 알고리즘을 사용했을 때 보다 고장으로 인해 소자의 값이 변경되었을 때 성능하락이 더 적었다.