• Journal of Advanced Marine Engineering and Technology
• /
• 제22권5호
• /
• pp.687-692
• /
• 1998

Test pattern generation is one of most difficult problems encountered in automating the design of logic circuits. The goal is to obtain the highest fault coverage with the minimum number of test patterns for a given circuit and fault set. although there have been many deterministic algorithms and heuristics the problem is still highly complex and time-consuming. Therefore new approach-es are needed to augment the existing techniques. This paper considers the problem of test pattern improvement for combinational circuits as a restricted subproblem of the test pattern generation. The problem is to maximize the fault coverage with a fixed number of test patterns for a given cir-cuit and fault set. We propose a new approach by use of a genetic algorithm. In this approach the genetic algorithm evolves test patterns to improve their fault coverage. A fault simulation is used to compute the fault coverage of the test patterns Experimental results show that the genetic algorithm based approach can achieve higher fault coverages than traditional techniques for most combinational circuits. Another advantage of the approach is that the genetic algorithm needs no detailed knowledge of faulty circuits under test.

• 한국가스학회지
• /
• 제25권3호
• /
• pp.53-58
• /
• 2021

노년층뿐만 아니라 청년층에 속하는 성인들 사이에서도 병원 외 심장정지(OHCA)를 겪는 심장질환자의 수가 증가하고 있다. 자동심장충격기(AED)는 병원 외 심장정지 환자의 생존율을 개선하는 데 있어 긴요하다. 심장정지 생존율은 제세동 시간에 대하여 지수적으로 감소(decline exponentially)하는 것으로 밝혀졌으나, 자동심장충격기의 최적 배치에 있어 심장정지 생존율의 이러한 특성을 반영한 국내 연구가 미미한 상황이다. 본 연구에서는 자동심장충격기의 최적 입지를 결정하기 위하여 exponential decay coverage 함수를 갖는 최대 gradual coverage 입지 모델에 대하여 고찰하였다. exponential decay coverage 함수는 심장정지 환자의 생존율에 대한 과다추정을 완화한다. 향후 시뮬레이션을 통하여 랜덤한 행인 위치 및 이동을 반영함으로써 행인의 심정지 대응에 있어 창발적인(emergent) 특징을 식별할 수 있는 시설 입지 모델이 개발될 것으로 예측된다.

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

We consider the sensor location problem (SLP) on a given sensor field. We present the sensor field as grid of points. There are several types of sensors which have different detection ranges and costs. If a sensor is placed in some point, the points inside of its detection range can be covered. The coverage ratio decreases with distance. The problem we consider in this thesis is called multiple-type differential coverage sensor location problem (MDSLP). MDSLP is more realistic than SLP. The coverage quantities of points are different with their distance form sensor location in MDSLP. The objective of MDSLP is to minimize total sensor costs while covering every sensor field. This problem is known as NP-hard. We propose a new integer programming formulation of the problem. In comparison with the previous models, the new model has a smaller number of constraints and variables. This problem has symmetric structure in its solutions. This group is used for pruning in the branch-and-bound tree. We solved this problem by branch-and-cut(B&C) approach. We tested our algorithm on about 60 instances with varying sizes.

• 정보처리학회논문지C
• /
• 제16C권4호
• /
• pp.535-542
• /
• 2009

무선센서네트워크는, 다수의 센서노드가 넓은 지역에 배치되어 자신의 전원에 의해 동작하고 다른 센서노드와 협력하여 환경검침 또는 물리량 검침을 수행하는 무선네트워크로 정의한다. 각각의 센서노드들은 자신의 배터리전원소모를 최소화하여, 장기간 사용할 수 있어야 하며, 센서 노드를 적절하게 배치하여 전체 네트워크 커버리지를 제공할 수 있어야 무선센서네트워크의 수명을 늘일 수 있다. 초기 센서노드의 배치로는 센서들의 배터리 수명 등의 이유로 제약이 있으며, 모바일센서노드는 센서가 이동하여 새로운 커버리지를 제공함으로써, 이러한 제약조건을 완화할 수 있다. 본 논문에서는 perimeter coverage property를 만족하는 모바일 센서들의 단계적인 이동을 통한 커버리지 제공기법을 제안한다. 각각의 모바일 센서노드들은 이웃한 센서노드들이 dead 노드인지 판단하게 되며, dead 노드인 경우, 센서네트워크의 커버리지 hole을 만드는지 여부를 판단한 후, 각각의 모바일 센서노드들은 hole의 중심점을 계산하고, 관련된 센서노드들이 협동하여, 단계적으로이동하여, 최종 hole을 커버하는 새로운 센서네트워크를 형성하게 된다. 본 제안기법을 시뮬레이션하여 DCM 기법과 비교한 결과, 에너지 효율을 결정하는 전체 움직임거리 측면에서 최소 50% 이상의 성능향상을 보임을 확인하였다.

• Communications for Statistical Applications and Methods
• /
• 제18권5호
• /
• pp.667-674
• /
• 2011

A recent trend in software reliability engineering accounts for the coverage growth behavior during testing. The coverage growth function (representing the coverage growth behavior) has become an essential component of software reliability models. Application of a coverage growth function requires the estimation of the coverage growth function. This paper considers the problem of estimating the coverage growth function. The existing maximum likelihood method is reviewed and corrected. A method of minimizing the sum of squares of the standardized prediction error is proposed for situations where the maximum likelihood method is not applicable.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2007년도 추계학술대회 및 정기총회
• /
• pp.316-321
• /
• 2007

The hierarchical covering location problem emphasizes the issue of locating of hierarchical facilities in order to maximize the number of customers that can be covered. In the classical HCLP(Hierarchical Covering Location Problem), it is assumed that the customers are covered completely if they are located within a specific distance from the facility, and not covered otherwise. The generalized HCLP is introduced that the coverage of customers is measured to be any real value rather than 0 or 1, where the service level may decrease according to the distance. Mixed integer programming formulation for the generalized HCLP is suggested with a partial coverage of service. Solutions are found using OPL Studio, and are evaluated for various cases.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권1호
• /
• pp.126-148
• /
• 2015

Different from the existing works on coverage problems in wireless sensor networks (WSNs), this paper considers the exposure-path prevention problem by using the percolation theory in three dimensional (3D) WSNs, which can be implemented in intruder detecting applications. In this paper, to avoid the loose bounds of critical density, a bond percolation-based scheme is proposed to put the exposure-path problem into a 3D uniform lattice. Within this scheme, the tighter bonds of critical density for omnidirectional and directional sensor networks under random sensor deployment-a 3D Poisson process are derived. Extensive simulation results show that our scheme generates tighter bounds of critical density with no exposure path in 3D WSNs.

• 한국지능시스템학회논문지
• /
• 제20권3호
• /
• pp.406-412
• /
• 2010

본 논문에서는 실세계에서 센서를 배치할 때 발생하는 최적화 문제인 최대 커버리지 센서 배치 문제를 정의하고 문제의 해 공간의 특성을 분석하였다. 또한 최대 커버리지 센서 배치 문제의 좋은 해를 얻기 위해 유전 알고리즘을 설계하고 그 우수성을 비교 실험을 통해 보였다. 이 문제에 유전 알고리즘을 적용할 때 중요하게 고려되어야 할 부분은 평가 함수를 어떻게 구현하느냐 인데 몬테카를로법을 통해 해결할 수 있었다. 유전 알고리즘의 몬테카를로법을 이용한 평가 부분에서 샘플 생성 횟수를 조절함으로써 동일한 성능을 내면서 계산 시간을 크게 줄일 수 있었다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2014년도 추계학술대회
• /
• pp.848-850
• /
• 2014

본 논문에서는 이동 에드혹 네트워크(Mobile Ad hoc network: MANET)에서의 상황인식 기반의 스케쥴링 기법인 CSWC(Coverage Scheduling Weight-value Control) 알고리즘을 제안한다. 기존의 LEACH 알고리즘은 확률적 분포 함수에 의해 커버리지 영역 안에 존재 하는 클러스터 헤드노드를 선택하여 중계노드로 통신한다. 하지만 확률적 분포함수에 의해 선택된 헤드 노드가 커버리지 영역에서 전송거리 비율이 비균형으로 나뉘어 전송할 경우, 노드의 에너지 소모가 일정하지 않아 효율적으로 사용하지 못하는 경우가 발생한다. 따라서 본 논문에서는 최적의 커버리지 영역을 설정하여 유지하는 CSWC알고리즘을 제안한다. 본 논문에서 제안하는 알고리즘은 커버리지 영역이 비균형으로 설정되어 있을 경우, 커버러지 영역을 결정하는 홉 수를 증가시켜 최적의 커버리지 영역을 제공하는 알고리즘이다. 주어진 모의실험 환경에서 노드의 효율적인 커버리지 영역을 설정하여 네트워크의 최적화된 에너지 소모를 보여주고 있다.

• 보험의학회지
• /
• 제33권2호
• /
• pp.15-17
• /
• 2014

All Korean people are eligible for National Health Insurance(NHI). But large non-coverage of NHI is a big problem. The origin of this problem is from medical fee schedules. NHI calculate all hospital income including insurance medical practice, non-insurance medical practice and non-medical income(i.e. a funeral hall, a parking lot, stores in hospital).