• Bulletin of the Korean Space Science Society
• /
• 2003.10a
• /
• pp.62-62
• /
• 2003

과학위성 1호에는 위성의 임무를 수행하기 위하여 광학계, 구조부, 및 전자부 등 여러가지 부품들이 실장되는데, 그 중 전자부의 가장 중요한 부품 중의 하나인 인쇄회로기판(Printed Circuit Board, PCB)의 우주환경에서의 특성 대해서 논의하고자 한다. Solder Resistor(Solder Mask)의 화학성분이 위성체가 작동하는 우주환경에서 위성체 임무수행 시 발생할 수 있는 out-gassing으로 인해 위성체가 본연의 임무 실패라는 결과를 초래할 수 있다 NASA 및 ESA의 Out-gassing에 관한 규정과 TRW에 의한 KOMSAT에 사용된 재료의 진공상태의 Outgassing에 관한 내용에 의하면, 재료의 진공상태와 Out-gassing은 America Society for Testing and Materials에서 제시한 ASTM E959 기준에 따라 제작된다. 일반적으로 우주 환경에서 광학계나 전자부의 원활한 동작을 위해서는 인쇄 회로 기판의 총 질량손실(Total Mass Loss, TML)은 1.00%을 넘지 말아야 하며, 휘발성 응축 질량 (Collected Volatile Condensable Mass, CVCM)은 0.1% 미만이어야 한다. Total Mass Loss(TML) 방법은 대기중에서 측정한 질량과 진공 조건에서 변화되는 질량을 측정함으로써 진공조건에서의 탈기체 특성을 측정하는 방법이다. 본 연구에서는 Solder Resistor(Solder Mask)의 탈기체 측정을 위한 진공챔버의 측정방법 및 진공 형성 과정을 기술하고 실제 과학위성1호에 장착될 시료를 예로 들어 인쇄회로기판에 입힌 Solder Resistor(Solder Mask)가 우주환경인 진공상태에서 위성체 부품의 작동 시 발생할 수 있는 탈기체되는 정도를 질량의 변화분으로 측정하여 위성체가 우주 환경에서 본연의 임무를 안전하게 수행할 있는지를 검증하였다.부분이다.다.향을 해석하고 시뮬레이션 하였다.Device Controller)는 ECU로부터 명령어를 받아서 arm 및 safe 상태에 대한 텔리 메트리 데이터를 제공한다 그리고, SAR(Solar Array Regulator)는 ECU로부터 Bypass Relay 및 ARM Relay에 관한 명령어를 받아 수행되며 그에 따른 텔리 메트리 데이터를 제공한다. 마지막으로 EPS 소프트웨어를 검증하는 EPS Software Verification을 수행하였다 전력계 소프트웨어의 설계의 검증 부분은 현재 설계 제작된 전력계 .소프트웨어의 동작 특성 이 위성 의 전체 운용개념과 연계하여 전력계 소프트웨어가 전력계 및 위성체의 요구조건을 만족시키는지를 확인하는데 있다. 전력계 운용 소프트웨어는 배터리의 충ㆍ방전을 효율적으로 관리해 3년의 임무 기간동안 위성체에 전력을 공급할 수 있도록 설계되어 있다this hot-core has a mass of 10sR1 which i:s about an order of magnitude larger those obtained by previous studies.previous studies.업순서들의 상관관계를 고려하여 보다 개선된 해를 구하기 위한 연구가 요구된다. 또한, 준비작업비용을 발생시키는 작업장의 작업순서결정에 대해서도 연구를 행하여, 보완작업비용과 준비비용을 고려한 GMMAL 작업순서문제를 해결하기 위한 연구가 수행되어야 할 것이다.로 이루어 져야 할 것이다.태를 보다 효율적으로 증진시킬 수 있는 대안이 마련되어져야 한다고 사료된다.$\ulcorner$순응$\lrcorner$의 범위를 벗어나지 않는다. 그렇기 때문에도 $\ulcorner$순응$\lrcorner$과 $\ulcorner$표현$\lrcorner$의 성격과 형태를 외형상으로

• The KIPS Transactions:PartA
• /
• v.12A no.6 s.96
• /
• pp.523-530
• /
• 2005

When a PCI 2.2 bus master requests data using Memory Read command, a target device may hold PCI bus without data to be transferred for long time because a target device needs time to prepare data infernally. Because the usage efficiency of the PCI bus and the data transfer efficiency are decreased due to this situation, the PCI specification recommends to use the Delayed Transaction mechanism to improve the system performance. But the mechanism cann't fully improve performance because a target device doesn't know the exact size of prefetched data. In the previous work, we propose a new method called Prefetch Request when a bus master intends to read data from the target device. In this paper, we design PCI 2.2 controller and local device that support the proposed method. The designed PCI 2.2 controller has simple local interface and it is used to convert the PCI protocol into the local protocol. So the typical users, who don't know the PCI protocol, can easily design the PCI target device using the proposed PCI controller. We propose the basic behavioral verification, hardware design verification, and random test verification to verify the designed hardware. We also build the test bench and define assembler instructions. And we propose random testing environment, which consist of reference model, random generator ,and compare engine, to efficiently verify corner case. This verification environment is excellent to find error which is not detected by general test vector. Also, the simulation under the proposed test environment shows that the proposed method has the higher data transfer efficiency than the Delayed Transaction about $9\%$.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.233-235
• /
• 2012

해저보행로봇 CR200은 여러 개의 관절로 이루어진 6개의 다리를 이용하여 해저면에서 보행으로 이동하며 해저 정밀탐사 및 작업을 수행하는 로봇으로, 케이블로 연결된 선상제어실에서 원격 제어된다. CR200 시스템에서는 16개의 카메라가 장착될 예정이며, 취득된 카메라의 영상은 선상제어실의 비디오 컴퓨터로 전송되어 모니터링 및 녹화된다. 설계된 비디오 시스템에서 영상 전송은 전자기 간섭에 의한 화질 열화를 최소화하기 위하여 기가비트의 대역폭을 가진 이더넷과 광케이블을 통하여 디지털 형태로 전송되며, 아날로그 카메라의 영상은 비디오 인코더를 사용하여 디지털 영상으로 변환된 후에 전송된다. 본 논문에서는 CR200의 비디오 시스템의 설계를 소개하고, 실제로 제작하기 전에 설계된 비디오 시스템을 검증하기 위하여 테스트베드를 사용한 통합 테스트 결과를 제시한다. 아직 준비되지 않은 카메라에 대해서는 아이패드의 아날로그 영상 출력을 비디오 인코더의 입력으로 전달하여, 설계된 모든 카메라들이 동작하는 상황을 테스트베드로 실험하였다. 16개 카메라의 영상이 모니터링 및 녹화되는 상황을 테스트베드로 실험한 결과에 따르면, 압축률 10%의 H.264 동영상 압축 알고리즘을 사용할 경우에 30fps 영상의 모니터링 및 녹화에 각각 60Mbps의 전송량으로 비디오 시스템이 정상적으로 동작하는 것을 확인할 수 있었다. 비디오 데이터의 전송은 센서 및 제어 데이터의 전송과 같은 네트워크를 사용하지만, 비디오 데이터의 기가비트 네트워크 사용률은 평균 12%이기 때문에 비디오 데이터 전송으로 인하여 데이터 통신은 거의 영향을 받지 않는다.

• The Journal of the Korea Contents Association
• /
• v.5 no.3
• /
• pp.73-81
• /
• 2005

CTOC(Classes To Optimized Classes) is a Java bytecode framework for optimization and analysis. Although Java bytecode has a significant amount of type information embedded in it, there are no explicit types for local variables. However, knowing types for local variables is very useful for both program optimization and analysis. This paper is a first part of CTOC framework. In this paper, we present methods for inferring static types for local variables in a 3-address, stackless, representation of Java bytecode. We use SSA Form(Single Static Assignment Form) for spliting local variables. Splited local variables will use to prepare for static type inference.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.45 no.7
• /
• pp.52-60
• /
• 2008

The deblocking filter in the H.264/AVC video coding standard helps to reduce the blocking artifacts produced in the decoding process. But it consumes one third of the computational complexity in H.624/AVC decoder, which advocates an efficient design of a hardware accelerator for filtering. This paper proposes an architecture of deblocking filter using two filters and some registers for data reuse. Our architecture improves the throughput and minimize the number of external memory access by increasing data reuse. After initialization, two filters are able to perform filtering operation simultaneously. It takes only 96 clocks to complete filtering for one macroblock. We design and synthesis our architecture using Dongbuanam $0.18{\mu}m$ standard cell library and the maximum clock frequency is 200MHz.

• Journal of the Korean Society for Precision Engineering
• /
• v.2 no.1
• /
• pp.21-27
• /
• 1985

차량, 항공, 교량 및 기계구조물 등 랜덤한 실동하중을 받는 구조물의 응력 및 변위, 진동등의 피로 Data 또는 TRAFFIC 등에 의한 건축물의 변위 및 응력발생빈도를 집록하기 위한 Histogram Recorder System에 대한 내용과 측정예를 소개하고자 한다. 본 System은 8(4)챈 널의 스트레인 게이지 또는 스트레인 게이지식 각종변환기와 각종 Sensor로부터의 출력전압 등 Analog 입력을 수록하여, Digital 처리하여 micro computer를 사용, 미리 프로그램된 방식에 따라 측정과 동시에 실동시간으로 해석처리하여 빈도수로서 내부에 기억저장 시키는 것이다. 따라서 본 Histogtram Recorder 본체는 소형으로 견고하며 조금도 제어부분을 갖지 않고 소요의 해석방법의 프로그램백만을 셋트한 개별의 제어기만을 통해가지고 프로그램을 기입만 하며는 그다음은 손하나 안대고도, 그리고도 또 측정중에 제3자에 의한 제어조작 잘못이 발생할 위험도 없고 1 년이상에 걸친 장기간의 .+-. 32 Slices의 각 레벨당 각각 40 억을 넘는 대량의 빈도수를 자동적으로 집록 할 수가 있다. 집록된 Data는 제어장치에 의해 정리된 Datam는 제어장치에 의해 정리된 Histogram의 형태로 읽어나갈 수가 있어 관찰이 가능할 뿐만 아니라 프린터기록 또는 기록장치에 이송시켜서 Data 만 따로 가져올 수가 있어 필요에 따라서는 one line으로 Host computer에 접속시킬 수가 있어 더욱 고도의 처리를 할 수가 있다. 빈도해석프로그램으로서는 극대, 극소, 최대, 최소, 진폭, 시간 등을 pack으로서 준비되어 있어 이에 대한 시스템의 고성 동작 및 성능등을 소개하고자 한다.

• Journal of Digital Contents Society
• /
• v.11 no.4
• /
• pp.589-595
• /
• 2010

In this paper, we have designed and implemented a personalized health training system which provides health training methods using 3D animation based on the data from a professional trainer, after a trainee inputs individual physical characteristics. Many trainers at fitness centers provide only sketchy training method and usage of fitness machines not appropriate training method for trainee's physical characteristics. Individual characteristics. Individual characteristics prepared tabular input which consists of exercise goals, exercise areas, whether or not the normal movement, and RM. The system provides the training methods, the effects of exercise, and the health training motions through searching the database more accurately.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.13 no.1
• /
• pp.68-73
• /
• 2002

This paper presents the implementation of wide-band RFIC amplifier operating from near 50 MHz to 3 GHz using Tachyonics SiGe HBT foundry. Voltage shunt feedback is used for the flat gain and the broad band impedance matching. Initial design parameters are calculated through the low frequency small signal analysis. Since the HBT model was not available at the design time, discrete tuning board was made for fine adjustment in the low frequency range. Fabricated amplifier shows 12 dB gain with 1 dB fluctuation and P1 dB reaches 15 dBm at 850 MHz.

• The KIPS Transactions:PartD
• /
• v.15D no.1
• /
• pp.107-112
• /
• 2008

The maintenance of legacy software systems is very important in the field of a software engineering. In the maintenance, a regression test confirms the behavior preserving of the software which has been changed but most of regression tests are done in a system level and rarely done in a unit test level because there is no test case. This paper proposes how to modify legacy software systems and make unit test cases as an asset. It uses a technique with a specific module of a real software development project and analyzes test coverage results. After this, if a study about automatic restructuring techniques and a test case generation proceeds continuously, we can expect the big advance of legacy software systems maintenance.

• Review of KIISC
• /
• v.24 no.2
• /
• pp.50-55
• /
• 2014

자동차 전장제품 활용의 급속한 증가에 대응하기 위하여 자동차 분야에서는 ISO 26262 안전설계절차를 도입하여 차량용 임베디드 시스템의 안전성을 확보하려고 노력하고 있다. ISO 26262는 자동차에서 발생 가능한 비정상상태(abnormal state)를 식별하고 그의 영향을 분석하며 전체 시스템의 안전을 검증하는 것을 목표로 하고 있다. 다양한 종류의 부품이 연동되는 복잡한 시스템의 안전 검증은 결함수목법과 고장모드영향분석법을 활용하는 위험분석법이 보편적으로 사용된다. 결함주입시험은 이러한 위험분석의 기반도구로서 안전성을 향상시키기 위하여 사용된 고장감내 기능의 동작여부 및 그에 따른 시스템의 안전성을 검증하는 목적으로 사용된다. 본 논문에서는 차량용 고신뢰성 임베디드 시스템에서 사용되는 고장감내 메카니즘들의 기능과 안전을 검증하는 방법과 사례를 소개한다. 최근의 복잡한 차량용 임베디드 시스템의 개발은 상위수준의 모델을 개발하여 지정된 위험 및 고장을 초래하는 결함을 시스템에 주입하고 그의 결과를 분석하여 안전을 검증하는 것이 일반적인 방법이다. 개발 목표 차량의 임베디드 시스템 모델을 개발하고, 식별된 결함의 결함모델을 준비한 뒤, 시스템 모델 기반 결함주입 도구를 이용하여 결함주입을 수행하는 시험방법과 그 결과에 대하여 논의한다. 하드웨어는 SystemC 하드웨어 설계언어를 이용하여 개발하고, 소프트웨어를 컴파일하여 실행화일을 확보하여 시험대상인 결함모델을 개발하고 이를 대상으로 결함주입시험에 대해 설명한다.