모델체커를 검증하기 위한 모델체커

어현준 ,  Nikolay V. Shilov ,  이광근

한국정보과학회 학술발표논문집

2001 .10

주파수변환회로

김헌각

대한전자공학회 기타 간행물

1965 .01

저 전력용 논리회로를 이용한 패리티체커 설계 ( A Design of Parity Checker/Generator Using Logic Gate for Low-Power Consumption )

이종진 ,  조태원 ,  배효관

전자공학회논문지-SC

2001 .03

간단한 자바프로그램을 위한 CTL 모델 체킹

이정림 ,  이태훈 ,  권기현

프로그래밍언어논문지

2005 .11

교점의 추정 및 보간을 이용한 체커보드 검출

오상엽 ,  조남익

한국방송미디어공학회 학술발표대회 논문집

2016 .11

종분화 알고리즘을 이용한 다양한 진화 체커 플레이어의 생성

김경중 ,  조성배

한국정보과학회 학술발표논문집

2002 .04

차량 도어 체커 개폐이음 재현시험법 개발 및 내구신뢰성 확보

정수식

한국신뢰성학회 학술대회논문집

2016 .11

적분공정을 위한 민감도 함수 M_s를 이용한 안정된 PID 동조

이원혁 ,  황형수

정보 및 제어 논문집

2007 .04

차량내 잡음 환경에서 적응적 경계값을 이용한 가중치 주파수 차감에 관한 연구

전선도 ,  강철호 ,  김종찬 외 1명

한국음향학회지

1998 .01

결합 마이크로스트립 라인을 이용한 전압제어 발진기의 동조전압에 따른 위상잡음 특성 개선

류근관 ,  신동환 ,  염인복 외 1명

한국통신학회논문지

2010 .05

모델 체커를 이용한 바디 센서 시스템의 동적 알고리즘 검증

이우식 ,  김남기

한국정보과학회 학술발표논문집

2012 .06

FA 재설정을 통한 CSFB 성능향상에 관한 연구

차성희 ,  정연만

한국통신학회 학술대회논문집

2013 .06

차량내 잡음 환경에서 적응적 경계값을 이용한 가중치 주파수 차감에 관한 연구

전선도

한국음향학회 학술발표대회

1998 .01

자연계 동조 현상의 이해와 공학적 활용 방안

최현호

한국통신학회지(정보와통신)

2013 .12

H_∞ 놈을 이용한 자기동조형의 제어기 설계

최남수 ,  유시영 ,  이재민 외 1명

대한전자공학회 학술대회

1995 .12

퍼지추론을 이용한 비선형성 해석 및 자동동조의 구현

변황우 ,  이은철 ,  이동진 외 2명

제어로봇시스템학회 국내학술대회 논문집

1993 .10

시간-주파수 영역에서 음성/잡음 우세 결정에 의한 새로운 잡음처리

윤석현 ,  유창동

한국음향학회지

2001 .01

Study for Prediction the Door Checker Effort by using 2D-Contact

Xiaokang Zang ,  Daesung Bae ,  Ki 외 1명

한국소음진동공학회 학술대회논문집

2016 .04

비임펄스 잡음이 포함된 이진영상의 잡음제거

김재석 ,  정성옥 ,  오무송

한국정보과학회 학술발표논문집

2002 .10

유압 회로 해석 모듈을 이용한 주파수 응답 해석에 관한 연구

전봉근 ,  송창섭 ,  이용주

한국정밀공학회 학술발표대회 논문집

1997 .11