• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.7
• /
• pp.81-88
• /
• 2002

A new pattern generator of BIST based on the pattern clustering is developed. The proposed technique embeds a pre-computed deterministic test set with low hardware overhead for test-per-clock environments. The test control logic is simple and can be synthesized automatically. Experimental results for the ISCAS benchmark circuits show that the effectiveness of the new pattern generator compared to the previous methods.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.7
• /
• pp.848-854
• /
• 1999

In this paper, we designed and implemented a precise pulse motor controller chip that generates the pulse needed to control step motor, DC servo and AC servo motors. This chip generates maximum pulse output rate of 5Mpps and has the quasi-S driving capability and speed and moving distance override capability during driving. We designed this chip with VHDL and executed a logic simulation and synthesis using Synopsys tool. The pre-layout simulation and post-layout simulation was executed by Compass tool. This chip was produced with 100 pins, PQFP package by 0.8${\mu}{\textrm}{m}$ gate array process and implemented by completely digital logic. We developed the test hardware board of performance and the CAMC(Computer Aided Motor Controller) Agent softwate to test the performance of the pulse motor controller chip produced. CAMC Agent enables user to set parameters needed to control motor with easy GUI(Graphic User Interface) environment and to display the output response of motor graphically.

• Korean Journal of Logic
• /
• v.14 no.1
• /
• pp.1-23
• /
• 2011

I take the position of the thirders on the sleeping beauty problem like Elga and criticize Lewisian halfers. In particular, I attack Franceschi's recent arguments for the halfers. In addition, I claim that Bostrom's and Kim's hybrid view is not satisfactory, because it is to pre-empt or to take the burden of proof that the problem is the genuine paradox. Consequently, the purpose of this paper is to show that the thirders' argument is more intuitive than others and what the fallacies of the halfer's arguments are.

• Communications of Mathematical Education
• /
• v.32 no.3
• /
• pp.297-314
• /
• 2018

This article aims at providing implication for teacher preparation program through interpreting pre-service teachers' knowledge by using Shulman-Fischbein framework. Shulman-Fischbein framework combines two dimensions (SMK and PCK) from Shulman with three components of mathematical knowledge (algorithmic, formal, and intuitive) from Fischbein, which results in six cells about teachers' knowledge (mathematical algorithmic-, formal-, intuitive- SMK and mathematical algorithmic-, formal-, intuitive- PCK). To accomplish the purpose, five pre-service teachers participated in this research and they performed a series of tasks that were designed to investigate their SMK and PCK with regard to students' misconception in the area of geometry. The analysis revealed that pre-service teachers had fairly strong SMK in that they could solve the problems of tasks and suggest prerequisite knowledge to solve the problems. They tended to emphasize formal aspect of mathematics, especially logic, mathematical rigor, rather than algorithmic and intuitive knowledge. When they analyzed students' misconception, pre-service teachers did not deeply consider the levels of students' thinking in that they asked 4-6 grade students to show abstract and formal thinking. When they suggested instructional strategies to correct students' misconception, pre-service teachers provided superficial answers. In order to enhance their knowledge of students, these findings imply that pre-service teachers need to be provided with opportunity to investigate students' conception and misconception.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.474-478
• /
• 1998

This paper proposes a method which can resolve the problem of exisiting fuzzy PI controller using optimal scaling gains obtained by genetic algorithm. The new method adapt a fuzzy logic controller as a high level controller to perform scaling gain algorithm between two pre-determined sets.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.769-772
• /
• 1998

This paper present an efficient techniques for visual inspection of taped electronic parts, suitable for real time implementation. The main environments of developed system are IBM-compatible personal computer, frame grabber, digital input-output board. It is connected to the programmable logic controller unit of the taping machine in real time. Using a queuing structure, operator or extractor machine can remove easily the defect one from production line. Also, we design a new illumination system for sacquring shape and subface features of object. Therefore, it redue pre-processing step and processing time.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.10 no.1
• /
• pp.1-6
• /
• 2010

The notion of $\star$-Externally disconnected fuzzy ideal topological spaces is introduced and studied. Many characterizations of the space are obtained.

• Proceedings of the KIEE Conference
• /
• 1998.07g
• /
• pp.2268-2271
• /
• 1998

This paper proposes a method which can resolve the problem of existing fuzzy Pl controller using optimal scaling gains obtained by genetic algorithm. The new method adapt a fuzzy logic controller as a high level controller to perform scaling gain algorithm between two pre-determined sets.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.2
• /
• pp.324-334
• /
• 2017

The simulators for a plant unit master control (UMC) developed by domestic or overseas researchers have been developed for operator-training purposes. UMC simulators normally constructed at the end of the plant construction, despite the UMC logics, should be simulated to pre-check many signal interfaces within the power generation systems. Because of the differences in construction schedule, it is difficult for logic designers or commissioning engineers to simulate the UMC logic during the design or commissioning stage. In this background, this paper proposes a simulation method that can be used easily by plant logic designers or operators in the MATLAB Simulink programming environment. The core of the UMC is realized with a unique simulation algorithm based on mathematical analysis and functional blocks combination. In addition, an integer-based configuration was proposed to realize the plant target value control for the equipment in the logic. With these simulation methods, functions, e.g., load distribution, high-low limitations, frequency compensation, etc. were simulated. The results showed that the plant UMC logic can be simulated in Simulink without a plant simulator. The various functions proposed in this paper can provide useful information about Simulink-based simulation design for plant logic designers or commissioning engineers during the power plant construction period.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.14 no.2
• /
• pp.198-201
• /
• 2014

The phase frequency detector (PFD) is one of the most important building blocks of a phase locked Loop (PLL). Due to blind-zone problem, the detection range of the PFD is low. The blind zone of a PFD directly depends upon the reset time of the PFD and the pre-charge time of the internal nodes of the PFD. Taking these two parameters into consideration, a PFD is designed to achieve a small blind zone closer to the limit imposed by process-voltage-temperature variations. In this paper an enhanced architecture is proposed for dynamic logic PFD to minimize the blind-zone problem. The techniques used are inverter sizing, transistor reordering and use of pre-charge transistors. The PFD is implemented in 180 nm technology with supply voltage of 1.8 V.