• 대한전자공학회논문지
• /
• 제19권3호
• /
• pp.1-4
• /
• 1982

본 논문은 제한 대역 랜덤 입력 신호를 가진 선형 시스템의 해석을 위한 효과적이고 통계적으로 정확한 기법을 발견, 비교 연구하는 데 그 목적이 있다. 전 논문에서 보인 truncated expansion 정확도를 이용한 새로운 각환 기법이 만들어졌고, 평균 자병 에러 기준에 의거하여 기법들의 성능 비교 연구가 일차, 이차 선형 시스템 모델들에 대해 수행 되었다. 그 결과, 새로운 제고 대역 state 변환 기법이 다른 기법들(일차 state 변환 기법 또는 Z-변환 기법)보다 더욱 효과적이고 통계적인 의미에서 정확함이 판명되가다.

• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제55권11호
• /
• pp.564-571
• /
• 2006

In this paper, the estimation of Z-axis thrust ripple and vibration of BLDC motor with asymmetrical permanent magnet overhang is performed by 3-D Finite Element Method (3-D FEM) and vibration experimentation. The ripple of Z-axis thrust is due to armature reaction field in BLDC motor driven to squire wave. That is generating to Z-axis vibration. The analysis results of Z-axis thrust and the vibration by Z-axis thrust ripple is validated by comparison with experimental result.

• 한국ITS학회 논문지
• /
• 제11권3호
• /
• pp.55-62
• /
• 2012

임베디드 제로트리 웨이블렛(EZW : Embedded Zerotree Wavelet) 알고리즘은 원본 영상을 웨이블렛 변환하고 그 변환된 데이터를 이용하여 영상을 압축하는 기법으로써, 간단한 구조형태를 이루며 그 효율이 또한 매우 우수한 알고리즘이다. 본 논문은 이를 개선하여 압축 효율을 향상 시킨 것이다. 기본적으로 임베디드 제로트리 웨이블렛 알고리즘은 웨이블렛 변환된 데이터의 중요도를 판단하고, 그 중요도와 위치정보를 4가지로 분류하여 저장하게 된다. 이 부호는 P, N, Z, T로 나타내며 이중 P,N은 데이터의 크기와 관련한 중요도를 의미하고, 그 위치 정보를 Z, T 부호로 나타낸다. 각각의 부호들은 주부호화 과정을 통해 저장되게 되는데 이때 Z, T의 정보가 중복저장 되어 데이터양이 증가하게 된다. 본 논문에서는 중복 저장되는 데이터 량을 줄이기 위해 기존의 부호에 중복 기능을 나타내는 4가지 부호를 추가한 수정된 임베디드 제로트리 알고리즘을 제안하고, 이를 확장 임베디드 제로트리 웨이블렛(EEZW, Extended Embedded Wavelet) 알고리즘으로 명명하였다. 제안된 알고리즘은 다양한 영상을 대상으로 영상 품질을 정량적으로 표현한 PSNR(Peak Signal To Noise Rate) 수치를 비교하여 우수한 결과를 확인하였다.

• 전기의세계
• /
• 제17권1호
• /
• pp.11-20
• /
• 1968

A typical type-1 positioning servomechanism is theoretically analyzed as a multirate sampled-data system which contains two or more signals sampled at different rates by the Z-transform method. And also it is analyzed as a continuous system by using the Younsei 101 Electronic Analog Computer. Comparing the solution of the multirate sampled data system with that of the continuous system to a step input, it is concluded that the response time of the output of the multirate sampled-data system is reduced by a multirate controller, the ripple between samples is lessened and all the transients are diminished within one period.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.883-900
• /
• 2004

재사용성과 확장성을 높이는 객체지향 개발이 보편화되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다. 본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제12권2호
• /
• pp.141-148
• /
• 2006

본 논문에서는 정형 검증 도구를 이용한 보안 소프트웨어의 보안성을 검증하고 검증된 결과를 이용하여 안전한 보안 소프트웨어 개발 방안을 살펴본다. 정형 검증 기법에 따라 사용되어질 수 있는 각 정형 검증 도구들을 살펴보고 그 특성을 파악하여 보안 소프트웨어의 안정성과 신뢰성을 보장하는 적합한 도구들을 알아보고, 보안 소프트웨어 개발 방안을 제시한다. Z 언어를 이용하는 도구인 Z/EVES는 Z명세에 대한 분석 방법을 제시함으로써 보안 소프트웨어에서 가장 많이 사용되는 대표적인 정형 검증 도구이다. 본 논문에서는 보안 소프트웨어 검증을 위하여 C 언어로 작성된 보안 소프트웨어를 Z명세 언어로 변환하고 이것을 Z/EVES도구를 이용한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1996년도 추계학술대회 논문집 학회본부
• /
• pp.39-41
• /
• 1996

While the z-transform method is a basic mathematical tool to relate the signals only at the sampling instants in analyzing and designing sampled-data control systems, the modified z-transform which is a variation of the z-transform is widely used to represent the details of continuous signals between the sampling instants. Regarding the modified z-transform method, some properties were established to relate the modified z-transform to the regular z-transform. This paper will show that these properties, in their current forms, cause some analytic problems, when they are applied to the signals with discontinuities at the sampling instants, which accordingly limit their applications significantly. In this paper, those analytic problems will be investigated, and the theorems of the modified z-transform will be revised by adopting a new notation so that those can be correctly interpreted and used without any analytic problems in the analysis of sampled data systems. Also some useful schemes of applying the modified z-transform will be developed.

• 한국철도학회논문집
• /
• 제20권1호
• /
• pp.55-63
• /
• 2017

철도에 사용되고 있는 Safety critical systems 중 하나인 연동장치는 relay-based systems에서 computer-based systems으로 급속히 변환되고 있다. computer-based interlocking systems (CBI)의 안전성확보가 중요한 문제 중 하나로 떠오르고 있다. CBI를 구성하는 연동논리 software는 시스템 안전성에 직접적으로 영향을 미치는 부분 중 하나이다. Formal methods 중 하나인 "Z"notation은 이 software 안전성 확보를 위해 software 명세에 많이 사용되고 있다. 본 논문에서는 "Z"notation을 이용하여 연동논리 일부분을 구현하였으며, Z/EVES를 이용하여 검증을 하였다.

• 정보학연구
• /
• 제5권4호
• /
• pp.129-137
• /
• 2002

본 논문에서는 컴퓨터 통신 네트워크의 데이터 안전을 위해서 다항식을 인수분해 하는 데 어려움이 있는 공개키 다항식 배낭 암호시스템 알고리즘을 제안하였다. 제안된 공개키 다항식 배낭 암호시스템은 먼저, 초증가 벡터 P를 변환하여 다항식 벡터 Q(x,y,z)를 형성하고, 다항식 g(x,y,z)를 선택한다. 이러한 두개의 다항식 Q(x,y,z)와 g(x,y,z)를 공개키로 한다. 공개키 다항식 Q(x,y,z), g(x,y,z)와 난수 $\alpha$를 사용하여 평문을 암호화하여 암호문 R(x,y,z)을 수신자에게 보낸다. 수신자는 암호문 R(x,y,z)을 g(x,y,z)=0의 근, x, y와 z 그리고 비밀키 벡터의 초증가성을 사용하여 평문을 구하게 된다. 따라서 해독과정에서 3변수 다항식 g(x,y,z)=0의 인수분해의 어려움 때문에 안전성을 갖는 공개키 다항식 배낭 암호시스템으로 된다. 제안된 공개키 다항식 배낭 암호시스템의 타당성을 컴퓨터 시뮬레이션을 통하여 입증하였다.

• 대한전자공학회논문지SP
• /
• 제43권6호
• /
• pp.1-10
• /
• 2006

디스플레이 특성화 방법, 예를 들어 gain-offset-gamma (GOG) 모델 혹은 S-curve 모델에서는 일반적으로 디스플레이가 두 가지의 기본적인 특성, 즉 채널 색도 일관성과 채널 독립성을 가지고 있다고 가정한다. 하지만, 모바일 LCD의 경우, 이러한 가정은 잘 적용되지 않는다. 따라서 기존의 디스플레이 특성화 방법을 모바일 디스플레이에 적용하기 위해서는 부분적인 수정이 요구된다. 본 논문에서는 채널 색도 변화성의에 기인하여 나타나는 X, Y, Z 값의 전광 변환 함수의 차이를 고려하기 위해 각 채널당 X, Y, Z 값의 전광 변환 함수를 전부 모델링하는 방법을 제안한다. 또한, 채널 상호작용에 기인하여 나타나는 채널 사이의 충분하지 않은 가산성을 보상하기 위해 채널간 성분, 즉 cyan, magenta, yellow, gray에 대해서도 X, Y, Z 값의 전광변환 함수를 전부 모델링하여 이용한다. 실험을 통하여, 제안한 특성화 방법이 채널 색도 변화 또는 채널 의존성을 고려한 다른 특성화 방법에 비하여 모바일 디스플레이에서의 색 자극 값을 더욱 정확히 예측한다는 것을 보여 주었다.