• Journal of The Korean Association For Science Education
• /
• v.32 no.7
• /
• pp.1109-1123
• /
• 2012

The purpose of this study is to examine the effects of small group discussion on elementary students' science writing. In this study, four 6th grade students were chosen from an elementary school in Seoul. Students were involved in eight science writing classes and the contents of a small group discussion and interactions were recorded and observed. Students' science works were collected and analysed based on three domains: scientific thinking, logic and originality. The result of this study showed that the contents of a small group discussion greatly affected the scientific thinking domain. A low-achieving student received lots of help from a high-achieving student. It was easy to improve in the logic domain through the science writing classes. Average students got good grades in an originality domain when the subject was related to their real life. A small group discussion would have an effect on science writing ability positively if the students acquired proper guidance on the procedure and manner of discussion. The science writing lesson would be more effective if the learning group was organized homogeneously in the aspects of intelligence achievement and interpersonal relationships.

• 기호학연구
• /
• no.54
• /
• pp.205-224
• /
• 2018

This research is to investigate the way to combine Peirce's typology of signs with architectural design. A new diagram is suggested to ensure the continuity of Peirce's typology, by rearranging and reconstructing the well known inverted triangle diagram showing the structure of the typology. The new diagram is easier to understand the organization of the typology, by showing the linkages between sign types and their relationships with other types. A way to adapt the new diagram to architectural design for the purpose of representing typology as well as ensuring model growth as semiotic model for architectural design model. The new model is organized of three sign clusters, sinsign cluster, legisign cluster, and symbolic cluster. They are interrelated through successive inclusion and case inclustion. The new model is organized of threefold layers. The first layer is internal structure of each cluster. The second is interrelation between cluster. The third is mediation of symbolic cluster between sinsign cluster and legisign cluster. This paper investigate and demonstrate the possibility of adaptation of the new model in architectural design. It has been argued that the theoretical basis of sign typology is adaptable to architectural design by principle. More future research issues are discussed.

• Lingua Humanitatis
• /
• v.8
• /
• pp.39-58
• /
• 2006

In Hegels Wissenschaft der Logik wird die Idee als Leben des Begriffes, objektive Vollendung und Einheit von Subjekt und Objekt bezeichnet. Die Idee ist die Einheit von Begriff und dessen Existenz und des weiteren die "allgemeine Bedeutung des wahren Seins". Die Idee ist nicht die Namensgebung einer Abstraktion der Sache als abstrakte Sache oder einer reinen Form, sondern 'das Werden zum Diesem' oder 'das Diese' des konkreten und realistischen Objektes 'Dies hier und jetzt'. Auf einer solchen logischen Bestimmung beruhend, behauptet Hegel in seiner ${\ddot{A}}sthetik$ die Gleichheit zwischen "$Sch{\ddot{o}}nheit$" selbst und der "Idee der $Sch{\ddot{o}}nheit$". "Das $Sch{\ddot{o}}ne$ selbst" ist gleichzusetzen mit der "Idee der $Sch{\ddot{o}}nheit$" und wenn die Idee in einer bestimmte Form hineinpasst, wird dies das Ideale genannt. Hier liegt der Grund, weshalb wir die Idee als Begriff, Begriff des Daseins oder Einheit des Objektes bezeichnen $k{\ddot{o}}nnen$. Die Idee ist die Einheit von Begriff und dessen $Realit{\ddot{a}}t$, jedoch ist die dominierende Kraft der Einheit der Begriff. Die Idee ist die $Totalit{\ddot{a}}t$ der subjektiven Bestimmung und nur das Werk dass mit dem Begriff passend Einheit und $Objektivit{\ddot{a}}t$ hervorbringt, ist wirklich $sch{\ddot{o}}n$. Umgekehrt gesagt bedeutet diese Aussage, dass etwas wirklich $sch{\ddot{o}}n$ ist, wenn dies zu dem Begriff passt, und dass das genau zum Begriff passende ist mit dem Begriff gleichzusetzen ist. Wie bereits $bewu{\beta}t$, hat Kant die $f{\ddot{u}}r$ den kognitiven Begriff verantwortliche bestimmende Urteilskraft und das ${\ddot{a}}sthetische$ Urteil treffende reflektierende Urteilskraft, differenziert. Im Gegensatz dazu $erkl{\ddot{a}}rt$ Hegel die Beziehung zwischen Sein und Denken, Dasein und Begriff, Begriff und Idee mit dem Blickpunkt dass das $Verm{\ddot{o}}gen$ und die Funktion der Urteilskraft selbst eine grundliegend auf Reflektion beruhende Bestimmung ist und eine auf Bestimmung beruhende Reflektion ist. Nach dieser Logik entsprechend $f{\ddot{u}}hrt$ er die Beziehung zwischen der $sch{\dodt{o}}nen$ Sache und $Sch{\ddot{o}}nheit$ zusammen. In dieser $Erkl{\ddot{a}}rung$ verwirft Hegel Kants Begriffe wie Urteilskraft und Geschmack, und verwendet vorwiegend die von seiner Lehre vom Begriff auftauchende Begriffe. Die Zielsetzung dieser Arbeit ist, den Satz in Hegels ${\ddot{A}sthetik$ "Das $Sch{\ddot{o}}ne$ ist die Idee des $Sch{\ddot{o}}nen$" auf den Grund zu gehen. Um dieses Ziel zu verfolgen, wird das epistemologische $Verh{\ddot{a}}ltnis$ zwischen Dasein und Begriff, das logische $Verh{\ddot{a}}ltnisas$ zwischen Begriff und Idee betrachtet.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.4
• /
• pp.443-452
• /
• 1995

Object-oriented database systems have been proposed as an effective solution for providing the data management facilities of complex applications. Proving this claim and the investigation of related issues such as query processing have been hampered by the absence of a formal object-oriented query model. In this paper, we not only define a query model based on aggregation inheritance but also develop semantic rewriting rules which are applied to equivalence preserving rewrite rules in algebraic expression of a query. Analyzing semantically the query model, the query model can be optimized to logically object-oriented query processing. And algebra expresstions of a query can be optimized by applying equivalence preserving rewrite rules.

• Archives of design research
• /
• v.16 no.3
• /
• pp.123-132
• /
• 2003

This research has started from a critical mind that raised a question how we will view the minimal tendencies of graphic design in historical context that is newly raised again after the late 1990s. In chapter 1, I examined the main ideas of the twentieth century such as "Less is more", "Less is boring", and "I believe in less and more". In chapter 2, I studied the minimal tendencies and the distinctions in graphic design by chronological order. 1 became to think that the recent minimal tendencies of graphic design appears naturally in the process of newly redefining ones specialty and identity from accepting the rapidly changing of social/cultural/technical changes rather than being temporary trend, Furthermore, I realized that considering the distinctiveness of design field, the research of the forms and styles of design itself is as an important and too much urgent task as the contents or ideological characters of designeological characters of design

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.12
• /
• pp.3829-3839
• /
• 2000

The UML(Unified Modeling Language) Class Diagram which is a part of structure of UML is fit for Object Modeling, and more recently, as the appearance of UXF(UML eXchange Format) UML Class Diagram by itself, can be exchanged in many other different system document. So this paper suggest the conversion system from UML Class Diagram to XML DTD. As this we can easily transformation and saving the UML Class Diagram that is the standard of Modeling Language to XML document which is so reusable. Also it can give a flexible method for the representation to the logical structure of document in various way because of converting XML DTD.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.1
• /
• pp.48-53
• /
• 2010

In this paper, we develop the intelligent remote dust chamber bag control system which is combination of the advanced IT and traditional dust chamber based on event. At first, the message format is defined for the efficient dust chamber bag information transmission using power line communication. Also, we define the data types to logically model the dust chamber and the dust chamber bag, and they are logically modeled using XML and object-oriented modeling method. In addition to, we apply the case-based reasoning for showing the dust chamber bag exchange time intelligently to user at real-time using casebase, that is collected by case or case-based reasoning result, and that is described using XML.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.45-64
• /
• 2004

The lambda calculus is a mathematical formalism in which functions can be formed, combined and used for computation that is defined as rewriting rules. With the development of the computer science, many programming languages have been based on the lambda calculus (LISP, CAML, MIRANDA) which provides simple and clear views of computation. Furthermore, thanks to the "Curry-Howard correspondence", it is possible to establish correspondence between proofs and computer programming. The purpose of this article is to make available, for didactic purposes, a subject matter that is not well-known to the general public. The impact of the lambda calculus in logic and computer science still remains as an area of further investigation.stigation.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.2 s.40
• /
• pp.239-251
• /
• 2006

Zheng's signcryption scheme is a new encryptical scheme of which can save more expense than those of the current signature encryption by using digital signature and symmetric key encryption logically. The current signcryption schemes have a problem that is to be exposed the secret key of the receiver in the case of checking repudiation of origin by the third party. To solve this problem, a solution suggested in this paper is to use multi-purpose ID-based signcryption scheme with anonymity and unlinkability. This solution is safe and more efficient than current signcryption schemes because the suggested scheme keeps the security of the random oracle model as using Weil-pairing in encryption. and follows a formal proof of semantic security of the decisional Diffie-Hellman problem.

• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.313-314
• /
• 2007

현대 로봇 분야의 개발에 있어 지능형 서비스 로봇은 모듈 기반으로 구성될 수 있다. 여기서 모듈이란 로봇의 특정 태스크들 수행하기 위해 만들어진 자동화 하드웨어 단위를 의미한다. 이러한 모듈 기반의 로봇시스템 내부는 네트워크의 이종성에 따라 다양한 네트워크들을 통해 연결될 수 있기 때문에 다중 모듈간 안정적이고 효율적인 통신을 하기 위해서는 상호운영을 위한 기술이 뒷받침 되어야 한다. 이를 위해 본 논문은 모듈기반의 로봇을 위한 통신용 미들웨어를 제안한다. 제안된 미들웨어는 네트워크 인터페이스 계층과 네트워크 적응 계층으로 나누어진다. 네트워크 인터페이스 계층은 각 이종 인터페이스들을 논리적인 채널로 추상화하는 기능을 갖는다. 반면, 네트워크 적응 계층은 모듈간의 통신을 위한 메시지 형식을 정의하고 주소할당 및 이종 네트워크를 고려한 라우팅 기능들을 갖는다. 결국, 제안된 미들웨어는 두 계층을 통해 상위 로봇 어플리케이션 개발자들에게 네트워크의 투명성을 보장할 수 있으며 모듈 기반의 로봇내에서 모듈간의 안정적이고 효율적인 통신을 지원한다.