• Title/Summary/Keyword: Logical Representation

Search Result 79, Processing Time 0.027 seconds

A Method of Graphic Representation of Mathematical Sentences for Game Generation (게임세대를 위한 수학문장의 그래픽 표현방법)

  • Chang, Hee-Dong
    • Journal of Korea Game Society
    • /
    • v.12 no.5
    • /
    • pp.5-12
    • /
    • 2012
  • The information represented by graphic is preferred more than by text to the game generation familiar to computer games in the cognitive style. The learning to solve the math problems represented by graphic is significantly effective to improve learner's problem-solving power in math education. In this paper, we proposed a method of graphic representation of mathematical sentences for effective learning of the game generation. The proposed method arranges the unit informations in the logical structure and represent the logical interrelation between the informations by symbols, line segments, or arrows using the graphic elements with good visibility for the game generation to recognize easily and to understand accurately the logical meaning. The proposed method is able to represent accurately the math sentences until the detail level that appears the tense and the voice of the sentences differently from the previous graphic representation method's ability. The proposed method could be used as learning tools and used widely to represent graphically mathematical informations for the instructional scaffolding of an educational game in oder that the game generation could learn effectively.

A Methodology for Representation of Clinical Data in Oriental Medicine (한의학의 증상표현을 위한 방법론)

  • Park Kyung Mo;Park Jong Hyun
    • Journal of Physiology & Pathology in Korean Medicine
    • /
    • v.16 no.5
    • /
    • pp.845-850
    • /
    • 2002
  • This paper suggest a methodology for representation of findings which can be called as signs and symptoms. A finding consists of unit signs and unit symptoms, and moreover findings which appear in one individual patient have so many different relationship each other. So, it is nat appropriate to list all of possible findings as medical standard or to fill findings as independent things in paper for medical record. We try to distinguish finding item from finding list, and suggest the methodology by which we can make finding list from finding items. That is, we suggest finding item[Concept], value types, relationship, logical operator, and syntax as a component of representation. And by using urinary symptom, we make the example for representation methodology. Finally, we mention the background knowledge, brief research process of related area.

Cognitive Dictionaries Inferred from Word Associations (인지어휘 유형개념)

  • Tieszen, Helen R.
    • Korean Journal of Child Studies
    • /
    • v.5
    • /
    • pp.47-52
    • /
    • 1984
  • 인지 어휘 유형(cognitive dictionary)이란 단어 연상의 반응 어휘를 인지 유형에 따라 분류, 분석하는 것을 가리킨다. 인지 어휘 유형 개념을 McNeill의 언어 발달 연구에 준하여 논의하였다. 즉 아동의 어의(語義) 발달은 자작문(自作文) 형식(形式) 표현에서 시작되어 어휘 사용에 이른다는 것이다. 한편 Moran은 범세계적으로 유아들의 인지 어휘 유형은 단어의 동작적(動作的) 특성에 주로 의거한다는 것을 발견했는데 이는 언어의 효시에 관한 Piaget 나 Bruner의 이론과 일치하는 것이다. Moran의 인지 어휘 유형의 추가 개념은 Bruner의 심상(心象)(ikonic representation)에 의한 관계, 기능적 관계 (functional representation), 논리적(logical)관계를 포함한 단어의 연합 관계에 반영시켰다.

  • PDF

Relationship between Children's Korean Traditional Music Abilities and Multiple Intelligences (유아의 국악능력과 다중지능간의 관계)

  • Kim, Na-Lae;Kim, Jin-Kyoung
    • Korean Journal of Child Studies
    • /
    • v.30 no.2
    • /
    • pp.195-209
    • /
    • 2009
  • This study analyzed aspects of multiple intelligences related to rhythm, melody, understanding and representation of traditional Korean music. Subjects were 60 4-to 6-years-old children. Instruments were the Children's Korean Traditional Music (KTM) Ability Test (Park 2006)and Korean Multiple Intelligence Development Assessment Scale-My Young Child (MIDAS-MYC, Shearer, 1996). Data were analyzed by correlations and t-test. Findings were that (1) average scores on KTM rhythm and understandings were higher than melody and representation. (2) Traditional rhythm ability correlated most with linguistic intelligence. (3) Multiple intelligences by representation ability for KTM differed significantly in Linguistic intelligence and relationships to Naturalist, Musical, Logical-mathematical, Interpersonal, and Bodily-Kinesthetic intelligences.

  • PDF

A Representation Method of Game Mechanics Using UML Notations in Game Design (UML 표기법을 활용한 게임메카닉스 설계내용 표현방법)

  • Chang, Hee-Dong
    • Journal of Korea Game Society
    • /
    • v.6 no.4
    • /
    • pp.47-53
    • /
    • 2006
  • In the game development differently with general software development, game planers, programers, and graphic designers, the specialists of the various fields, accomplished one team and they are advanced all to their goal. So it is very difficult for the development participants to communicate each other accurately and efficiently. For successful game development, all development participants should understand accurately the contents of the game design document. Specially the game mechanics as a major part of game design, requires the no-error contents, the no-error expression, and the no-error readings to all development participants because it contains almost game-play logic. It becomes more difficult for the development participants to understand accurately the game mechanics which becomes larger and complicated as the size of game development becomes larger. And configuration management of the game mechanics becomes more complicated and inefficient. In this paper, we propose a new representation method of game mechanics using UML notations for solving this problem. The proposed method satisfies the visual expression and the logical expression simultaneous for the requirements of the game mechanics because of UML notations. And the proposed method could be an efficient management of configuration because the management is based on the UML model management. The proposed representation of game mechanics of "Capture The Dude" game, shows good visual expression and good logical expression.

  • PDF

Transformation Methodology to Logical Model from Conceptual Model of XML (XML의 개념적 모델로부터 논리적 모델로의 변환 기법)

  • Kim, Young-Ung
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.16 no.6
    • /
    • pp.305-310
    • /
    • 2016
  • In these days, XML is a de facto standard language for representing and exchanging data. In order to define the conceptual model of the XML, we need to define the representation rules expressed in the diagram and propose the transformation algorithm that converts the diagram into a logical model of XML. This paper proposes a transformation methodology for generating a logical model from the conceptual model of the XML. We use CMXML as a conceptual model and generate XML schema definition as a logical model. For this, we define transformation rules and data structures for XML schema, and propose a transformation algorithm.

An Improved Non-CSD 2-Bit Recursive Common Subexpression Elimination Method to Implement FIR Filter

  • Kamal, Hassan;Lee, Joo-Hyun;Koo, Bon-Tae
    • ETRI Journal
    • /
    • v.33 no.5
    • /
    • pp.695-703
    • /
    • 2011
  • The number of adders and critical paths in a multiplier block of a multiple constant multiplication based implementation of a finite impulse response (FIR) filter can be minimized through common subexpression elimination (CSE) techniques. A two-bit common subexpression (CS) can be located recursively in a noncanonic sign digit (CSD) representation of the filter coefficients. An efficient algorithm is presented in this paper to improve the elimination of a CS from the multiplier block of an FIR filter so that it can be realized with fewer adders and low logical depth as compared to the existing CSE methods in the literature. Vinod and others claimed the highest reduction in the number of logical operators (LOs) without increasing the logic depth (LD) requirement. Using the design examples given by Vinod and others, we compare the average reduction in LOs and LDs achieved by our algorithm. Our algorithm shows average LO improvements of 30.8%, 5.5%, and 22.5% with a comparative LD requirement over that of Vinod and others for three design examples. Improvement increases as the filter order increases, and for the highest filter order and lowest coefficient width, the LO improvements are 70.3%, 75.3%, and 72.2% for the three design examples.

On Mathematics Education Major Students' Conception of Characteristics of Mathematical Knowledge (수학적 지식의 특성요소에 대한 수학교육전공 대학생의 인식 상황)

  • Kim, Young-Kuk
    • The Mathematical Education
    • /
    • v.51 no.2
    • /
    • pp.161-171
    • /
    • 2012
  • Generally mathematics is regarded as a subtle subject to grasp their true meaning. And teacher's personal conceptions of mathematics influence greatly on the teaching and learning of mathematics. More over often teachers confess their difficulties in explaining the true nature of mathematics. In this paper, applying the theory of epistemology, we tried to search factors that must be counted important when trying to understand the true nature of mathematics. As results, we identified five characteristics of mathematical knowledge such as logical reasoning, abstractive concept, mathematical representation, systematical structure, and axiomatic validation. Next, we tried to investigate math education major students' conception of mathematics using these items. To proceed this research we asked 51 students from three Universities to answer their opinion on 'What do you think is mathematics?'. Analysing their answers in the light of the above five items, we got the following facts. 1. Only 38% of the students regarded mathematics as one of the five items, which can be considered to reveal students' low concern about the basic nature of mathematics. 2. The status of students' responses to the question were greatly different among the three Universities. This shows that mathematics professors need to lead students to have concern about the true nature of mathematics.

A Conceptual Modeling Tools for the Model Base Design (모델베이스 설계를 위한 개념적 모델링 도구에 관한 연구)

  • 정대율
    • The Journal of Information Systems
    • /
    • v.7 no.1
    • /
    • pp.181-208
    • /
    • 1998
  • In many literatures of model management, various schemes for representing model base schema have proposed. Ultimately, the goal is to arrive at a set of mutually supportive and synergistic methodologies and tools for the modeling problem domain and model base design. This paper focus on how best to structure and represent conceptual model of problem domain and schema of model base. Semantic concepts and modeling constructs are valuable conceptual tools for understanding the structural relationships and constraints involved in an model management environment. To this end, we reviewed the model management literature, and analyzed the constructs of modeling tools of data model management graph-based approach. Although they have good tools but most of them are not enough for the representation of structural relationships and constraints. So we wanted more powerful tools which can represent diverse constructs in a decision support modeling and model base schema design. For the design of a model base, we developed object modeling framework which uses Object Modeling Techniques (OMT). In Object Modeling Framework, model base schema are classified into conceptual schema, logical schema, and physical schema. The conceptual schema represents the user's view of problem domain, and the logical schema represents a model formatted by a particular modeling language. The schema design, this paper proposes an extension of Object Model to overcome some of the limitations exhibited by the OMT. The proposed tool, Extended Object Model(EOM) have diverse constructs for the representation of decision support problem domain and conceptual model base schema.

  • PDF

Representation of Temporal Logic Framework Using Petri Net (Petri Net을 이용한 시간논리 구조의 표현)

  • Kim, Jung-Chul;Mo, Young-Seung;Kim, Jin-Kwon;Hwang, Hyung-Soo
    • Proceedings of the KIEE Conference
    • /
    • 2000.11d
    • /
    • pp.615-617
    • /
    • 2000
  • Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

  • PDF