• Journal of Astronomy and Space Sciences
• /
• 제11권1호
• /
• pp.41-52
• /
• 1994

Currently, the CCDs are widely used in astronomical observations either in direct imaging use or spectroscopic mode. However according to the recent technical advances, new large format CCDs are rapidly developed which have better performances with higher quantum efficiency and sensitivity. In many cases, some microprocessors have been adopted to deal with necessary digital logic for a CCD imaging system. This could often lack the flexibility of a system for a user for to upgrade with new devices, especially if it is a commercial product. A new design concept has been explored which could provide the opportunity to deal with any format of devices from any manufactures effectively for as tronomical purposes. Recently available PLD (Programmable Logic Devices)technology makes it possible to develop such digital circuit design, which can be integrated into a single component, instead of using micrprocessors. The design concept could dramatically increase the efficiency and flexibility of a CCD imaging system, particularly when new or large format devices are available and to upgrade the performance of a system. Some variable system control parameters can be selected by a user with a wider range of choice. The software can support such functional requirements very conveniently. This approach can be applied not only to astronomical purpose, but also to some related fields, such as remote sensing and industrial applications.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• 제47권2호
• /
• pp.51-59
• /
• 2010

Two logic transformations, De Morgan and re-substitution, are sufficient to convert a unate gate network (UGN) to a more general balanced inversion parity (BIP) network. Circuit classes of interest are discussed in detail. We prove that De Morgan and re-substitution transformations are test-set preserving for path delay faults. Using the results of this paper, we can easily show that a high-level test set for a function z that detects all path delay faults in any UGN realizing z also detects all path delay faults in any BIP realization of z.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• 제4권4호
• /
• pp.311-317
• /
• 2011

Recently, RFID is substituted for bar codes according to advance in the ubiquitous computing environments, but the RFID system has several problems such as security and privacy because it uses radio frequencies. Firstly, unauthorized reader can easily read the ID information of any Tag. Secondly, Attacker can easily fake the legitimate reader using the collected Tag ID information,such as the any legitimate tag. This paper proposed improved RFID authentication protocol based on SSG. SSG is organized only one LFSR and selection logic. Thus SSG is suitable for implementation of hardware logic in system with extremely limited resources such as RFID tag and it has resistance to known various attacks because of output bit stream for the use as pseudorandom generator. The proposed protocol is secure and effective because it is based on SSG.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제8권1호
• /
• pp.82-86
• /
• 2008

The article presents ARTMAP and Fuzzy BK-Product approach underwater obstacle avoidance for the Autonomous underwater Vehicles (AUV). The AUV moves an unstructured area of underwater and could be met with obstacles in its way. The AUVs are equipped with complex sensorial systems like camera, aquatic sonar system, and transducers. A Neural integrated Fuzzy BK-Product controller, which integrates Fuzzy logic representation of the human thinking procedure with the learning capabilities of neural-networks (ARTMAP), is developed for obstacle avoidance in the case of unstructured areas. In this paper, ARTMAP-Fuzzy BK-Product controller architecture comprises of two distinct elements, are 1) Fuzzy Logic Membership Function and 2) Feed-Forward ART component. Feed-Forward ART component is used to understanding the unstructured underwater environment and Fuzzy BK-Product interpolates the Fuzzy rule set and after the defuzzyfication, the output is used to take the decision for safety direction to go for avoiding the obstacle collision with the AUV. An on-line reinforcement learning method is introduced which adapts the performance of the fuzzy units continuously to any changes in the environment and make decision for the optimal path from source to destination.

• Journal of Broadcast Engineering
• /
• 제20권3호
• /
• pp.440-448
• /
• 2015

A pedestrian collision warning system which makes a judgement of pedestrian's intention to help avoiding hitting accidents is proposed. This system uses the image sequences obtained from a car black box as well as vehicle's speed obtained from a GPS. It detects pedestrians, if any, based on the Histogram of Gradient method and extracts several information such as the pedestrian's relative positions, the direction of motion vectors, and distance between vehicle and pedestrian . A fuzzy logic based on these extracted information is applied to analyze the pedestrian's safety levels. When the safety level is determined to be danger, an alarm is triggered to the driver. The performance of the proposed algorithm is tested under various driving scenarios, which shows it works successfully in real-time.

• Current Optics and Photonics
• /
• 제3권6호
• /
• pp.531-540
• /
• 2019

Spectral Amplitude Coding Optical Code Division Multiple Access (SAC OCDMA) is an advanced technique in asynchronous environments. This paper proposes design and implementation of a novel quantum logic gate (QLG) code, with code construction algorithm generated without following any code mapping procedures for SAC system. The proposed code has a unitary matrices property with maximum overlap of one chip for various clients and no overlaps in spectra for the rest of the subscribers. Results indicate that a single algorithm produces the same length increment for codes with weight greater than two and follows the same signal to noise ratio (SNR) and bit error rate (BER) calculations for a higher number of users. This paper further examines the performance of a QLG code based SAC-OCDMA system with NAND and direct detection techniques. BER analysis was carried out for the proposed code and results were compared with existing MDW, RD and GMP codes. We demonstrate that the QLG code based system performs better in terms of cardinality, which is followed by improved BER. Numerical analysis reveals that for error free transmission (10^-9), the suggested code supports approximately 170 users with code weight 4. Our results also conclude that the proposed code provides improvement in the code construction, cross-correlation and minimization of noises.

• Proceedings of the KSR Conference
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.1897-1902
• /
• 2008

The computer system is used in many application domains and any system error in these domains may either cause critical loss or threaten environment or human life. Though examples of these domains can be found in many areas, the system, which is used in domains for carrying passengers including rolling stocks in particular, is expected to show satisfactory operation all the time. The relay control logic, which is used in rolling stocks, is complex in hardware and occupies considerably large volume. Nevertheless, it has been used for a long time, to let the system safely operate even in the occurrence of an error in the computer system. However, the relay control logic circuit is so complex that the analysis of proper circuit operation and interlocking tends to be dependent only on the designer's experiences instead of being systematically performed. Especially, the analysis following a change, addition and deletion of a previous circuit according to the requirements from a source of demand is significantly limited. In this paper, the accuracy of relay control logic is verified by the use of properties of Petri Net model. In addition, how main circuit breaker (MCB) control circuit is modeled and analyzed by the design methodology is shown.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• 제40권9호
• /
• pp.358-365
• /
• 2003

To support Internet traffic efficiently over ATM networks, Guaranteed Frame Rate(GFR) has been proposed in the ATM Forum. GFR provides minimum rate guarantees to VCs and allows any excess bandwidth in the network to be shared among the contending VCs in a fair manner. In this paper, we proposed a new fuzzy logic based buffer management algorithm that provides MCR guarantee and fair sharing to GFR VCs. A key feature of proposed algorithm is its ability to accept or drop a new incoming packet dynamically based on buffer condition and load ratio of VCs. This is achieved by using fuzzy logic controller for the production of a drop factor. Simulation results show that proposed scheme significantly improves fairness and TCP throughput compared with previous schemes.

• KSCI Review
• /
• 제2권1호
• /
• pp.121-129
• /
• 1995

Fault simulation of logic circuits is an important part of the test-generation process. It is used for the propose of generation fault dictionaries or for the verification of the adequacy of tests. In this paper, a backtrace fault simulation is proposed to test generation. This is consists of 3 part ; initialization phase for given circuit, backtrace fault simulation phase to find fault list and reevaluation phase to list event. The main idea of this algorithm is to retain a minimum fault list by cutting uncontrollable lines of path when a logic event occurs in backward tracing phases. And the simulator is revaluates a fault list associated with the output of an element only if logic event occurs at any of its inputs when a list event occurs at one of its primary inputs. It reguires a O(n) memory space complexity. where n is a number of signal lines for the given circuits. Several examples are given to illustrate the power of this algorithm.

• Journal for History of Mathematics
• /
• 제34권1호
• /
• pp.1-20
• /
• 2021

Logic and intuition are considered as the opposite extremes of teaching geometry, and any teaching method of geometry is to be placed between these extremes. The purpose of this study is to identify the characteristics of logical and intuitive approaches for teaching geometry and to derive didactical implications by taking Euclid's Elements and Clairaut's Elements respectively representing the extremes. To this end, comparing the composition and contents of each book, we analyze which propositions Clairaut chose from Euclid's Elements, how their approaches differ in definitions, proofs, and geometrical constructions, and what unique approaches Clairaut took. The results reveal that Clairaut mainly chose propositions from Euclid's books 1, 3, 6, 11, and 12 to provide the contexts that show why such ideas were needed, rather than the sudden appearance of abstract and formal propositions, and omitted or modified the process of justification according to learners' levels. These propose a variety of intuitive strategies in line with trends of teaching geometry towards emphasis on conceptual understanding and different levels of justification. Specifically, such as the general principle of similarity and the infinite geometric approach shown in Clairaut's Elements, we could confirm that intuition-based geometry does not necessarily aim for tasks with low cognitive demand, but must be taught in a way that learners can understand.