• 제목/요약/키워드: 함축적 수식화

검색결과 3건 처리시간 0.016초

수식 속성 문법 단순화에 대한 연구 (A Research on the Simplification of the Expression Attribute Grammar)

  • 정용주
    • 한국멀티미디어학회논문지
    • /
    • 제14권2호
    • /
    • pp.282-287
    • /
    • 2011
  • 속성문법은 각 구문규칙에 의미론을 추가한 문법체계이다. 그러나 이 속성문법은 그 추가적인 규칙들 때문에 구성과 이해의 어려움이 있다. 대부분 속성 문법에서 그 규모가 크고 복잡하기 때문에 규모의 수가 작고 단순하면 좋을 것이다. 그래서 본 논문에서는 LR 파싱을 할 때 수식을 위한 속성문법의 규모를 줄일 수 있는 방법을 연구하였다. 이것은 수식의 종류를 고려한 방식이다. 즉 수식의 종류들 사이의 의미적 포함관계를 성립시키면 보다 단순하고 작은 규모의 속성 문법으로 구성될 수 있음을 보여준다.

논문 : 헬리콥터 비행 시뮬레이션을 위한 로터운동방정식 유도 (Papers : Implicit Formulation of Rotor Aeromechanic Equations for Helicopter Flight Simulation)

  • 김창주
    • 한국항공우주학회지
    • /
    • 제30권3호
    • /
    • pp.8-16
    • /
    • 2002
  • 헬리콥터 비행 시뮬레이션을 위한 로터 운동방정식을 implicit formulation 형태로 유도하였다. 좌표계 사이의 상대운동을 고려한 일반화된 벡터 kinematics 를 유도하고 이를 적용하여 브레이드 임의 위치 에서 관성속도 및 관성가속도를 구하였다. 유도된 속도 및 가속도 벡터를 이용하여 플래핑, 리드래그 및 토오크 방정식 등을 implicit form으로 유도하였다. 브레이드 스팬에 따른 공간 적분 방법을 살펴보고, 다양한 힌지형상 및 힌지배열 순서에 관계없이 응용영역을 확장할 수 있음을 밝혔다. DAE(Differential Algebraic Equation) 형태를 갖는 본 연구의 결과식을 이용하여 동특성 계산을 위한 시간적분법을 검토하였다.

테크놀로지를 활용한 모델의 설계와 개발 과정에서 나타난 예비화학교사의 모델의 본성에 대한 인식 분석: 보일 법칙을 중심으로 (Analysis of the Pre-service Chemistry Teachers' Cognition of the Nature of Model in the Design and Development Process of Models Using Technology: Focusing on Boyle's Law)

  • 정나진;백성혜
    • 대한화학회지
    • /
    • 제67권5호
    • /
    • pp.378-392
    • /
    • 2023
  • 본 연구의 목적은 테크놀로지를 활용한 모델의 설계와 개발 과정에서 나타난 모델의 본성에 대한 예비화학교사의 인식을 분석하는 것이다. 이를 위하여 중부 지역에 있는 사범대학 3학년에 재학 중인 예비화학교사 19명을 대상으로 중학교 1학년 과학 교과서에 제시된 보일 법칙에 관련된 실험 현상을 관찰하고, 테크놀로지를 활용하여 관찰된 실험 결과와 관련된 모델을 설계하고 개발하도록 요구하였다. 선행연구를 바탕으로 모델의 본성을 표상적 측면과 설명적 측면으로 분류하고, 표상적 측면은 표상화, 함축화, 간단화로, 설명적 측면은 분석, 해석, 추론, 설명, 정량화로 분류하였다. 그리고 이 분류를 기준으로 하여 예비화학교사들의 인식을 분석하였다. 연구 결과, 표상적 측면의 표상화에서는 부피가 변하는 공간을 표현한 형태로 획일화되어 있었으며, 함축화에서는 압력을 실린더 내부의 밝기나 입자의 색 변화 빈도로 표현하였다. 간단화의 경우에는 입자 충돌을 완전탄성충돌로 표상화하였으나, 입자의 종류를 간단히 표상화하지 못하는 그룹들이 있었다. 설명적 측면에서는 분석의 경우 부피를 조작 변인으로 구분하였으며, 해석의 경우 대부분 그룹이 기체 입자의 충돌로 압력의 변화를 해석하였다. 그러나 추론에 관련된 인식은 많이 관찰되지 않았다. 설명의 경우 입자가 충돌하는 면적을 설정하지 않거나 잘못 설정하여 설명에 성공하지 못한 그룹들이 있었으며, 정량화에서는 단위시간 당 충돌 횟수를 수식화한 그룹들과 이와는 반대로 충돌 횟수를 수치화하지 못하여 정량화하지 못한 그룹들이 있었다.