컨테이너 트랜스포터의 무인 주행 제어

허남 ,  이영진 ,  이만형

제어로봇시스템학회 각 지부별 자료집

1999 .12

양자 검색 알고리즘을 이용한 Exactly-1 3-SAT 문제 접근법

하진영 ,  김태현 ,  이흥석 외 1명

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

2019 .01

실시간 스케줄링을 위한 SAT 알고리즘의 적용

박경태 ,  나승진 ,  백은옥

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

2008 .10

무인 컨테이너 트랜스포터의 조향 및 속도 제어

허남 ,  이영진 ,  이만형

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

1999 .10

무인 컨테이너 운송 시스템의 최적관리제어

변재욱 ,  조광현 ,  조광현

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

1999 .10

SAT-Ⅱ UAV의 조종력 할당에 관한 연구

민병문 ,  김응태 ,  탁민제

한국항공우주학회 학술발표회 초록집

2005 .04

전달 루틴의 병렬화를 통한 SAT 알고리즘의 GPGPU 가속화

강형주

한국정보통신학회논문지

2016 .10

초음파 위성을 이용한 무인컨테이너 트랜스포터 주행을 위한 효율적인 4륜 조향제어

강성호 ,  김수용 ,  이길수 외 1명

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

2007 .05

SAT-CDMA의 임의접속채널

임광재 ,  강군석 ,  김수영

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

2001 .11

유비쿼터스 컴퓨팅의 실내 측위 기술을 위한 U-SAT 시스템의 적용에 관한 연구

이동활 ,  박종진 ,  김수용 외 2명

제어로봇시스템학회 논문지

2006 .09

SATS 프로젝트의 개요 및 기술현황

안석민 ,  이종원 ,  권태희 외 1명

항공우주산업기술동향

2005 .12

SAT 처리기를 위한 수도쿠 퍼즐의 최적화된 인코딩

권기현

정보과학회논문지 : 소프트웨어 및 응용

2007 .07

Bounded Model Checking을 위한 다양한 SAT Solver 성능 분석

이도경 ,  남원홍

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

2016 .12

A Method for Generation a Factored SAT Symbolic Reliability Formula

Yoichi Higashiyama ,  Hi ,  omu A 외 4명

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1990 .01

휠로더 SAT 개발을 위한 작업 패턴 분석에 대한 연구 : 건설 장비의 인공지능 작업모드 개발

허연행 ,  김형호 ,  김인동

한국자동차공학회 춘계학술대회

2016 .05

IMT-2000의 위성부문 SAT-CDMA System 성능평가

전훈 ,  박휘원 ,  이승익 외 1명

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

1999 .07

얕은 불포화 및 포화 대수층을 모사한 SAT 토양칼럼에서의 하수처리장 방류수 처리 수질 변화

차우석 ,  김정우 ,  최희철 외 3명

지하수토양환경

2005 .01

1차원 현장 soil column 실험을 통한 SAT 반응 모델 검증

김정우 ,  차우석 ,  최희철

한국지하수토양환경학회 학술발표회

2003 .01

동적오염분석과 SAT 해석기를 이용한 상용 소프트웨어 보안 취약점 분석 연구

김성호 ,  박용수

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

2014 .06

SAT 토양칼럼에서 불포화 층의 깊이가 처리수질에 미치는 영향

차우석 ,  김정우 ,  최희철

대한환경공학회지

2004 .02