• Title/Summary/Keyword: Logical

Search Result 2,661, Processing Time 0.027 seconds

A Logical Model of Collision Response for Simulation of the Virtual Environment (가상환경의 시뮬레이션을 위한 충돌반응 양상의 논리적 모델링)

  • Kim Byung-Ju;Park Jong-Hee
    • The KIPS Transactions:PartB
    • /
    • v.11B no.7 s.96
    • /
    • pp.821-830
    • /
    • 2004
  • In this paper, we model the downward collision of a falling object to the base. We aim to provide maximum diversity of response to physical. collision. To this end, the primary design concern of the model is to unfold the collision phenomenon in a logical and natural manner, detailed enough to construct an immersive virtual environment. To achieve these requirements, first we determine domains for the characteristic of the material of the falling objects, and select the dominant force of the collision. We formulate the collision phenomena with combination of primitive attributes and their relationships. The formulated function evaluates the results of the collision in qualitative aspects as well as in quantitative aspects. Between the collision issues, 'Collision Detection' and 'Collision Response', this paper focuses on Collision Response issue.

Logical Design of Product Ontology in Relational Databases (상품 온톨로지 저장을 위한 관계형 데이터베이스 논리적 설계)

  • Lee, Hyun-Ja;Shim, Jun-Ho
    • The Journal of Society for e-Business Studies
    • /
    • v.14 no.1
    • /
    • pp.81-92
    • /
    • 2009
  • In order to use a RDBMS as the repository for product information, it is essential that the ontological query be processed effectively and answered properly, satisfying the user's expectations for an ontological query process. To be well-processed ontological queries, the key point is whether the various semantic relationships among the concepts of the product information are likewise well-processed. For feasibly processing a semantic query, we need to consider how the product ontology data is designed and stored in RDBMS. In this paper, we present how a RDB schema for the product ontology could be designed and queried.

  • PDF

A Modified Metric of FMEA for Risk Evaluation Based on ASIL of Safety System (ASIL에 기초하여 수정된 안전시스템 FMEA 위험평가척도)

  • Baek, Myoung-Sig;Jang, Hyeon Ae;Kwon, Hyuck Moo
    • Journal of Korean Society for Quality Management
    • /
    • v.42 no.4
    • /
    • pp.543-562
    • /
    • 2014
  • Purpose: The purpose of this study is to suggest a modified approach that compensates some shortcomings of RPN with relevant strength of ASIL for Safety System and suggests systematic and logical approach for FMEA. Methods: By comparing the objectives, determination procedures, and key conceptual differences of RPN and ASIL, a refined method of risk evaluation and a new risk metric are devised. Results: While the traditional FMEA provides only rough evaluation of relative risk for each failure, the proposed method compensates its shortcomings with relevant strength of ASIL and provides a more logical and practical procedure of risk evaluation. Conclusion: The new metric RPM provides not only a comparative priority rank but also the degree of physical seriousness. Besides, it may have even more benefits for various applications if the severity can be expressed as mone tary amount of losses.

Relationships between Piagetian Congnitive Modes and Integrated Science Process Skills for High School Students (고교생의 논리적사고력과 과학탐구 기능 사이의 상관관계에 관한 연구)

  • Lim, Cheong-Hwan;Jeong, Jin-Woo
    • Journal of The Korean Association For Science Education
    • /
    • v.11 no.2
    • /
    • pp.23-30
    • /
    • 1991
  • The purpose of this study is to investigate the interrelationships on integrated science process skills and Piagetian cognitive modes for high school students according to the different cognitive reasoning levels. About 509 high school students were randomly selected for the samples of this study. They were identified as concrete, transitional and formal operational stage with the scores of GALT(Group Assessment of Logical Thinking) developed by Roadrangka, Yeaney and Padilla(1982), and TIPS II(Test of Integrated Process Skills) developed by Burns, Wise and Okey(1983). The result of this study were showed that about 11.8% of the samples were in the concrete operational stage and about 24.4% of the samples were in the transitional stage, while about 63.8% of them were in the formal operational stage. It was also found that the achivement scores of the science process skills increase in accordance with the cognitive reasoning levels. The value of the correlation coefficient between science process skills and cognitive reasoning abilities was 0.49, which was significant at the 0.05 level. This finding seems to support previous research that the student's cognitive reasoning abilities appeared to have influenced student's scores of the science process skills No differences to the logical reasoning ability between male and female students according to each cognitive level were found except formal operational stage.

  • PDF

On Improving the Reverse Engineering Process by Effectively Utilizing the Functional Models (기능 모델의 효과적인 활용을 통한 역공학 프로세스의 개선에 관한 연구)

  • Lee, Byoung-Gil;Lee, Jae-Chon
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.13 no.2
    • /
    • pp.258-267
    • /
    • 2010
  • The necessity of the new system development arises in both defence and commercial systems industry either when a breakthrough in technology needs to be realized in the form of a brand-new system or when the existing product already in operation needs to be upgraded to satisfy the increasing stakeholder's requirements. In the latter case, it is not rare that specific system technical specifications on the existing products are not available. The purpose of this study is to investigate how to handle the difficulty when an upgraded system is required to be developed based on the existing product whose detailed technical specifications cannot be obtained. A step-by-step process is described based on the reverse engineering of the existing product. As a result, a logical system model is obtained for the product. The process developed is further enhanced and evaluated by the computer-aided system engineering tool. The resulting logical system model should be helpful in the next phase of the new product development.

Visualization Techniques for Massive Source Code (대용량 소스코드 시각화기법 연구)

  • Seo, Dong-Su
    • The Journal of Korean Association of Computer Education
    • /
    • v.18 no.4
    • /
    • pp.63-70
    • /
    • 2015
  • Program source code is a set of complex syntactic information which are expressed in text forms, and contains complex logical structures. Structural and logical complexity inside source code become barriers in applying visualization techniques shown in traditional big-data approaches when the volume of source code become over ten-thousand lines of code. This paper suggests a procedure for making visualization of structural characteristics in source code. For this purpose, this paper defines internal data structures as well as inter-procedural relationships among functions. The paper also suggests a means of outlining the structural characteristics of source code by visualizing the source codes with network forms The result of the research work can be used as a means of controling and understanding the massive volume of source code.

An Expert System for the Real-Time Computer Control of the Large-Scale System (대규모 시스템의 실시간 컴퓨터 제어를 위한 전문가 시스템)

  • Ko, Yun-Seok
    • The Transactions of the Korean Institute of Electrical Engineers A
    • /
    • v.48 no.6
    • /
    • pp.781-788
    • /
    • 1999
  • In this paper, an expert system is proposed, which can be effectively applied to the large-scale systems with the diversity time constraints, the objectives and the unfixed system structure. The inference scheme of the expert system have the integrated structure composed of the intuitive inference module and logical inference module in order to support effectively the operating constraints of system. The intuitive inference module is designed using the pattern matching or pattern recognition method in order to search a same or similar pattern under the fixed system structure. On the other hand, the logical inference module is designed as the structure with the multiple inference mode based on the heuristic search method in order to determine the optimal or near optimal control strategies satisfing the time constraints for system events under the unfixed system structure, and in order to use as knowledge generator. Here, inference mode consists of the best-first, the local-minimum tree, the breadth-iterative, the limited search width/time method. Finally, the application results for large-scale distribution SCADA system proves that the inference scheme of the expert system is very effective for the large-scale system. The expert system is implemented in C language for the dynamic mamory allocation method, database interface, compatability.

  • PDF

Design and Implementation of Interactive Editing System for SGML DTD Composition (SGML 문서형 정의부 작성을 위한 대화형 편집 시스템 설계 및 구현)

  • 김창수;정회경
    • The Journal of Information Technology
    • /
    • v.2 no.2
    • /
    • pp.35-49
    • /
    • 1999
  • This papar describes an design and implementation of a rule builder, named SGML DTD(Document Type Definition) Editor conforming to ISO 8879(SGML : Standard Generalized Markup Language). SGML DTD define types of logical structure in documents and it is very hard to managing, operating with general common text editors because of it's complex structures. Therefore, We studied DTD automatic editor and production system, prototype system, direct operations on graphic trees in the environment of windows. It's easy to handle with general users. So, We analyzed the structures of document, and studied about SGML documents operation models. And also described logical structures by tree on Windows.

  • PDF

The Influence of the Types of Scientific Concepts and the Patterns of Cognitive Conflict on the Change of Students Conceptions (과학개념과 인지적 갈등의 유형이 학생들의 개념변화에 미치는 영향)

  • Kim, Beom-Ki;Kwon, Jae-Sool
    • Journal of The Korean Association For Science Education
    • /
    • v.15 no.4
    • /
    • pp.472-486
    • /
    • 1995
  • The purpose of this study was to classify the types of scientific concepts by theoretical concepts and empirical concepts in physics, and to create cognitive conflict in students with logical statements and demonstrations, and to investigate conceptual changes. It seems that mechanics has much to do with the empirical concepts, and electromagnetics has much to do with the theoretical concepts. The condition of the instrument is intellegible, plausible, fruitful, and able to state and demonstrate. The instrument appropriate for these conditions was developed, which consisted of 6 items in mechanics and 6 items in electromagnetics, and conceptual changes were investigated. Structured interviews were conducted with 32 high school students to create cognitive conflict. We have elicited their ideas three times : pretest, posttest and delayed posttest. As the results of this study, demonstration method was more effective for conceptual change than logical argument method. In case of content areas, the misconceptions on mechanics concepts were changed more easily than those on electromagnetics concepts. In addition, the results of the study showed that the more cognitive conflict, the more the conceptual change was occurred.

  • PDF

A Study on the Semiotic Application about the Image Vestmental (의상 이미지의 응용 기호론적 연구(I)-엘자 스키아파렐리의 3가지 의상 이미지에 관하여-)

  • 최인순
    • Journal of the Korean Society of Costume
    • /
    • v.38
    • /
    • pp.101-122
    • /
    • 1998
  • The purpose of this study is to define the fundamentals of one symbolic concept, so calles vestment-sign, based on the logical relationship of sign system about the trichotomy by charles S. Peice's sign concept for the communication system of meaning in the non-linguistic image domain. To prove the argument of vestment-sign, I selected 3 type of vestment language by styliste, Elsa Schiaparel-li. The third image vestmental chosen here, titled“Larme-Illusion(1938)”,printed by Salvad-or Dali will produce one symbolic proposition as a logical result which is generated and developed through the interpretation of other images. First of all the text, which is manifested by Elsa Schiaparelli's first image vestmental, tit-led“Notation Musical(1937)”and is symbolized as one category in the representation of the form, is regarded symbolic and metaphorical from a standpoint that the title and the meaning is connected to the form. The second image vestment, titled“Ruches Noirs(1938)”represents externally splendid feminity man-ifested by the symbolic and metaphorical expression. And the purity of sensitivity aiming to humanity in the detail of the poetic feeling of naturalism makes us imagine the battle fild of furious sensitivity. Like as the result of the battle, the third image stimulated our eyesight with the“absence”of dressing function. The proposition of the text,《Death》which the third image delivers, constructs sign system to bring up a meaning with the disappearance of physical“signifier”. This establishment of the symbolic concept presents the etymological authority of symbol generation called“Design”.

  • PDF