• Communications for Statistical Applications and Methods
• /
• v.4 no.3
• /
• pp.863-879
• /
• 1997

정규분포에 대한 적합도 검정은 실제적인 측면이나 이론적인 측면에서 그 중요성을 무시할 수 없다. 본 연구에서는 이변량 정규분포의 적합도 검정을 위한 통계량을 제안하였다. 주요 아이디어는 모든 가능한 이변량 분포의 선형조합을 고려하여, 그 선형조합이 순서통계량을 이론적인 분위수와 비교하는 것이다. 또한 제안된 통계량의 극한분포가 Gaussian process의 적분의 형태로 표시될 수 있음을 보였다.

• Journal of the Korean Chemical Society
• /
• v.34 no.3
• /
• pp.248-254
• /
• 1990

Theoretical studies on the electrophilic substitution reactions of five-membered heteroaromatic compounds, furan, pyrrole and thiophene, with isopropyl cation were carried out using the MNDO method. The results indicated that site selectivities of ${\alpha},{\beta}$ and hetero-atoms are not controlled by electrostatic interactions but are determined mainly by charge trasfer stabilization between the HOMO of heteroaromatics and the LUMO of the electrophile. The reactivity order for ${\alpha}\;and\;{\beta}$ positions was pyrrole > furan > thiophene, in agreement with the solution-phase as well as the gas-phase experimental results.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2001.06a
• /
• pp.77-94
• /
• 2001

본 논문은 영어에 있어 부사의 분포를 통사-의미론적으로 설명함을 목적으로 한다. 영어부사의 분포는 표면상 문장 내에서 매우 자유로운 듯하여 이 분포의 자유가 부사의 이동에 기인한다는 주장도 나왔으나, 본고에서 저자는 의미상 그리고 하위범주화상 부사의 이동은 있을 수 없음을 주장하고, 나아가 부사의 분포는 사실상 자유롭지 않고 매우 제한되어 있다는 언어학자들(Jackendoff(1972), Travis(1988), Cinque(1999))의 자료를 제시했다. 부사는 문장 내의 위치에 제한을 받을 뿐만이 아니라 부사들 사이의 상대적 순서에도 제한을 받는데 본고에서는 여러 학자들의 분석 중 가장 최근의 분석인 Cinque(1999)의 이론을 중점적으로 고찰하고 그 문제점을 지적했다. Cinque의 부사분포를 설명하려는 이론은 지나치게 복잡화된 기능범주투사를 필수요건으로 하는데 이는 통사적으로 너무 많은 값을 치루기에 비경제적이다. 저자는 부사의 의미유형에 따라 영향을 받는 부사의 상대적 순서 효과는 통사적 해결이 아니라 의미유형들의 작용역 관계에 기반한 의미적 해결을 하여야 하며, 부사의 문장 내 분포는 부사를 크게 세 가지 의미유형으로 나누고 이 각각의 의미유형이 최근 Chomsky에서 논의되고 있는 세 가지 국면에 사상된다고 가정하면 포착될 수 있다고 주장하였다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2009.04a
• /
• pp.417-420
• /
• 2009

본 논문에서는 유니버설 조인트의 기구학적인 해석을 위하여 원동축이 평면 내에 존재할 경우와 그렇지 않은 경우에 대하여 종동축의 속도를 관찰하였다. 평면 내의 경우는 기존 이론값과 동일하나 평면 외의 경우는 유한회전의 순서에 따라서 독립적인 결과값을 가지게 된다. 이는 오일러 각의 순서를 달리하면 표현되는 속도가 다르기 때문이며 이러한 단점을 극복하기 위하여 원동축에 4원법을 적용하였다. 수치 예제를 통하여 기존의 방법과 제시한 방법을 비교하여 제시한 방법이 일관성 있는 결과를 제공함을 확인하였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.7
• /
• pp.331-340
• /
• 2001

이 논문은 인과적 메시지 로깅 기법에서 결함 포용을 목적으로 안전 저장 장치(stable storage)에 저장되는 메시지 내용 로그와 메시지 순서 로그의 쓰레기 처리 기법을 제안한다. 기존의 인과적 메시지 로깅을 기반으로 한 메시지 로그 쓰레기 처리 기법은 메시지 순서 로그의 쓰레기만을 처리하였다. 메시지 내용 로그는 불필요한 복귀를 피하기 위해 유지해야 하며, 메시지내용 로그의 쓰레기 처리를 위해서는 부가적인 메시지를 필요로 하였다. 이 논문은 인과적 메시지 로깅 기법에서 메시지 내용 로그와 메시지 순서 로그가 쓰레기 처리되어지기 위해 필요한 조건을 새롭게 정의하며, 이 정의를 기반으로 한 메시지 내용 로그와 메시지 순서 로그의 쓰레기 처리 알고리즘을 제안한다. 제시된 조건을 기반으로 한 메시지 내용 로그와 메시지 순서 로그의 쓰레기 처리는 송수신 메시지에 부가된 MAG(Modified Antecednce Graph)를 이용하므로 쓰레기 처리를 위한 부가적인 메시지를 발생시키지 않는다. 하지만 제안된 기법은 일반 메시지가 송수신되기 전까지 쓰레기 처리가 지연되는 '지연 쓰레기 처리 현상(lazy garbage collection)'을 발생시킨다. 하지만 '지연 쓰레기 처리 현상'은 분산 시스템의 일관성을 위배하지 않으며, 쓰레기 처리를 위한 부가적인 메시지 교환을 필요로 하지 않는다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.9 no.4
• /
• pp.451-456
• /
• 1999

All the teaching items in a textbook are normally arranged in a prescribed teaching order. However, one can easily find that the textbooks of the same kind, even with the same teaching items, show different arrangements. Without learning preceding teaching items, students may have a difficulty in understanding the teaching items. In this sense, it is very important to decide how to arrange teaching items in terms of teaching sequence. As a solution to this problem, lsamu Matsubara presents a method based on the graph theory. The four types defined in his method are the straight type, the group type, the branch type, and the independent type. Among these, the three types except the straight type lack the objectivity. An objective solution to these three types, based on the fuzzy theory. is propopsed in this paper.

• Journal of the Society of Naval Architects of Korea
• /
• v.38 no.2
• /
• pp.79-86
• /
• 2001

This study shows an attempt to generate an assembly sequence and its model for a ship block assembly using the graph theory and graph algorithms. To generate the ship block assembly, we propose four levels of the ship block assembly model such as "geometry mode1", "relational model", "sequential mode1", and "hierarchical model". To obtain the relational model, we used surface and surface intersection algorithm. The sequential model that represents a possible assembly sequence is made by using several graph algorithms from the relational model. The hierarchical model will be constructed from the sequential model in order to represent the block assembly tree and so forth. The purpose of the hierarchical model is to define an assembly tree and to generate the Bill Of Material(BOM). Lastly, the validity of the method proposed in this study is examined with application to ship block assembly models of a single type and double type according to four models mentioned above.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.14 no.4
• /
• pp.40-51
• /
• 2015

This study analysis traffic phase order alternatives to maximize throughput. According to theoretical analysis alternative2(EW: left turn after through, NS: through after left turn) and alternative5(EW: through after left turn, NS: left turn after through) can minimize the maximum delay. Both alternatives split the phase that have the same destination link under the whole cycle length. This shows that phase order alternative can effect to the fully saturated intersection. In side of simulation analysis by microscopic traffic simulator PTV VISSIM F 7.0, each phase order alternatives can't effect throughput under the non saturated condition. However under the saturated condition, the average controlled delay of the intersection has been changed by phase order alternatives. The simulation analysis shows that alternative2 and alternative5 increase throughput 3.8% to 5.1% under the saturated condition.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.9
• /
• pp.759-767
• /
• 2000

OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 decomposition을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류이다. OBDD(Ordered Binary Decision Diagram)에서 각 노드는 Shannon decomposition 만을 이용하는 반면, OPKFDD는 각 노드마다 Shannon, positive Davio, negative Davio decomposition 중의 하나를 사용하도록 하며 많은 경우 매우 적은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방밥과 입력 변수 순서의 결정에 의해서 OPKFDD의 크기가 좌우되며 이에 대한 최적의 해를 구하는 것은 매우 어려운 문제로 알려져 있다. 본 논문에서는 DD 크기를 기준을 노드 수로 하여 기존의 BDD(Binary Decision Diagram) 자료구조에서 OPKFDD를 효율적으로 유도해내는 방법을 제시하고 complex term을 이용하여 이를 최소화하는 알고리즘을 제시한다. 그리고 입력변수 순서 결정을 위하여 다출력함수의 경우 함수간의 포함관계를 고려한 그룹-sifting과 각 노드의 확장 방법을 제안하고 실험 결과를 제시한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.155-163
• /
• 1999

방송통신 프로토콜은 메시지들의 순서가 바뀌거나 메시지 손실이 발생하는 문제점을 갖는 비신뢰 통신 프로토콜이다. 아메바 시스템에서 사용하는 순차적 기반 방송통신 프로토콜은 신뢰성 있고 전송되는 모든 메시지들의 순서를 일정하게 유지할 수 있는 통신 방법중의 하나이다. 비록 아메바 시스템에서는 순차기의 고장이 발생하였을 경우 선출알고리즘을 사용하여 대처하지만, 대부분의 순차기기반 방송통신 프로토콜들은 단일 노드 고장이라는 한가지 단점을 가지고 있다. 이 단점은 순차기 고장으로 인해 전체 시스템에서의 방송통신을 사용할 수 없는 매우 치명적인 현상이 발생한다. 본 논문에서는 전송되는 모든 메시지들의 순서를 일정하게 유지하면서 순차기의 작업량을 줄이는 고장감내 방송통신 프로토콜 알고리즘을 제안한다. 제안된 알고리즘에서는 다수의 순차기를 사용하고 손실된 메시지를 재전송하기 위한 논리적 노드인 기록노드를 사용한다. 또한 순차기노드의 고장을 검출하기 위하여 순차기들간의 논리적 리스트를 구성한다. 제안된 알고리즘의 성능을 측정하기 위하여 시뮬레이션 하였고 실제 유닉스를 기반으로 하는 랜에서 실험했다. 시뮬레이션결과, 제안된 알고리즘은 기존의 순차기기반 알고리즘보다 빠르고, 고장감내 성격을 갖고 있음을 알 수있다.