• IEMEK Journal of Embedded Systems and Applications
• /
• v.12 no.5
• /
• pp.287-293
• /
• 2017

The naval unmanned surface vehicle (USV) conducts the surveillance operations, based on the mission plan set by the user. For setting the mission planning, the user needs to analyze the suitability of the operation for the mission planning. In this paper, we proposed a simulation program that estimates the probability of detecting targets of the mission planning in the analysis. In the simulation analysis, we design the USV's maneuvering characteristics, radar detection operational performance equipped on the USV, and targets infiltrating into surveillance area in the simulation experiment scenario. Based on the simulation results, we evaluated the mission planning suitability and find a mission planning solution recursively.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.734-737
• /
• 2004

When the margin level is set relatively low, margin violation probability increases and the default probability of the futures market rises. On the other hand, if the margin level is set high, the margin violation probability decreases, but the futures market becomes less attractive to hedgers as the investor's opportunity cost increases. In this paper, we investigate whether the movement of KOSPI200(Korea Composite Stock Price Index 200) futures daily prices can be modeled with the extreme value theory. Base on this investigation, we examine the validity of the margin level set by the extreme value theory. Computational results are presented to compare the extreme value distribution and the empirical distribution of margin violation in KOSPI200. Some observations and implications drawn from the computational experiment are also discussed.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.58 no.3
• /
• pp.241-248
• /
• 2009

This paper presents stochastic methodology based fault detection algorithm for induction motor systems. We measure current of healthy induction motors by means of hall sensor systems and then establish its probability distribution. We propose online probability density estimation which is effective in real-time implementation due to its simplicity and low computational burden. In addition, we accomplish theoretical analysis of the proposed estimation to demonstrate its convergence property by using statistical convergence and system stability theories. We apply our fault detection approach to three-phase induction motors and achieve real-time experiment for evaluating its reliability and practicability in industrial fields.

• Journal of Advanced Marine Engineering and Technology
• /
• v.32 no.3
• /
• pp.387-393
• /
• 2008

This paper has dealt with the probability of oyster shell desiccant cooling system driven by renewable energy of photo-volatic effect with fundamental experiment. The test materials for desiccant are activated charcoal, silica-gel, hi-dry, and oyster shell. The experiments were mainly performed with focusing on the observation of surface features, adsorption amounts of the adsorbent species, and the effect of temperature. Oyster shell has sufficient probability for using as desiccant in a air-conditioning system. Moreover, the heat releasing device would be attached in the system, the system based with oyster shell can be operated with high efficiency.

• Journal of Korean Institute of Industrial Engineers
• /
• v.16 no.1
• /
• pp.83-98
• /
• 1990

Previous studies have shown strong tendancy toward overconfidence in intuitive probability judgements. The purpose of the present study is to investigate the relations between this overconfidence phenomenon and the three major characteristics of information, namely, the pertinance, the redundancy and the quantity. An experiment was conducted where the subjects were asked to respond to 120 questions of the same type. In each question, the subjects' task was to predict, in the light of given information, which of the two given countries would have had higher GNP in 1979 and to give the probability that their choice would be correct. The results suggests that only the pertinance of information has significant influence on the degree of overconfidence.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.65 no.3
• /
• pp.188-193
• /
• 2016

It has been proven that the dissolved gas analysis (DGA) is the most effective and convenient method to diagnose the transformers. The DGA is a simple, inexpensive, and non intrusive technique. Among the various diagnosis methods, IEC 60599 has been widely used in transformer in service. But this method cannot offer accurate diagnosis for all the faults. This paper proposes a fault diagnosis method of oil-filled power transformers using DGA and Intelligent Probability Model. To demonstrate the validity of the proposed method, experiment is performed and its results are illustrated.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.33 no.3
• /
• pp.130-136
• /
• 2010

In this study, we propose a new method for generating candidate solutions based on both the Cauchy and the Gaussian probability distributions in order to use the merit of the solutions generated by these distributions. The Cauchy probability distribution has larger probability in the tail region than the Gaussian distribution. Thus, the Cauchy distribution can yield higher probabilities of generating candidate solutions of large-varied variables, which in turn has an advantage of searching wider area of variable space. On the contrary, the Gaussian distribution can yield higher probabilities of generating candidate solutions of small-varied variables, which in turn has an advantage of searching deeply smaller area of variable space. In order to compare and analyze the performance of the proposed method against the conventional method, we carried out experiments using benchmarking problems of real valued functions. From the result of the experiment, we found that the proposed method based on the Cauchy and the Gaussian distributions outperformed the conventional one for most of benchmarking problems, and verified its superiority by the statistical hypothesis test.

• The Journal of Information Technology
• /
• v.9 no.4
• /
• pp.49-55
• /
• 2006

In this paper, a new fragile watermarking algorithm for digital image is presented, which makes resolving the security and forgery problem of the digital image to be possible. The most suitable watermarking method that verifies the authentication and integrity of the digital image is the Wong's method, which invokes the hash function (MD5). The algorithm is safe because this method uses the hash function of the cryptology. The operations such as modulus, complement, shift, bitwise exclusive-or, bitwise inclusive-or are necessary for calculating the value of hash function. But, in this paper, an Arithmetic encoding method that only includes the multiplication operation is adopted. This technique prints out accumulative probability interval, which is obtained by multiplying the input symbol probability interval. In this paper, the initial probability interval is determined according to the value of the key, and the input sequence of the symbols is adjusted according to the key value so that the accumulative probability interval will depend on the key value. The integrity of the algorithm has been verified by experiment. The PSNR is above the 51.13db and the verifying time is $1/3{\sim}1/4$ of the verifying time of using the hash function (MD5), so, it can be used in the real-time system.

• 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.

• The Journal of Korea Robotics Society
• /
• v.16 no.1
• /
• pp.49-55
• /
• 2021

Recently, a smart farm technology is drawing attention as an alternative to the decline of farm labor population problems due to the aging society. Especially, there is an increasing demand for automatic harvesting system that can be commercialized in the market. Pre-harvest crop detection is the most important issue for the harvesting robot system in a real-world environment. In this paper, we proposed a real-time tomato instance tracking algorithm by using deep learning and probability models. In general, It is hard to keep track of the same tomato instance between successive frames, because the tomato growing environment is disturbed by the change of lighting condition and a background clutter without a stochastic approach. Therefore, this work suggests that individual tomato object detection for each frame is conducted by YOLOv3 model, and the continuous instance tracking between frames is performed by Kalman filter and probability model. We have verified the performance of the proposed method, an experiment was shown a good result in real-world test data.