• 정보처리학회논문지B
• /
• 제11B권7호
• /
• pp.821-830
• /
• 2004

본 논문에서는 지표면을 향해 낙하하는 자유 물체의 충돌 현상에 대해 모델링하고자 한다. 이를 위해 최소한의 근원적인 요소를 찾아서 최대한의 다양성을 제공하고자 한다. 몰입감있는 가상환경 구축을 위해 보다 사실적이고 논리적으로 동작하는 충돌 현상을 표현하는데 설계의 초점을 둔다. 이를 위해, 낙하 물체의 재료(material)적 특성에 대한 범위(domain)를 결정하고 우성력(dominant forte)을 선택할 것이며, 힘과 지표면에 대한 모델링을 구축할 것이다. 이는 충돌 후 발생하는 결과들을 정량적인 면뿐만 아니라 정성적인 면에서도 충족시킬 수 있다. 아울러 기존에 많은 연구가 진행된 충돌 검출 보다는 충돌 반응 양상에 모델링의 초점을 둘 것이다.

• 한국전자거래학회지
• /
• 제14권1호
• /
• pp.81-92
• /
• 2009

전자 상거래 도메인에서 온톨로지가 실용적으로 활용되기 위해서는 온톨로지를 잘 저장 관리하고 사용자가 기대하는 온톨로지 질의에 대한 응답 처리가 가능해야 한다. 다양한 장점과 신뢰성을 바탕으로 한 관계형 데이타베이스 기반의 상품 온톨로지의 저장이 현실적 실용 방안이라고 할 때, RDBMS에서 온톨로지 질의 처리가 가능하기 위해서는 상품 온톨로지의 개념과 개념들간의 관계에 대한 정보가 잘 처리될 수 있도록 저장되어야 한다. 이 논문에서는 관계형 데이타베이스 기반에서 확장성과 효율적인 상품 온톨로지의 의미적 관계에 대한 질의 처리를 위한 데이터베이스 설계 방법을 제안한다.

• 품질경영학회지
• /
• 제42권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.

• 한국과학교육학회지
• /
• 제11권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.

• 한국군사과학기술학회지
• /
• 제13권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.

• 컴퓨터교육학회논문지
• /
• 제18권4호
• /
• pp.63-70
• /
• 2015

프로그램 소스코드는 텍스트를 기반으로 하는 정보이며 동시에 논리 구조를 포함하고 있는 복잡한 구문의 집합체이다. 특히 소스코드의 규모가 수만 라인에 이르는 경우 구조적, 논리적인 복잡함으로 인해 기존의 빅데이터 시각화 기법이 잘 적용되기 힘들다는 문제가 발생한다. 본 논문은 소스코드가 갖는 구조적인 특징을 시각화하는데 있어 필요한 절차를 제안한다. 이를 위해 본 논문은 파싱 과정을 거쳐 생성된 추상구문트리를 대상으로 프로그램의 구조특징을 표현하기 위한 자료형의 정의, 함수간 호출관계를 표현한다. 이들 정보를 바탕으로 제어 정보를 네트워크 형태로 시각화함으로써 모듈의 구조적인 특징을 개괄적으로 살펴볼 수 있는 방법을 제시한다. 본 연구의 결과는 대규모 소프트웨어의 구조적 특징을 이해하거나 변경을 관리하는 효과적인 수단으로 활용할 수 있다.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권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.

• 정보학연구
• /
• 제2권2호
• /
• pp.35-49
• /
• 1999

본 논문에서는 ISO 8879(Standard Generalized Markup Language)에 근거하여 문서의 논리 구조를 정의하고 있는 DTD(문서형 정의부 : Document Type Definition)를 자동 편집하기 위한 시스템을 설계 및 구현하였다. SGML DTD는 문서의 논리 구조 유형을 정의하는데 그 구조가 복잡하여 일반 텍스트 편집기로 작성하기가 쉽지않다. 그러므로 일반 사용자도 쉽게 사용할 수 있도록 그래픽적으로 윈도우 환경하에서 트리 형태로 표현하여 직접 조작함으로써 복잡한 DTD를 쉽게 작성할 수 있는 DTD 자동 생성 및 편집하는 시스템에 대해 연구하였다. 이를 위해 SGML을 중심으로한 문서 구조를 분석하고, SGML 문서처리 모델을 연구하였으며, SGML DTD를 구성하는 엘리먼트(element), 앤티티(entity), 속성(attribute), 표기법(notation), 주석(comment) 등의 논리 구조를 윈도우상에 트리 형태로 표현하였다.

• 한국과학교육학회지
• /
• 제15권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.

• 복식
• /
• 제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”.