• 대한수학회논문집
• /
• 제34권1호
• /
• pp.113-125
• /
• 2019

In this paper, we introduce the elimination ideal $I_D(G)$ associated to a simple finite graph G. We obtain the upper bound of Castelnuovo-Mumford regularity of elimination ideal for various classes of graphs.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권4호
• /
• pp.1674-1692
• /
• 2018

An RFID network is a network in which a reader inquire about the identities of tags and tags respond with their identities to a reader. The diversity of RFID networks has brought about many applications including an inexpensive system where a single reader supports a small number of tags. Such a system needs a tag cognizance scheme that is able to arbitrate among contending tags as well as is simple enough. In this paper, confining our attention to a clan of simple schemes, we propose a randomized scheme with aiming at enhancing the tag cognizance rate than a conventional scheme. Then, we derive an exact expression for the cognizance rate attained by the randomized scheme. Unfortunately, the exact expression is not so tractable as to optimize the randomized scheme. As an alternative way, we develop an upper bound on the tag cognizance rate. In a closed form, we then obtain a nearly optimal value for a key design parameter, which maximizes the upper bound. Numerical examples confirm that the randomized scheme is able to dominate the conventional scheme in cognizance rate by employing a nearly optimal value. Furthermore, they reveal that the randomized scheme is robust to the fallacy that the reader believes or guesses a wrong number of neighboring tags.

• 한국항행학회논문지
• /
• 제18권5호
• /
• pp.501-507
• /
• 2014

음이 아닌 입력에 대하여 음이 아닌 초기상태에서 출발한 모든 상태변수 값들이 시간에 대하여 항상 음이 아닌 값을 유지하는 시스템은 양의 시스템으로 정의된다. 본 논문에서는 상태변수에 시변 지연시간이 있는 양의 시변 선형 이산 구간 시스템의 안정조건을 새롭게 제안한다. 시변 지연시간은 최소와 최대 지연시간 범위에서 변하는 것으로 고려된다. 제안된 안정조건은 리아프노프 방정식의 상한 해 한계를 이용하여 유도되며, 매우 간단한 부등식의 형태로 표현된다. 수치예제를 통하여 새로운 안정조건들이 안정성 판단에 간단하고 효과적으로 적용될 수 있음을 확인한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권10호
• /
• pp.3409-3422
• /
• 2014

The frequency spectrum available for the wireless communication is extremely crowded. In order to improve the spectral efficiency, the two-way relay networks have aroused great attention. A simple $N^{th}$ best-relay selection criterion for the opportunistic two-way relay networks is proposed, which can be implemented easily by extending the distributed timer technique in practice, since the proposed criterion is mainly based on the channel gains. The outage performance of the proposed relay selection scheme is analyzed under the outdated channel state information (CSI), and a tight closed-form lower bound and asymptotic value of the outage probability over Rayleigh fading channels are obtained. Simulation results demonstrate that the tight closed-form lower bound of the outage probability very closely matches with simulated ones in the whole SNR region, and the asymptotic results provide good tight approximations to the simulation ones, especially in the high SNR region.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1681-1693
• /
• 1997

분산 시스템에서 파일 할당 문제는 시스템의 운영비용을 최소화하기 위해 파일 및 그의 복제물의 최적 위치를 결정하는 것이다. 정적인 파일 할당 문제는 분산 시스템의 각 노드에서 특정 파일에 발생하는 질의 및 갱신에 관련된 비용이 일정하다는 가정에서 출발하고 있다. 그러나 실제로는 시간이 지남에 따라 질의 및 갱신 등에 관련된 매개변수들은 변하게 마련이다. 이 연구에서 다루고 있는 동적인 파일 할당 문제는 변화하는 매개변수들을 고려하고 있으며, 또한 시스템 내에 파일이 한 종류만 있는 경우뿐만 아니라 여러 종류가 있는 경우도 다루고 있다. 동적인 파일 할당 문제는 혼합 정수계획법으로 모형화 되었으며 문제 해결을 위해 Lagrange 함수를 이용한 분단탐색법(branch-and-bound method) 알고리즘이 개발되었다. 제시된 알고리즘은 포트란으로 프로그램화되었으며, 여러 종류의 문제 해결을 통하여 그의 유용성을 보여주고 있다.

• 한국정보통신학회논문지
• /
• 제10권7호
• /
• pp.1188-1195
• /
• 2006

본 논문은 개량된 분기한정법(branch-and bound method)을 이용하여 고속연산이 가능한 2차원 상태공간 디지털 필터의 설계방법을 제안하였다. 설계된 디지털 필터가 갖는 계수행렬의 모든 요소 값들은 오직 2개의 2의 멱수 (powers-of-two) 의 합으로만 표현되어진다. 따라서 제안된 방법으로 설계한 2 차원 상태공간 디지털필터는 간단한 가산연산만으로 수행이 이루어지므로 고속연산이 가능하고, 또한 구조가 간단하며 저가격으로 실현이 가능하다는 장점을 가진다 . 본 논문에서 제안된 방법의 타당성을 설계예시를 통해 고찰한 결과, 설계된 디지털 필터의 근사오차와 군지연특성이 동일한 설계사양으로 연속계수공간에서 설계되어진 디지털필터와 비교하여 유사한 결과를 얻을 수 있었다.

• 소성∙가공
• /
• 제8권4호
• /
• pp.374-383
• /
• 1999

To determine the flow stress of semi-solid materials, a new combined method has been studied by experimental and analytic technique in the current approach. Using backward extrusion experiment and its numerical analysis, the characterization scheme of semi-solid materials according to the change of initial solid volume fraction has been proposed. Because that solid volume fraction is sensitive to temperature change, it is required to precisely control the temperature setting. Model materials can guarantee the establishment of material characterization technique from the noise due to temperature change. Thus, clay mixed with bonded abrasives was used for experiment and the change of initial solid fraction was copied out through the variation of mixing ratio. Upper bound method was adapted to increase in efficiency of the calculation in numerical analysis and new kinematically admissible velocity field was employed to improve the accuracy of numerical solution. It is thought that the material characterization scheme proposed in this study can be applied to not only semi-solid materials, but also other materials that is difficult to obtain the simple stress state.

• 한국식품영양과학회지
• /
• 제22권1호
• /
• pp.91-95
• /
• 1993

Vibrio vulnificus가 생산하는 용혈독소의 단백화학적, 면역화학적 연구에 이용할 목적으로 이 균의 용혈독소에 대한 항혈청을 간편하게 만드는 방법을 실험한 결과는 다음과 같다. Vibrio vulnificus가 생산하는 조용혈독소를 인위적으로 만든 liposome (cholesterol-phos-phatidyl-liposome)에 혼합하여 반응시킨 결과 분자량 50kD의 단백질인 용혈독소만 선택적으로 liposome에 결합되었다. 그러므로 liposome에 결합시킨 조용혈독소를 면역원으로 하고 이 면역원을 토끼의 등근육에 주사하여 항혈청을 간편하게 만들 수 있었으며 이 항혈청은 용혈독소에 대한 특이성이 높았다. 환자와 환경에서 분리된 Vibrio vulnificus의 용혈독소와 liposome를 이용하여 제조한 항혈청을 gel 내 침강반응으로 확인한 결과 단일 침강선을 형성하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제6권6호
• /
• pp.1606-1626
• /
• 2012

This paper investigates the performance of an amplify-and-forward (AF) two-way relaying system with antenna correlation. The system consists of two multiple-antenna sources, which exchange information via the aid of a single-antenna relay. In particular, we derive the exact outage probability expression. Furthermore, we provide a simple, tight closed-form lower bound for the outage probability. Based on the lower bound, we obtain the closed-form asymptotic outage probability and the average symbol error rate expressions at high signal-to-noise ratio (SNR), which reveal the system's diversity order and coding gain with antenna correlation. To investigate the system's throughput performance with antenna correlation, we also derive a closed-form lower bound for the average sum-rate, which is quite tight from medium to high SNR regime. The analytical results readily enable us to obtain insight into the effect of antenna correlation on the system's performance. Extensive Monte Carlo simulations are conducted to verify the analytical results.

• Industrial Engineering and Management Systems
• /
• 제15권1호
• /
• pp.32-40
• /
• 2016

This paper considers a special case of a three machine flow shop scheduling problem in which operation processing time of each job is ordered such that machine 1 has the longest processing time, whereas machine 3, the shortest processing time. The objective of the problem is the minimization of the total completion time. Although the problem is simple, its complexity is yet to be established to our best knowledge. This paper first introduces the problem and presents some optimal properties of the problem. Then, it establishes several special cases in which a polynomial-time optimal solution procedure can be found. In addition, the paper proves that the recognition version of the problem is at least binary NP-complete. The complexity of the problem has been open despite its simple structure and this paper finally establishes its complexity. Finally, a simple and intuitive heuristic is developed and the tight worst case bound on relative error of 6/5 is established.