• 제목/요약/키워드: 표준도 D/B

검색결과 543건 처리시간 0.027초

SAT를 이용한 MC/DC 블랙박스 테스트 케이스 자동 생성 (Automated Black-Box Test Case Generation for MC/DC with SAT)

  • 정인상
    • 정보처리학회논문지D
    • /
    • 제16D권6호
    • /
    • pp.911-920
    • /
    • 2009
  • 항공 소프트웨어가 FAA(미국연방항공청)에 승인받기 위해서는 DO-178B 표준에 따라야 한다. DO-178B에서는 안전 필수 소프트웨어의 단위 테스트가 MC/DC 기준을 만족하기를 요구하고 있다. MC/DC에 따른 테스트는 안전성과 관련된 오류를 효과적으로 찾을 수 있는 수단으로 알려져 있지만 MC/DC를 만족하는 테스트 케이스를 생성하는 작업이 용이하지 않는 것도 사실이다. 이 논문에서는 MD-SAT이라고 명명한 SAT(SATisfiability) 기술을 사용하여 MC/DC를 만족하는 테스트 케이스를 자동으로 생성하는 도구에 대해 소개한다. 이 도구는 결정표 기반 테스트, 인과 그래핑 및 상태 전이 테스트 방법을 구현한 도구에서 보다 다양한 테스트 케이스 생성을 위해 사용될 수 있다.

SPDT 단일고주파집적회로 스위치용 pHEMT 채널구조 설계 (Design of pHEMT channel structure for single-pole-double-throw MMIC switches)

  • 문재경;임종원;장우진;지흥구;안호균;김해천;박종욱
    • 한국진공학회지
    • /
    • 제14권4호
    • /
    • pp.207-214
    • /
    • 2005
  • 본 연구에서는 스위치, 위상변위기, 감쇄기등 전파제어회로를 설계 및 제작할 수 있는 pHEMT스위치 소자에 적합한 에피구조를 설계하였다. 고성능의 스위치 소자를 위한 pHEMT 채널층 구조는 이중 면도핑층을 가지며 사용 중 게이트 전극의 전계강도가 약한 깊은 쪽 채널층의 Si 면농도가 상층부보다 약 1/4정도 낮을 경우 격리도등 우수한 특성을 보였다. 설계된 에피구조와 ETRI의 $0.5\mu$m pHEMT MMIC 공정을 이용하여 2.4GHz 및 5GHz 대역 표준 무선랜 단말기에 활용 가능한 SPDT Tx/Rx MMIC 스위치를 설계 및 제작하였다. 제작된 SPDT형 스위치는 주파수 6.0 GHz, 동작전압 0/-3V에서 삽입손실 0.849 dB, 격리도 32.638 dB, 그리고 반사손실 11.006 dB의 특성을 보였으며, 전력전송능력인 $P\_{1dB}$는 약 25dBm, 그리고 선형성의 척도인 IIP3는 42 dBm 이상으로 평가되었다. 이와 같은 칩의 성능은 본 연구에서 개발된 SPDT 단일고주파집적회로 스위치가 2.4GHz뿐만 아니라 SGHB 대역 무선랜 단말기에 활용이 충분히 가능함을 말해준다.

셀룰라 네트워크 환경에서 시스템 레벨 시뮬레이션 기반 단말간 직접통신 성능 분석 (Performance Evaluation of Device-to-Device Communications Based on System-Level Simulation in Cellular Networks)

  • 이호원;최현호;정수정;장성철;권동승
    • 한국통신학회논문지
    • /
    • 제38B권4호
    • /
    • pp.229-239
    • /
    • 2013
  • 최근 셀룰라 네트워크의 주파수 효율을 높이고 다양한 사용자 경험을 제공하기 위하여 단말간 직접 통신(device-to-device, D2D) 기술이 주목을 받고 있다. 본 논문에서는 D2D 관련 표준 및 기존 연구에 대한 선행 조사를 통하여 D2D 통신이 가지는 많은 장점들과 이 장점들이 제대로 실제 시스템에 적용되기 위해서 해결되어야 할 주요 문제점들에 대해서 살펴본다. 특히, 가장 중요시 되는 셀룰라 링크와 D2D 링크간의 간섭 이슈를 고려하여 5가지 D2D 자원할당 및 간섭제어 시나리오에 대해 시스템 레벨 시뮬레이션을 수행한다. 성능 분석 결과, D2D를 사용할 경우에 주파수 재사용 및 데이터 오프로딩(off-loading) 효과로 인해 전체 셀 용량 및 D2D 사용자 전송률이 현저히 증가하며, 이들 성능을 최대화하는 최적 D2D 통신 허용 반경값이 존재함을 알 수 있다.

BIM 기반의 철골접합부 모델링 자동화에 관한 연구 (A Study on the Automation of the Connection modeling for Steel Structures based on BIM)

  • 엄진업;신태송
    • 한국강구조학회 논문집
    • /
    • 제22권1호
    • /
    • pp.99-108
    • /
    • 2010
  • 본 연구는 구조상세설계와 모델링 단계에서 활용 가능한 철골 접합부 모델링 자동화 모듈의 개발을 목적으로 한다. 이를 위해 접합부의 구조해석 결과를 3D 모델링의 입력 변수와 표준접합상세지침을 고려하여 라이브러리 D/B로 구축하였다. 구축된 라이브러리 D/B를 접합부 3D 모델링 단계에서 활용하기 위하여 상용 S/W에서 제공하는 OpenAPI 함수를 이용하여 접합부 자동 생성 모듈을 개발하였다. 개발된 모듈을 검증하기 위해 6층 규모의 철골 오피스 구조물을 대상으로 접합부 모델링을 수행하였으며, 접합부 모델링 과정에 대해 기존 프로세스와 연구 프로세스의 비교를 통해 적용성과 효율성을 검증하였다.

AMC와 MIMO 선택 기법이 결합된 통신 시스템의 설계 및 성능 분석 (Design and Performance Analysis of a Communication System with AMC and MIMO Mode Selection Scheme)

  • 이정환;윤길상;조인식;서창우;셰를리;황인태
    • 대한전자공학회논문지TC
    • /
    • 제47권3호
    • /
    • pp.22-30
    • /
    • 2010
  • 본 논문은 AMC(Adaptive Modulation and Coding)와 MIMO(Multiple Input Multiple Output)를 결합하여 전송률 및 전송 신뢰도 향상을 가져오는 통신 시스템을 구현한다. 또한 Precoding과 Antenna Subset Selection을 효율적으로 적용하고 MIMO 선택 기법을 결합하여, 최종적으로 AMC와 MIMO 선택 기법이 결합된 통신 시스템을 설계하고 성능을 분석한다. 모의 실험 환경은 안테나 간 상관성이 존재하지 않는 주파수비 선택적 레일리 페이딩 채널을 고려하였으며, 확산인자는 16을 적용하였다. 그 외의 여러 모의 실험 환경은 HSDPA(High Speed Downlink Packet Access) 표준에 근거하여 구성하도록 노력하였다. 본 논문에서 제안한 "AMC와 MIMO 선택 기볍이 결합된 시스템"은 기존의 "AMC와 각 MIMO의 결합 시스템들" 보다 높은 보여주었으며, 열악한 채널 환경에서도 안정적인 전송률을 확보해 주었다. 제안된 시스템은 약 8dB에서 최대 전송률을 나타내었으며, 제안된 시스템과 동일한 최대 전송률올 갖눈 기종의 "AMC와 D-STTD $4{\times}2$ 결합 시스템"과 비교하였을 때 약 6dB 정도 먼저 최대 전송률을 나타냈다. 또한 최대 전송률에 이르기 전까지 거의 모든 SNR(Signal to Noise Ratio)서 기존의 시스템보다 약 2배 정도 높은 전송률을 보였다. 구체적으로 SNR이 2dB인 지점에서 기존의 시스템은 약 2.5Mbps의 전송률을 나타냈으며, 제안된 시스템은 그 2배가 넘는 약 6.4MBps의 전송률을 나타냈다. 또한 SNR이 2dB인 지점에서는 각각 약 7.5Mbps와 15.3Mbps의 전송률을 나타내어 역시 2배에 가까운 차이가 나는 것을 확인할 수 있었다. 제안된 시스템은 AMC 기법을 사용하는 주 목적인 전송률의 향상에 크게 기여하였으며, 특히 평균 전송률의 향상에 효과적임을 확인하였다.

저 전송율에서의 영상 부호화를 위한 멀티테이블 벡터 양자화기 (Multi-table Vector Quantizer for Image Coding at Low Rates)

  • 전준현;김재균
    • 한국통신학회논문지
    • /
    • 제14권2호
    • /
    • pp.108-120
    • /
    • 1989
  • 본 논문에서는 저 전송에 따른 벡터 양지화의 에지 결손(edge degradation)을 줄이기 위한 새로운 방법을 제안하였다. 이 방법은 여러 개의 codebook들을 사용하며, 이 codebook들 중 하나는 현재 부호화할 벡터의 표준편차에 의해 선택되어진다. 또한 codebook을 찾는 계산량을 줄이기 위해 SD 탐색(search) 방법을 제안하였다. 결과로서 제안된 벡터 양지화기는 0.4-0.7bpp전송율에서 30dB이상의 좋은 성능을 얻었다.

  • PDF

저소음 도로 표면 개발의 필요성

  • 박철희
    • 소음진동
    • /
    • 제5권2호
    • /
    • pp.147-152
    • /
    • 1995
  • 본 글에서는 현재 유럽과 우리나라와 유사한 도로사정을 가진 일본, 홍콩 에서 행해지고 있는 타이어/도로 소음에 관한 연구 실태와 그 자료를 소개함으로써 자동차 자체의 소음뿐 아니라 환경 소음 관절에서 간과할 수 없는, 타이어/도로 소음에도 관심을 가져야 할 이유를 제시하였다. 본문에서 살펴본 각 국의 노력과는 별도로 유럽 공동체(EC)는 1991년에 타이어/도로 접촉에 의해 발생하는 소음을 제한 할 수 있는 기준이 1995년 10월 이전에 결정될 수 있다고 발표하고 있으며, 이에 따라 도로 표면과 자동차의 종류에 따른 소음 측정 방법에 대한 표준을 연구하기 위하여 ISO내에 ISO/TC 43/SC 1/WG 33라는 그룹이 1991년 설립되었다. 이와 같이 유럽에선 과거부터 행해온 실제도로 표면에 대한 연구뿐만 아니라 미래를 내다본 제도적인 측면에 까지 관심을 가지고 있음을 알 수 있다. 지금까지 언급한 바와 같이 다공성 도로 표면에 따른 초기 소음 감소량이 5dB(A) 이상이고 도로 수명이 다함에 따라 그 감소량은 0dB(A)가 된다. 그러나, 이 소음 감소량은 저소음 도로 표면에 대한 연구 동기를 제공하기에 충분한 가치가 있다고 생각된다. 이제 국내에서도 자동차 자체의 소음의 제어나 차음벽의 설치뿐 아니라 조소음 도로 표면에 대한 연구 가 병행되어야 할 것이다.

  • PDF

트렐리스 상태 결합을 이용한 SOQPSK-TG 수신기 (SOQPSK-TG Receiver Using Trellis State Combining)

  • 구영모;부정일;김복기
    • 한국항공우주학회지
    • /
    • 제47권3호
    • /
    • pp.240-244
    • /
    • 2019
  • 차등 프리코더와 CPM 변조기로 구성된 SOQPSK-TG는 전력 및 대역폭 효율이 우수하여 텔레메트리 표준으로 채택되었다. 본 논문에서는 SOQPSK-TG의 주파수 펄스를 심벌 길이가 2인 구형파로 근사화하여 간소화한 후 이를 차등 프리코더와 결합하여 상태수를 4로 감소시킨 비터비 복호 수신기를 제안하였다. 이를 AWGN 채널에서 컴퓨터 모의 실험한 결과 기존 방식의 SOQPSK-TG 수신기와 성능과 비교하여 BER이 $10^{-5}$일 때 약 1dB의 성능 개선이 있는 것을 확인하였다.

한글 상호(商號)를 로마자로 변환하기 위한 고속 부분문자열 분석 알고리즘 (High Speed Substring Analysis Algorithm for Converting from the Korean Company Name to Roman Characters)

  • 황명진;조선호;권혁철
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 추계학술발표대회
    • /
    • pp.168-170
    • /
    • 2008
  • 한글 상호(商號) 로마자 변환기는 한글로 만들어진 상호를 로마자로 자동 변환하는 시스템이다. 이 변환기는 기사용 로마자 상호명과 업종명, 그리고 표준 한글 로마자 변환 규칙에 의해 생성한 로마자를 조합하여 로마자 상호를 생성한다. 이때, 조합을 위한 알고리즘이 필요한데, 기존에 비슷한 용도에 사용되었던 stack 알고리즘을 적용할 경우 비효율적이다. 본 논문은 이를 대체할 새 알고리즘을 제안한다. 새 알고리즘은 기존 stack 알고리즘을 사용할 때에 비해 복잡도를 O(bd)에서 O(b*d)로 줄여 성능을 높인다.

절리암반내 지구조구 설정을 위한 정량적 기준에 대한 연구 (A Study on the Quantified Criteria in Determining the Geostructural Domain of Fractured Rock Mass)

  • 엄정기;조태진;권순진
    • 터널과지하공간
    • /
    • 제16권1호
    • /
    • pp.26-37
    • /
    • 2006
  • 본 연구는 절리암반의 통계적 동질성에 대한 정량적 기준으로 절리의 평면밀도 및 길이를 동시에 고려할 수 있는 통계적 모수인 박스프랙털$(D_B)$의 적용성에 대해 논하였다. 길이분포와 평면밀도를 달리하는 총 129개의 절리연결망에서 박스 집계법을 이용하여 절리의 길이분포와 평면밀도의 변화에 따른 $D_B$의 변화특성을 고찰한 결과 $D_B$는 절리의 방향 또는 절리길이의 표준편차 변화에 영향을 받지 않고 전체절리에 대한 평균 절리길이와 평면밀도에만 영향을 받는다는 사실을 검증하였다. 또한 $D_B$는 절리의 길이와 평면밀도의 함수로써 공학적 지구조구 구분의 정량적 척도로 활용될 수 있음을 입증하였다. 본 연구의 현장 적용성을 검토하기 위하여 도로사면 및 지하구조물에서 박스 집계법을 적용한 사례연구를 수행하였다. 통계적 동질구역 구분에 있어서 일반적인 지질조건와 더불어 기존의 분할표 해석과 본 연구의 방법론을 병행하면 절리의 방향성, 평균길이 및 평면밀도가 종합적으로 고려된 공학적 지구조구의 구분이 가능할 것으로 사료된다.