• Journal of the Semiconductor & Display Technology
• /
• v.2 no.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.

• Proceedings of the Safety Management and Science Conference
• /
• 2011.11a
• /
• 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
• /
• v.19 no.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.

• Korean Journal of Logic
• /
• v.5 no.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.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• 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.

• Korean Journal of Child Studies
• /
• v.29 no.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.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.7 no.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.

• Journal of Korea Multimedia Society
• /
• v.4 no.2
• /
• pp.189-196
• /
• 2001

Fuzzy logic ignores some information in the reasoning process. Neural networks are powerful tools for the pattern processing, but, not appropriate for the logical reasoning. To model human knowledge, besides pattern processing capability, the logical reasoning capability is equally important. Another new neural network called neural logic network is able to do the logical reasoning. Because the fuzzy inference is a fuzzy logical reasoning, we construct fuzzy inference network based on the neural logic network, extending the existing rule - inference network. and the traditional propagation rule is modified.

• Journal of Engineering Education Research
• /
• v.16 no.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).

• Journal of Satellite, Information and Communications
• /
• v.7 no.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.