지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
1. 서론
2. C ISAT모형
3. CISAT모형의 적용
4. CISAT모형의 구현
5. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
과제전개구조형 CISAT모형의 설계
대한산업공학회 추계학술대회 논문집
2007 .11
실시간 스케줄링을 위한 SAT 알고리즘의 적용
한국정보과학회 학술발표논문집
2008 .10
A Design of the Cost-Effectiveness Analysis System for Evaluating Planning Alternatives of R&D Project
대한산업공학회 추계학술대회 논문집
1991 .10
유비쿼터스 컴퓨팅의 실내 측위 기술을 위한 U-SAT 시스템의 적용에 관한 연구
제어로봇시스템학회 논문지
2006 .09
양자 검색 알고리즘을 이용한 Exactly-1 3-SAT 문제 접근법
한국통신학회 학술대회논문집
2019 .01
상호영향형 계획대체안 수목구조체의 개발
대한산업공학회 춘계공동학술대회 논문집
2001 .04
SAT-Ⅱ UAV의 조종력 할당에 관한 연구
한국항공우주학회 학술발표회 초록집
2005 .04
전달 루틴의 병렬화를 통한 SAT 알고리즘의 GPGPU 가속화
한국정보통신학회논문지
2016 .10
기술대체모듈 설정모형의 개발
대한산업공학회 추계학술대회 논문집
2007 .11
Bounded Model Checking을 위한 다양한 SAT Solver 성능 분석
한국정보과학회 학술발표논문집
2016 .12
SAT-CDMA의 임의접속채널
한국통신학회 학술대회논문집
2001 .11
SATS 프로젝트의 개요 및 기술현황
항공우주산업기술동향
2005 .12
SAT 처리기를 위한 수도쿠 퍼즐의 최적화된 인코딩
정보과학회논문지 : 소프트웨어 및 응용
2007 .07
U-SAT을 이용한 4WS 무인 컨테이너 트랜스포터의 횡방향 제어
제어로봇시스템학회 합동학술대회 논문집
2006 .12
R-502 대체 혼합냉매들의 성능에 관한 연구
대한설비공학회 학술발표대회논문집
1994 .11
1차원 현장 soil column 실험을 통한 SAT 반응 모델 검증
한국지하수토양환경학회 학술발표회
2003 .01
R-502 대체냉매 R-402A , R-402B , R-404A의 성능에 관한 실험적 평가 ( Experimental Evaluation on the Thermodynamic Performance of R-502 Alternatives R-402A , R-402B , R-404A )
대한기계학회 춘추학술대회
1996 .01
A Method for Generation a Factored SAT Symbolic Reliability Formula
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1990 .01
휠로더 SAT 개발을 위한 작업 패턴 분석에 대한 연구 : 건설 장비의 인공지능 작업모드 개발
한국자동차공학회 춘계학술대회
2016 .05
도시ㆍ지역계획 수립시에 계획지원시스템의 활용 가능성 탐색
환경논총
2005 .12
0