지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
1. 서론
2. 기존 OPS 알고리즘의 문제점
3. 시간논리를 이용한 제약조건의 표현
4. 목표트리와 시간논리를 이용한 OPS 알고리즘
5. 결론
감사의 글
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
시간논리와 표현논리를 이용한 운전절차 자동합성 시스템 개발
한국가스학회지
2001 .03
조작절차 합성을 위한 공정 모델링 및 알고리즘
한국가스학회 학술대회논문집
1998 .09
시간 제약조건과 하이브리드 모델링을 이용한 운전절차 자동합성
한국가스학회 학술대회논문집
2005 .05
FTA를 이용한 화학공장의 위험성 평가에 관한 연구
한국가스학회 학술대회논문집
1997 .09
FTA를 이용한 화학공장의 위험성 평가 및 응용
한국가스학회지
1997 .12
Logic Synthesis
CAD기술특강
1989 .01
화학공정의 이상트리 자동합성을 위한 모델링
한국가스학회지
1998 .09
화학공장의 위험도 표현 시스템 개발
한국가스학회지
2005 .06
Temporal Logic을 이용한 프로토콜의 검증에 관한 연구 ( A Study on the Validation of Protocol Using Temporal Logic )
한국통신학회 워크샵
1998 .01
논리 합성 기술
전자공학회지
1993 .11
AN APPROACH FOR LOGIC SYNTHESIS
ICVC : International Conference on VLSI and CAD
1989 .01
화학공정의 제어구조 합성에 관한 연구
제어로봇시스템학회 국내학술대회 논문집
1986 .10
화학공정의 제어구조 합성에 관한 연구 ( A Study on the Regulatory Control Structure Synthesis in Chemical Processes )
대한전자공학회 학술대회
1986 .01
천연가스 액화 실험장치의 운전절차와 운전특성
한국가스학회 학술대회논문집
2014 .11
공간 객체를 위한 색인 방법의 설계 및 성능 평가
(구)정보과학회논문지
1991 .10
위험성평가를 위한 다중모델 접근법에 의한 이상트리 합성알고리즘에 관한 연구
한국가스학회 학술대회논문집
1998 .09
시간지원 데이타베이스에서의 효과적인 시간지원 집계 처리 기법
정보과학회논문지(B)
1999 .12
(2,4)-트리를 이용한 그룹키 관리
정보보호학회논문지
2001 .08
화학공장 사고에 대한 비용ㆍ편익 분석
한국가스학회 학술대회논문집
2005 .10
0