• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.419-421
• /
• 1994

Recently Hong and Oh [5] provided a fairly general weak law for arrays in the following form: Let {(X/sub ni/, l ≤ i ≤ k/sub n/), n ≥ l}, k/sub n/ → ∞ as n → ∞, be an array of random variables on (Ω, F, P) and set F/sub nj/ = σ{X/sub ni/, 1 ≤ i ≤ j}, 1 ≤ j ≤ k/sub n/, n ≥ 1, and F/sub n0/ = {ø, Ω}, n ≥ 1. Suppose that (equation omitted) aP { X/sub ni/ /sup p/ ＞ a} → 0 as a → ∞ uniformly in n for some 0 < p < 2. Then S/sub n//(equation omitted) → 0 in probability as n → ∞ where S/sub n/ = (equation omitted)(X/sub ni/ - E(X/sib ni/I( X/sub ni/ /sub p/ ≤ k/sub n/) F/sub n,i-l/)). In this note, we will prove the following result under the same domination condition of Hong and Oh [5].(omitted)

• Journal of the Korean Statistical Society
• /
• v.25 no.2
• /
• pp.255-263
• /
• 1996

Let $(X_{1j}, X_{2j}, … , X_{nj}, Y_j/)$j = 1, 2, … , n, be a sample of size n on an (m + l)-dimensional vector $(X_1, X_2, … , X_m, Y)$, m .geq. 1. If $Y_{(r)}$ denote the rth order statistic from Y, then the $X_{[r:n]}$ paired with $Y_(r)$ is termed the concomitant vector of the order statistics. The general distributions of concomitant of order statistics will be found. The mean, variance and covariance of$X_{[r:n]}$ Will be studied. Then we will apply the results to the multivariate normal variate case.e.

• Journal of Species Research
• /
• v.9 no.3
• /
• pp.273-279
• /
• 2020

We describe a newly recorded brittle star to South Korea, Amphiura (Amphiura) digitula (H.L. Clark, 1911), that was collected from Geoje Island, at a depth of 47 m. The species is characterized by a small disk, covered by numerous fine scales, small radial shields that are wider than long, a small stumpy hook at the distal end of the radial shield, two tooth papilla, two adoral shield spines, 2nd adoral shield spine longer than other, tapered dramatically toward dull tip, five arms with four proximal arm spines, and two tentacle scales. We also obtained a 657 bp sequence from COI gene and the amplified sequence matched the general DNA barcoding region. The NJ and ML phylogenetic analyses revealed A. (A.) digitula as monophyletic in the Amphiura clade. This species is clearly distinguished from other Amphiura species by morphological characteristics and the mitochondrial COI sequence, and thus represents the sixth Amphiura species reported to occur in Korea.

• Plant Resources
• /
• v.5 no.1
• /
• pp.86-94
• /
• 2002

This study characterized the genetic variations of 13 populations of Asplenium antiquum and its relative species using randomly amplified polymorphic DNA (RAPD) markers. A total 88 scorable RAPD bands were generated by the 12 random oligo primers and were analyzed by Nei and Li's genetic distance. High genetic variability was detected between A. antiquum and A. nidus, with the range from 0.568 to 0.682. And slightly low genetic variations showed within the populations of same species. Seven populations of A. antiquum showed slight differences (0.000-0.216), and five populations of A. nidus showed similar low genetic variations (0.114 to 0.171). Two individuals from Sup-seom Island which are growing in might be the regenerated one from abroad. A. antiquum were clustered as two groups (Group I, Group II) by UPGMA phenogram. And five populations of A. nidus were clustered as two groups correlated with geographical distribution. The RAPD data was very useful to define the genetic variations and to discuss the phylogenetic relationships among A. antiquum and the related species..

• Journal of KIISE:Software and Applications
• /
• v.28 no.1
• /
• pp.73-89
• /
• 2001

본 연구에서는 일반화된 let-다형성(let-polymorphic) 타입 유추 알고리즘을 제시하고, 이로부터 얻어지는 모든 예 알고리즘들은 Hindley/Milner 타입 체계를 안전하고 완전하게 (sound and complete) 구현하고 있음을 증명하며, 일반화된 알고리즘의 두 예 알고리즘들간에 어느 한쪽이 항상 오류를 더 신속히 감지하게 되는 조건을 제시한다. 일반화된 알고리즘으로부터 이론적으로 검증된 두 타입 유추 알고리즘, 즉, 상향성 표준 타입 유추 알고리즘 W와 하향성 알고리즘 M 뿐만 아니라 두 알고리즘의 혼성 알고리즘(hybrid algorithm)을 만들 수 있다. 만들어진 예 알고리즘들의 안전성, 완전성, 상대적인 신속한 오류 감지 성질들은 본 논문의 증명에 의해 자동적으로 유추된다. 본 논문에서 제시되는 알고리즘으로부터 만들어 낼 수 있는 예 알고르즘에는 SML/NJ와 Objective Caml 컴파일러에서 채택한 알고리즘을 포함하고 있다.

• The Korean Journal of Malacology
• /
• v.31 no.2
• /
• pp.159-163
• /
• 2015

We report a new record of Myurella nebulosa (Sowerby, 1825) collected by SCUBA diving from sandy bottom of subtidal zone in Jeju Island in Korea. The specimen of M. nebulosa is distinguished from its congeners by having slightly plump shell, high spire, distinctive subsutural band, deep axial ribs, numerous and shallow spiral ribs, ivory in color. In this report, we provided a brief morphological description and photographs of M. nebulosa. An unrooted phylogenetic tree for mitochondrial cox1 sequences using NJ analysis found Korean M. nebulosa sample was clustered with its conspecific sequences, but clearly separated from M. columellaris that is not easy to distinguishable based on external shell morphology alone.

• International Journal of Reliability and Applications
• /
• v.2 no.1
• /
• pp.57-71
• /
• 2001

Global competition to increase production output and to improve quality is spurring manufacturing companies to use condition monitoring and fault diagnostic systems for predictive maintenance. As monitoring, testing, and measuring techniques develop, predictive control of components and complete systems have become more practical and affordable. In this article, we will consider the computer based data acquisition system for condition monitoring and the condition parameter analysis techniques for fault detection and diagnostics in the machinery and briefly discuss reliability prediction and the limit value determination in condition monitoring.

• The Korean Journal of Emergency Medical Services
• /
• v.23 no.2
• /
• pp.33-42
• /
• 2019

Purpose: This study aimed to identify the effects of post-traumatic stress disorder intervention programs on firefighters through a meta-analysis. Methods: Seven studies were selected for meta-analysis. The overall average effect size, effect sizes for each intervention variables, and publication bias were analyzed using Comprehensive Meta-Analysis(CMA) version 2.0 (Biostat, Englewood, NJ, USA). Results: Post-traumatic stress disorder intervention programs were found to have a very low, not statistically significant effect (effect size=-.171, confidence interval=-0.361~0.019, Z=-1.768, p>.05). However, these programs was less than 50 (effect size=-.622). Conclusion: The results of this study suggest that further research on the effects of post-traumatic stress disorder intervention among firefighters is needed in order to develop more effective programs.

• Proceedings of the Korean Geotechical Society Conference
• /
• 1992.12a
• /
• pp.19-32
• /
• 1992

Objectives of this study are : 1) to utilize capillary theory and obtain pore-size distribution profiles from moisture-suction relationships using Laplace theory. 2) to investigate the behavior of Light Non-Aqueous Phase Liquids(LNAPLs) in the subsurface environment and to develop several predictive relationships which can be used to assess the effectiveness of various LNAPLs remediation technologies. The relationship to predict pore-size distribution function expressed in differencial equation is found by using capillary theory. Also, experiments are conducted to : the various LNAPLs subjected to vadose zone drainage, groundwater table drainage, waterflooding with surfactants. The experiments are performed with #2 heating oil, jet fuel. and kerosene. Several relationships have been derived describing the effect of various properties and process parameters on the LNAPL residual saturation.

• The Korean Journal of Emergency Medical Services
• /
• v.27 no.1
• /
• pp.31-41
• /
• 2023

Purpose: This study was conducted to analyze variables related to paramedic students' major satisfaction comprehensively and present development plans to improve major satisfaction. Methods: Five studies were selected for analysis. The overall average effect size, effect sizes for each related variable, and publication bias were analyzed using Comprehensive Meta-Analysis (CMA) version 2.0 (Biostat, Englewood, NJ, USA). Results: Various known variables related to major satisfaction were found to have little correlation, and paramedic students' major satisfaction were highly correlated variables, such as major commitment (ES=.781), and department adaptation (ES=.722). Conclusion: Research should be continuously conducted to examine additional variables correlated with the major satisfaction of paramedic students.