• 대한전자공학회논문지
• /
• 제17권4호
• /
• pp.23-30
• /
• 1980

능동RC여파기회로내의 모든 저항은 SC로 대체할 수 있다. SC는 저항에 비해 온도특성 및 선형특성이 좋고 실리콘 면적이 훨씬 적게 소요된다. 본 논문에서는 Bilinear Z -변환을 사용해서 능동RC여파기로부터 제동SC여파기를 실현할 수 있는 일반적 방법이 제시되었다. Bilinear Z-변환을 사용한 SC여파법은 기존 방법으로 실현이 곤란했던 FDNR여파기나 Gyrator여파기도 실현할 수 있으며 사용 주파수가 높아진다. 실험결과를 통해 능동RC여파기의 응답특성과 능동SC여파기의 응답특성이 비슷함을 확인하였다.

• 소음진동
• /
• 제7권1호
• /
• pp.135-142
• /
• 1997

This paper presents a digital modeling technique of the distributed system. The basic idea of the proposed technique is to discretize a continuous system with respect to the spatial coordinates using bilinear method. The response of the discretized system is analyzed by Laplace transform and z-transform. The computational results in torsional shaft and Timoshenko beam using the proposed technique are compared with the exact solutions and the results of finite element method.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
• /
• pp.849-852
• /
• 2002

전통적으로 소프트웨어 공학분야에서는 소프트웨어 설계 및 개발을 위한 자동화도구와 정형화기법이 적용되었으며, 안전한 보안시스템의 개발을 위해서도 수학적인 명세와 검증도구를 사용하는 경우, 보다 안전하고 완전한 보안시스템을 구축할 수 있다. 본 연구는 정형화 명세언어인 Z를 이용하여 보안시스템을 기술하고, 기술된 명세를 소프트웨어 검증도구를 이용하여 보안시스템이 제공하는 보안특성 만족 여부 점검을 목적으로 한다. 이를 위해 본 논문에서는 수학적으로 기술된 시스템에 대한 명세를 Z스키마로 변환하는 변환규칙을 기술하고, 이와 함께 Z언어 검증도구인 Z/EVES를 이용한 검증결과를 제시한다.

• 한국산학기술학회논문지
• /
• 제15권1호
• /
• pp.449-459
• /
• 2014

시각적인 클래스 모델로 기 제시된 2+1 View 통합 메타모델은 비정형적인 명세에 기인하여 명확하게 모델의 구문을 표현하지 못하고 있으며, 또한 그 모델의 정확성을 보장할 수 없다. 본 논문은 Z와 Object-Z를 사용해서 2+1 View 통합 메타모델의 구문적 의미를 정형적으로 명세하고, Z/Eves 툴을 통해 메타모델의 정확성을 검사하는 것이다. 정형 명세는 클래스 모델과 Z/Object-Z간의 변환규칙을 적용해서 2+1 View 통합 메타모델의 구문과 정적 시멘틱에 대해 Z와 Object-Z 스키마로 각각 표현한다. 메타모델의 검사는 Z 스키마 명세에 대해 Z/Eves 도구를 사용하여 구문, 타입 검사 그리고 도메인 검사를 수행하여 메타모델의 정확성을 입증한다. 이로서, 2+1 View 통합 메타모델 메타모델의 Z/Object-Z 변환을 통해 구조물의 구문적 의미를 명확하게 표현할 수 있으며, 또한 그 메타모델의 정확성을 검사할 수 있다.

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

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

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1995년도 추계학술대회논문집; 한국종합전시장, 24 Nov. 1995
• /
• pp.227-232
• /
• 1995

This paper presents a digital modeling technique for the distributed parameter system. The basic idea of the proposed technique is to discretize a continuous system with respect to the spatial coordinate using the approximate methods such as bilinear method and backward difference method. The response of the discretized system is analyzed by Laplace transform and Z transform. The computational result of the proposed technique in a torsional shaft is compared with the exact solution and the result of the finite element method.

• 해양환경안전학회지
• /
• 제13권2호
• /
• pp.169-172
• /
• 2007

본 논문은 Z-형 컨버터와 수정된 공간벡터 PWM인버터로 구성된 분산전원시스템의 회로모델과 제어 알고리즘을 보여주고 있다. Z-형 컨버터는 수동소자인 L과 C로 간단히 구성되어 있으며 인버터의 상하 양 소자가가 동시에 도통되도록 하는 구간을 이용해 승압을 함으로써 기존의 DC/DC 변환기와는 다른 형태를 취하고 있다. 점근 관측기를 이용한 이산시간 슬라이딩모드제어를 통해 전류제어를 함으로써 센서수를 줄이고 제어성능을 개선하였다. 대체에너지로 관심이 많은 태양광이나, 연료전지 그리고 소형 풍력발전으로부터 생산된 직류 에너지를 상용으로 사용할 수 있도록 하는 전력변환기로써 유용하게 사용될 수 있을 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
• /
• pp.1009-1012
• /
• 2001

일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일편의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 집합과 함수를 실제로 사용하기 위해서는 우리가 알고있는 정형 명세 언어로 변환할 필요성이 있다. 따라서 본 논문에서는 이러한 집합을 추상자료형으로 명세하여 정의하고, 추상자료형으로 표현된 명세를 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.

• 한국수산과학회지
• /
• 제29권2호
• /
• pp.143-149
• /
• 1996

우리나라 멸치어업에서의 1971~1992년 동안의 22년간 월별 어획량 자료를 시계열 분석하여 어획량을 분석, 예측하였다. 시계열 분석은 다른 생물학적, 해양학적, 사회 경제적인 요소가 없어도 단지 어획량 자료만으로 분석과 예측이 가능하다. 첫 20년간인 1971~1990년 사이의 월별 멸치 어획량 자료를 ARIMA 시계열 모형에 적용시켜 구한 결과는 다음과 같다. 로그 (대수) 변환시켰을 때의 ARIMA 모형: $$(1-0.381B)(1-0.027B^{12}+0.141B^{24})(1-B^1)(1-B^{12})Z_t=(1-0.968B)(1-0.727B^{12})e_t$$, Box-Cox 변환시켰을 때의 ARIMA 모형: $$(1-0.431B)(1-B^{12})Z_t=(1-0.882B^{12})e_t$$, 위의 두 모형중 Box-Cox 변환시킨 것이 로그 (대수) 변환시킨 것보다 예측오차가 적었으며, Box-Cox 변환식은 $Y'=(Y^{0.58}-1)/0.58$ 이었다. 위의 두 모형 중 후자의 모형을 이용하여 1991~1992년 사이의 월별 어획량을 예측하였다. 예측 어획량과 실제 어획량과의 월별 오차범위는 1.0~63.2% (1991년에 1.6~63.2%이고, 1992년에는 1.0~60.4%)였다. 예측 어획량이 각 연도별로 148,201M/T과 148,834M/T인데 비해, 실제 어획량은 170,293M/T, 168,234M/T이었다. 2년 동안의 총어획량에 대한 오차는 12.3%였다. 또한 스펙트럼 분석은 순환변동의 주기가 2.2개월, 6.1개월, 10.2개월, 12개월, 14.7개월에서 상대적으로 큰 성분이 있음을 나타내었다 이 순환변동 성분은 적절한 ARIMA 모형을 결정하는 데도 도움이 된다.

• 전자공학회논문지
• /
• 제49권10호
• /
• pp.69-80
• /
• 2012

본 논문에서는 임펄스 신호를 방사하는 UWB 안테나의 링크 특성을 분석하기 위해 주파수영역에서 안테나 특성을 측정하기 위해 사용하는 네트워크 분석기를 이용한 시간영역 측정 및 분석기술에 대해 연구하였다. 이를 위해 네트워크 분석기에서 획득한 데이터를 줌-인(Zoom-In)이 가능한 시간영역으로 변환하기 위한 CZT(Chirp z-Transform) 알고리즘을 개발하였다. 개발된 CZT 알고리즘을 이용하여 주파수영역에서 각 안테나 링크에 대한 파형분석을 통해 표준이산푸리에 변환(Discrete Fourier Transform)보다 고속으로 변환이 가능하고 임의의 원하는 구간을 줌-인 함으로서 효율적으로 파형분석이 가능함을 증명하였다.