• Korean Journal of Logic
• /
• v.3
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.367-370
• /
• 2005

본 논문에서는 정보 입자화와 유전자 알고리즘을 기반으로 최적 퍼지 다항식 뉴럴네트워크를 제안하고, 유전자 알고리즘을 사용하여 종합적인 설계방법을 개발한다. 제안된 모델은 기존의 진화론적 퍼지 다항식 뉴럴네트워크의 구조를 정보입자화를 통해 좀 더 빠르게 최적의 해공간에 접근시키는데 그 목적이 있다. 퍼지 관계기반 다항식 뉴럴네트워크는 퍼지 다항식 뉴론이 기초가 되어 가능한 구조적이고 요소적으로 모델의 성능을 향상 시켜준다. 퍼지 다항식 뉴런의 최적 구조를 위해 유전자 알고리즘을 이용하여 입력변수의 수와 후반부 다항식의 차수 입력변수 수에 따른 입력변수 그리고 멤버쉽 함수의 수를 동조한다. 여기서, 클러스터링의 하나의 방법인 HCM에 의해 퍼지 규칙 각각의 전반부와 후반부에 데이터 중심값을 이용하여 다항식함수의 파라미터값을 결정한다. 제안된 유전론적 퍼지 관계 다항식 뉴럴네트워크의 성능평가는 기존 퍼지 모델링에서 이용된 표준 데이터를 활용하여 평가한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.241-244
• /
• 2007

최근 개발되어지는 많은 어플리케이션 프로그램들은 전 세계 어디서든 접근할 수 있도록 웹 어플리케이션 프로그램으로 개발되어지고 있으며, 개발된 프로그램들은 효율적인 유지, 보수, 및 추후 발생되는 요구사항에 따르는 기능추가를 위해 객체지향적 개발 방법론을 사용하여야 한다. 또한 안정된 웹어플리케이션과 데이터들의 처리 및 동작을 위해서 서버로서의 기능은 Microsoft사의 Windows 체계가 아닌 Unix 기반의 운영체제를 사용하여 각 데이터들을 관계를 고려한 관계형 데이터베이스로서 처리해야 할 것이다. 따라서 본 논문에서는 Unix 계열 서버 운영체제인 Linux에서 객체지향 설계 방법론인 UML을 통한 웹 어플리케이션 분석 설계와 관계형 데이터베이스 설계 방법론인 E-R 데이터 베이스 설계를 통한 시스템 분석 설계를 것을 제시한다.

• Journal of Korean Medical classics
• /
• v.19 no.3
• /
• pp.255-259
• /
• 2006

음양오행학설시한의리론적근간(陰陽五行學說是韓醫理論的根幹), 소이기의의최중요(所以其意義最重要), 야유허다적함의(也有許多的含意). 특별시오행유불단적상생상극지관계(特別是五行由不斷的相生相克之關系), 병가이순환(幷可以循環). 단재(但在) ${\ulcorner}$황제내경(黃帝內經)${\lrcorner}$ 등의서중(等醫書中), 유관우오행적내용(有關于五行的內容), 허다의가혹불료해기문적함의(許多醫家或不了解其文的含意), 지용오행상생상극적관계이해석(只用五行相生相克的關系而解釋). 대우(對于) ${\ulcorner}$소간 보명전형론(素間.寶命全形論)${\lrcorner}$ 적오행상극적내용(的五行相克的內容), 허다의가야지이오행상극적관계이석지(許多醫家也只以五行相克的關系而釋之), 소이(所以)'사득목이달(士得木而達)'적의난이해명(的意難以解明), 이차불가이유지일관적해석(而且不可以維持一貫的解釋). 소이아고찰료차편대우오행상극지관계(所以我考察了此篇對于五行相克之關系), 이득료여하결론(而得了如下結論). 모일시(某一是), 본편적오행상극지의(本篇的五行相克之意), 불지유극해적의사(不只有克害的意思), 환유요용상극지기거억제기항성적기(還有要用相克之氣去抑制其亢盛的氣), 저양재가이유지오행상호적균형지의(這樣才可以維持五行相互的均衡之意). 기이시(其二是), '토득목이달(土得木而達)'적달자지의(的達字之意), 불요구어자의이석지(不要拘於字意而釋之), 약이달자지의의해석본문(若以達字之意義解釋本文), 실일관적해석이불가이발명본문적의의(失一貫的解釋而不可以發明本文的意義). 기삼시(其三是), '토득목이달(土得木而達)'적의의(的意義), 시토기항성이과우응취적상태(是土氣亢盛而過于凝聚的狀態), 용목적소설효능거소통토기(用木的疏泄效能去疏通土氣). 여차설명법(如此說明法), 병가이설명별적사행지상극관계(幷可以說明別的四行之相克關系).

• Journal of The Korean Association For Science Education
• /
• v.24 no.6
• /
• pp.1158-1172
• /
• 2004

This study searched secondary school students' epistemological views and ontological views about nature and the root causes of such their views. The subjects were 156 secondary school students and data were gathered by the questionnaire developed based on preceding researches. As a result, many secondary school students had epistemological views of unknowable nature. There were various root causes of their epistemological views such as regularity and harmony of nature, predictable and circular natural phenomenon, causation, the relation between human and nature. On the other hand, a lot of secondary school students had ontological view of supernatural nature. Their religious beliefs were very powerful influence their supernatural ontological views. The nature is the object of science and the physical world. Because those views supply science educators basic backgrounds how leaners understand science class, secondary school students' epistemological views and ontological views are precious information. From now on, it is necessary to study relations between students' epistemological views and ontological views and their science class processes.

• Journal of Gifted/Talented Education
• /
• v.22 no.4
• /
• pp.805-821
• /
• 2012

The purpose of this study was to investigate the relationship between epistemic beliefs and creativity of gifted students. To resolve the above research questions, this study used epistemic beliefs inventory and Torrance's TTCT to 87 1st grade gifted middle school students enrolled in Daegu metropolitan city. The results of this study are as follows. Firstly, sophistical epistemic beliefs of the gifted students were higher than their naive epistemic beliefs. Secondly, Pearson's correlation analysis showed significant relations between fixed ability and verbal creativity, and between provisional knowledge and verbal creativity, and showed significant relations between variables of sophistical epistemic beliefs and figural creativity. Lastly, this study revealed that fixed ability, expert authority and provisional knowledge explain considerable amount verbal creativity of the gifted students. And authority of the acceptance and provisional knowledge affect considerably their figural creativity.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.202-211
• /
• 2003

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

• The Journal of Korean Association of Computer Education
• /
• v.4 no.2
• /
• pp.155-163
• /
• 2001

This study aims to suggest a evaluation methodology of cyber-education. In spite of rapid development of information technology for cyber-education, there are few research of evaluation methodology in cyber-education environment, we suggest a definition of criteria and a methodology of system solution selection for cyber-education system. Considering an interdependent relationship among criteria, we shows a process of an evaluation method or a selection method for evaluation of cyber-education system solution through an example.

• Journal for History of Mathematics
• /
• v.28 no.4
• /
• pp.181-190
• /
• 2015

In spite of various attempts to characterize the ontological status of space-time, Newtonian substantivalism and Leibnizian relationism, what is really at issue in the controversy between the two parties is by no means clear. This essay argues that from the perspective of space-time symmetries, classical space-time can be unambiguously classified as substantival space-time and relational space-time. The symmetries of space-time theories distinguish the invariant geometric relationships between events. The essential difference between the two space-times stems from whether or not there exists the affine structure that distinguishes the inertial trajectories of a given body.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.129-133
• /
• 2007

임베디드SW에 대한 개발이 활발히 수행되고 다양한 플랫폼에서 다른 임베디드SW와 통합되고 제어하는 다양한 요구사항이 발생하고 있으나 HW와의 밀접한 관계 및 재사용성의 요구를 반영하고 있지 못하므로 제품계열 개념을 적용한 접근이 필요하다. 따라서 임베디드 시스템 수명주기 및 시스템, HW, SW간의 관계를 통해 임베디드SW 개발절차를 도출하며, 제품계열 개발방법론 중에서 마르미-EM, FORM, FAST 및 KobrA를 선정하고 도출된 임베디드SW 개발절차와 비교하여 각 개발방법론의 절차상의 차이점, 강점 및 보완 사항을 분석하고 방법론별 특징을 종합한다.