• 대한수학회지
• /
• 제45권3호
• /
• pp.871-881
• /
• 2008

In this paper, we study the core stability of the dominating set game which has arisen from the cost allocation problem related to domination problem on graphs. Let G be a graph whose neighborhood matrix is balanced. Applying duality theory of linear programming and graph theory, we prove that the dominating set game corresponding to G has the stable core if and only if every vertex belongs to a maximum 2-packing in G. We also show that for dominating set games corresponding to G, the core is stable if it is large, the game is extendable, or the game is exact. In fact, the core being large, the game being extendable and the game being exact are shown to be equivalent.

• 한국경영과학회지
• /
• 제41권2호
• /
• pp.129-139
• /
• 2016

This paper presented a robust ship scheduling model using the quadratic programming problem. Given a set of available carriers under control and a set of cargoes to be transported from origin to destination, a robust ship scheduling that can minimize the mean-variance objective function with the required level of profit can be modeled. Computational experiments concerning relevant maritime transportation problems are performed on randomly generated configurations of tanker scheduling in bulk trade. In the first stage, the optimal transportation problem to achieve maximum revenue is solved through the traditional set-packing model that includes all feasible schedules for each carrier. In the second stage, the robust ship scheduling problem is formulated as mentioned in the quadratic programming. Single index model is used to efficiently calculate the variance-covariance matrix of objective function. Significant results are reported to validate that the proposed model can be utilized in the decision problem of ship scheduling after considering robustness and the required level of profit.

• Biotechnology and Bioprocess Engineering:BBE
• /
• 제9권5호
• /
• pp.414-418
• /
• 2004

A 'minimally complex problem set' for ab initio protein Structure prediction has been proposed. As well as consisting of non-redundant and crystallographically determined high-resolution protein structures, without disulphide bonds, modified residues, unusual connectivities and heteromolecules, it is more importantly a collection of protein structures. with a high probability of being the same in the crystal form as in solution. To our knowledge, this is the first attempt at this kind of dataset. Considering the lattice constraint in crystals, and the possible flexibility in solution of crystallographically determined protein structures, our dataset is thought to be the safest starting points for an ab initio protein structure prediction study.

• 한국컴퓨터정보학회논문지
• /
• 제20권1호
• /
• pp.111-118
• /
• 2015

본 논문은 광통신망에서 (s,t)에 대한 다중 패킷 통신 요구에 대해 최적의 광 경로를 설정하고, 최소 파장 수를 배정하는 경로설정과 파장 배정 문제 (RWAP)를 다룬다. RWAP는 지금까지 다항시간으로 최적 해를 구하는 알고리즘이 알려져 있지 않은 NP-완전으로 근사 해를 다항시간으로 구하고 있다. 본 논문은 주어진 망의 모든 (s,t)에 대해 최단 광 경로로 동일한 홉 수를 갖는 주경로와 대체경로를 사전에 결정하고, (s,t)에 대한 실제 특정 다중 패킷 통신이 요구될 때 이들 이중 경로를 이용하여 최대로 이용되는 간선의 이용횟수를 b개로 줄이고, b개의 파장 수 상자에 중복 간선 없이 담는 방법으로 O(kn) 계산 복잡도로 최적 해를 구할 수 있었다. 2개의 실험 데이터 망에 적용한 결과, 제안된 알고리즘은 기존에 알려진 최적 해를 얻을 수 있음을 보였다.

• Korean Chemical Engineering Research
• /
• 제50권1호
• /
• pp.66-71
• /
• 2012

본 연구에서는 크기가 다른 두 종류의 단단한 구형 입자들로 충전된 이분산(二分散) 충전층을 지나는 비압축성 유체 흐름의 투과도를 실험적으로 측정하고 이론적으로 예측하는 문제를 다룬다. 작은 입자에 대한 큰 입자의 크기 비 ${\lambda}$가 1.25와 2인 두 가지 경우에 대해 여러 가지 입자 혼합 비율로 충전층을 만들고 그 공극률과 유체 흐름의 투과도를 측정하였다. 이분산 충전은 입자 크기가 일정한 단분산 충전에 비해 공극률이 감소하고 투과율이 감소하나 입자들의 크기 비 ${\lambda}$나 혼합 비율 ${\gamma}$에 따라 다르게 나타난다. 두 가지 입자의 혼합 비율에 따른 공극률의 변화와 투과율의 변화 형태는 서로 일치하지 않는다. 개별 충전 입자에 걸리는 항력 계산에 기초한 모델을 고안하여 투과도를 예측하는 간단한 이론식을 유도하였고 이 식을 이용한 예측값을 실험 결과 및 선행 연구 결과들과 비교한 결과, 이 이론식에 의한 투과도 예측값이나 입자 혼합 비율에 따른 투과도 변화 경향이 실험값에 가장 근사하였다. 이 이론식을 이용해 이분산 충전층을 지나는 유체 흐름의 투과도를 간단하고 정확하게 예측할 수 있음을 보였다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
• /
• pp.381-385
• /
• 2003

We consider the bandwidth parking problem arising from telecommunication networks The problem is to determine the set of calls to be routed and an assignment or them to the paths in arc capacitated network. The objective is to maximize profit. We formulate the problem as an integer programming and propose an algorithm to solve it. Column generation technique to solve the linear programming relxation is proposed with two types of columns in addition, to obtain an optimum integer solution, we consider a new branching strategy. Computational experiments show that the algorithm gives option at solutions within reasonably small time limits.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권3호
• /
• pp.720-737
• /
• 2024

Private set intersection cardinality (PSI-CA) is a typical problem in the field of secure multi-party computation, which enables two parties calculate the cardinality of intersection securely without revealing any information about their sets. And it is suitable for private data protection scenarios where only the cardinality of the set intersection needs to be calculated. However, most of the currently available PSI-CA protocols only meet the security under the semi-honest model and can't resist the malicious behaviors of participants. To solve the problems above, by the application of the variant of Elgamal cryptography and Bloom filter, we propose an efficient PSI-CA protocol with high security. We also present two new operations on Bloom filter called IBF and BIBF, which could further enhance the safety of private data. Using zero-knowledge proof to ensure the safety under malicious adversary model. Moreover, in order to minimize the error in the results caused by the false positive problem, we use Garbled Bloom Filter and key-value pair packing creatively and present an improved PSI-CA protocol. Through experimental comparison with several existing representative protocols, our protocol runs with linear time complexity and more excellent characters, which is more suitable for practical application scenarios.

• 한국항행학회논문지
• /
• 제25권3호
• /
• pp.211-216
• /
• 2021

다수 무인기를 이용한 시스템은 정찰, 네트워킹, 항공 촬영 등 다양한 목적으로 활용되고 있다. 이러한 시스템에서 다수 무인기로 구성된 대형을 형성하고 유지하는 것은 필수적이다. 본 논문에서는 다수 무인기의 대형을 형성하기 위한 자율화된 분산형 제어를 수행하는 알고리즘을 제안하였다. 제어명령은 근접 무인기 또는 임무 영역으로부터 서로 밀어내는 방향으로 작용하는 2차 시스템 형태의 힘을 고려하였다. 제어명령은 외부의 개입 없이 계측과 통신으로부터 획득되는 상대위치/속도를 통해 계산된다. 이는 개별 무인기들이 기준거리를 추종하도록 하며 임무영역 안에 겹치지 않고 최대한 조밀하게 배치되도록 한다. 기준거리 결정에는 채우기 문제를 풀기 위한 최적화 기법과 유사한 방식을 적용하였다. 임무영역은 형성하고자 하는 대형의 외곽선으로 정의되며 임무에 따라 유동적으로 설정될 수 있다. 제안한 알고리즘의 성능을 확인하기 위하여 수치 시뮬레이션을 수행하였다. 복잡성과 확장성을 고려한 영역에서 약 26.94초에 대형이 형성되며 약 71.91%의 채우기 밀도를 가지는 것을 확인하였다.

• 한국시뮬레이션학회논문지
• /
• 제10권1호
• /
• pp.1-12
• /
• 2001

This article describes the application of discrete event simulation in a process industry (coffee manufacturing) as a daily production-scheduling tool. A large number of end products (around 300), sporadic demand, and limited shelf life of coffee (90 days) make it difficult to generate feasible production schedules manually. To solve this problem, an integrated system was developed incorporating discrete event simulation methodology into scheduling process. The integrated system is comprised of two components: a scheduling program and a simulation model. The scheduling program is used to generate daily schedules for roasting, grinding, and packing coffee. The simulation model uses the generated schedules to simulate the production of coffee and regenerates a modified production schedule. In this paper, each of the components will be described in detail, evaluated in terms of performance factors, and validated with a set of real production data. Although this article focuses on a specific system, we will share our experiences and Intuitions gained and encourage other process industries to develop simulation-based scheduling tools.

• 전자공학회논문지C
• /
• 제35C권7호
• /
• pp.20-29
• /
• 1998

As the packing density of ICs in recent submicron IC design increases, interconnects gain importance. Because interconnects directly affect on two major components of circuit performance, power dissipation and operating speed, circuit engineers are concerned with the optimal design of interconnects and the aid tool to design them. When circuit models of interconnects are given (including geometry and material information), the analysis process for the given structure is not an easy task, but conversely, it is much more difficult to design an interconnect structure with given circuit characteristics. This paper focuses on the latter process that has not been foucsed on much till now due to the complexity of the problem, and prsents a design aid tool(DATOIS) to synthesize interconnects. this tool stroes the circuit performance parameters for normalized interconnect geometries, and has two oeprational modes:analysis mode and synthesis mode. In the analysis mode, circuit performance parameters are obtained by searching the internal database for a given geometry and interpolates results if necessary . In thesynthesis mode, when a given circuit performance parameter satisfies a set of geometry condition in the database, those geometry structures are printed out.