• Journal of the Korea Institute of Military Science and Technology
• /
• v.21 no.2
• /
• pp.225-234
• /
• 2018

In this paper, we consider a problem of partitioning a search area into smaller rectangular regions, so that multiple platforms can conduct search operations independently without requiring unnecessary coordination among themselves. The search area consists of cells where each cell has some prior information regarding the probability of target existence. The detection probability in particular cell is evaluated by multiplying the observation probability of the platform and the target existence probability in that cell. The total detection probability within the search area is defined as the cumulative detection probability for each cell. However, since this search area partitioning problem is NP-Hard, we decompose the problem into three sequential phases to solve this computationally intractable problem. Additionally, we discuss a special case of this problem, which can provide an optimal analytic solution. We also examine the performance of the proposed approach by comparing our results with the optimal analytic solution.

• Journal of the Korea Society for Simulation
• /
• v.28 no.1
• /
• pp.23-39
• /
• 2019

The use of drone-bots is demanded in times regarding the reduction of military force, the spread of the life-oriented thought, and the use of innovative technology in the defense through the fourth industrial revolution. Especially, the drone's surveillance and reconnaissance are expected to play a big role in the future battlefield. However, there are not many cases in which the concept of operation is studied scientifically. In this study, We propose search algorithms for reconnaissance drone through simulation analysis. In the simulation, the drone and target move linearly in continuous space, and the target is moving adopting the Random-walk concept to reflect the uncertainty of the battlefield. The research investigates the effectiveness of existing search methods such as Parallel and Spiral Search. We analyze the probabilistic analysis for detector radius and the speed on the detection probability. In particular, the new detection algorithms those can be used when an enemy moves toward a specific goal, PS (Probability Search) and HS (Hamiltonian Search), are introduced. The results of this study will have applicability on planning the path for the reconnaissance operations using drone-bots.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.21 no.12
• /
• pp.2371-2379
• /
• 2017

For the drone that is active in a wide search area, the time to grasp the target in the field of applications such as searching for emergency patients, monitoring of natural disasters requiring prompt warning and response, that is, the speediness of target detection is very important. In the actual operation of drone, the time for target detection is highly related to collaboration between drones and search algorithm to efficiently search the navigation area. In this research, we will provide a search method with cooperation of drone based on target existence probability to solve the problem of quickness in drone target search. In particular, the proposed method increases the probability of finding a target and shorten the search time by transmitting high-altitude drone search results to a low-altitude drone after searching first and performing more precise search. We verify the performance of the proposed method through several simulations.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.11a
• /
• pp.57-59
• /
• 2006

The purpose of search problem is to maximize the probability of target detection as limited search capability. Especially, as elapsing of time at a point of time of initial information received the target detection rate for searching an expected location due to a moving target such that wrecked ship or submarine decrease in these problems. The algorithm of search problem to a moving target having similar property of above targets should solve the search route as quickly as possible. In existing studies, they have a limit of applying in practice due to increasing computation time required by problem size (i.e., number of search area, search time). In this study, we provide that it takes more reasonable computation time than preceding studies even though extending a problem size practically using an approximate computation of probability.

• Interdisciplinary Bio Central
• /
• v.1 no.3
• /
• pp.9.1-9.6
• /
• 2009

Introduction: In the mass spectrometry-based proteomics, biological samples are analyzed to identify proteins by mass spectrometer and database search. Database search is the process to select the best matches to the experimental mass spectra among the amino acid sequence database and we identify the protein as the matched sequence. The match score is defined to find the matches from the database and declare the highest scored hit as the most probable protein. According to the score definition, search result varies. In this study, the difference among search results of different search engines or different databases was investigated, in order to suggest a better way to identify more proteins with higher reliability. Materials and Methods: The protein extract of human mesenchymal stem cell was separated by several bands by one-dimensional electrophorysis. One-dimensional gel was excised one by one, digested by trypsin and analyzed by a mass spectrometer, FT LTQ. The tandem mass (MS/MS) spectra of peptide ions were applied to the database search of X!Tandem, Mascot and Sequest search engines with IPI human database and SwissProt database. The search result was filtered by several threshold probability values of the Trans-Proteomic Pipeline (TPP) of the Institute for Systems Biology. The analysis of the output which was generated from TPP was performed. Results and Discussion: For each MS/MS spectrum, the peptide sequences which were identified from different conditions such as search engines, threshold probability, and sequence database were compared. The main difference of peptide identification at high threshold probability was caused by not the difference of sequence database but the difference of the score. As the threshold probability decreases, the missed peptides appeared. Conversely, in the extremely high threshold level, we missed many true assignments. Conclusion and Prospects: The different identification result of the search engines was mainly caused by the different scoring algorithms. Usually in proteomics high-scored peptides are selected and low-scored peptides are discarded. Many of them are true negatives. By integrating the search results from different parameter and different search engines, the protein identification process can be improved.

• Journal of Labour Economics
• /
• v.39 no.2
• /
• pp.53-81
• /
• 2016

This study analyzes the difference of search efforts and labor market performance between employed searchers and unemployed searchers, using GOMS(Graduates Occupational Mobility Survey) data collected by Korea Employment Information Service. The results show that unemployed searchers concentrated on the job search more actively, and their reservation wage decreased more rapidly than that of employed searchers. Therefore, considering only new jobs, the probability of employment was lower and the wage was higher for employed searchers than for unemployed searchers. However, both the employment probability and the wage were higher for the employed searchers, if analyzing all jobs including existing jobs of employed searchers. The results of this study imply that the employed search may be more effective strategy than the unemployed search.

• Journal of KIISE:Software and Applications
• /
• v.28 no.5
• /
• pp.448-448
• /
• 2001

The definitions in Korean dictionary not only describe meanings of title, but also include various semantic information such as hypernymy/hyponymy, meronymy/holonymy, polysemy, homonymy, synonymy, antonymy, and semantic features. This paper purposes to implement a parser as the basic tool to acquire automatically the semantic information from the definitions in Korean dictionary. For this purpose, first we constructed the part-of-speech tagged corpus and the tree tagged corpus from the definitions in Korean dictionary. And then we automatically extracted from the corpora the frequency of words which are ambiguous in part-of-speech tag and the grammar rules and their probability based on the statistical method. The parser is a kind of the probabilistic chart parser that uses the extracted data. The frequency of words which are ambiguous in part-of-speech tag and the grammar rules and their probability resolve the noun phrase's structural ambiguity during parsing. The parser uses a grammar factoring, Best-First search, and Viterbi search In order to reduce the number of nodes during parsing and to increase the performance. We experiment with grammar rule's probability, left-to-right parsing, and left-first search. By the experiments, when the parser uses grammar rule's probability and left-first search simultaneously, the result of parsing is most accurate and the recall is 51.74% and the precision is 87.47% on raw corpus.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.15 no.5
• /
• pp.601-614
• /
• 2012

Since the optimized use of sonar systems available for detection is a very practical problem for a given ocean environment, the measure of mission achievability is needed for operating the sonar system efficiently. In this paper, a theory on Measure Of Effectiveness(MOE) for specific mission such as detection is described as the measure of mission achievability, and a recursive Cumulative Detection Probability(CDP) algorithm is found to be most efficient from comparing three CDP algorithms for discrete glimpses search to reduce computation time and memory for complicated scenarios. The three CDPs which are MOE for sonar-maneuver pattern are calculated as time evolves for comparison, based on three different formula depending on the assumptions as follows; dependent or independent glimpses, unimodal or non-unimodal distribution of Probability of Detection(PD) as a function of observation time interval for detection. The proposed CDP algorithm which is made from unimodal formula is verified and applied to OASPP(Optimal Acoustic Search Path Planning) with complicated scenarios.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.15 no.3
• /
• pp.272-287
• /
• 2012

The optimal use of sonar systems for detection is a practical problem in a given ocean environment. In order to quantify the mission achievability in general, measure of effectiveness(MOE) is defined for specific missions. In this paper, using the specific MOE for detection, which is represented as cumulative detection probability(CDP), an integrated software package named as Optimal Acoustic Search Path Planning(OASPP) is developed. For a given ocean environment and sonar systems, the discrete observations for detection probability(PD) are used to calculate CDP incorporating sonar and environmental parameters. Also, counter-detection probability is considered for vulnerability analysis for a given scenario. Through modeling and simulation for a simple case for which an intuitive solution is known, the developed code is verified.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.5A
• /
• pp.450-456
• /
• 2011

In this paper, idle channel search schemes based on spectrum sensing are proposed for cognitive radio systems with multiple channels. Specifically, we propose a scheme for determining the order of sensing for multiple channels, for which the probability of each channel being idle is estimated every search interval. By performing sensing in the descending order of the probabilities, the time required for searching idle channels is expected to decrease. In addition, we combine the proposed scheme with a user grouping scheme to further improve the sensing performance. Simulation results show that the user grouping reduces the search time, although it degrades the reliability of detection. The proposed search scheme based on probability estimation of channel idleness is found to reduce the search time significantly as compared to the conventional random search scheme. We apply both the proposed search scheme and user grouping scheme to a cognitive radio system to validate the overall performance.