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

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

개선된 하드웨어 산술연산기 구성 (A Construction of the Improved Hardware Arithmetic Operation Unit)

  • 박춘명
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2015년도 추계학술대회
    • /
    • pp.1023-1024
    • /
    • 2015
  • 본 논문에서는 Galois체에 기초를 둔 고효율 산술연산기 구성에 관한 한가지 방법을 제안하였다. 제안한 연산기는 기존의 방법에 비해 좀 더 규칙적이고 확장성이 용이한 이점이 있으며, 또한, 각종 멀티미디어 하드웨어 구성시의 기본인 연산기로 적용 및 응용할 수 있다. 향 후 연구과제로는 좀 더 콤팩트하고 효과적인 산술연산 알고리즘의 도출이 필요하며, 이에 논리연산기를 접목하여 산술연산 및 논리연산을 수행하는 연산전용 프로세서의 개발이 필요하다.

  • PDF

An Introduction to the Edumatrix Set and Its Didactic Capabilities

  • Semenov, Mikhail;Colen, Yong S.;Colen, Jung;Pardala, Antony
    • 한국수학교육학회지시리즈D:수학교육연구
    • /
    • 제23권1호
    • /
    • pp.47-62
    • /
    • 2020
  • Learning through "recreational mathematics" has become a meaningful outlet to children of all ages. The Edumatrix set is a didactic tool for the development of logical and abstract reasoning among students. In this paper, we provide several illustrative exercises involving Edumatrix that teachers can utilize in their classrooms. We formulate students' expected learning outcomes by aligning each exercise to the CCSSM content standards as well as examining which Standards for Mathematical Practices (SMP) our proposed exercises promote.

Cabri II를 활용한 도형의 교수-학습 방안 - 반힐이론을 중심으로 - (A Teaching-Learning Method of Figures Using Cabri II - Focused on the theory of van Hiele -)

  • 최수정;표용수
    • 대한수학교육학회지:학교수학
    • /
    • 제2권1호
    • /
    • pp.165-181
    • /
    • 2000
  • The teaching-learning methods of figures using computers make loose the difficulties of geometry education from the viewpoint that the abstract figures can be visualized and that by means of this visualization the learning can be accomplished through the direct experience or control. In this thesis, we present a teaching-learning method of figures using Cabri II so that the learners establish their knowledge obtained through their search, investigation, supposition and they accomplish the positive transition to advanced 1earning. So the learners extend their ability of sensuous intuition to their ability of logical reasoning through their logical intuition.

  • PDF

A Clustered Dwarf Structure to Speed up Queries on Data Cubes

  • Bao, Yubin;Leng, Fangling;Wang, Daling;Yu, Ge
    • Journal of Computing Science and Engineering
    • /
    • 제1권2호
    • /
    • pp.195-210
    • /
    • 2007
  • Dwarf is a highly compressed structure, which compresses the cube by eliminating the semantic redundancies while computing a data cube. Although it has high compression ratio, Dwarf is slower in querying and more difficult in updating due to its structure characteristics. We all know that the original intention of data cube is to speed up the query performance, so we propose two novel clustering methods for query optimization: the recursion clustering method which clusters the nodes in a recursive manner to speed up point queries and the hierarchical clustering method which clusters the nodes of the same dimension to speed up range queries. To facilitate the implementation, we design a partition strategy and a logical clustering mechanism. Experimental results show our methods can effectively improve the query performance on data cubes, and the recursion clustering method is suitable for both point queries and range queries.

다중 패싯값과 다중 패싯을 위한 컴포넌트의 효율적인 검색 방법 (An efficient Component Retrieval Scheme for multiple facet values and multiple facets)

  • 금영욱
    • 한국컴퓨터정보학회논문지
    • /
    • 제7권3호
    • /
    • pp.16-22
    • /
    • 2002
  • 컴포넌트의 효율적인 검색은 컴포넌트에 기반한 소프트웨어 개발에 필수적이다. 패싯 방식은 컴포넌트 검색 방법의 하나로 많은 연구의 대상이다. 이 논문에서 여러 개의 패싯값에 대한 논리 부정 검색에 사용되는 가중치 신경 접속 행렬을 효율적으로 만드는 새로운 알고리즘을 제안한다. 이 알고리즘을 사용하여 연산에 드는 복잡도를 향상할 수 있다. 또한 여러 개의 서로 다른 패싯을 사용하는 경우 이에 대한 논리적인 검색이 가능하도록 새로운 연산 방법을 제안하다.

  • PDF

창의적 문제해결능력 신장을 위한 알고리즘 기반 학습 콘텐츠 개발 (Development of an Algorithm-Based Learning Content for Improve in Creative Problem-Solving Abilities)

  • 김은길;현동림;김종훈
    • 수산해양교육연구
    • /
    • 제23권1호
    • /
    • pp.105-115
    • /
    • 2011
  • Education is focused on how to nurture creative problem-solving skills talent in rapidly changing information society. The algorithm education of computer science is effective in improvement of students' logical thinking and problem solving capability. However, the algorithm education is very difficult to teach in elementary students level. Because it is difficult to understand abstract characteristic of algorithm. Therefore we developed educational contents based on the principle of the algorithm for improve students' logical thinking and problem-solving capability in this study. And educational contents contain interesting elements of the game. So, students will be interested in algorithm learning and participate actively through developed educational contents. Furthermore, students' creative problem-solving capability may improve through algorithm learning.

Development of logical structure for multi-unit probabilistic safety assessment

  • Lim, Ho-Gon;Kim, Dong-San;Han, Sang Hoon;Yang, Joon Eon
    • Nuclear Engineering and Technology
    • /
    • 제50권8호
    • /
    • pp.1210-1216
    • /
    • 2018
  • Site or multi-unit (MU) risk assessment has been a major issue in the field of nuclear safety study since the Fukushima accident in 2011. There have been few methods or experiences for MU risk assessment because the Fukushima accident was the first real MU accident and before the accident, there was little expectation of the possibility that an MU accident will occur. In addition to the lack of experience of MU risk assessment, since an MU nuclear power plant site is usually very complex to analyze as a whole, it was considered that a systematic method such as probabilistic safety assessment (PSA) is difficult to apply to MU risk assessment. This paper proposes a new MU risk assessment methodology by using the conventional PSA methodology which is widely used in nuclear power plant risk assessment. The logical failure structure of a site with multiple units is suggested from the definition of site risk, and a decomposition method is applied to identify specific MU failure scenarios.

결함허용 양자컴퓨팅 시스템 기술 연구개발 동향 (Technology Trends of Fault-tolerant Quantum Computing)

  • 황용수;김태완;백충헌;조성운;김홍석;최병수
    • 전자통신동향분석
    • /
    • 제37권2호
    • /
    • pp.1-10
    • /
    • 2022
  • Similar to present computers, quantum computers comprise quantum bits (qubits) and an operating system. However, because the quantum states are fragile, we need to correct quantum errors using entangled physical qubits with quantum error correction (QEC) codes. The combination of entangled physical qubits with a QEC protocol and its computational model are called a logical qubit and fault-tolerant quantum computation, respectively. Thus, QEC is the heart of fault-tolerant quantum computing and overcomes the limitations of noisy intermediate-scale quantum computing. Therefore, in this study, we briefly survey the status of QEC codes and the physical implementation of logical qubit over various qubit technologies. In summary, we emphasize 1) the error threshold value of a quantum system depends on the configurations and 2) therefore, we cannot set only any specific theoretical and/or physical experiment suggestion.

Confidential Convergecast Based on Random Linear Network Coding for the Multi-hop Wireless Sensor Network

  • Davaabayar Ganchimeg;Sanghyun Ahn;Minyeong Gong
    • Journal of Information Processing Systems
    • /
    • 제20권2호
    • /
    • pp.252-262
    • /
    • 2024
  • The multi-hop wireless sensor network (WSN) suffers from energy limitation and eavesdropping attacks. We propose a simple and energy-efficient convergecast mechanism using inter-flow random linear network coding that can provide confidentiality to the multi-hop WSN. Our scheme consists of two steps, constructing a logical tree of sensor nodes rooted at the sink node, with using the Bloom filter, and transmitting sensory data encoded by sensor nodes along the logical tree upward to the sink where the encoded data are decoded according to our proposed multi-hop network coding (MHNC) mechanism. We conducted simulations using OMNET++ CASTALIA-3.3 framework and validated that MHNC outperforms the conventional mechanism in terms of packet delivery ratio, data delivery time and energy efficiency.