• Title/Summary/Keyword: 함축적 수식화

Search Result 3, Processing Time 0.017 seconds

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

  • Chung, Yong-Ju
    • Journal of Korea Multimedia Society
    • /
    • v.14 no.2
    • /
    • pp.282-287
    • /
    • 2011
  • The attribute grammar is a grammar for static semantic rules to overcome the difficulties of type checking. But this attribute grammar is difficult to write and understand by its additional rules. A grammar would be preferable if it has simple and small size of an attribute grammar. This paper shows how to decrease the size of an attribute grammar for an expression using LH method. This approach considers the types of an expression. That is, the construction of a semantic relation between the types of the expression can make it possible that an attribute grammar be written with its simpler and smaller size.

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

  • Kim, Chang-Ju
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.30 no.3
    • /
    • pp.8-16
    • /
    • 2002
  • The implicit formulation of rotor dynamics for helicopter flight simulation has been derived and and presented. The generalized vector kinematics regarding the relative motion between coordinates were expressed as a unified matrix operation and applied to get the inertial velocities and accelerations at arbitaty rotor blade span position. Based on these results the rotor aeromechanic equations for flapping dynamics, lead-lag dynamics and torque dynamics were formulated as an implicit form. Spatial integration methods of rotor dynamic equations along blade span and the expanded applicability of the present implicit formulations for arbitrary hings geometry and hinge sequences have been investigated. Time integration methods for present DAE(Differential Algebraic Equation) to calculate dynamic response calculation are recommenaded as future works.

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 (테크놀로지를 활용한 모델의 설계와 개발 과정에서 나타난 예비화학교사의 모델의 본성에 대한 인식 분석: 보일 법칙을 중심으로)

  • Na-Jin Jeong;Seoung-Hey Paik
    • Journal of the Korean Chemical Society
    • /
    • v.67 no.5
    • /
    • pp.378-392
    • /
    • 2023
  • The purpose of this study is to analyze the pre-service chemistry teachers' cognition of the nature of model in process of designing and developing models using technology. For this purpose, 19 pre-service chemistry teachers' in the 3rd grade of a education college located in the central region observe experimental phenomena related to Boyle's law presented in the 7th grade science textbook and researchers required the design and development of a model related to the observed experimental results using technology. Based on previous studies, the nature of model were classified into two aspect: 'Representational aspect' and 'Explanatory aspect'. The 'Representational aspect' was classified into 'Representation', 'Abstraction', and 'Simplification', and the 'Explanatory aspect' was classified into 'Analysis', 'Interpretation', 'Reasoning', 'Explanation', and 'Quantification'. The pre-service chemistry teachers' cognition were analyzed by the classification. As a result of the study, the 'Representation' of the 'expressive aspect' was uniformized in the form of space that changes in volume, and the pressure was expressed as the Brightness inside the cylinder or frequency of color change of particles for 'Abstraction'. In the case of 'Simplification', the particle collision was expressed as a perfectly elastic collision, but there was a group that could not simply indicate the type of particle. In the 'Explanatory aspect', in the case of 'Analysis', volume was classified as a manipulated variable, and in the case of 'Interpretation', most groups analyzed the change in pressure through the collision of gas particles. However, the cognition involved in 'Reasoning' was not observed much. In the case of 'Explanation', there were groups that did not succeed in explanation because the area where the particles collided was not set or incorrectly set, and in the case of 'Quantification', there was a group that formulated the number of collisions per unit time, and on the contrary, there was a group that could not quantify the number of collisions because they could not be expressed in numbers.