• Journal of Korean Society of Transportation
• /
• v.28 no.6
• /
• pp.109-120
• /
• 2010

This study aims to develop mathematical models for estimating saturation flow rates at the stop line of signalized intersection due to Workzones in the vicinity, since the saturation flow rate is the most critical parameter in capacity analysis for signalized intersections. It was found by reference review that saturation flow rates are sensitively influenced by the location of Workzone, the number of lanes, cycle length and effective green time. Extensive microscopic simulation runs were also performed and compared to the those of mathematical models for model verification. Mathematical models were developed based on traffic flow theory and dualizing them by the location of workzones. And then each result produced by changing important parameter values was carefully examined and analyzed. Small but consistent differences in saturation flow rate values between mathematical models and simulations exist. However, the pattern of changes in saturation flow rates depending on each variable was similar.

• Journal of the Korean Chemical Society
• /
• v.58 no.6
• /
• pp.667-680
• /
• 2014

The purpose of this study was to develop teaching stratege focused on Conservational reasoning, Proportional reasoning, Variable-controlling reasoning, Probabilitic reasoning, Correlational reasoning, Combinational reasoning and investigate its effects on enhancing students' logical thinking skills through the science teaching on common education. And the teaching materials was implemented to 110 students in middle school over about six months. The results indicated that the experimental group presented statistically meaningful improvement in logical thinking skills (p<05). Especially, this teaching stratege was effective on Conservational reasoning, Variable-controlling reasoning, Combinational reasoning but was not effective on Proportional reasoning, Probabilitic reasoning, Correlational reasoning (p<.05). Logical thinking according to the teaching strategy skill was not affected by gender, cognitive level, academic achievement (p<.05).

• Journal of the Korean Society for information Management
• /
• v.15 no.1
• /
• pp.129-148
• /
• 1998

The objective of this study is to develop a useful relevance feedback retrieval technique that can be applied to the current Boolean retrieval system. A feedback retrieval technique based on user model is recommended here to achieve this objective. To prove the usefulness of this feedback retrieval technique, two enhanced Boolean retrieval models including DNF model and P-norm model were evaluated first through retrieval effectiveness experiments. After selecting DNF model as the retrieval model, two feedback retrieval experiments were performed using initial and extended user models. It is proved that the feedback retrieval based on user model can greatly enhance the effectiveness of a Boolean retrieval system with a small modification.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.83-116
• /
• 2010

In this paper we provide a teaching learning method for logic in debate, in particular, in debate of engineers. First we criticize the concept of argument and the Toulmin model on argument used in education for debate. We next provide a general method for learning arguments needed in debate. Finally, we suggest the hypothetico-inferential method and the model for inference to the best choice as argument methods coming in useful in debate education for engineers.

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

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

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 1999.10a
• /
• pp.203-204
• /
• 1999

대기질의 통계예측모형은 주로 오존 농도 예측에 사용된다. 통계예측 방법은 중회귀 모형, 신경망 모형, Fuzzy 논리 모형 등이 있다. 중회귀 모형은 종래 통계분석 방법으로 예전부터 많이 사용되고 있는 방법인 반면에 신경망 모형과 Fuzzy 논리 모형은 최근에 개발되어 적용가능성을 검토 중인 방법이다. 국내외 연구결과에 의하면 각 방법에 의한 고농도 오존 예측성은 크게 다르지 않았다. 국내에서는 중회귀 모형과 신경망 모형이 적용되었는데, 상관계수는 0.6-0.7저도로 보고되었다.(중략)

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.71-109
• /
• 2014

Gila Sher believes that Tarskian definition of logical consequence is a conceptually and extensionally adequate explanation. She has tried to show this on the basis of Mostowskian conceptions of generalized quantifiers as being invariant under isomorphic structures and her own conceptions of models. In this paper I try to show that her attempt to justify the Tarskian definition is only partially successful. I admit that her conceptions of the logical as being invariant under isomorphic structures are enough to show the logical formality of logical consequence relations. But I think that since her conceptions of meanings of terms are quite inadequate for dealing with the problem of empty predicates, she fails to distinguish logically necessary truths from other kinds of truths.

• Journal of the Korea Convergence Society
• /
• v.12 no.4
• /
• pp.259-266
• /
• 2021

This study is a study to systematize the R&D activities of social enterprises to derive a logical model of the R&D support policy, and aims to systematize the R&D activities based on the R&D demand survey and R&D activity analysis of social enterprises. R&D activities of social enterprises are at an early stage or are not systematic compared to general enterprises, so the process modeling method is used to group detailed activity elements to standardize and systemize them. As a result of the research, social enterprises are aware of the necessity and importance of R&D activities to secure competitiveness of products and services to increase social value, and because of their lack of R&D experience and capabilities, R&D specialized institutes (R&D planning institutes, government-funded research institutes), Universities, etc.) and are expected to improve R&D capabilities. The performance indicators of social enterprise R&D activities are derived in units of input-process-performance indicators through demand survey, activity analysis, and in-depth interview (FGI), and the logical model of R&D support policy is in the areas related to business strategy and performance.

• Journal of Digital Convergence
• /
• v.19 no.5
• /
• pp.31-39
• /
• 2021

This study collected 1,870 English news articles related to research and development of autonomous vehicles in order to identify various issues emerging in the research and development process of autonomous vehicles at home and abroad, and conducted topic modeling after data pre-processing. As a result of topic modeling, we extracted 20 topics, and we performed naming operations for topics and interpreted their meanings. A logical model for autonomous vehicle research and development projects was presented in response to the R&D process of input, activity, output, and outcome of derived topics. The analysis results of this study will be used as basic data to accurately determine the progress of domestic and foreign self-driving car research and development projects and prepare for the rapidly changing technology development.