• 대한전기학회논문지:시스템및제어부문D
• /
• 제49권7호
• /
• pp.363-369
• /
• 2000

To flexibly evaluate performance and reliability of an electric power system in the aspect of the real-time system which is intrinsically characterized by stringent timing constraints fails catastrophically if its control input is not updated by its digital controller computer within a certain time limit called the hard deadline, we propose fuzzy-random variables and build a discrete event model embedded with fuzzy-random variables. Also, we adapt fuzzy-variables to a path-space approach, which derives the upper and lower bounds of reliability by using a semi-Markov model that explicitly contains the deadline information. Consequently, we propose certain formulas of state automata properly transformed by fuzzy-random variables, and present numerical examples applying the formulas as well.

• 한국전자통신학회논문지
• /
• 제13권2호
• /
• pp.383-390
• /
• 2018

셀룰라 오토마타(이하 CA)는 LFSR보다 난수성이 우수하여 여러 분야에 LFSR의 대안으로 응용되고 있다. 그러나 주어진 다항식에 대응하는 CA를 구성하는 것이 LFSR보다 어렵다. Cattell 등과 Cho 등은 기약다항식들이 CA-다항식임을 보였다. 그리고 Cho 등과 Sabater 등은 기약다항식의 거듭제곱에 대응하는 90/150 CA의 합성 방법을 제시하였다. 이것은 수축생성기에 적용가능하다. Swan은 유한체 GF(2) 상에서 3항 다항식의 기약인수의 개수의 홀짝성을 분석하였다. 이런 3항 다항식들은 유한체 확장을 구현할 때 실제로 중요한 역할을 한다. 본 논문에서는 3항 다항식들 $x^{2^n-1}+X+1$ ($n{\geq}2$)이 CA-다항식임을 보인다. 또한 3항 다항식들 $x^{2^a(2^n-1)}+x^{2^a}+1$ ($n{\geq}2$, $a{\geq}0$)이 CA-다항식임을 보인다.

• 예술인문사회 융합 멀티미디어 논문지
• /
• 제7권10호
• /
• pp.895-903
• /
• 2017

양자점 셀룰라 오토마타(QCA)는 CMOS의 근본적인 한계에 대한 대체 해결책으로 제안된 기술 중 하나이다. QCA는 최근 실험 결과와 함께 다양한 연구가 진행해오고 있으며 나노 규모의 크기와 낮은 전력 소비로 각광 받고 있다. 기존 논문에서 제안된 XOR 게이트는 최소한의 면적과 셀의 개수를 이용하여 설계 할 수 있음에도 불구하고 안정성 및 결과의 정확성 때문에 추가된 셀의 개수가 많았다. 본 논문에서는 기존의 XOR 게이트의 단점을 보완한 게이트를 제안한다. 본 논문의 XOR 게이트는 정사각형 구조로 AND 게이트와 OR게이트를 배치함으로써 셀 배선의 개수를 줄인다. 그리고 제안한 XOR 게이트를 이용하여 단순 인버터 역할을 하는 셀 2개를 추가해 반가산기를 제안한다. 또한 본 논문은 입력과 결과의 정확성을 위해 QCADesginer을 이용한다. 따라서 제안한 반가산기는 기존의 반가산기에 비해 더 적은 수의 셀, 전체 면적으로 구성됨으로 큰 회로에 사용할 때 혹은 작은 면적에 반가산기가 필요할 때 효율적이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.482-485
• /
• 2013

스마트폰에서 컨텍스트 생성에 관한 연구들과 저전력에 관한 연구들이 진행 중이지만 컨텍스트 생성시에 사용되는 전력 소비 때문에 어플리케이션 개발 시에 컨텍스트를 이용하기가 어렵다. 컨텍스트를 생성하는 연구에서는 컨텍스트 생성 시에 필요한 전력에 대한 연구와 필요 이상의 전력 소비 발생에 관해서는 언급한 바가 적고 진행되어온 저전력 연구는 대부분 디스플레이와 AP 프로세서에 치우쳐 있어 저전력 컨텍스트 생성에 적용하기 힘들다. 그렇기 때문에 컨텍스트 생성 시에 필요한 전력에 대한 측정과 컨텍스트 생성 시에 불필요한 전력 낭비가 일어나는지, 그리고 컨텍스트 생성 시 과다한 전력 소비가 일어났을 경우 효율성에 대해서 생각할 필요성이 있다. 따라서 본 논문에서는 컨텍스트 생성시에 전력 소비가 얼마나 일어나는지 측정하고, 컨텍스트 생성에 있어 불필요한 전력 소비가 일어나는지 측정한다. 이를 토대로 불필요한 전력 소비가 일어나는 부분에 적용할 저전력 기법을 제안한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제33권9호
• /
• pp.642-649
• /
• 2006

지능형 서비스를 제공하는 환경에서 상황을 인식하기 위하여 임베디드 시스템이 갖는 제한적인 리소스와 컴퓨팅 파워 환경에 적합한 상태 전이 기반 상황 표현 모델을 제안하고, 이를 인식하는 상황 인식기와 제어 신호를 발생시키는 동작 발생기를 결합한 임베디드 시스템에 탑재하기에 적합한 상황-동작 변환기(SAC)를 설계하였다. 또한 ARM 프로세서 기반의 임베디드 보드에 설계된 상황-동작 변환기를 응용한 상황 관리기를 구현하여 이를 스마트 스케줄러 서비스에 활용하였다.

• 조명전기설비학회논문지
• /
• 제17권3호
• /
• pp.103-109
• /
• 2003

전력계통의 자동화에 있어 측정되는 데이터의 정확성은 기본적으로 확립되어야 할 요건이다. 측정된 데이터는 통신 장애나 기기 자체의 오동작으로 인해 오차를 포함할 수 있으며, 이러한 오차는 상태추정에 의해 줄어들 수 있으나, 잘못 측정된 일부 값에 의해 상태추정의 전반적인 신뢰도가 저하될 수 있다. 본 논문에서는 가중최소 상태추정과 카이스퀘어 이론에 근거한 잘못 측정된 데이터의 검출 알고리즘이 제안되었으며, 이를 국내 154kV 변전소에 적용하였다. C 언어와 비쥬얼 베이직을 사용하여 GUI 환경의 시뮬레이터를 개발하였으며, 다른 운용 시스템과의 연계를 고려하여 TCP/IP 프로토콜을 탑재하였다.

• Nuclear Engineering and Technology
• /
• 제53권7호
• /
• pp.2195-2206
• /
• 2021

In order to mitigate the damage caused by accidents in nuclear power plants (NPPs), evacuation strategies are usually managed on the basis of off-site effects such as the diffusion of radioactive materials and evacuee traffic simulations. However, the interactive behavior between evacuees and the accident environment has a significant effect on the consequential gap. Agent-based modeling (ABM) is a method that can control and observe such interactions by establishing agents (i.e., the evacuees) and patches (i.e., the accident environments). In this paper, a radiological emergency evacuation model is constructed to realistically check the effectiveness of an evacuation strategy using NetLogo, an ABM toolbox. Geographic layers such as radiation sources, roads, buildings, and shelters were downloaded from an official geographic information system (GIS) of Korea, and were modified into respective patches. The dispersion model adopted from the puff equation was also modified to fit the patches on the geographic layer. The evacuees were defined as vehicle agents and a traffic model was implemented by combining the shortest path search (determined by an A ^* algorithm) and a traffic flow model incorporated in the Nagel-Schreckenberg cellular automata model. To evaluate the radiological harm to the evacuees due to the spread of radioactive materials, a simple exposure model was established to calculate the overlap fraction between the agents and the dispersion patches. This paper aims to demonstrate that the potential of ABM can handle disaster evacuation strategies more realistically than previous approaches.

• 대한전자공학회논문지SD
• /
• 제46권1호
• /
• pp.107-116
• /
• 2009

QCA는 현재 초고집적 저전력 디지털 시스템 구현 기술의 왕좌를 차지하고 있는 CMOS의 자리를 상속받을 가장 장래성 있는 차세대 나노 전자 소자 중 하나이다. QCA 셀의 하드웨어 기본 동작은 이미 1990년대 후반에 실험을 통하여 증명되었다. 또한 회로를 설계할 수 있는 전용설계 도구와 시뮬레이터도 개발되었다. 그러나 기존의 QCA 설계 기술은 초대규모 설계에 대한 준비가 부족하다. 본 논문은 기존의 대규모 CMOS 설계에서 사용되었던 검증 방법들과 도구를 QCA 설계에서 그대로 활용할 수 있는 새로운 접근 방법을 제시한다. 첫째로 셀 배치를 미리 정의된 구조에서 벗어나지 않도록 엄격하게 제한함으로써 항상 일관성 있는 디지털 동작을 보장하는 설계 규칙을 제안한다. 다음, QCA 설계의 게이트 및 상호연결 구조를 인식한 후 다수결 게이트의 입력 경로 균형과 잡음 증폭 방지 등을 포함하는 신호 충실도 보장 조건을 검사한다. 마지막으로 디지털 논리를 추출하여 OpenAccess 공통 데이터베이스로 저장하면 이미 CMOS 설계에서 사용되고 있는 풍부한 검증 툴과 연결되어 그들을 사용할 수 있게 된다. 제안된 방식을 검증하기 위해 2-비트 가산기 및 비트-직렬 가산기, 그리고 ALU 비트 슬라이스를 설계하였다. 디지털 논리를 추출하여 Verilog 넷 리스트를 생성시킨 후 상업용 소프트웨어로 시뮬레이션 하였다.

• 전자공학회논문지SC
• /
• 제45권1호
• /
• pp.41-49
• /
• 2008

앞으로 conversions 시대의 도래와 진보된 기술 발전으로 인해 많은 기기들이 복잡해지고 또한 다양해지고 있음에 이처럼 다양하고 복잡한 기기들이 정밀하고 정확한 결과를 나타내기 위해 센서의 보다 더 정확하고 저전력의 Sensor들이 필요하게 되었다. 본 논문의 목적은 센서 네트워크를 위한 Fault tolerance와 Feedback 이론 그리고 무선 네트워크를 통해 에너지 효율성이 높은 MEMS 회로를 제안한다. 시스템은 휴무상태를 이용, 사용하지 않는 설정으로 전력소비를 줄이기 위해 가능한 한 독립적인 센서 통신 구현하였으며, 최소한의 하위 회로 수를 요구한다. 이러한 기술은 관리적인 측면의 제어와 하드웨어적 요구, 시간, 상호작용적 문제를 줄여 시스템 실행에 영향을 끼치며 개발된 센서에 의한 Moving Distance별 Product를 조사하여 시스템효율을 비교하였다. 이 시스템은 응용을 위해 디자인 되어 있지만 이 시스템은 "유비쿼터스 시티", "공장 자동화 공정", "실시간 처리 시스템" 등에서 많은 일상 환경과 생산 환경에 적용될 수 있을 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권12호
• /
• pp.860-872
• /
• 2002

폴트 트리 분석(Fault Tree Analysis)은 산업계에서 가장 널리 사용되는 안전성 분석 기법 중의 하나이다. 하지만, 이 기법은 보통 수작업으로 이루어지며, 분석 결과를 체계적이고 자동적으로 검증할 수 있는 방법이 없다는 약점을 지닌다. 본 논문에서는 실시간 모델 체커인 UPPAAL을 이용하여 안전성이 중요한 소프트웨어의 요구 사항들을 정형 명세하고, 수작업으로 찬성된 폴트 트리의 정확성을 검증하는 방법을 제안하고 있다. 제안된 방법을 유용성을 확인하기 위해서 월성 원자력 발전소의 비상 정지 소프트웨어(Wolsung SDS2)에서 사용된 기능 요구 사항들을 예제로서 사용하였다. 폴트 트리는 월성 SDS2에 대한 전문적인 지식을 지니고 폴트 트리를 이용한 안전성 분석을 여러 번 수행해 본 경험이 있는 대학원생들에 의해 작성되었다. 기능 요구 사항들은 UPPAAL의 입력으로서 사용되기 위해서 시제 오토마타의 형태로 수작업으로 변환되었으며, 이 폴트 트리의 정확성을 검증하기 위해서 모델 체킹을 사용하였다 본 논문에서 제안된 방법을 월성 SDS2 예제에 적용해 본 결과, 수작업으로 작성된 폴트 트리에 존재하는 오류를 찾을 수 있었으며, 이러한 작업을 통하여 제안된 방법이 폴트 트리 분석에 대한 신뢰도를 높이는데 유용함을 발견하였다.