• Journal of the Korea Institute of Military Science and Technology
• /
• v.9 no.4
• /
• pp.5-14
• /
• 2006

The correct and opportune decision of reengaging the intercepted target is required in order to enhance the engagement performance of the surface to air missile systems that has the ability to defense or attack against various targets at the same time. The engagement efficiency and success of these systems will be largely enhanced by assigning quickly its system resources to the intercepted target and minimizing the waste of system resources for the target which is not able to attack any more. The kill-assessment algorithm has to be able to evaluate automatically whether various targets intercepted by missiles are killed or not on the basis of the reasonable confidence level. The definition of kill assessment is discussed and the kill assessment algorithm is designed reliably by using Kalman filter and a probability theory. Finally its performance is evaluated and analyzed by the Monte Carlo simulation.

• Journal of Communications and Networks
• /
• v.11 no.6
• /
• pp.564-573
• /
• 2009

In this paper, we consider a wireless multiple path network in which a transmitting node would like to send a message to the receiving node with a certain probability of success. These two nodes are separated by N erasure paths, and we devise two algorithms to determine minimum redundancy and optimal symbol allocation for this setup. We discuss the case with N = 3 and then extend the case to an arbitrary number of paths. One of the algorithms minimum redundancy algorithm in exponential time is shown to be optimal in several cases, but has exponential running time. The other algorithm, minimum redundancy algorithm in polynomial time, is sub-optimal but has polynomial worstcase running time. These algorithms are based off the theory of maximum-distance separable codes. We apply the MRAET algorithm on maximum-distance separable, Luby transform, and Raptor codes and compare their performance.

• Biomolecules & Therapeutics
• /
• v.22 no.4
• /
• pp.267-274
• /
• 2014

Drug development and preclinical trials are challenging processes and more than 80% to 90% of drug candidates fail to gain approval from the United States Food and Drug Administration. Predictive and efficient tools are required to discover high quality targets and increase the probability of success in the process of new drug development. One such solution to the challenges faced in the development of new drugs and combination therapies is the use of low-cost and experimentally manageable in vivo animal models. Since the 1980's, scientists have been able to genetically modify the mouse genome by removing or replacing a specific gene, which has improved the identification and validation of target genes of interest. Now genetically engineered mouse models (GEMMs) are widely used and have proved to be a powerful tool in drug discovery processes. This review particularly covers recent fascinating technologies for drug discovery and preclinical trials, targeted transgenesis and RNAi mouse, including application and combination of inducible system. Improvements in technologies and the development of new GEMMs are expected to guide future applications of these models to drug discovery and preclinical trials.

• Journal of the Microelectronics and Packaging Society
• /
• v.21 no.2
• /
• pp.59-64
• /
• 2014

Transfer is the critical issue of producing high-quality and scalable graphene electronic devices. However, conventional transfer processes require the removal of an underlying metal layer by wet etching process, which induces significant economic and environmental problems. We propose the etching-free mechanical releasing of graphene using polymer adhesives. A fracture mechanics approach was introduced to understand the releasing mechanism and ensure highyield process. It is shown that the thickness of adhesive and target substrate affect the transferability of graphene. Based on experimental and fracture mechanics simulation results, we further observed that compliant adhesives can reduce the adhesive stress during the transfer, which also enhances the success probability of graphene transfer.

• Journal of Arbitration Studies
• /
• v.19 no.3
• /
• pp.43-66
• /
• 2009

This paper investigates what are the types and legal grounds for interim measures in the U.S. arbitration practices. The statutory ground for the interim measures is the Revised Uniform Arbitration Act. Another ground, probably the most important, is the parties' own intentions to adopt the interim measures in their arbitration proceeding. Most typical interim measures in arbitration include preliminary injuction, attachment and antisuit injunction. In the U.S ex parte motion for interim measure is rarely allowed while the Revised UNCITRAL Model Law specified an ex parte interim measure. In launching the interim measures, the US courts have demanded several requirements including imparability, probability of success and passing of the balance test. In general, the U.S. courts have properly interfered with the procedural issues in arbitration unreined but leaving the substantive issues untouched. It is believed that such interference has helped to enhance the credibility in arbitration with respect to fairness and justice.

• Journal of the Korean Data and Information Science Society
• /
• v.12 no.1
• /
• pp.1-9
• /
• 2001

In this paper, the problem of information related to I binomial experiments, each having a distinct probability of success ${\theta}_i$, i = 1,2, $\cdots$, I, is considered. Instead of using a standard exchangeable prior for ${\theta}\;=\;({\theta}_1,\;{\theta}_2,\;{\cdots},\;{\theta}_I)$, we con-sider a partition of the experiments and take the ${\theta}_i$'s belonging to the same partition subset to be exchangeable and the ${\theta}_i$'s belonging to distinct subsets to be independent. And we perform Gibbs sampler approach for Bayesian inference on $\theta$ conditional on a partition. Also we illustrate the methodology with a real data.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1995.06a
• /
• pp.200-203
• /
• 1995

This paper proposes a spoken Korean processing model which is extensible to large vocabulary continuous spoken Korean system. The integration of phoneme level speech recognition with natural language processing can support a sophisticated phonological/morphological analysis. The model consists of a diphone speech recognizer, a viterbi dictionaly searcher and a morpheme connectivity information checker. Two-level hierarchical TDNNs recognize newly defined Korean diphones. The diphone sequences are segmented and converted to the most probable morpheme sequences by the Viterbi dictionary searcher. The morpheme sequency are then examined by the morpheme connectivity information checker and the correct morpheme sequence which has the greatest probability is collected. The experiments show that the morphological analysis for spoken Korean can be achieved for 328 Eojeols with 80.6% success rate.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.7 no.3 s.18
• /
• pp.59-68
• /
• 2004

Unmanned surface vehicles(USVs) have been developed for special operations in foreign navies. These will be employed to conduct critical missions including inspection, coast guard, ISR, fire protection, precision strike, mine interception warfare and antisubmarine warfare. It is also known the USVs will be deployed at the front line of the network-centric warfare to replace the manned naval operations. The unmanned operation can, thus, minimize unnecessary risk to personnel and enhance the success probability for the imposed mission. In this research, the USVs which are under operation and development in foreign navies are investigated. Based on this, an USV with $7\~10m$ of length and 10ton of weight for the Korean Navy which can be deployed near the Northern Limit Line(NLL), is proposed.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.8
• /
• pp.1426-1435
• /
• 2003

Design goal is to find the one that has the highest probability of success and the smallest variation. A robustness index has been proposed to satisfy these conditions. The two-step optimization process of the target problem requires a scaling factor. The search process of a scaling factor is replaced with the making of the decoupled design between the mean and the standard deviation. The decoupled design matrix is formed from the sensitivity or the sum of squares. After establishing the design matrix, the robust design process has a new three-step one. The first is ″reduce variability,″ the second is ″make the candidate designs that satisfy constraints and move the mean on the target,″ and the final is ″select the best robust design using the proposed robustness index.″ The robust design process is verified by three examples and the results using the robustness index are compared with those of other indices.

• Journal of the Korean Society for Precision Engineering
• /
• v.27 no.9
• /
• pp.20-25
• /
• 2010

The effect of micro surface structure on printing for printed electronics has been studied experimentally. The photolithography MEMS fabricationwass used to make a SU-8 molder which has micro structures on the surface, and the PDMS micro structure was fabricated by the PDMS molding method. In the aspect of printed electronics, we used silver paste conductive ink. We measured the surface energy variation on pillar microstructure. The microstructure was used to real printing experiment by a screen printing. We printed 1cm micro lines which have $30{\sim}250{\mu}m$ width, and checked the conductivity to sort out opened line pattern. Printability was defined by success probability of printed patterns and we found that the present microstructures improve the printability significantly.