• 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.

• 대한전자공학회논문지SD
• /
• 제47권2호
• /
• pp.51-59
• /
• 2010

드모르간 및 재대입 논리변환은 unate gate network (UGN)을 보다 일반적인 balanced inversion parity (BIP) network으로 전환하는데 충분하다. 이러한 회로계층에 대해서도 자세히 논의하고 있다. 우리는 드모르간 및 재대입 논리변환이 경로지연고장 테스트집합을 유지한다는 것을 증명하였다. 본 논문의 결과를 이용하여 함수 z를 구현하는 모든 UGN에서 모든 경로지연고장을 검출하는 상위수준 테스트집합은 함수 z의 어떠한 BIP realization에서도 모든 경로지연고장을 검출한다는 것을 보일 수 있다.

• 한국정보전자통신기술학회논문지
• /
• 제4권4호
• /
• pp.311-317
• /
• 2011

최근 유비쿼터스 환경에서 바코드 대신 RFID가 대치되었지만, RFID 는 무선 주파수를 사용하기 때문에 프라이버시와 보안성에 많은 문제점을 가지고 있다. 첫째는 비인가 리드가 임의 RFID 태그의 ID 정보를 쉽게 읽어 들일 수 있고, 둘째는 공격자가 수집한 태그 ID 정보를 이용하여 합법적인 리더에게 인가된 태그인 것처럼 쉽게 속일 수 있다. 본 논문에서는 SSG 기반 개선된 RFID 인증 프로토콜을 제안하였다. SSG 알고리즘은 LFSR 과 선택로직만으로 구성되어 있다. 따라서 RFID 태그와 같은 극히 제한적인 자원을 갖는 시스템에서 하드웨어 구현이 가능하며, 출력 비트 스트림은 의사난수로 사용함으로써 다양한 공격에 안전하다. 제안한 프로토콜은 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.

• 방송공학회논문지
• /
• 제20권3호
• /
• pp.440-448
• /
• 2015

논문에서는 지능형 차량에 적용하기 위해 보행자의 의도를 분석하여 보행자와의 사고를 미연에 방지하는 시스템을 제안한다. 제안하는 시스템은 블랙박스 영상으로부터 실시간으로 보행자를 검출하고, 소실점을 바탕으로 한 보행자의 상대 위치와 옵티컬 플로우를 이용한 움직임 방향 정보를 추출한다. 이러한 보행자의 정보와 차량의 현재 속도에 기반한 차량 정지 거리를 이용하여 보행자와의 충돌 위험도를 파악하는 퍼지 로직을 구현하였다. 최종적으로 퍼지 로직의 출력 정보인 충돌 위험도에 따라 운전자에게 경고를 주도록 하였다. 마지막으로 실제 주행 영상을 이용하여 제안된 시스템의 성능과 한계점을 분석하였다.

• 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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 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.

• 대한전자공학회논문지TC
• /
• 제40권9호
• /
• pp.358-365
• /
• 2003

인터넷 트래픽을 ATM 네크워크를 통해 효율적으로 전송하기 위해 ATM 포럼에서 새로운 서비스 클래스인 GFR을 제안하였다. GFR 서비스는 VC의 최소 수율을 보장하고, 잉여대역을 연결된 VC에 공평히 제공하여야 한다. 본 논문에서는 GFR이 요구하는 최소 전송율 보장과 공평성을 향상하기 위해서 퍼지 알고리즘을 이용한 버퍼 관리 알고리즘을 제안한다. 제안된 알고리즘은 퍼지 제어기를 이용해서 새로 도착하는 패킷을 버퍼 상태와 VC의 부하에 따라 동적으로 폐기를 결정하여 버퍼 이용 효율과 GFR의 요구사항을 충족할 수 있도록 하였다. 시뮬레이션을 통해 기존의 버퍼 관리 알고리즘과 성능을 비교한 결과, 공평성과 TCP 수율 면에서 성능이 향상됨을 보였다.

• 한국컴퓨터정보학회지
• /
• 제2권1호
• /
• pp.121-129
• /
• 1995

결함 시뮬레이션은 테스트 생성의 중요한 과정이며 테스트가 올바른지 검증하거나 결함사전을 작성하는 데에 쓰인다. 본 논문에서는 회로의 신뢰성을 검증하기 위해 사용되는 테스트 패턴을 효율적으로 생성하기 위하여 역추적 결함 시뮬레이션 알고리즘을 제안하였다. 제안한 알고리즘의 기본구성은 초기화 과정, 역추적 결함 시뮬레이션 과정 및 입력패턴의 변화가 생겼을 때 즉 리스트변화가 있을때의 재계산 과정 등 3부분으로 되어 있다. 기본개념은 역추적 과정에서 출력선을 제어하지 못하는 입력을 커팅하므로서 최소의 결함리스트를 유지하는 것이며 리스트의 변화가 생겼을 때 논리변화가 일어나는 신호선만 재계산한다. 제안한 알고리즘은 기억장소의 요구도를 O(n)으로 줄이고 수행시간을 향상시켜 효율적임을 보인다.

• 한국수학사학회지
• /
• 제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.