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

검색결과 2,661건 처리시간 0.025초

초등학교 '읽기' 교과서의 철학교육적 접근 (A Study of Philosophical Thinking Methods in Elementary School "Reading" Textbooks)

  • 박소연;정대련
    • 아동학회지
    • /
    • 제19권2호
    • /
    • pp.201-215
    • /
    • 1998
  • This study analyzed the contents of "Reading" textbooks for 1st-6th grades. The focus of the analysis was on philosophical thinking methods designed to help children to think for themselves. Following the analysis, methods were designed for the application of effective use of Philosophy in the elementary school curriculum. Analysis of works of children's literature in "reading" textbooks show patterns of logical, ethical and creative thinking. Therefore, "reading" textbooks can be used to help children to think philosophically. Five stages of discussion can be applied in the classroom; these are: establish the issues, outline the process of discussion, discuss the issues, evaluate and summarize the discussion, apply the learning to other subjects. Teachers can use philosophical thinking methods to improve the quality and quantity of instruction with various questions, having children express their opinions, interpreting their thoughts clearly, maintaining logical consistency, and evaluating the procedures and results of discussion. These methods can be used in the teaching-learning process in the elementary school to develop rich findings and meaningful communication.

  • PDF

국민학교 저학년 아동을 위한 과학놀이 활동자료 개발연구 (The Materials of the play Activities for the Lowor Grades in the Elementary School)

  • 김현재;정은주
    • 한국과학교육학회지
    • /
    • 제5권2호
    • /
    • pp.113-137
    • /
    • 1985
  • It is the purpose of this study that is to develop the materials of the Scientific activities by the medium of "play" having influence on the growth of the lower grades in elementary school. For the sake of this object, this study develops and presents the materials of tile basic logical thinking play and sense-thinking play activities. And it analyzes the degree that they can be applied to the elementary science textbook of nature current now. As a result this provides 39 of materials of the sense-play and 23 of materials of the logical thinking play activities. And then, if the materials presented here are changed adequatly and have the same main subject as contents of the present textbook, we shall be able to utilize them for the textbook of nature.

  • PDF

양기준 선호모형: 비 정형적 자료검색을 위한 의사결정 모형 (Double Anchors Preference Model (DAPM) : A Decision Model for Non-binary Data Retrieval)

  • 이춘열
    • Asia pacific journal of information systems
    • /
    • 제2권1호
    • /
    • pp.3-15
    • /
    • 1992
  • This paper proposes a new referential model for data retrieval as an alternative to exact matching. While exact matching is an effective data retrieval model, it is based on fairly strict assumptions and limits our capabilities in data retrieval. This study redefines data retrieval to include non-binary data retrieval in addition to binary data retrieval, proposes Double Anchor Preference Model (DAPM), and analyzes its logical charateristics. DAPM supports non-binary data retrieval. Further, it produces the same result as exact matching for the conventional binary data retrieval. These findings show that, at the logical level, the proposed DAPM retains all the desirable features for data retrieval.

  • PDF

반복 조인(Join)을 이용한 관계형 논리 부품구성표(BOM) 데이타 베이스 설계와 그 효용성 분석 (Design and Effectiveness Analysis of Relational Logical BOM (Bill Of Material) Database using Repeated Join)

  • 이경우;정기원
    • Asia pacific journal of information systems
    • /
    • 제2권1호
    • /
    • pp.57-76
    • /
    • 1992
  • Material Requirement Planning(MRP) has been the most widely implemented large scale production management system in the manufacturing industry. Computerization of MRP systems involves, in general, Bill Of Material(BOM) explosion algolithms which usually takes heavy computation time. In order to improve the effectiveness of the MRP systems, we propose to build a logical BOM database in advance, which reflects the Join operations for the BOM explosion. It reduces the response time for the BOM indented explosion. It reduces the MRP processing time. It also increased main memory utilization.

  • PDF

영상처리기법을 이용한 유기 EL용 ITO 코팅 유리의 표면결함 검출 알고리즘 개발 (Development of detection algorithm of the defected in the surface for ITO coated glass using image processing technique)

  • 김면희;박세홍;이상룡;김관수
    • 대한기계학회:학술대회논문집
    • /
    • 대한기계학회 2003년도 춘계학술대회
    • /
    • pp.1173-1178
    • /
    • 2003
  • Recently, Organic EL(Electro Luminescence) is interested in Flat Panel Display(FPD) department of new generation. This paper describes a image processing algorithm for the scratch detecting for ITO coated glass. We use the logical level thresholding method for binarization of gray-scaled glass image. This method is useful to the algorithm for detecting scratch of ITO coated glass automatically without need of any prior information of manual fine tuning of parameters.

  • PDF

분산 테이타베이스를 위한 양식을 이용한 분산 설계 방법론 (A Form Based Distribution Design Methodology for Distributed Databases)

  • 이희석;김희진;김영삼
    • Asia pacific journal of information systems
    • /
    • 제5권2호
    • /
    • pp.101-129
    • /
    • 1995
  • This paper proposes a form-based distributed database design methodology ($FD^3$). The methodology consists of five design phases such as (i) form requirement analysis (ii) schema integration (iii) distribution analysis (iv) distribution design, and (v) local logical/physical design. In the $FD^3$, all the important design information for each phase is obtained by using an organizations forms, Users requirements are analyzed by using forms that contain logical and quantitative information for distribution design. $FD^3$ resolves naming conflicts by employing SQLs based on the form field data in the schema integration phase. Furthermore, $FD^3$ enhances the quality of distributed database design by incorporating communication costs into the design model. A real-life case is illustrated to demonstrate the usefulness of the $FD^3$.

  • PDF

독립 공리를 이용한 구조 최적화 방법론 개발 (A Structural Optimization Methodology Using the Independence Axiom)

  • 이광원;박경진
    • 대한기계학회논문집A
    • /
    • 제24권10호
    • /
    • pp.2438-2450
    • /
    • 2000
  • The Design Axioms provide a general framework for design methodologies. The axiomatic design framework has been successfully applied to various design tasks. However, the axiomatic design has been rarely utilized in the detailed design process of structures where the optimization technology is generally carried out. The relationship between the axiomatic design and the optimization is investigated and Logical Decomposition method is developed for a systematic structural optimization. The entire optimization process is decomposed to satisfy the Independence Axiom. In the decomposition process, design variables are grouped according to sensitivities. The sensitivities are evaluated by the Analysis of Variance(ANOVA) to avoid considering only local values. The developed method is verified through examples such as the twenty -five members transmission tower and the two -bay-six-story frame.

4K 미디어중심 협업의료 논리그룹망 모델 연구 (4K Media based Cooperative Medical Group Model on Logical Group Network)

  • 노민기;박병연;김동균;이원혁;길준민
    • 대한임베디드공학회논문지
    • /
    • 제10권1호
    • /
    • pp.25-31
    • /
    • 2015
  • The quality of medical treatment can be promoted by transmitting high-definition medical images and sharing these images. The high speed transmission network is a requirement for the ultra high-definition media. A high quality medical research and education can be provided by connecting resources and media-data through the superhigh speed research network. Network bandwidth for 4K media transmission generated with Lambda network technology.

Fault diagnosis of logical circuit by use of correlation and neural network

  • Kashiwagi, Hiroshi;Sakata, Masato
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 19-21 Oct. 1992
    • /
    • pp.569-572
    • /
    • 1992
  • This paper describes a new method of pseudorandom testing of a digital circuit by use of correlation method and a neural network. The authors have recently proposed a new method of fault diagnosis of logical circuit by applying a pseudorandom M-sequence to the circuit under test, calculating the crosscorrelation function between the input and the output, and comparing the crosscorrelation functions with the references. This method, called MSEC method, is further extended by using a neural network in order to not only detect the existence of faults but also find the place or location of the faults. An experiment by using a simple digital circuit shows enough applicability of this method to industrial testing of circuit board.

  • PDF

INPUT GROUPING OF LIGICAL CIRCUIT BY USE OF M-SEQUENCE CORRELATION

  • Miyata, Chikara;Kashiwagi, Hiroshi
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1995년도 Proceedings of the Korea Automation Control Conference, 10th (KACC); Seoul, Korea; 23-25 Oct. 1995
    • /
    • pp.146-149
    • /
    • 1995
  • A new method for grouping of relevant and equivalent inputs of a logical circuit was proposed by the authors by making use of pseudorandom M-sequence correlation. The authors show in this paper that it is possible to estimate the input grouping from a part of correlation functions when we admit small percentage of error, whereas it is impossible to reduce the data necessary to estimate the grouping by use of the truth table method. For example in case of 30-input logic circuit, the number of correlation functions necessary to calculate can be reducible from 1.07 * 10$^{9}$ to 465.

  • PDF