×
鲁道夫·伯格哈默；布列塔·凯登

特殊大学时间表问题的关系代数规范和解决方案。 （英语） Zbl 1198.90168号

J.日志。阿尔盖布。程序。 79，第8期，722-739（2010）.
摘要：我们关注的是一个特殊的时间表问题。它是由我们大学的行政部门向我们提出的，源于德国采用英美大学教育体系。这一变化导致了一项具体任务，即制定一个时间表，使中学教师在“正常情况”下能够在三年内完成本科教育，在特殊科目组合的情况下能够在四年内完成。我们开发了时间表问题的两个关系代数模型，并在每种情况下开发了计算解决方案的算法。后者可以在Kiel RelView工具中轻松实现，表明RelView可以用于时间表。

引用于2文件

MSC公司：

90B35型 运筹学中的确定性调度理论
68瓦30 符号计算和代数计算

关键词：

关系代数；时间表；正式程序开发；工具支架；重新查看

软件：

重新查看
PDF格式BibTeX公司 XML格式引用
\textit{R.Berghammer}和\textit{B.Kehden}，J.Log。阿尔盖布。程序。79，第8号，722--739（2010；Zbl 1198.90168）
全文： 内政部

参考文献：

[1] 贝恩克，R。；Berghammer，R。；Meyer，E。；Schneider，P.，RelView–一个用关系和关系编程进行计算的系统，（Astesiano，E.，《软件工程基本方法第一届会议论文集》，《软件工程学基本方法第一次会议论文集，LNCS，第1382卷（1998），Springer），318-321
[2] Berghammer，R。；Leoniuk，B。；Milanese，U.，使用二元决策图实现关系代数，（de Swart，H.，《第六届计算机科学中关系方法国际研讨会论文集》，第六届国际计算机科学中的关系方法研讨会论文集，LNCS，第2561卷（2002），Springer），241-257·Zbl 1027.68036号
[3] Berghammer，R。；Neumann，F。，重新查看-基于OBDD的关系计算机代数系统，（Gansha，V.G.；Mayr，E.W.；Vorozhtsov，E.，《第八届科学计算中的计算机代数国际研讨会论文集》，LNCS，第3718卷（2005），Springer），40-51·Zbl 1144.68384号
[4] Berghammer，R.，不动点的关系代数计算与应用，J.逻辑代数编程，66，112-126（2006）·Zbl 1086.68095号
[5] Berghammer，R.、Ordnungen、Verbände und Relationen mit Anwendungen（2008）、Vieweg-Teubner·Zbl 1146.06001号
[6] （Brink，C.；Kahl，W.；Schmidt，G.，《计算机科学中的关系方法》，《计算科学进展》（1997），Springer）·Zbl 0871.00027号
[7] （de Swart，H.；Orlowska，E.；Schmidt，G.；Roubens，M.，《关系结构作为知识工具的理论和应用》，LNCS，第2929卷（2003），Springer）·Zbl 1029.00017号
[8] （de Swart，H.；Orlowska，E.；Schmidt，G.；Roubens，M.，《关系结构作为知识工具的理论和应用》，第二卷，关系结构作为认知工具的理论与应用，LNAI，第4342卷（2006年），Springer）·Zbl 1151.68001号
[9] （Gross，J.L.；Yellen，J.，图论手册（2003），CRC出版社）·Zbl 1036.05001号
[10] Kehden，B.，使用关系代数评估搜索点集，（Schmidt，R.A.，《第九届计算机科学中关系方法国际研讨会论文集》，第九届国际计算机科学中的关系方法研讨会论文集，LNCS，第4136卷（2006），Springer），266-280·Zbl 1134.68497号
[11] B.Kehden，向量和向量谓词及其在关系算法开发中的应用，论文，Christian-Albrechts-Universität Kiel，2008（德语）。；B.Kehden，向量和向量谓词及其在关系算法开发中的应用，论文，Christian-Albrechts-Universität Kiel，2008（德语）。
[12] Schaerf，A.，《自动时间表调查》，Artif。智力。修订版，13，87-127（1999）
[13] 施密特，G。；Ströhlein，T.，《时间表构建中的一些方面》（Rosenfeld，J.L.，《1974年国际知识产权联合会会议记录》，北荷兰），516-520·Zbl 0301.90027号
[14] 施密特，G。；Ströhlein，T.，时间表构建中的布尔矩阵迭代，线性代数应用。，15, 27-51 (1976) ·Zbl 0358.94049号
[15] G.Schmidt，T.Ströhlein，《关系与图形》，施普林格出版社，1989年。（也有英文版：《关系和图表》，《计算机科学家的离散数学》，EATCS理论计算机科学专著，斯普林格出版社，1993年）。；G.Schmidt，T.Ströhlein，《关系与图形》，施普林格出版社，1989年。（也有英文版：关系和图表。计算机科学家的离散数学，EATCS理论计算机科学专著，斯普林格，1993年）。
[16] 塔斯基，A.，《关系演算》，J.符号逻辑，673-89（1941）·联合表格67.0973.02
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。