• ICROS
• /
• v.6 no.3
• /
• pp.68-81
• /
• 2000

본 논문에서는 최근 10여년간 세계적으로 많은 관심과 더불어 비약적인 연구발전을 이루어 온 이산사건시스템의 관리제어에 있어서 기본적인 이산사건모델링과 관리제어이론을 설명하고최근의 연구동향 등을 소개한다. 또한 기존의 연속변수시스템과 대비해 이산사건시스템의 동적특성을 알아보고 구체적인 사례들을 살펴본다. 이러한 이산사건시스템의 동적특성을 기술하기 위해 형식언어이론에 기초한 논리적 이산사건모델을 소개하고 그 위에서 관리제어이론의 개념을 설명하나다 그리고 제어가능성 및 관측가능성의 관리제어기 존재조건을 토대로 관리제어기의 구현에 대해 알아본다 마지막으로 현재까지 수행되어온 관리제어에 대한 다방변의 연구 활동을 살펴보고 앞으로의 연구방향을 전만해 본다

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.478-480
• /
• 1999

웹(WWW)기술은 기존 클라이언트 서버환경의 정보 시스템을 그대로 활용하면서 TCP/IP프로토콜을 이용하여 인터넷기반의 분산시스템 환경을 제공한다. 웹 어플리케이션을 개발할 경우 기존의 어플리케이션 개발방법과 더불어 하이터미디어 형식으로 개발되어 지기 때문에 하이퍼어플리케이션 개발방법론의 적용이 요구되어진다. 그러나 단지 정보획득의 목적으로 사용되던 기존에 제안된 하이퍼미디어 개발방법론들을 웹 어플리케이션 개발에 그대로 적용하기는 미흡하다. 따라서 본문에서는 웹 어플리케이션 개발 과정중 논리적인 업무 프로세싱작업을 지원하면서 주요작업이 되는 하이퍼미디어 사용자 인터페이스 설계단계를 확장 지원하는 정보 구조 모델 방법론과 개발 프로세싱 절차를 제안한다.

• The Journal of the Korea Contents Association
• /
• v.19 no.7
• /
• pp.110-119
• /
• 2019

is a movie about the frustration and the despair of young people in Korean society today. It is different from the previous Lee Chang-dong's film in that it provides the main character's perception and feelings about the world as the ultimate cause of the protagonist's actions. Lee Chang-dong's characters begin to change from . The main character of Burning goes one step further. He seems to believe that the main character's only weapon to overcome the logic and constraints of reality is obsessive and compulsive behaviors. Unlike previous movies, the character in Burning is a person who practices awareness and proves his character through action. I will analyze characters in to suggest the change of film form. Especially I will look at how the character's actions and the writer's own voice can meet and what results it bring about in this movie. It will lead to his changes in film form and an idea on the young people in Korean society today.

• Journal of The Korean Association of Information Education
• /
• v.8 no.3
• /
• pp.353-360
• /
• 2004

World Wide Web is not more meaningless sea of information but is becoming the Semantic Web that provides many users with meaningful information. The starting point is the XML and metadata, RDF is a stopover which gives technique to relate arbitrary web resources. And now, the semantic and logic of web resources can be settled in the Ontology. A lot of educational multimedia web resources in Korea have produced their metadata with KERIS's KEM(Korea Educational Metadata). Therefore our country have to start the study of the semantic and logic in web resources. But, many researchers in Korea are more eager to study Dublin Core's DC and SCORM's LOM metadata specification than KEM. Thus the study of method about sharing and integrating these three metadata specifications should be performed before the study of semantic and logic in web resources in Korea. We design the Ontology to integrate these three metadata specifications and implement the prototype system using this Ontology. These three metadata have some elements that have same labels and meanings, and other elements have different labels and same meanings. To match these different labels which have same meanings, we adapted the one-to-one mapping technique in designing our Ontology. This designed Ontology was imported as "integrated schema" in our prototype searching system to integrate three different metadata in databases. Moreover we know that the more specific property design of class in Ontology was needed in order to provide users with more informed searching results such as synonym, antonym, hierarchy and associations.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.59-96
• /
• 2018

${\bot}$It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (${\perp}$). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ${\perp}$. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, ⊬$_s$, for a given system S and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ${\perp}$ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ${\perp}$.

• School Mathematics
• /
• v.9 no.1
• /
• pp.99-117
• /
• 2007

In this paper it is discussed how children develop their logical reasoning beyond difficulties in the process of making sense of division with decimals in the classroom setting. When we consider the gap between mathematics at elementary and secondary levels, and given the logical nature of mathematics at the latter levels, it can be seen as important that the aspects of children's logical development in the upper grades in elementary school should be clarified. This study focuses on the teaching and learning of division with decimals in a 5th grade classroom, because it is well known to be difficult for children to understand the meaning of division with decimals. It is suggested that children begin to conceive division as the relationship between the equivalent expressions at the hypothetical-deductive level detached from the concrete one, and that children's explanation based on a reversibility of reciprocity are effective in overcoming the difficulties related to division with decimals. It enables children to conceive multiplication and division as a system of operations.

• Journal of Educational Research in Mathematics
• /
• v.19 no.3
• /
• pp.371-392
• /
• 2009

A lot of researches state mathematical justification is important. Specially, NCTM (2000) mentions that mathematical reasoning and proof should be taught every student from pre-primary school to 12 grades. Some of researches say elementary school students are also able to prove and justify their own solution(Lester, 1975; King, 1970, 1973; Reid, 2002). Balacheff(1987), Tall(1995), Harel & Sowder(1998, 2007), Simon & Blume(1996) categorize the level or the types of mathematical justification. We re-categorize the 4 types of mathematical justification basis on their studies; external conviction justification, empirical-inductive justification, generic justification, deductive justification. External conviction justification consists of authoritarian justification, ritual justification, non-referential symbolic justification. empirical-inductive justification consists of naive examples justification and crucial example justification. Generic justification consists of generic example and visual example. The results of this research are following. First, elementary school teachers in Korea respectively understand mathematical justification well. Second, elementary school teachers in Korea prefer deductive justification when they justify by themselves, while they prefer empirical-inductive justification when they teach students.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.10a
• /
• pp.500-503
• /
• 2003

XML been using extensively by standard of data exchanging in the Internet is observed by a technology to replace existent document creation language of HTML etc. Biggest characteristic of this XML is that logic information and physical information that express style of document that do that express structural substance of document were detached. Hereupon, W3C advised XSL that oner style function of form similar to HTML for XML's style and data conversion. Also, XSL's conversion function offers function that change XML document to other data format, and can describe style information through conversion of various document format. But, a XML document conversion technology that use XSLT know-how in domestic is unprepared real condition, and necessity about solution that can edit XSLT document efficiently is putting. This paper does XML document so that conversion and output are available in various document format. And offered research of XSLT document editing system that can edit and create XSLT document efficiently under WYSIWYG environment.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.4
• /
• pp.798-803
• /
• 2004

XML(extensible Markup Language) of W3C(World Wide Web Consortium) that is used the standard core technology of data exchange on the current Internet is an independent data type of usable at the all platforms. Especially, it can handle rapidly because of the integration of each other data types that is exchanged. Between each application and system that built at an enterprise in the past. However, W3C had notice to use XSLT(extensible Stylesheet Language Transformation) that is document transformable standard to descript expression information in XML documents because documents of XML only have a logical structure information. It is designed for XML that is developed for data exchange on the internet. Moreover, it is proposed to process and to change as other data type for expression XML documents for user. This thesis design and implement XSLT document editing system transformable as a un data type as a HTML data type applying XSLT at XML and developed the system. It can edit XSLT document that descript expression information in XML document that is used for data editing in the WYSIWYG environment.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.212-216
• /
• 2004

XML(extensible Markup Language) of W3C(World Wide Web Consortium) that is used the standard core technology of data exchange on the current Internet is an independent data type of usable at the all platforms. Especially, it can handle rapidly because of the integration of each other data types that is exchanged. Between each application and system that built at an enterprise in the past. However, W3C had notice to use XSLT(extensible Stylesheet Language Transformation) that is document transformable standard to descript expression information in XML documents because documents of XML only have a logical structure information. It is designed for XML that is developed for data exchange on the internet. Moreover, it is proposed to process and to change as other data type for expression XML documents for user. Tris thesis design and implement XSLT document editing system transformable as a HTML data type applying XSLT at XML and developed the system. It can edit XSLT document that descript expression information in XML document that is used for data editing in the WYSIWYG environment.