• 한국신뢰성학회지:신뢰성응용연구
• /
• 제15권1호
• /
• pp.44-51
• /
• 2015

In this study, we propose reliability prediction of a satellite by function analysis. To do so, the intended functions of the satellite are derived from using function structure block diagram, and defined as main, sub, and detailed functions. Furthermore, in order to generate function and reliability structure table, reliability model rule, duty cycle, and types of switch are assigned to the classified functions. This study also establishes reliability block diagram and mathematical reliability models to schematize the relationship among the functions. The reliability of the classified function is estimated by calculating the failure rate of parts comprising them. Finally, we apply the proposed method to a small satellite as a case study. The result shows that the reliability for the detailed function and the sub function as well as the main function could be predicted quantitatively and accurately by the proposed approach.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권3호
• /
• pp.149-161
• /
• 2008

프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.

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

In this paper, we proposed MBDD(Modified Binary Decision Diagram) as a multi-level logic synthesis method and a vertex of MBDD to NMOS transistors matching. A vertex in MBDD is matched to a set of NMOS transistors. MBDD structure can be achieved through transformation steps from BDD structure. MBDD can represent the same function with less vertices less number of NMOS transistors, consequently capacitance of the circuit can be reduced. Thus the power dissipation can be reduced. We applied MBDD to a full odder and a 4-2compressor. Comparing the 4-2compressor block with other synthesis logic, 31.2% reduction and 19.9% reduction was achieved in numbers of transistors and power dissipation respectively. In this simulation we used 0.8 ${\mu}{\textrm}{m}$ fabrication parameters.

• 대한안전경영과학회지
• /
• 제13권3호
• /
• pp.45-53
• /
• 2011

The research proposes seven elimination rules of redundant gates and blocks in Fault Tree Analysis (FTA) and Reliability Block Diagram (RBD). The computational complexity of cut sets and path sets is NP-hard. In order to reduce the complexity of Minimal Cut Set (MCS) and Minimal Path Set (MPS), the paper classifies generation algorithms. Moreover, the study develops six implementation steps which reflect structural importance (SI) and reliability importance (RI) from Reliability Centered Maintenance (RCM) that a priority of using the functional logic among components is to reduce (improve) the system unavailability (or availability). The proposed steps include efficient generation of state structure function by Rare Event Enumeration (REA). Effective use of importance measures, such as SI and ill measures, is presented based on the number and the size of MCS and MPS which is generated from the reference[5] of this paper. In addition, numerical examples are presented for practitioners to obtain the comprehensive understanding of six steps that is proposed in this research.

• Smart Structures and Systems
• /
• 제6권1호
• /
• pp.29-38
• /
• 2010

An ElectroMagnetic Actuator (EMA) is designed and assessed numerically and experimentally. The EMA has the advantage to be without contact with the structure so it could be applied to light and small mechanism. Nevertheless, the open-loop instability and the nonlinear dynamic behavior with respect to the excitation frequency could limit its application field. The EMA is designed and dimensioned as a function of the experimental structure to be controlled. An inverse model of the EMA is proposed in order to implement a linear action block for the used frequency range. The control strategy is a fuzzy controller with displacements and velocities as inputs. A fuzzy controller of Takagi-Sugeno type is used. The air gap is estimated by using a modal approximation of the displacements issued from all measurements. Several configurations of control are assessed by using numerical simulations. The block diagram used for numerical simulations is implemented under Dspace$^{(R)}$ environment. The implemented controller was tested experimentally in the context of impact perturbations. The results obtained show the effectiveness of the developed procedures and the robustness of the implemented control.

• 한국시뮬레이션학회논문지
• /
• 제18권4호
• /
• pp.67-79
• /
• 2009

자동차 제조 기업은 생산되는 제품 수명 주기가 짧기 때문에, 공정계획 및 라인 변경이 빈번히 일어난다. 따라서 새로운 공정을 계획하는 경우보다 기존 공정계획을 바탕으로 라인의 설비를 재배치하거나, 제어정보를 수정하는 경우가 많다. 하지만 생산라인의 제어 정보를 기술하는 표준 방법론이 없기 때문에 기존 공정의 정보를 해석하고 수정하는데 많은 노력이 요구된다. 따라서 본 논문에서는 자동화 생산라인에서 일반적으로 사용할 수 있는 제어레벨 공정 모델링 방법론(SOS-Net)을 제안하고자 한다. 제안된 방법론은 실제 현장라인과 동일한 Low Level의 정보들을 체계적으로 표현함으로써 모델링 결과가 현업에 직접 사용될 수 있도록 고려하였다. 본 논문에서 제안하는 SOS-Net은 쉽게 작성할 수 있으며, 기존의 High Level 모델링 방법들이 갖는 한계점을 극복하고, 현업에서 사용할 수 있는 FB(Function Block) 제어 코드를 생성하는 것을 목적으로 한다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2006년도 International Symposium on GPS/GNSS Vol.2
• /
• pp.15-22
• /
• 2006

This paper presents a novel signal tracking algorithm for GNSS receivers using a MLE technique. In order to perform a robust signal tracking in severe signal environments, e.g., high dynamics for navigation vehicles or weak signals for indoor positioning, the MLE based signal tracking approach is adopted in the paper. With assuming white Gaussian additive noise, the cost function of MLE is expanded to the cost function of NLSE. Efficient and practical approach for Doppler frequency tracking by the MLE is derived based on the assumption of code-free signals, i.e., the cost function of the MLE for carrier Doppler tracking is used to derive a discriminator function to create error signals from incoming and reference signals. The use of the MLE method for carrier tracking makes it possible to generalize the MLE equation for arbitrary codes and modulation schemes. This is ideally suited for various GNSS signals with same structure of tracking module. This paper proposes two different types of MLE based tracking method, i.e., an iterative batch processing method and a non-iterative feed-forward processing method. The first method is derived without any limitation on time consumption, while the second method is proposed for a time limited case by using a 1st derivative of cost function, which is proportional to error signal from discriminators of conventional tracking methods. The second method can be implemented by a block diagram approach for tracking carrier phase, Doppler frequency and code phase with assuming no correlation of signal parameters. Finally, a state space form of FLL/PLL/DLL is adopted to the designed MLE based tracking algorithm for reducing noise on the estimated signal parameters.

• 한국통신학회논문지
• /
• 제38C권12호
• /
• pp.1216-1227
• /
• 2013

위성항법시스템은 현재 민간과 군에게 위치와 시간 정보를 제공하는 유용한 시스템으로 널리 활용되고 있으며, 국방-IT 간 대표적 융합 기술로 거론되고 있다. 그러나 위성항법시스템은 지구로부터 2만 Km 상공의 원거리에서 신호를 송신하므로 위성항법 수신기의 수신 감도가 매우 미약하여, 재밍(jamming) 공격에 취약한 특성을 가진다. 이와 같은 위성항법시스템을 위한 항재밍(anti-jamming) 기술에 관한 연구는 위성항법시스템을 소유한 국가가 공개하는 기술적 정보에 의존적이어서 국내 국방 분야에서는 소극적 수준의 연구에 머물러 있다. 본 논문에서는 먼저 위성항법시스템의 다양한 재밍원 소개와 J/S와 재머-수신기 간의 거리 링크 버짓 분석을 통한 위성항법시스템의 재밍 취약성을 분석하였다. 또한 위성항법시스템 수신기 설계에 적용 가능한 항재밍 기술을 분류하고 분석하였으며, 최근 연구되고 있는 국내외 항재밍 관련 제품 및 기술을 분석하였다.