一种基于案例和约束的排课系统

排课问题其本质就是时间表问题,属于典型的组合优化和不确定性调度问题,已经被证明为NP—Complete类问题。针对已有排课案例中大量知识和排课过程大量存在的教师和学生的特殊需求,提出了面向规则的形式化描述：TPQE描述体系,对排课问题中的强规则和弱规则进行了描述和形式化表示,同时提出了规则约束力的表示方法,设计了用于求解最大化WTPQE权值的算法——weighted SAT,开发相应的原型系统。     

一种用户身份认证系统的形式化描述

身份认证系统用于解决访问者的物理身份和数字身份的一致性问题,给其他系统提供权限管理的依据.运用形式化方法,针对一个用户身份认证系统,使用Z语言对其进行形式化描述.在形式化过程中,对该系统用户身份记录定义了读、添加、更新、删除四种操作,对该系统用户身份认证定义了登录、退出二种操作.对于每种操作,还定义了具体的操作步骤、操作需要的前提条件和提示信息.身份认证是整个信息安全体系的基础,并越来越受到重视,因此研究身份认证系统的形式化具有一定的现实意义.     

一个解决高校排课问题的演化算法

针对当前高校存在的排课效率低下问题,有必要采用一种有效的算法结合计算机实现自动排课。文中在比较各种不同算法的基础上,提出了一种使用局部杂交算子的演化算法。该算法采用矩阵编码方案,通过惩罚函数满足排课表问题的多重约束条件。模拟实验证明,该算法可有效地解决高校排课问题。     

一个解决高校排课问题的演化算法

针对当前高校存在的排课效率低下问题,有必要采用一种有效的算法结合计算机实现自动排课.文中在比较各种不同算法的基础上,提出了一种使用局部杂交算子的演化算法.该算法采用矩阵编码方案,通过惩罚函数满足排课表问题的多重约束条件.模拟实验证明,该算法可有效地解决高校排课问题.     

一种描述安全协议的形式化规范语言

安全协议的设计和分析是复杂而且容易出错的。使用形式化的语言有利于安全协议的正确性和完整性。现有的安全协议的描述方法大多很复杂而且容易导致二义，从而导致协议隐含着种种的安全隐患。引入了基于构造类别代数的形式化规范语言来规范安全协议，通过规则集合和公理集合对安全协议进行精确地描述，有利于协议设计地规范化和协议漏洞地发现，同时对Needham-Sehroeder协议进行了形式化规范以进一步说明该形式化语言地使用。     

应用遗传算法求解排课问题

给出了排课问题的描述和五元组定义.针对排课问题的关键因素,根据遗传算法的特点,设计了排课问题的编码方式,对求解的目标进行了优化,满足了实际应用.     

一种基于边的上下文相关图文法形式化框架

围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向.     

拓扑关系形式化描述的基本问题与研究进展

拓扑关系是GIS中空间目标之间最基本也是最重要的关系之一,在GIS空间数据建模、空间查询、空间分析、空间推理、制图综合等过程中起着重要的作用。该文首先介绍了不同的空间数据模型中拓扑信息的表达模式,然后重点回顾和评述了拓扑关系的建模方法以及拓扑关系形式化模型,并探讨了目前研究中存在的问题和有待进一步研究的工作。     

TFSP：一种分布式实时系统的形式化描述工具

Distributed Real Time Systems (DRTS) have very broad applications in space navigation, nuclear reaction,military affairs and industry department where the security and reliability requirement of the DRTS is very high.Thus, how to develop correct DRTS application systems is of vital importance. In this paper, first a formalized nota-tion system -Timed Finite State Processes (TFSP) is proposed to describe the complex dynamic behaviors of DRTS,then we describe a distributed real-time medirAl treatment system by Darwin Architecture language and TFSP.     

一种顺序图的形式化描述与推理过程

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图的形式化定义和语法描述,并进一步分析了对象消息发送和接收之间的一致性问题.最后,通过对实例推理过程的分析,对UML顺序图的特性作进一步的解释.这为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,可用于对软件...     

改进遗传算法在排课问题中的应用研究

深入分析了排课问题的内在实质,抽象出求解排课问题的数学模型。在此基础上详细地阐述了如何将遗传算法运用到排课问题中,同时针对传统的遗传算法进行适当的改进。对比试验证明改进的算法能够提高智能排课的效率。     

基于混合策略的排课算法研究

本文通过分析排课所涉及的元素和约束条件。提出了一种排课任务和教学资源的划分方式．并论述了在此基础上如何构造出一个合理的学生课表。     

基于遗传算法的高校排课系统的设计与分析

高校排课属于NP完全问题。近年来,随着高校招生规模的不断扩大,很多院校班级和课程也较多,而教师和教室资源又严重短缺,很难制定出合理的课表,并且工作非常复杂,通常要花费大量的精力,且效率低下,这使得排课问题成为一个急需解决且非常棘手的问题。     

图规划在排课系统中的应用

文章的项目来源于广东某学院继续教育学院排课子系统,该系统在实际使用中具有通用性不高、排课结果还不够理想的问题.文章结合分析已开发的排课系统在运行中表现出的不足,提出建立一个基于图规划的排课系统的解决方案.     

遗传算法在排课系统中的应用

随着高校招生规模的扩大,教务管理系统中的排课方式也显得越来越重要。本文讨论了排课问题中的影响因素、各类约束条件、求解目标以及求解难点,运用遗传算法的基本理论,研究了如何解决高校的排课问题。实践证明,利用遗传算法求解排课问题,其搜索过程带有智能性和并行性,并且操作简单,可以更少地依赖于实际问题的情况,从而能够有效地解决排课问题。     

实验室排课系统开发与使用

实验室是学生实践实验的必要场所,但是所有高校都会面临着实验室少,学生人数多,如何更好分配实验室的使用,是实验室管理人员值得考虑的首要问题。针对此问题,本院校实验室结合自己实验室的真实情况编写实验室排课系统。     

数学概念的一种特殊形式化方法

数学定理的机器证明首先应将数学概念形式化(或称符号化 ) ,形式化的方法和技巧对于理论上的推理研究以及是否能够真正利用计算机进行推理将起关键作用。本文讨论了一种特殊形式化数学概念的方法 ,其主要特点就是仅引入两个谓词和有限个常项符号 ,按照某种规则生成公式后便可对众多数学概念进行描述。由于只有两个谓词和有限个常项符号出现 ,因此对利用计算机推理具有重要意义。     

院校学期课表计算机排课系统功能需求分析

文章简述了军队院校课程表编排的特点,搜集并罗列了排课过程中应该考虑到的各种因素,提出了编排军队院校计算机自动排课系统必须实现的功能。最终目的是为编排军队院校计算机自动排课系统这一尚未实现的大项目提供第一手资料。     

Job-shop调度问题的一种遗传算法表示方法

提出了一种新的染色体表示方法以及相应的遗传操作算子,它们与少许的调整工作相结合,既使得在每次操作算子作用之后产生的新的个体是合法的,也使染色体与时间表产生一一对应的关系,完满地解决了Job-shop问题中关键的表示和操作问题。     

设计模式形式化方法分析和初步比较

形式化足设汁模式发展的必然要求和直接推动力。该文对主要几种方法进行了分析和比较,分别从模式语音、理论基础、语言元素、工具支持等角度来论述。最后,总结了存在的问题,在此基础上预言了未来研究的发展方向。