• Journal of Korea Spatial Information System Society
• /
• v.9 no.1
• /
• pp.79-90
• /
• 2007

In this paper we proposed and implemented an incident detection model which combines fuzzy algorithm and traffic pattern in order to enhance the efficiency of incident detection for the highways with lamps. Most of the existing algorithms dealt with highways without lamps and can not be used for detecting incidents in the highways with lamps. The data used for model building are traffic volume, occupancy, and speed data. They have been collected by a loop sensor at 5 minutes interval at a point in the Internal Circular Highway of Seoul for the period of 3 months. In this model, the three parameters collected by sensor were fuzzified and combined with the daily traffic pattern of the link. The test of efficiency of the propsed model was performed by comparing the result of proposed model with traditional APID algorithm and fuzzy algorithm without the pattern data respectively. The result showed significant amount of improvement in reducing the false incident detection rate by 18%.

• The Journal of the Korea Contents Association
• /
• v.10 no.3
• /
• pp.21-31
• /
• 2010

In the architectural design technologies being changed recently, there is the study to develop the way that will enable the designers to get access logically to the processes of deciding the values of design factors which depend on the experience of the designers. This study, which is one part of those studies, has been carried out to develop the model that can decide the values logically for the design factors having the character that the design values are changed by the time variation out of design factors involved in the building energy saving design. As a result, the structure of the decision model which can decide the design values logically from the computer simulation that solve the problem by interpreting the real world as the probability distribution, has been established through this study. For the application and verification of these decision model, the case study has been carried out for the outdoor climate factors that stand for the design factors having the time variation.

• Journal of The Korean Association of Information Education
• /
• v.14 no.4
• /
• pp.555-560
• /
• 2010

The purpose of this study is to investigate the effect of learning algorithm which uses real-life examples including the concept of algorithm on the logical thinking of elementary school students. For this purpose, the experiment was performed by pre-GALT test, a case selection of algorithm which can be taught in real-life, experiment treatment after completing teaching plan, post-GALT test, and paired sample t-test on the results of pre and post GALT in order. As a result, changes in the degree of logical thinking ability and in five sub-regions(conservative logic, proportional logic, combinatorial logic, probabilistic logic, controlling variables) composing of logical thinking obtained statistically significant results in .05 significance level but changes in the correlational logic couldn't obtain the significant results.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.135-158
• /
• 2003

베이즈주의는 믿음의 정도라는 확률의 의미해석과 수학적 확률론에 의한 계산체계를 기초로 하여 가설과 증거간의 입증(confirmation) 관계를 명료하게 분석한다. 베이즈주의는 증거 E가 가설 H를 입증한다는 것을 PR(HIE&K)-PR(HIK)>0으로 정의한다. 그러나 이러한 분석이 과연 과학자들의 입증개념을 올바로 반영하고 있는가 하는 비판이 오래된 증거(old evidence)의 문제로부터 제기되었다 오래된 증거는 이미 알려진 정보이기 때문에 완전한 확률 값 1을 부여받는다. 이 때 오래된 증거가 가설을 입증할 수 있는가 하는 질문은 베이즈주의자와 실제 과학자 사이에 서로 다른 답변을 도출한다. 먼저 베이즈주의에 따르면 오래된 증거가 가설을 입증할 수 없다. 그것은 PR(EIK)=1일 때 PR(HIK)=PR(HIE&K)의 결과가 도출되기 때문이다. 하지만 과학사의 여러 예들로부터 제시되는 실제 과학자들의 입증개념에 따르면 오래된 증거가 가설을 입증하고 있다. 필자는 이와 같은 입증개념의 이질성 문제가 다만 어떤 증거가 입증 가능한 것인지를 구분해야 하는 질적인(qualitative) 문제일 뿐만 아니라 증거가 가설을 어느 정도 입증하는지 하는 입증도를 정확하게 측정해야 하는 양적인(quantitative) 문제라는 점을 밝힌다. 특히 필자는 양적인 문제를 해결하면 질적인 문제가 자연히 해결된다는 점을 밝히고, 반 프라센이나 가버가 제안한 전략이 모두 질적인 문제만을 다루기 때문에 부분적인 해결책에 지나지 않는다는 점을 밝힘으로써 오래된 증거의 문제의 본질은 양적인 문제에 있다는 점을 주장한다.

• Korean Journal of Cognitive Science
• /
• v.17 no.4
• /
• pp.303-321
• /
• 2006

According to Harris'(1966) distributional hypothesis, understanding the meaning of a word is thought to be dependent on its context. Under this hypothesis about human language ability, this paper proposes a computational model for native speaker's language processing mechanism concerning word sense disambiguation, based on two sets of experiments. Among the three computational models discussed in this paper, namely, the logic model, the probabilistic model, and the probabilistic inference model, the experiment shows that the logic model is first applied fer semantic disambiguation of the key word. Nexr, if the logic model fails to apply, then the probabilistic model becomes most relevant. The three models were also compared with the test results in terms of Pearson correlation coefficient value. It turns out that the logic model best explains the human decision behaviour on the ambiguous words, and the probabilistic inference model tomes next. The experiment consists of two pans; one involves 30 sentences extracted from 1 million graphic-word corpus, and the result shows the agreement rate anong native speakers is at 98% in terms of word sense disambiguation. The other pm of the experiment, which was designed to exclude the logic model effect, is composed of 50 cleft sentences.

• Nuclear industry
• /
• v.7 no.8 s.54
• /
• pp.13-14
• /
• 1987

원자력플랜트에 대한 신중한 PSA분석은 많은 이득을 가져왔다. 이러한 것으로는 예기치 못했던 고장모드의 확인, 특히 비정상적인 상황하에서의 플랜트 운전상태의 충분한 파악, 플랜트설비나 운전절차의 변경이 가져오는 영향의 분석 등을 들 수 있다. 이 외에 PSA분석은 특정한 플랜트 문제를 논의하는데 있어 논리적인 기틀을 마련하는 것이다.

• Nuclear Engineering and Technology
• /
• v.26 no.4
• /
• pp.611-626
• /
• 1994

격납건물 사건수목 방법은 확률론적 안전성 평가시 격납건물 해석의 핵심을 이루는 부분으로서 계통안전 분석으로부터 파악된 주요 노심용융 사고경위와 격납건물 방호계통의 적절한 조합에 의하여 선정된 발전소손상군을 초기조건으로 하여 격납건물 파손 및 방사선원 방출에 영향을 주는 격납건물 내부에서 발생 가능한 주요 사고진행 과정을 체계적으로 다룰 수 있는 유용한 수단이다. 원자력 안전성 향상연구이후 격납건물의 건전성을 확보하기 위한 많은 노력의 결과 현재까지 격납건물 해석 및 논리체계는 상당한 기술적 진보를 이루어 왔으나 아직도 이를 기술하는 방식에는 논쟁의 여지가 많고, 중대사고와 관련된 여러 현상들을 반영할때 그것의 논리적 타당성을 객관적으로 평가할 수 있는 방법이 아직 확고히 정착되지 못함으로 인하여 격납건물 해석결과에는 많은 불확실성 이 존재한다. 또한 아직까지 기존 방법론에 대한 어떠한 종류의 체계적 분석도 이루어지지 않음으로 인하여 이들에 대한 논리적 한계점을 파악하는 데 많은 어려움이 있다. 본 연구에서는 지금까지 주로 개발, 사용되어 온 다양한 격납건물 사건수목 분석 방법론을 소개하고 이들 각각이 지니고 있는 기술적인 문제점을 고찰하며 이를 바탕으로 격납건물 사건수목이 갖추어야 할 기본논리, 구조에 대한 안내지침을 제시함으로써 효과적인 격납건물 해석 및 방법론 개발에 도움을 주고자 한다

• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.93-125
• /
• 2008

The radical probabilitists deny that propositions represent experience. However, since the impact of experience should be propagated through our belief system and be communicated with other agents, they should find some alternative protocols which can represent the impact of experience. The useful protocol which the radical probabilistists suggest is the Bayes factors. It is because Bayes factors factor out the impact of the prior probabilities and satisfy the requirement of commutativity. My main challenge to the radical probabilitists is that there is another useful protocol, q(E|$N_p$) which also factors out the impact of the prior probabilities and satisfies the requirement of commutativity. Moreover I claim that q(E|$N_p$) has a pragmatic virtue which the Bayes factors have not.

• Korean Journal of Logic
• /
• v.15 no.2
• /
• pp.223-250
• /
• 2012

The reference-class problem is known as a problem that frequentism on the nature of probability is supposed to encounter. Alan H$\acute{a}$jek argues that other theories on the nature of probability also meet this problem inevitably and claims that we can resolve the problem by regarding conditional probabilities as primitive. In this paper I shall present an adequate way of understanding the reference-class problem and its philosophical implications by scrutinizing his argument. H$\acute{a}$jek's claim is to be classified into the following two: (i) probability is relative to its reference class and (ii) what is known as the 'Ratio' analysis of conditional probability is wrong. H$\acute{a}$jek believes that these two are to be closely related but I believe these two should be separated. Moreover, I shall claim that we should accept the former but not the latter. Finally, regarding the identity condition of reference class I shall distinguish the extensional criterion from the non-extensional one. I shall claim that the non-extensional criterion is the right one for the identity condition of reference class by arguing that the reference-class problem should be regarded as an instance of the qua-problem.

• The Mathematical Education
• /
• v.48 no.3
• /
• pp.353-358
• /
• 2009

The article discusses the independence concept occurring in the learning of probability. The author does not distinguishes the independence in the events from the independence in the trials. Instead, the author suggests the physico-empirical independence and the logico-mathematical independence to distinguish between the two concepts.