• 반도체디스플레이기술학회지
• /
• 제2권4호
• /
• pp.1-7
• /
• 2003

In this paper, we design the pattern generator circuits using PLDs(Programmable Logic Devices). The pattern generator is the circuit which generates the test pattern signal for the inspection of logical defects of semiconductor products. The proposed circuits are designed by the PLD design tool(MAX+ II of ALTERA). Also the designed circuits are simulated for the verification of the designed ones. The simulation results have a good performance.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2011년도 추계학술대회
• /
• pp.219-224
• /
• 2011

The research reviews the logical approach based on the creative thoughts. The two logical approaches, including deductive convergent and inductive divergent are discussed with why-why techniques and how-how techniques. While the deductive thinking is vertical logic for interconnected hierarchical and deep domains, the inducive thinking is horizontal logic for mutually exclusive and collectively exhausted frameworks. The creative thinking comes from the reversing the logic and lessening the premise of convergent and divergent approaches.

• Journal of the Korean Data and Information Science Society
• /
• 제19권4호
• /
• pp.1101-1110
• /
• 2008

The present paper investigates about the formation of the logical thinking and the intuitive thinking in mathematical concepts with reference to secondary talented students (students aged 16$\sim$17 years). As a main result, we conclude that their preference between the logical and the intuitive thinking does not related to the distinction of the school level and sex, while their consistence between them relates.

• 논리연구
• /
• 제5권2호
• /
• pp.1-21
• /
• 2002

A semantics for logical necessity, based on Carnap's criterion of adequacy, is given with respect to the ontology of logical atomism. A calculus for sentential (propositional) modal logic is described and shown to be complete with respect to this semantics. The semantics is then modified in terms of a restricted notion of 'all possible worlds' in the interpretation of necessity and shown to yield a completeness theorem for the modal logic S5. Such a restricted notion introduces material content into the meaning of necessity so that, in addition to atomic facts, there are "modal facts" that distinguish one world from another.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
• /
• pp.2726-2730
• /
• 2011

This paper proposes a CBTC wayside signaling system, which redeems existing track-circuit-based ones by using movement authorities mixed with logical block and moving block. Only one train can be entered into the logical block or the route for existing wayside signaling system. Applying moving block for CBTC system enables the train to get nearer to the preceding one, because its protection mechanism uses train's safe boundary, not fixed block unit. By narrowing the existing route set to switch machine and applying the moving block beyond that area, more than one train can enter into one route area. This paper shows that the efficient train control, i.e. shortening the headway, is possible using the moving block mixed with logical block in wayside signaling system.

• 아동학회지
• /
• 제29권1호
• /
• pp.15-32
• /
• 2008

The logical and mathematical thinking of 1- to 3-year-olds was studied by age groups at 6 month intervals; logical-mathematical thinking was examined by the two physical knowledge activities of cylinder rolling and making a slope. Results showed that in their early 1st year infants failed in both tasks. Infants in their late 2nd year showed understanding of 'rolling things' and 'non-rolling things' by comparing cylinders and cubes in the cylinder rolling activity and they showed 'spatial inference' by adjusting the position and direction of the cylinder so that the cylinder could roll properly and by adjusting the board on a block in the slope making activity. Three-year-old children rolled a cylinder and made a slope without difficulty.

• 대한임베디드공학회논문지
• /
• 제7권6호
• /
• pp.345-351
• /
• 2012

In traditional target-based data deduplication system, all of the files should be chunked and compared for reducing duplicated data blocks. One of the critical problem of this system arises as the number of files are increasing. The system suffers from computational delay for calculating hash value and processing metadata for handling each file. To overcome this problem, in this paper, we propose a novel data deduplication system using logical partition of storage system. The system applies data deduplication scheme to each logical partition not each file. Experiment result shows that the proposed system is more efficient compared with traditional deduplication scheme where the logical partition is full of files by 50% in terms of deduplication capacity and processing time.

• 한국멀티미디어학회논문지
• /
• 제4권2호
• /
• pp.189-196
• /
• 2001

퍼지 논리의 추론과정에서 일부의 정보가 무시되어 적절하지 못한 추론 결과를 초래 할 수 있다. 한편 신경망은 패턴 처리에는 적합하지만 인간의 지식을 모델링하기 위해서 필요한 논리적인 추론에는 부적합하다. 그러나 신경망의 변형인 신경 논리망을 이용하면 논리적인 추론이 가능하다. 따라서 본 논문에서는 기존의 신경 논리망을 기반으로 하는 추론네트워크를 확장하여 퍼지 추론 네트워크를 구성한다. 그리고 기존의 추론 네트워크에서 사용되는 전파규칙을 보완하여 적용한다. 퍼지 추론 네트워크상에서 퍼지 규칙의 실행부에 해당하는 명제의 믿음 값을 결정하기 위해서는 추론하고자 하는 명제에 연결된 노드들을 탐색해야 한다.

• 공학교육연구
• /
• 제16권6호
• /
• pp.3-10
• /
• 2013

The purpose of this study is to design the instructional model to develop logical thinking competency of engineering students and to investigate the effect of the model. The instructional model is composed of the virtual context (films were provided), problem solving, feedback, another problem solving with different perspectives, feedback. The process is looped. The results showed statistically significant improvements between pre- and post-test. The first standardized test of critical thinking showed the improvement from pre-test to post-test (d=0.646). The second test of logical thinking showed the improvement from pre-test to mid-term test (d=0.753) and improvement from mid-term to post-test (d=1.529).

• 한국위성정보통신학회논문지
• /
• 제7권3호
• /
• pp.47-53
• /
• 2012

In this paper, we present an algorithm called redundant logical paths (RLP) for efficient HSR traffic reduction. It creates redundant logical paths between each HSR node and all the other nodes. Eventually, a logical full-meshed network or paths will be established among all HSR node types, except the Quadbox type, which is used only for interconnection. The logical full-meshed network will be used instead of using the standard HSR protocol that depends on the concepts of the duplication and forwarding of the received frame until it reaches the destination node. The RLP algorithm results in significantly less frame traffic because there is no random forwarding as in the standard HSR protocol. For the sample network in this paper simulation results showed a 61.5-80% reduction in network frame traffic compared to the standard HSR. Our algorithm will avoid latency issues in the network and even network congestion, thus improving network efficiency.