文献

J-GLOBAL ID：201702294617095505   整理番号：17A1730751

制約充足モデルを用いた衝突のない検査ダイヤの自律生成【Powered by NICT】

Autonomous generation of conflict-free examination timetable using constraint satisfaction modelling

著者 (1件)： Elsaka Tarek (University of Sharjah Sharjah, UAE Central Laboratory for Agricultural Expert Systems (CLAES) Cairo, Egypt)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： IDAP  ページ： 1-10  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 検査ダイヤ(ETT)は,正確な期間内に試験セッションをスケジュールするETTを発生させるために様々な制約果たさなければならない教育機関での複雑な行政課題である。ETT問題は制約充足問題(CSP)としてモデル化することができた。さらに,制約論理プログラミング(CLP)法により特に研究することができた。コミュニティカレッジ(CC),Sharjah大学(UoS)からの実際の試験データセットを用いた。このデータセットは多くの部門に関連した学生の入学の大きな数,累積数組合せコースの,低数試験ホールの非常に限られたタイムスロット,低数invigilatorsと遠隔キャンパスのような非常に豊富なデータを持っている。このデータセットは多くのキャンパスで教え経過は同じ試験日を持つなければならないような満足すべき多くの実用的な制約を持ち,invigilatorはキャンパスでinvigilateことができる。ETTデータセットをモデル化し,CLP(制約論理プログラミング)ソルバを用いた衝突のないETT溶液を自動生成するCSP定義と同様に最適化プログラミング言語(OPL)を適用する。最後に,モデルにおいて提案された制約を満足させるために結果を用いた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 最適化 ,  プログラミング言語 ,  *ダイヤモンド ,  *制約充足問題 ,  制約論理プログラミング ,  キャンパス ,  モデリング
準シソーラス用語： 自動生成 ,  ソルバ ,  タイムスロット ,  試験データ ,  教育機関 ,  *自律性 , 【Automatic Indexing@JST】

分類 (4件)： システム最適化手法  (IA02050Z) ,  計算機システム開発  (JD02010R) ,  人工知能  (JE08000Z) ,  光通信方式・機器  (ND10000B)

タイトルに関連する用語 (6件)： 制約充足 ,  モデル ,  衝突 ,  検査 ,  ダイヤ ,  自律