• Title/Summary/Keyword: Logic model

Search Result 1,410, Processing Time 0.031 seconds

Epistemological Implications of Scientific Reasoning Designed by Preservice Elementary Teachers during Their Simulation Teaching: Evidence-Explanation Continuum Perspective (초등 예비교사가 모의수업 시연에서 구성한 과학적 추론의 인식론적 의미 - 증거-설명 연속선의 관점 -)

  • Maeng, Seungho
    • Journal of Korean Elementary Science Education
    • /
    • v.42 no.1
    • /
    • pp.109-126
    • /
    • 2023
  • In this study, I took the evidence-explanation (E-E) continuum perspective to examine the epistemological implications of scientific reasoning cases designed by preservice elementary teachers during their simulation teaching. The participants were four preservice teachers who conducted simulation instruction on the seasons and high/low air pressure and wind. The selected discourse episodes, which included cases of inductive, deductive, or abductive reasoning, were analyzed for their epistemological implications-specifically, the role played by the reasoning cases in the E-E continuum. The two preservice teachers conducting seasons classes used hypothetical-deductive reasoning when they identified evidence by comparing student-group data and tested a hypothesis by comparing the evidence with the hypothetical statement. However, they did not adopt explicit reasoning for creating the hypothesis or constructing a model from the evidence. The two preservice teachers conducting air pressure and wind classes applied inductive reasoning to find evidence by summarizing the student-group data and adopted linear logic-structured deductive reasoning to construct the final explanation. In teaching similar topics, the preservice teachers showed similar epistemic processes in their scientific reasoning cases. However, the epistemological implications of the instruction were not similar in terms of the E-E continuum. In addition, except in one case, the teachers were neither good at abductive reasoning for creating a hypothesis or an explanatory model, nor good at using reasoning to construct a model from the evidence. The E-E continuum helps in examining the epistemological implications of scientific reasoning and can be an alternative way of transmitting scientific reasoning.

Analysis and Calculation of Factors Influencing the Sortie Generation Rate (SGR) of Aircraft-carrying Naval Ships (함재기탑재 함정의 소티 생성률(Sortie Generation Rate) 영향인자 분석 및 산출 연구)

  • Sunah Jung;Heechang Yoon;Seungheon Oh;Jonghoon Woo;Sangwoo Bae;Dongi Park;Woongsub Lee;Jaehyuk Lee;Hyuk Lee;Junghoon Chung
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.61 no.4
    • /
    • pp.267-277
    • /
    • 2024
  • The Sortie Generation Rate (SGR) is a critical performance indicator for carrier-based aircraft and is a key factor for the carrier design process. This study aims to analyze the factors that affect SGR and establish a representative Sortie Generation Process (SGP) along with simulation results to calculate SGR for a naval ship equipped to carry aircraft. Detailed SGR factors are identified from the perspectives of the aircraft, aviation personnel, and aircraft carrier during the flight preparation stage, and the SGP is established accordingly. As a representative, Korean Navy's CVX basic design is chosen for detailed analysis. The physical dimension and spots for the deck design with time and probabilistic data of SGP are considered to develop a queueing network model for SGR calculation. To consider the specific probabilistic features, the model was solved with discrete event simulation tools(SimPy and AnyLogic) where the results show great agreement. Such findings on SGR factors and calculation are expected to be incorporated in the future development of SGR calculation algorithms and also present guidelines for proper design of aircraft carrier based on concrete operation concept.

Implementation of Ternary Valued Adder and Multiplier Using Current Mode CMOS (전류모드 CMOS에 의한 3치 가산기 및 승산기의 구현)

  • Seong, Hyeon-Kyeong
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.13 no.9
    • /
    • pp.1837-1844
    • /
    • 2009
  • In this paper, the circuit of 2 variable ternary adder and multiplier circuit using current mode CMOS are implemented. The presented ternary adder circuit and multiplier circuit using current mode CMOS are driven the voltage levels. We show the characteristics of operation for these circuits simulated by HSpice. These circuits are simulated under $0.18{\mu}m$ CMOS standard technology, $5{\mu}A$ unit current in $0.54{\mu}m/0.18{\mu}m$ ratio of NMOS length and width, and $0.54{\mu}m/0.18{\mu}m$ ratio of PMOS length and width, and 2.5V VDD voltage, MOS model Level 47 using HSpice. The simulation results show the satisfying current characteristics. The simulation results of current mode ternary adder circuit and multiplier circuit show the propagation delay time $1.2{\mu}s$, operating speed 300KHz, and consumer power 1.08mW.

A Mathematical Approach of Work Assignment for Human Resource in Software Development (소프트웨어 개발인력 배치를 위한 수학적 업무 배정 방법)

  • Chen, Xiang;Lee, Sang-Joon;Seo, Seong-Chae;Kim, Byung-Ki
    • Journal of Digital Convergence
    • /
    • v.11 no.2
    • /
    • pp.205-214
    • /
    • 2013
  • Team collaboration is becoming commonplace and it is spotlighted in agile software development projects as well. More efficient teamwork in terms of effective team operation and project performance is very important. Heuristic software development staffing method has been used, but algorithm approach is needed to compensate for it. In this paper, we propose a mathematical approaches for staffing developers in teamwork-based software development projects. This consist of six process, and activities in each processor is defined as a mathematical function placement, and functional deployment matrix is used. A case study is presented in order to prove the usefulness of this approach. This paper is a significant research because a mathematical approach of work assignment is developed for human resources by quantitative logic and it deviate from intuitive or heuristic methods used previously.

Automated Modelling of Ontology Schema for Media Classification (미디어 분류를 위한 온톨로지 스키마 자동 생성)

  • Lee, Nam-Gee;Park, Hyun-Kyu;Park, Young-Tack
    • Journal of KIISE
    • /
    • v.44 no.3
    • /
    • pp.287-294
    • /
    • 2017
  • With the personal-media development that has emerged through various means such as UCC and SNS, many media studies have been completed for the purposes of analysis and recognition, thereby improving the object-recognition level. The focus of these studies is a classification of media that is based on a recognition of the corresponding objects, rather than the use of the title, tag, and scripter information. The media-classification task, however, is intensive in terms of the consumption of time and energy because human experts need to model the underlying media ontology. This paper therefore proposes an automated approach for the modeling of the media-classification ontology schema; here, the OWL-DL Axiom that is based on the frequency of the recognized media-based objects is considered, and the automation of the ontology modeling is described. The authors conducted media-classification experiments across 15 YouTube-video categories, and the media-classification accuracy was measured through the application of the automated ontology-modeling approach. The promising experiment results show that 1500 actions were successfully classified from 15 media events with an 86 % accuracy.

Color-based Emotion Analysis Using Fuzzy Logic (퍼지 논리를 이용한 색채 기반 감성 분석)

  • Woo, Young-Woon;Kim, Chang-Kyu;Kim, Chee-Yong
    • Journal of Digital Contents Society
    • /
    • v.9 no.2
    • /
    • pp.245-250
    • /
    • 2008
  • Psychology of color is a research field of psychology for studying human's behavior connected with color. Color carries symbolism and image while sharing psychological consensus with human. Each color has a respective image such as hope, passion, love, life, death, and so on. Peculiar stimuli by colors on these images have great influence on human's emotion and psychology. We therefore proposed a method for understanding human's state of emotion based on colors in this paper. In order to understand human's state of emotion, we analyzed color information used to model a room by a user and then described frequencies of each color as percent using fuzzy inference rules by membership values of fuzzy membership functions for colors used for modeling the room. When we applied the proposed color-based emotion analysis method to emotional state based on colors of Alschuler and Hattwick, we could see the proposed method is efficient.

  • PDF

(A Formal Model of Component Variability Types and Scope) (컴포넌트 가변성 유형 및 Scope에 대한 정형적 모델)

  • 소동섭;신규석;김수동
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.5_6
    • /
    • pp.414-429
    • /
    • 2003
  • Component-based development(CBD) has been generalized in industry to master the complexity and reduce the development cost and time. However, current CBD practice is developing the component which is dependent on single application[l][2]. Therefore component variability is emphasized to reuse the component in many family members in a domain[8]. However, components are developed for the reason of replaceability rather than the reusability which is the main purpose of the component due to the insufficiency of the study of component variability definition and type[3]. In this paper, we formally specify the component variability reflecting the characteristics of the component to increase the component reusability. We define the logic variability which was recognized as the existing component variability and we propose all types of variability existing in the component by suggesting three more variability types. And we propose the component variability scope which makes us estimate and verify the number of cases of the variability when we customize the component. We propose these component variability types and scope through formal specification. By applying these techniques in developing components, we can develop high quality components reusable in many family members.

Fuzzy Control and Optimization for the Wastewater Treatment Process (퍼지제어기를 이용한 하폐수처리공정의 최적화)

  • 천성표;김봉철;김성신
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2000.11a
    • /
    • pp.452-455
    • /
    • 2000
  • There are increasingly important financial incentives and environmental consideration to improve the effluent quality of wastewater from domestic and industrial users. The activated sludge process is a widely used biological wastewater treatment process. The activated sludge process is complicated due to the many factors such as the variation of influent flowrate and concentration, the complexity of biological reactions and the various operation conditions. Nowadays, not only suspended solids and residual carbon, but also nitrogen and phosphorous concentration of the effluent water must be taken into account for the design and operation of wastewater treatment plants. Also, the effluent quality to be met are more stringent. Therefore, an intelligent control approach is required in order to successful biological nitrogen removal. In this paper, the strategies for dosage of extra carbon in the anoxic zone and DO concentration in the aerobic zone are presented and evaluated through the simulation using the denitrification layout of the IWA simulation benchmark implemented by Matlab$\^$/5.3/Simulink$\^$/3.0. The control strategy to achieve sufficient denitrification rates in an anoxic zone. Methanol is used as an external extra carbon source. The external extra carbon source is required for the nitrogen removal process because nitrogen and organic concentration are fluctuated in the influent flowrate. The dissolved oxygen is calculated by So concentration in the activated sludge model NO.1. The air flowrate of each aerobic reactor is intelligently controlled to achieve the predefined setpoints. Air flowrate is adjusted by the fuzzy logic controller that includes two inputs and one output. The objective function for the optimization procedure is designed to improve effluent quality and reduce the operating cost.

  • PDF

Towards the Theory of CEO Leadership: A Conceptual Model based on Charismatic, Transformational and Transactional Leadership (CEO 리더십 이론에 관한 개념적 모델의 탐색적 연구: 카리스마적, 변혁적, 거래적 리더십을 중심으로)

  • Park, Jung Min;Song, Yun Ah;Ryu, Ki Hyun;Lee, Jae Eun
    • Asia-Pacific Journal of Business Venturing and Entrepreneurship
    • /
    • v.8 no.1
    • /
    • pp.13-17
    • /
    • 2013
  • Leadership is one of the most widely explored subjects in the field of management. A variety of papers on leadership, however, still have insufficient aspects to reveal the theoretical logic about the CEO leadership itself. Such research, especially focused on organizational performance, tend to concentrate on the CEO's behavior rather than leadership because CEO's behavioral trait as an explanatory variable is useful to connect with firms' performance. Our purpose is to show how the characteristic of CEO leadership can be built at the organizational level. For a detail, the larger the firms' size, the greater the degree of CEO's charismatic leadership. The larger the degree of a firm's diversification, the greater the degree of the CEO's transformational leadership. And the less the degree of a firm's diversification, the greater the degree of the CEO's transactional leadership. This theoretical paper on CEO leadership suggests that the characteristics of CEO should be adaptable to the changing institutions and organizational environments.

  • PDF

Performance Investigation of Semi-Active Control Logic to Minimize a Pointing Performance Degradation of On-Board Payload by Chattering Effects (Chattering에 의한 위성 탑재체 지향성능저하 최소화를 위한 반능동제어기법 성능분석)

  • Oh, Hyun-Ung;Choi, Young-Jun
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.38 no.9
    • /
    • pp.882-889
    • /
    • 2010
  • Semi-active vibration control is one of the attractive control methods for space application due to its robustness as passive damping system and much higher damping performance than passive system. However, a chattering induced by the sudden variation of damping force at the time of On-Off switching of semi-active control device degrades pointing performance of the on-board payload. In this paper, to enhance the pointing performance of the on-board payload, we proposed a semi-active vibration isolation with a strategy for attenuating chattering effect. Numerical simulation results using simplified analysis model indicated that the proposed semi-active control strategy produced much better isolation performance than the conventional Bang-Bang control semi-active control laws derived from skyhook and LQ theories.