• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권7호
• /
• pp.451-460
• /
• 2013

높은 테스트 커버리지 달성을 위해 심볼릭 실행, 자료 흐름 분석 및 제약 해결 기법 등을 이용하여 테스트 데이터 생성을 하는 것이 일반적이다. 최근에 그와 같은 정교한 수단 없이도 높은 커버리지를 효과적으로 달성 할 수 있는 방법이 제안되었다. 그러나 이 방법도 실행 중에 다른 메모리 로케이션들이 바인딩되는 분기 조건을 갖는 프로그램에 대해서는 높은 커버리지를 가져오는 테스트 데이터 생성이 어려웠다. 특히 플래그 조건을 가지는 프로그램에 대해서는 특정 분기들이 실행되지 않아 높은 커버리지를 달성하지 못하는 경우가 발생한다. 이 논문에서는 이 문제를 다루기 위하여 기존 커버리지 기준을 개선한 동적 분기 커버리지 기준들과 동적 분기에 기반 한 테스트 데이터 생성 전략을 제안한다. 실험을 통하여 플래그 조건이 있는 프로그램들에 대해서도 제안된 방법이 기존의 방법에 비해 효과적으로 커버리지를 달성함을 보인다. 요약은 무슨 연구를 어떻게 수행하였는지, 주된 연구결과와 그 중요성에 관해 간결하게 기술하여야 한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권11호
• /
• pp.3544-3564
• /
• 2022

With the development of the NB-IoT (Narrow band Internet of Things) and smart cities, coupled with the emergence of smart smoke sensors, new requirements and issues have been introduced to study on the deployment of sensors in large spaces. Previous research mainly focuses on the optimization of wireless sensors in some monitoring environments, including three-dimensional terrain or underwater space. There are relatively few studies on the optimization deployment problem of smart smoke sensors, and leaving large spaces with obstacles such as libraries out of consideration. This paper mainly studies the deployment issue of smart smoke sensors in large spaces by considering the fire probability of fire areas and the obstacles in a monitoring area. To cope with the problems of coverage blind areas and coverage redundancy when sensors are deployed randomly in large spaces, we proposed an optimized deployment strategy of smart smoke sensors based on the PSO (Particle Swarm Optimization) algorithm. The deployment problem is transformed into a multi-objective optimization problem with many constraints of fire probability and barriers, while minimizing the deployment cost and maximizing the coverage accuracy. In this regard, we describe the structure model in large space and a coverage model firstly, then a mathematical model containing two objective functions is established. Finally, a deployment strategy based on PSO algorithm is designed, and the performance of the deployment strategy is verified by a number of simulation experiments. The obtained experimental and numerical results demonstrates that our proposed strategy can obtain better performance than uniform deployment strategies in terms of all the objectives concerned, further demonstrates the effectiveness of our strategy. Additionally, the strategy we proposed also provides theoretical guidance and a practical basis for fire emergency management and other departments to better deploy smart smoke sensors in a large space.

• 대한전자공학회논문지
• /
• 제19권6호
• /
• pp.91-95
• /
• 1982

LSI나 VLSI 소자의 제조 공정중 금속막이 기존의 스텝 커버리지를 좋게 하는 것은 매우 중요한 일이다. 본 인구에서 얻어진 방법은 8.0∼8.6wt.%의 인을 고함하는 PCG를 증기 (steam) 분위기의 950℃에서 30분간 열처리한 후 250℃에서 1 um의 악루미늄을 증착하는 것이다. One significant problem which arises during the fabrication of LSI and/or VLSI is how to make a good step coverage for aluminum. One way developed in this study is to flow PSG containing 8.0 wt.% - 8.6 wt.% of phosphorus at 950℃ for 30 minutes in steam and to depo3it aluminum of 1 urn thickness at 250℃.

• Management Science and Financial Engineering
• /
• 제17권2호
• /
• pp.39-62
• /
• 2011

In wireless sensor network, since each sensor is equipped with a limited power, efficient use of the energy is important. One possible network management scheme is to cluster the sensors into several sets, so that the sensors in each of the sets can completely perform the monitoring task. Then the sensors in one set become active to perform the monitoring task and the rest of the sensors switch to a sleep state to save energy. Therefore, we rotate the roles of the active set among the sensors to maximize the network lifetime. In this paper, we suggest an optimal algorithm for the maximum lifetime coverage problem which maximizes the network lifetime. For comparison, we implemented both the heuristic proposed earlier and our algorithm, and executed computational experiments. Our algorithm outperformed the heuristic concerning the obtained network lifetimes, and it found the solutions in a reasonable amount of time.

• 한국통신학회논문지
• /
• 제36권8A호
• /
• pp.691-701
• /
• 2011

방향센서네트워크에서 주어진 모든 타켓을 관측하고 관측한 데이터를 싱크노드까지 전달한다는 요구사항을 유지하면서 에너지를 효율적으로 절약하여 전체 네트워크 수명을 최대화하는 것은 중요한 문제이다. 본 논문에서는 이와 관련하여 Maximum Directional Cover Tree(MDCT) 문제를 제시하고 방향센서들을 그룹화하여 네트워크 수명을 최대화하는 문제를 다룬다. 모든 타켓을 관측하고 관측한 데이터를 싱크노드까지 전달하는데 참여하는 센서들을 활성상태로 설정하고 그렇지 않은 센서들은 수면상태로 설정함으로써 에너지를 효율적으로 활용할 수 있는 휴리스틱 알고리즘인 Directional Coverage and Connectivity (DCC)-greedy 알고리즘을 제시하여 MDCT문제를 해결한다. 제안 알고리즘에서는 타켓을 관측하고 관측한 데이터 전달에 드는 에너지 외에 방향 회전에너지까지 고려함으로써 방향센서가 소비하는 에너지를 좀 더 정확하게 고려한다 마지막으로 시뮬레이션을 통해 제안 알고리즘이 네트워크 수명을 증가시킬 수 있음을 보인다.

• 대한치과의사협회지
• /
• 제55권3호
• /
• pp.230-239
• /
• 2017

Root coverage can be an efficacious treatment not only in aspect of dental symptoms like root caries and hypersensitivity, but also in aspect of esthetic problem. There are several predictable methods for gaining a connective tissue attachment to an exposed root surface. Among them, this case report will deal with three cases using enamel matrix derivative and connective tissue graft to recover esthetic and physiological periodontal environment and its form. This case report deals with three patients with gingival recession which has occurred by different causes. They were treated with de-epithelialized graft accompanied by application of enamel matrix derivative. 6-12 months later, all three patients showed considerable root coverage and clinically stable condition of healing. In conclusion, within the limitation of this study, de-epithelialized connective tissue graft accompanied by application of enamel matrix derivative shows stable and clinical acceptable results in aspect of root coverage.

• Journal of Communications and Networks
• /
• 제16권5호
• /
• pp.493-501
• /
• 2014

Coverage completeness is an important indicator for quality of service in wireless sensor networks (WSN). Due to limited energy and diverse working conditions, the sensor nodes have different lifetimes which often cause network holes. Most of the existing methods expose large limitation and one-sidedness because they generally consider only one aspect, either coverage rate or energy issue. This paper presents a novel method for coverage hole detection with residual energy in randomly deployed wireless sensor networks. By calculating the life expectancy of working nodes through residual energy, we make a trade-off between network repair cost and energy waste. The working nodes with short lifetime are screened out according to a proper ratio. After that, the locations of coverage holes can be determined by calculating the joint coverage probability and the evaluation criteria. Simulation result shows that compared to those traditional algorithms without consideration of energy problem, our method can effectively maintain the coverage quality of repaired WSN while enhancing the life span of WSN at the same time.

• 한국컴퓨터정보학회논문지
• /
• 제20권7호
• /
• pp.33-40
• /
• 2015

The time slot assignment problem (TSAP) or Satellite Communications scheduling problem (SCSP) for a satellite performs $n{\times}n$ ground station data traffic switching has been known NP-hard problem. This paper suggests $O(n^2)$ time complexity algorithm for TSAP of a satellite that performs $n^2{\times}n^2$ ground station data traffic switching. This problem is more difficult than $n{\times}n$ TSAP as NP-hard problem. Firstly, we compute the average traffic for n-transponder's basic coverage zone and applies ground station exchange method that swap the ground stations until all of the transponders have a average value as possible. Nextly, we transform the D matrix to $D_{LB}$ traffic matrix that sum of rows and columns all of transponders have LB. Finally, we select the maximum traffic of row and column in $D_{LB}$, then decide the duration of kth switch mode to minimum traffic from selected values. The proposed algorithm can be get the optimal solution for experimental data.

• Journal of the Korean Statistical Society
• /
• 제36권4호
• /
• pp.489-500
• /
• 2007

In this paper, we consider Bayesian approach to the Fieller-Creasy problem using noninformative priors. Specifically we extend the results of Yin and Ghosh (2000) to the unbalanced case. We develop some noninformative priors such as the first and second order matching priors and reference priors. Also we prove the posterior propriety under the derived noninformative priors. We compare these priors in light of how accurately the coverage probabilities of Bayesian credible intervals match the corresponding frequentist coverage probabilities.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.605-606
• /
• 2012

In this paper, we consider the problem of scheduling sensor activity to prolong the network lifetime while guaranteeing both discrete target coverage and connectivity among all the active sensors and the sink, called connected target coverage (CTC) problem. We proposed a distributed scheme called Distributed Lifetime-Maximizing Scheme (DLMS) to solve the CTC problem. Our proposed scheme significantly reduces the cost of the construction of the connected cover graphs in comparison with the some conventional schemes. In addition, the energy consumption is more balanced so that the network lifetime will be increased. Our simulation results show that DLMS scheme performs much better than the conventional schemes in terms of the network lifetime.