一种排课问题的形式化描述体系和框架

来源 :现代计算机:下半月版 | 被引量 : 0次 | 上传用户:chenchenyaya
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
排课问题主要解决时间和空间资源冲突,以优化教学资源和教学时间的分配,实现教学资源的负栽均衡。提出一种新的排课约束的表述框架——时间地点限定表达式,可以通过形式推理缩减排课问题空间,支持基于案例和规则的排课问题求解。
其他文献
对轧机油膜轴承润滑系统的设计和应用提出几点建议,供润滑系统的设计者和使用者探讨,以便润滑系统更好的满足油膜轴承的运行要求,延长油膜轴承使用寿命,从而保证轧机的正常运
可转换债券是公司金融衍生品的一种重要形式,被广泛运用于实际。对可转换债券的价值构成进行了分析,进而作出几点假设,基于布莱克—斯科尔斯期权模型对可转换债券的价值进行
“非指导性”教学理论源自于“人本主义心理学派”,强调学习以学生为中心,教师的作用在于提供各种资源与环境,促进学生潜能的实现。“非指导性”教学理论的几个特征——以人为本
通过溶剂挥发法成功制备了具有高渗透、高选择性的聚醚共聚酰胺/乙二醇苯醚(PEBA/EPH)凝胶膜,并研究了EPH含量对凝胶膜理化性质以及气体渗透选择性能的影响.结果表明,PEBA/EPH
从提高软件开发效率和增加软件复用率的角度出发.提出一个基于.NET2.0,采用分布式四层体系结构的普用Web信息学院.解决了Web信息系统开发中的需求分析、建模、风险控制、开发效率