지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2023.10
- 수록면
- 430 - 437 (8page)
- DOI
- 10.5391/JKIIS.2023.33.5.430
이용수
초록· 키워드
오류제보하기
논리를 기반으로 한 스케줄링 언어인 RSV와 RCPSV는 변형을 허용하는 자원 제약 프로젝트 스케줄링 문제를 묘사하고 해결하는데 사용될 수 있다. RSV 와 RCPSV에서 스케줄링문제는 구문적으로 액티비티 용어(activity term)로 묘사되는데 이것은 KL-ONE과 같은 용어적 지식 표현 시스템(knowledge representation systems)으로부터 유래한 묘사 논리(description logic)의 컨셉트(concepts)와 유사하다.
RSV에서는 연산자 pll, seq, 그리고 xor를 사용하여 중첩된 액티비티 용어를 묘사가능 하고 RCPSV에서는 연산자 hnet와 xor를 사용하여 중첩된 액티비티 용어를 묘사가능하다. 비록 RSV와 RCPSV가 각각 서로 다른 구문과 연산자에 의해 정의됨에도 불구하고 임의의 RCPSV-용어가 RSV-용어로 묘사가능하고 또한 그 역도 성립함을 증명해 보이고자 한다.
이러한 표현력에 있어서의 동등성 증명으로부터 RSV와 RCPSV가 같은 표현력을 갖는 스케줄링언어임을 보이고자 한다.
RSV에서는 연산자 pll, seq, 그리고 xor를 사용하여 중첩된 액티비티 용어를 묘사가능 하고 RCPSV에서는 연산자 hnet와 xor를 사용하여 중첩된 액티비티 용어를 묘사가능하다. 비록 RSV와 RCPSV가 각각 서로 다른 구문과 연산자에 의해 정의됨에도 불구하고 임의의 RCPSV-용어가 RSV-용어로 묘사가능하고 또한 그 역도 성립함을 증명해 보이고자 한다.
이러한 표현력에 있어서의 동등성 증명으로부터 RSV와 RCPSV가 같은 표현력을 갖는 스케줄링언어임을 보이고자 한다.
목차
요약
Abstract
1. Introduction
2. The Scheduling Language RSV
3. The Scheduling Language RCPSV
4. Utilizing the diagram-based algorithm ARCPSV to solve the RCPSV problem
5. The Equal Expressivity of RSV and RCPSV
6. Conclusion
References
참고문헌 (9)
참고문헌 신청
S. Hartmann and D. Briskorn, “A survey of variants and extensions of the resource-constrained project scheduling problem,” European Journal of operational research, vol. 207, no. 1, pp. 1-14, 2010.
F. Habibi, F. Barzinpour and S. J. Sadjadi, “Resourceconstrained project scheduling problem: review of past and recent developments,” Journal of Project Management, vol. 3, pp. 55-88, 2018.
S. E. Elmaghraby, “Activity Networks: Project Planning and Control by Network Models,” Wiley, New York, 1977.
F. B. Talbot, “Resource-Constrained Project Scheduling with Time-Resource Tradeoffs: The Nonpreemptive Case,” Management Science, vol. 28, no. 10, pp. 1197-1210, 1982.
F. M. Donini, M. Lenzerini, D. Nardi and W. Nutt, “The Complexity of Concept Languages,” Information and Computation, vol. 134, no. 1, pp. 1-58, 1997.
F. Habibi, F. Barzinpour and S. J. Sadjadi, “Resourceconstrained project scheduling problem: review of past and recent developments,” Journal of Project Management, vol. 3, pp. 55-88, 2018.
S. E. Elmaghraby, “Activity Networks: Project Planning and Control by Network Models,” Wiley, New York, 1977.
F. B. Talbot, “Resource-Constrained Project Scheduling with Time-Resource Tradeoffs: The Nonpreemptive Case,” Management Science, vol. 28, no. 10, pp. 1197-1210, 1982.
F. M. Donini, M. Lenzerini, D. Nardi and W. Nutt, “The Complexity of Concept Languages,” Information and Computation, vol. 134, no. 1, pp. 1-58, 1997.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Effect of respiratory syncytial virus on the growth of hepatocellular carcinoma cell-lines
BMB Reports
2015 .01
-
Resveratrol augments ER stress and the cytotoxic effects of glycolytic inhibition in neuroblastoma by downregulating Akt in a mechanism independent of SIRT1
Experimental and Molecular Medicine
2016 .01
-
클라우드 환경에서 단일 자원 스케줄링 연구
한국차세대컴퓨팅학회 논문지
2023 .04
-
염색 가공 공장에서 동적 스케줄링 기법에 관한 연구
한국통신학회논문지
2020 .07
-
디스크 스케줄링 알고리즘 기반의 엘리베이터 원격 호출 및 스케줄링 서비스
한국정보과학회 학술발표논문집
2017 .12
-
Performance Analysis of Instruction Priority Functions using a List Scheduling Simulator
Journal of KIISE
2023 .12
-
인공신경망을 활용한 여행경로 스케줄링 시스템
한국컴퓨터정보학회 학술발표논문집
2017 .07
-
제주국제공항 항공기 출도착 통합 스케줄링 운용개념 검증
한국항공우주학회 학술발표회 초록집
2020 .11
-
고성능 멀티프로세서를 위한 유전 알고리즘 기반의 반복 데이터흐름 최적화 스케줄링 알고리즘
한국인터넷방송통신학회 논문지
2015 .01
-
사회연결망분석을 활용한 스케줄링 기법 관련 연구동향
대한산업공학회 춘계공동학술대회 논문집
2016 .04
-
비용 최적화 기반 수송 스케줄링 시스템
대한전자공학회 학술대회
2016 .06
-
스마트 그리드 시스템에서 퍼지 논리 제어를 이용한 전기 차량 스케줄링
한국통신학회 학술대회논문집
2018 .01
-
선점형 동적우선순위 스케줄링 시스템에서의 부하인지기반 비주기 태스크 스케줄링 알고리즘
한국정보과학회 학술발표논문집
2019 .06
-
네트워크 스케줄링 알고리즘의 병렬 처리 동향
대한전자공학회 학술대회
2017 .06
-
유연생산시스템 최적 스케줄링
대한산업공학회 춘계공동학술대회 논문집
2022 .06
-
모바일 시스템에서 I/O 스케줄링 기법에 따른 다중 I/O 요청 성능 분석
한국통신학회 학술대회논문집
2015 .01
-
자원 제약이 있는 프로젝트 스케줄링 문제를 위한 그래프 신경망 기반의 강화학습 알고리즘
대한산업공학회 춘계공동학술대회 논문집
2022 .06
-
FCFS 기반 스케줄링 알고리즘 리뷰
대한교통학회 학술대회지
2021 .11
-
DDQN을 활용한 강화학습 기반의 다기능 레이더 임무 스케줄링 방법
한국산학기술학회 논문지
2023 .07
-
IoT 환경에서의 적응적 패킷 스케줄링 알고리즘
한국컴퓨터정보학회 학술발표논문집
2018 .07
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0