• Title/Summary/Keyword: Logical

Search Result 2,661, Processing Time 0.022 seconds

Realization of Flight Modes for Light General Aviation Flight Director using Stateflow (Stateflow를 이용한 소형제트기 Flight Director의 비행모드 구현)

  • Lee, Jangho;Kim, Sungpil;Sung, Kijeong;Kim, Eungtai
    • Journal of Aerospace System Engineering
    • /
    • v.1 no.2
    • /
    • pp.6-12
    • /
    • 2007
  • Flight modes of automatic flight control system for light general aviation flight deck. Garmin G1000, were realized using Stateflow. In developing aircraft, it is difficult to verify the operational flight program in particular branch statement because developer can not see any visual logical steam. So, Stateflow has been used to visualize logical stream, transition from one flight mode to another flight mode. The performance was approved by applying flight mode transition conditions of G1000 to proposed transition system that is composed of states, switches, events, data and transition conditions. DURMI-II was used as 6-DOF simulation model.

  • PDF

On the design method of physical architecture based on the Design Structure Matrix (DSM) approach (물리적 아키텍처 설계에 대한 DSM 방법론 적용 사례 연구)

  • Choi, Sang Wook;Choi, Sang Taik;Jung, Yun Ho;Jang, Jae Deok
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.8 no.1
    • /
    • pp.21-28
    • /
    • 2012
  • Development of the system that has required performance is the most important figure and that is the key of project succeed. In order to perform that, systems engineering has come to the fore as a solution. In each step of system engineering process, particularly, requirement analysis and derivation, logical solution, architecture design step are known to affect many of the function and efficiency. Of these, this paper focus on architecture design. We introduce methodology for physical architecture design by applying DSM(Design Structure Matrix) methodology which is based on result of logical solution from MBSE methodology.

Relationships among Temperament, Multiple Intelligences and Play of Preschool Children (유아의 놀이와 기질 및 다중지능간의 관계)

  • Lee, Chae Ho;Choe, In Soo
    • Korean Journal of Child Studies
    • /
    • v.29 no.6
    • /
    • pp.121-133
    • /
    • 2008
  • This study explored relationships among temperament, multiple intelligences and play characteristics of preschool children. Participants were 150 mothers of preschool children and 10 preschool teachers in Seoul. They responded to questionnaires; data were analyzed by correlation and multiple-regression major results showed there were positive correlations between emotionality sub-areas of children's temperament and play and between multiple intelligences and play as follows : (1) Cognitive play was predicted by linguistic intelligence and response of temperament, (2) Language play was predicted by interpersonal intelligence and physiology-regulation of temperament, (3) Social play was predicted by interpersonal intelligence and response of temperament, (4) Emotional play was predicted by logical-mathematical intelligence and emotions of temperament, and (5) Movement play was predicted by logical-mathematical intelligence.

  • PDF

Logic of Quantum Mechanics for Information Technology Field

  • Yon, Yong-Ho
    • International Journal of Contents
    • /
    • v.7 no.4
    • /
    • pp.56-63
    • /
    • 2011
  • Quantum mechanics is a branch of physics for a mathematical description of the particle wave, and it is applied to information technology such as quantum computer, quantum information, quantum network and quantum cryptography, etc. In 1936, Garrett Birkhoff and John von Neumann introduced the logic of quantum mechanics (quantum logic) in order to investigate projections on a Hilbert space. As another type of quantum logic, orthomodular implication algebra was introduced by Chajda et al. This algebra has the logical implication as a binary operation. In pure mathematics, there are many algebras such as Hilbert algebras, implicative models, implication algebras and dual BCK-algebras (DBCK-algebras), which have the logical implication as a binary operation. In this paper, we introduce the definitions and some properties of those algebras and clarify the relations between those algebras. Also, we define the implicative poset which is a generalization of orthomodular implication algebras and DBCK-algebras, and research properties of this algebraic structure.

Utilizing debate techniques in English speaking class

  • Jung, Sook-Kyung
    • English Language & Literature Teaching
    • /
    • v.12 no.1
    • /
    • pp.103-129
    • /
    • 2006
  • This paper presents a case study of the effectiveness of debate class in promoting speaking skills of advanced learners. The researcher adopted English debate techniques in an English speaking class during four-week teacher training program and investigated how teachers responded to the new technique. Forty-five middle and high school teachers participated in the study and classroom observation, pre-survey, post-survey, and focus group interviews were used as the major research methods. The teacher pre-survey results presented that teachers prefer a conversation class where they can directly acquire proper sentence patterns and speaking strategies rather than spend time in performing communicative events. The results of the focus group interview and post-survey confirmed that a debate class can meet this specific teachers' needs. Most teachers responded positively to the debate classes since: 1) debate techniques are relatively new ideas to Korean teachers; 2) debate techniques require speed and accuracy in speech; thus teachers could learn to present their ideas logically and efficiently in a limited time through repeated argument exercises. The study result implies that debate technique can be an effective vehicle in an EFL context to promote advanced learners' logical thinking skills and logical English sentence structures.

  • PDF

Biological Distribution by Water Temperature and Refocus on the Theory of Critical Environmental Variation Quantum (수온환경변화에 따른 생물분포와 어업피해결정을 위한 임계환경변화량이론의 재조명)

  • Kang, Young-Joo;Kim, Ki-Soo
    • The Journal of Fisheries Business Administration
    • /
    • v.45 no.1
    • /
    • pp.1-16
    • /
    • 2014
  • The study attempts to show that the theory of critical environmental variation quantum(CEVQ) has a sound logical basis and empirical support. It is well known that the theory of critical environmental variation quantum is derived from the theory of biological probability distibution function and the central limit theorem(CLT) in statistics. The study uses the case study of fisheries damages compensation caused br the public marine construction undertaken in the area do Anjeong Bay in the city of Tongyeong for empirical test of theory of CEVQ. The results shows that the CEVQ theory perfoms a good job in measuring quantatively fjsheries damages caused by outflow of cold water due to the operation of LNG company since 2002. Therefore the study proves that the CEVQ theory is a good theory having internal consistency and empirical applicability.

On the Optimum Site Assessments of a Structure by GIS (GIS에 의한 구조물의 최적 위치 결정 기법)

  • Yang, In-Tae;Kim, Yeon-Jun;Kim, Dong-Moon;Park, Jae-Hoon
    • Journal of Industrial Technology
    • /
    • v.17
    • /
    • pp.43-50
    • /
    • 1997
  • Local administration is closely related with intention of residents. Especially, a plan item is closely related with life of residents. Therefore, it has to be logical and objective solution for opinion convergence. Decision of opinion has to be in a triangular position standard and stand in a trio of criteria in standard. But, opinion convergence of residents very difficult. Recently, the technique of GIS presents method for oponion convergence with logical and objective and scientifically solution. And, this study present method for decision of intention to a complex element with GRID and NETWORK techniques of GIS. This study present optimun site of constructure with the GIS technique in consideration of a side face of transportation, technical, social economy and environments.

  • PDF

Analysis of the Elementary School Participants' Readiness to Write on Scientific Subjects in Science Writing Contest (초등 분야 과학논술대회 참가자들의 과학 글쓰기 능력 분석)

  • Park, Eun-Hee;Jhun, Young-Seok;Lee, In-Ho
    • Journal of Korean Elementary Science Education
    • /
    • v.26 no.4
    • /
    • pp.385-394
    • /
    • 2007
  • In order to investigate elementary school students' readiness to write on scientific subject, we analyzed the participants' draft in elementary student section [National Student Science Writing Contest] which is sponsored by a daily press. As a first step, we designed an assessment framework to analyze the students' writing. It is composed of three domains: scientific thinking, logical validity, creativeness. Each domain has three sub-domains. By using the framework, seven raters scored the students' inquiry reports. The findings reveal that the students needed the training for scientific writing. Especially they had great difficulty in the sub-domain of 'suggestion of rational alternative solution' in scientific thinking domain, the sub-domains of 'clearness' and 'coherence' in logical validity domain, and in the sub-domains of 'creative problem solving' and 'creative presentation' in creative domain.

  • PDF

Scientific-mind and Logical Thought Ability as an Dental Technician (치과기공사로서 갖추어야 할 과학적이고 논리적인 사고능력)

  • Lee, Sang-Jin
    • Journal of the Korean Academy of Esthetic Dentistry
    • /
    • v.8 no.1
    • /
    • pp.84-89
    • /
    • 1999
  • These days, Dental Technic has been contributed to make more delicating Dental Prosthesis Restoration for patient and dentist. Diagnostic wax-up and making Temporary Crown are emphasized as an important part of Dental Technic. Choosing suitable Material and working with various new Equipments like Microscope improve accuracy. Repeated practice by setting up an organized system gives better result. Also, Esthetic Prosthesis requires patient's appearance and personality as well as patient' age, sex, and shade so on. Moreover, the problem which occurs by the patient's oral condition ha to be discussed before taking final impression. At a time like this, Scientific-mind and Logical thought Ability should be considered the important issue for more progressive Dental Technic.

  • PDF

A Basic Study on the Development of Logical Tool for Analyzing Spatial Organization of Housing (주거공간 분석도구의 개발에 관한 기초적 연구 - 공간구문론을 중심으로 -)

  • 이현정;박선경;하재명
    • Proceeding of Spring/Autumn Annual Conference of KHA
    • /
    • 2000.11b
    • /
    • pp.97-102
    • /
    • 2000
  • The final purpose of this study is to develop the synthetic and logical analytical tool for analyzing spatial organization of housing. For this purpose, this study made the starting-point by proposing some alternatives to improve one of the quantitative analytical tools of spatial organizations, Space Syntax. These propositions were intended to consider human behavior as well as physical structure in analyzing spatial organization. The propositions were as follow; 1) Classify the private outdoor space in detail, 2) Consider that the spatial organization which visitors cognize can differ from which residents do, and 3) Use distinctive spatial depth according to the states of connection.

  • PDF