• 제목/요약/키워드: Logical model

검색결과 527건 처리시간 0.029초

A neuron computer model embedded Lukasiewicz' implication

  • Kobata, Kenji;Zhu, Hanxi;Aoyama, Tomoo;Yoshihara, Ikuo
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2000년도 제15차 학술회의논문집
    • /
    • pp.449-449
    • /
    • 2000
  • Many researchers have studied architectures for non-Neumann's computers because of escaping its bottleneck. To avoid the bottleneck, a neuron-based computer has been developed. The computer has only neurons and their connections, which are constructed of the learning. But still it has information processing facilities, and at the same time, it is like as a simplified brain to make inference; it is called "neuron-computer". No instructions are considered in any neural network usually; however, to complete complex processing on restricted computing resources, the processing must be reduced to primitive actions. Therefore, we introduce the instructions to the neuron-computer, in which the most important function is implications. There is an implication represented by binary-operators, but general implications for multi-value or fuzzy logics can't be done. Therefore, we need to use Lukasiewicz' operator at least. We investigated a neuron-computer having instructions for general implications. If we use the computer, the effective inferences base on multi-value logic is executed rapidly in a small logical unit.

  • PDF

일반계고의 창의공학설계 수업을 위한 아두이노 기반 STEAM 수업자료 개발과 적용 (Development of STEAM Instructional Materials using Arduino for Creative Engineering Design Class in High Schools and Its Application)

  • 이대석;임영대;김진수
    • 공학교육연구
    • /
    • 제23권1호
    • /
    • pp.3-9
    • /
    • 2020
  • The purpose of the study was to develop the Arduino based STEAM instruction materials for creative engineering design class. PDIE model was used in this study. We developed a STEAM lesson plan and a STEAM lesson worksheet for a total of six sessions through the steps of preparation, development, implementation and evaluation. The validity of the instruction materials was evaluated by the 10 experts using a survey. The instruction materials were applied to the class (52 students attended) of the creative engineering designs unit in technology and home economics subject. The class satisfaction and the creative solving-problem ability were examined after the calss. The class satafacition was high as the average of 10 item was 4.57 (out of 5). The paired t-test was conducted to compare the means of the creative solving-problem ability. It was observed that 'understanding and mastery of knowledge, thought, function and skills in a specific domain', 'divergent thinking', 'critical and logical thinking' and ' motivational factors' were significantly increased after the class. The instruction materials develped in this study were successfully designed to enhance the creative solving-problem ability by designing creative tasks and to intrique the interest by adding visual and auditory stimuli with the Arduino.

신호장치에 의한 ATS 신호장치 오동작 방지에 대한 연구 (A Study about Preventing Improper Working of Equipment on ATS System by Signaling Equipment)

  • 고영환;최규형
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2008년도 춘계학술대회 논문집
    • /
    • pp.579-587
    • /
    • 2008
  • Promotion of the line no.2 in Seoul Metro was changing from the existing signaling facilities for ATS(Automatic Train Stop) vehicles to the up-to-date signaling facilities for ATO(Automatic Train Operation). But, in consequence of conducting a trial run after being equipped with the ATO signaling facilities, the matter related to mix-operation with the existing ATS signaling facilities appeared. The operation of the existing ATS signaling system in combination with the ATO signaling system has made improper working related to frequency recognition of the ATS On-board Computerized Equipment. This obstructs operation of a working ATS vehicle. That is, as barring operation of an ATS vehicle that should proceed, it may make the proceeding ATS vehicle stop suddenly and after all, it will cause safety concerns. In this paper, we designed a wayside track occupancy detector that previously prevents improper working related to frequency recognition of the ATS On-board Computerized Equipment by gripping classification and working processes of operating trains throughout transmission of local signaling information from the existing facilities, which does not need to change or replace the existing signaling facilities. Furthermore, we described general characteristics of the wayside track occupancy detector and modeled the IFC(InterFace Contrivance) device and the logical circuit recognizing signal information. Then, we made an application program of PLC(programmable Logic Computer) based on the stated model. We, in relation to data transfer method, used the frame in TCP/IP transfer mode as the standard, and we demonstrated that ATO transmission frequency is intercepted.

  • PDF

BIM 기반 건축설계 품질검토를 위한 체크리스트 개발 연구 (Development of Check-list for BIM Based Architectural Design Quality Check)

  • 최중식;김인한
    • 한국CDE학회논문집
    • /
    • 제18권3호
    • /
    • pp.177-188
    • /
    • 2013
  • The construction industry consists of various and massive architectural information as an architectural process includes a variety of design stages with cooperation of many disciplines. Particularly, architectural information is generated and managed through the life cycle of a building, from conceptual design stage to the construction and maintenance. A Building Information Model (BIM) serves as a shared knowledge resource for information about a facility forming a reliable basis for decisions during its life-cycle from inception onward. BIM technology accomplished quantitative development being utilized in various disciplines. However, it is necessary to develop environment and requirement for qualitative improvement of BIM based project. Particularly, requirement is very important for architectural design evaluations. The purpose of this study is to develop and apply of quality control check-list for improving the quality of architectural design in BIM environments. To achieve this purpose, the authors have investigated case study for open BIM data quality control (software, guideline and application case) and classified quality control targets according to physical/logical quality control and data quality. In addition, the authors have defined open BIM based quality control process and developed quality control check-list. Finally, the authors have developed automatic quality check system using requirements for efficient quality control based on open BIM.

건축공간에서 공기 감염균 확산을 해석하기 위한 추적가스 고찰과 농도에 따른 감염 위험성 예측 연구 (A Inquiry of Tracer Gas for Analysis of Dispersion and Prediction of Infection Possibility according to Airborne Viral Contaminants)

  • 임태섭;강승모;김병선
    • 한국실내디자인학회논문집
    • /
    • 제18권3호
    • /
    • pp.102-113
    • /
    • 2009
  • The SARS virus began to appear and spread in North America and Southeast Asia in the early 2000' s, infecting and harming many people. In the process of examining the causes for the virus, studies on the airborne SARS virus and the way it spread were carried out mainly in the medical field. In the field of architecture, studies were done on the diffusion of air pollutants in buildings using gases such as $CO_2$, $N_2O$, or $SF_6$, but research on virus diffusion was limited. There were also explanations of only the diffusion process without accurate information and discussion on virus characteristics. The aim of this study is to analyze the physical characteristics of airborne virus, consider the possibility of using coupled analysis model and tracer gas for analyzing virus diffusion in building space and, based on reports of how the infection spread in a hospital where SARS patients were discovered, analyze infection risk using tracer gas density and also diffusion patterns according to the location, shape, and volume of supply diffusers and exhaust grilles. This paper can provide standards and logical principles for evaluating various alternatives for making decisions on vertical or horizontal ward placement, air supply and exhaust installation and air volumes in medium or high story medical facilities.

지능적 정보처리를 위한 퍼지추론기관의 구축 (Development of Fuzzy Inference Mechanism for Intelligent Data and Information Processing)

  • 송영배
    • Spatial Information Research
    • /
    • 제7권2호
    • /
    • pp.191-207
    • /
    • 1999
  • 공간과 관련된 의사결정문제 해결에 필요한 취득가능한 자료나 정보는 불완전하거나 부정확하며, 많은 부분 자연산어(natural language)로 기술되어 있다. 이 같은 정보들을 컴퓨터를 이용하여 처리하기 위해서는 결국 컴퓨터로 하여금 인간이 사용하는 자연어를 이해할 수 있도록 애매한 특성의 언어값(Linguistic value)을 정량적으로 기술할 필요가 있다. 이를 위해 퍼지집합(fuzzy set) 이론을 퍼지논리(fuzzy logic)가 대표적인 방법론으로 이용되고 있다. 본 논문에서는 부정확하거나 불명확한 자료 및 정보를 기반으로 의사결정문제를 지능적으로 처리하기위해 사용자가 가장 이해하기 쉬운 자연어로 『언어모델』을 구축하고, 평가사안이나 의사결정문제가 불명확하게 서술될 경우 컴퓨터를 이용한 구조화 및 추론을 통한 문제해결이 가능하도록 퍼지추론기관구축을 위한 일련의 논리적 개념과 구축과정을 연구하였다.

  • PDF

Statistical Prediction of Wake Fields on Propeller Plane by Neural Network using Back-Propagation

  • Hwangbo, Seungmyun;Shin, Hyunjoon
    • Journal of Ship and Ocean Technology
    • /
    • 제4권3호
    • /
    • pp.1-12
    • /
    • 2000
  • A number of numerical methods like Computational Fluid Dynamics(CFD) have been developed to predict the flow fields of a vessel but the present study is developed to infer the wake fields on propeller plane by Statistical Fluid Dynamics(SFD) approach which is emerging as a new technique over a wide range of industrial fields nowadays. Neural network is well known as one prospective representative of the SFD tool and is widely applied even in the engineering fields. Further to its stable and effective system structure, generalization of input training patterns into different classification or categorization in training can offer more systematic treatments of input part and more reliable result. Because neural network has an ability to learn the knowledge through the external information, it is not necessary to use logical programming and it can flexibly handle the incomplete information which is not easy to make a definition clear. Three dimensional stern hull forms and nominal wake values from a model test are structured as processing elements of input and output layer respectively and a neural network is trained by the back-propagation method. The inferred results show similar figures to the experimental wake distribution.

  • PDF

공연예술기록의 정리와 기술에 관한 담론 - 출처중심주의와 원질서 유지의 원칙을 중심으로 - (A Discourse on the Arrangement and Description of Performing Arts Records: Focusing on the Principle of Respect for Provenance and Retention of the Original Order)

  • 이호신
    • 한국기록관리학회지
    • /
    • 제16권1호
    • /
    • pp.151-174
    • /
    • 2016
  • 공연예술은 상이한 역할을 담당하는 사람들의 집합적인 참여에 의해서 이루어지는 종합예술로, 다차원적인 맥락을 가지고 있다. 공연예술기록의 정리와 기술 과정에서 반드시 표현이 되어야 하는 맥락을 작품과 공연기획의 관계, 공연기획과 개별공연의 관계, 공연과 생산자의 관계, 기록과 기록의 관계, 공연과 기록의 관계로 상세하게 분석하고, 이러한 맥락을 논리적으로 표현하기 위한 방법론으로 각 요소별 관계 구성에 의한 계층형 구조를 제안하였고, 기록의 내적 관계를 표현하기 위한 기록정리의 계열화 모형을 제안하였다.

Two-Phase Flow Field Simulation of Horizontal Steam Generators

  • Rabiee, Ataollah;Kamalinia, Amir Hossein;Hadad, Kamal
    • Nuclear Engineering and Technology
    • /
    • 제49권1호
    • /
    • pp.92-102
    • /
    • 2017
  • The analysis of steam generators as an interface between primary and secondary circuits in light water nuclear power plants is crucial in terms of safety and design issues. VVER-1000 nuclear power plants use horizontal steam generators which demand a detailed thermal hydraulics investigation in order to predict their behavior during normal and transient operational conditions. Two phase flow field simulation on adjacent tube bundles is important in obtaining logical numerical results. However, the complexity of the tube bundles, due to geometry and arrangement, makes it complicated. Employment of porous media is suggested to simplify numerical modeling. This study presents the use of porous media to simulate the tube bundles within a general-purpose computational fluid dynamics code. Solved governing equations are generalized phase continuity, momentum, and energy equations. Boundary conditions, as one of the main challenges in this numerical analysis, are optimized. The model has been verified and tuned by simple two-dimensional geometry. It is shown that the obtained vapor volume fraction near the cold and hot collectors predict the experimental results more accurately than in previous studies.

THE WATERSHED MANAGEMENT AND ASSESSMENT USING GIS BASED ON HYDROLOGICAL AND LANDSCAPE ECOLOGICAL ANALYSIS

  • Lee, Ju-Young;Hopkins, James
    • Water Engineering Research
    • /
    • 제7권1호
    • /
    • pp.9-20
    • /
    • 2006
  • The watersheds are functional geographical areas that integrate a variety of environmental and ecological processes and human impacts on landscapes. Geographical assessments using GIS recognize the relationship between interdependence of resources and ecological/environmental components in watersheds. They are useful methodology for viable long term natural resource management. This paper performs through the using hydrological analyses, landscape ecological analyses, remote sensing, and GIS. Indicators are items or measures that represent key components of the small watersheds, and they are developed to be evaluated. Some indicators are described that they represent watershed condition and trend as well as focus on physical, biological and chemical properties of small watershed. Also, ecological functions such as stability, resilience, and sensitivity are inferred from them. The model implemented in GIS allows to reflect the ecological and hydrological functioning of watershed. Methodology from image analysis, landscape ecological analysis, spatial interpolation, and numerical process modeling are integrated within GIS to provide assessment for eco-logical/environmental condition. Results are described from the small watershed of Gwynns Falls in Baltimore County and Baltimore City, Maryland, an area of about 66.5 square miles. The small watershed within Gwynns Falls watershed are subject to a number of land-use. But it is predominantly urban, with significantly lesser amounts of forest and agriculture. The increasing urbanization is ass-coiated with ecological/environmental impacts and citizen conflicts.

  • PDF