• 한국정보교육학회:학술대회논문집
• /
• 2008.01a
• /
• pp.148-153
• /
• 2008

지식 기반 사회에서는 논리적인 사고를 통해 외부의 자극에서 새로운 가치를 창조하고 스스로 지식을 형성하는 능력이 필요하다. 그리고 컴퓨터 교육의 목적은 기능의 습득이 아니라 습득한 기능을 유기적으로 이용하여 주어진 문제를 해결하는 논리적 사고력의 향상에 있다. 따라서 논리적 사고력을 기를 수 있는 프로그래밍 교육을 학생들에게 지도하여야 한다. 본 연구에서 논 프로그래밍 입문기 학습자들이 갖는 어려움, 즉 프로그래밍 언어의 단어와 문법 암기 따른 부담을 덜고 프로그래밍 학습이 갖는 논리적 알고리즘 탐구에 집중하고자 기존의 구문 중심 프로그래밍 언어가 아닌 아이콘 기반의 비주얼 프로그래밍 도구를 제시한다. 그리고 기존의 프로그래밍 학습에서 아동들이 추상적으로 해 왔던 프로그래밍 과정을 로봇을 이용하여 구체적이고 실험적인 학습을 하도록 하며 아울러 일반 학급에서 적용할 수 있는 로봇 활용 프로그래밍 교육 프로그램을 구상하였다.

• Journal of Korea Water Resources Association
• /
• v.45 no.2
• /
• pp.229-242
• /
• 2012

This study presents a physical habitat modeling of adult Zacco platypus in a reach of the Dalcheon Stream located downstream of the Goesaan Dam. CASiMiR model is used to estimate habitat suitability index based on the fuzzy logic. Results are compared with those from River2D model, which uses habitat preference curve for habitat suitability index. Hydraulic data simulated by River2D are used as input data for CASiMiR model after verification against field measurements. The result shows that the habitat suitability of the adult Zacco platypus is maximum around the riffle area located upstream of the bend. CASiMiR and River2D estimate the maximum weighted usable areas at the discharge rates of 7.23 $m^3/s$ and 9.0 $m^3/s$, respectively. Overall comparison of the two models employed in this study indicates that CASiMiR model overestimates the weighted usable area by 0.3~25.3% compared with River2D model in condition of drought flow (Q355), low flow (Q275), normal flow (Q185), and average-wet flow (Q95).

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.167-201
• /
• 2010

This paper aims to scrutinize the possibility of mereology as philosophically satisfiable metalogic. Motivation for this is straightforward. As I see, a traditional approach to metalogic presented in the name of mathematical logic posits the existence of mathematical entities such as sets, functions, models, etc. to give definitions of logical concepts like logical consequence. As a result, whenever logic is used in any individual sciences, this set-theoretical metalogic cannot but add these mathematical entities to the domain of them. This fact makes this approach contradict to the ontological conservativeness of logic. Mereology, however, has been alleged to be ontologically innocent, while it is a formal system very similar to set theory. So it may well be that some people thought of mereology as a good substitute for set theoretic metalanguage and concepts for ontologically neutral metalogic. Unfortunately, when we look into argument for the ontological innocence of mereology, we can find that mereological entities such as mereological sums or fusions are not ontologically neutral. Thus we can conclude that mereological approach to metalogic is not promising at all.

• Korean Journal of Construction Engineering and Management
• /
• v.23 no.2
• /
• pp.3-15
• /
• 2022

In this study, we develop a simulation model for Supply Chain Management (SCM) of modular construction based steel bridge. To this end, first, Factory Production/Site Construction system data for the steel bridge construction were collected, and supply chain, entities, resources, processes were defined based on the collected data. After that, a steel bridge supply chain simulation model was developed by creating data, flowchart, and animation modules using Arena software. Finally, verification and validation of the model were performed by using animation check, extreme condition check, average value test, Little' s law test, and actual case value test. As a result, the developed simulation model appropriately expressed the processes and characteristics of the steel bridge supply chain without any logical errors, and provided accurate performance evaluation values for the target system. In the future, we expect that the model will faithfully play a role as a performance evaluation platform in developing management techniques for optimally operating the steel bridge supply chain.

• Journal of The Korean Association For Science Education
• /
• v.34 no.7
• /
• pp.647-655
• /
• 2014

The purpose of this study is to acquire teaching insights for improving scientific literacy by analyzing the effects of scientific communication skills, science process skills, and logical thinking skills of elementary school students on academic achievement level. The participants are 64, sixth grade elementary school students. Survey materials include the results of Scientific Communication Skill Test (SCST), Test of Science Process Skills (TSPS), Group Assessment of Logical Thinking (GALT), multiple choice test & short answer test, descriptive answer test on science, and academic achievement level test on all subjects. Based on these data, the study analyzed the relationships of science process skills, logical thinking skills, and scientific communication skills, and each category's effect on academic achievement level. Furthermore, under the assumption that scientific communication skills are affected by science process skills and logical thinking skills and directly influence the academic level, the research discovered three types of correlations as a structural model. The results show that there are considerable correlations in scientific communication skills, science process skills, and logical thinking skills. Also, these three abilities have meaningful correlations with learner's writing and descriptive question level on science curriculum and overall academic achievement level; the level of correlation differ a bit by subcategory factors. In conclusion, setting the model, science process skills and logical thinking skills influence scientific communication skill, and the skill directly influences the learner's academic level. Further analysis of the results show that scientific communication skill influences the academic achievement level of all subjects the most.

• 한국정보교육학회:학술대회논문집
• /
• 2004.08a
• /
• pp.216-225
• /
• 2004

프로그래밍은 문제해결의 한 유형으로 학습자의 인지기술과 논리적 사고력을 향상시킬 수 있다. 컴퓨터 교육에 있어서 프로그래밍 교육이 중요한 위치를 차지해야 함에도 불구하고 초등학교에서는 거의 지도가 되지 않고 있다. 이에 본 연구는 구성주의적 교육 도구로써 많은 장점을 지닌 Lego Dacta를 이용하여 초등학생들이 쉽고, 즐겁게 프로그래밍을 할 수 있는 수업모형을 제시하고자 한다. 다양한 문제를 통한 단계적 문제 해결과정으로써의 Lego Dacta 학습모형을 제시하여 학교현장에서 적용할 수 있는 방안을 분석하였다.

• Korean Journal of Logic
• /
• v.15 no.1
• /
• pp.85-107
• /
• 2012

This essay criticizes Van Fraassen's argument for empirical equivalence among competing theories, which is based on his interpretation of Newtonian space-time. I argue that his misleading interpretation of the ontology of absolute space-time results in his ineffective attacks against a residual structure of space-time, absolute velocity. Van Fraassen's argument basically misleads us into empirical equivalence in that his literal reading of Newtonian space-time disregards a variety of aspects of its model.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.205-207
• /
• 2005

최근 수많은 정보를 통해서 증명 되듯이 비즈니스 프로세스 관리(Business Process Management, BPM)는 기업의 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리는 프로세스 전 라이프 사이클을 지원하고자 하는 개념으로 급변하는 경영 환경의 변화에서 기업의 경쟁력을 재고 하기위하여 필요로 되는 새로운 기업 컴퓨팅 패러다임이다. 비즈니스 프로세스 관리의 핵심적인 정보시스템 역할을 수행하는 워크플로우(Workflow)에서의 스케줄링은 정확한 업무 순서를 명세하기 위한 시간적인 제약들에 집중되어 있다. 워크플로우와 BPM과 같은 비즈니스 프로세스에서의 또 하나의 중요한 측면은 자원할당관리이다. 현재 대부분 다양한 자원들을 모델링하는데 초점을 맞추어 왔으며 자원들과 연관된 제약에서의 스케줄링에 대한 관심은 많지 않은 편이었다. 본 논문에서는 First Order Logic 기반의 CTR(Concurrent Transaction Logic)을 이용하여 각 비즈니스 프로세스 스케줄링을 위한 자원할당에 따른 제약들을 논리적인 모형으로 구체화하고, 모형에 필요한 변환 규칙을 소개하고자 한다.

• Proceedings of the Korean Statistical Society Conference
• /
• 2004.11a
• /
• pp.117-121
• /
• 2004

분석용 정밀 워게임 시뮬레이션 모형에서는 '모형운영 결과와 실제(또는 실험) 결과를 비교' 하는 통상적인 타당성 척도의 적용이 불가능함에 따라 워게임모형 운영환경에 적합한 새로운 개념의 타당성 척도로서 VEA(Validity for Exploratory Analysis), VSA(Validity subject to Assumption) 등의 개념을 도입하고 이를 탐색적으로 점검하는 방안을 제시한다. 분석용 워게임모형 활용에 있어 또 하나의 걸림돌은 1)시나리오 및 상황의 가변성, 2)무기체계 및 장비 성능에 대한 불확실성, 3)묘사범위 제한 및 논리의 부정확성으로 인한 오류 등으로 엄청난 불확실성(uncertainty)을 기본적으로 내포함에 따라 구체적 의사결정을 위한 종합적 결론 도출이 어렵다는 점이다. 본 연구에서는 이를 메타모델(Meta model) 즉 워게임모형 입출력 자료의 관계를 묘사한 통계적 모형을 구축하고 이를 기반으로 다양한 불확실성 하에서 관심변수간의 관계를 종합적으로 도출하고자 하는 '관련공간모의(Relevant Simulation)' 방안을 제시한다. 이와 같은 방안들은 SVAP(Statistical Validation and Aggregation Procedure)라는 하나의 종합된 절차로서 제시된다.

• Proceedings of the Korea Database Society Conference
• /
• 2002.10a
• /
• pp.544-558
• /
• 2002

High Quality Strategic Information: 과학적, 논리적인 경영계획 수립. 다양한 Assumption을 통한 Simulation 및 Forecast. Effective Decision Making Support: 적시성(Response time). Analysis/Reporting (중략)