简述延迟满足与执行功能、心理理论的关系

目前，延迟满足日益成为国际发展心理学界研究的热点。延迟满足体现了冷热执行功能之间的密切关系。传统观点仅提出延迟满足是热执行功能的一部分，却对延迟满足与执行功能的具体关系少有研究。本文认为延迟满足是热执行功能发展到较成熟阶段后出现的能力。同时，延迟满足与心理理论的关系是平行发展，相互影响，并且抑制控制是其关系中的核心成分。     

基于CSP的Job shop调度算法研究

针对一类典型的约束满足问题——Job shop调度问题，提出一种CSP调度算法框架，详细讨论CSP调度算法中的工序开始时间窗、一致性预处理、搜索空间概率模型、工序排序启发、开工时间排序启发的求解方法。仿真结果表明CSP调度算法在较小的计算时间代价下，获得了FT10标准调度问题的近优解。     

几何约束系统推理研究

融约束网络、自由度分析及图理论为一体，提出了一套关于几何约束满足问题的最大归约算法体系，最大归约理论首次揭示了几何约束系统内在的串、并、耦合机制，为几何约束推理提供了新的方法。     

基于Web的考试系统组卷策略研究

运用多种策略相结合的组卷方式,针对互联网中用户需求多样性的特点,从提高组卷效率出发,智能地生成不同的试卷或者习题以满足互联网用户的不同需求．     

基于遗传算法求解NPC问题的研究

首先建立了0-1KP问题和3-SAT问题的数学模型;然后分别基于遗传算法（GA）与贪心策略相结合给出了一种求解0-1KP的有效算法,基于GA与局部搜索相结合给出了一种求解3-SAT问题的可行算法;最后通过对0-1KP实例和3-SAT实例的仿真计算验证了算法的可行性与有效性。     

活性细胞膜计算的可执行性描述与实现

基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的描述方法.利用该方法描述与验证了可满足性问题在活性细胞膜计算中的模型.通过对计算结果的分析,说明了方法的可行性与正确性.     

弧相容算法性能比较

为了化简约束满足问题的规模、有效地处理大规模难解问题,从求解算法的角度研究弧相容技术。分析讨论了8种弧相容算法各自的优势和特点。在“明月”约束求解平台上针对随机约束满足问题,对该系列弧相容算法的性能进行了测试。实验结果表明,无论是在搜索之前还是搜索过程中,AC-2001(AC-3.1)都比其他算法表现出更优异的性能。     

一种笛卡尔积压缩的负表约束上表缩减算法

利用笛卡尔积压缩方法可有效减小负表约束规模的原理, 提出一种在压缩负表上维持广义弧相容的高效算法STRC-N, 以解决负表约束维持弧相容过程中遍历所有元组导致效率低的问题. 实验结果表明, 当压缩负表上压缩率较大时, 得益于表规模的减小, 新算法相对于主流的负表约束处理算法效率更高, 性能更好, 从而实现了对负表约束处理算法的改进.     

大学图书馆读者需求满足的实现

分析了读者需求满足不能正常实现的原因,阐述了读者需求满足实现的重要性和原则,提出了读者需求满足的措施。     

Knapsacks约束的弧相容改进算法

通过修改背包约束弧相容算法的数据结构,将点阵图改为有向图,解决了原背包约束弧相容算法中存在冗余计算和无效操作的问题,加快了算法对问题的求解效率.对比实验结果表明:在面对同一类问题时,因为数据结构更复杂,改进算法的初始化时间虽增加,但求解时间提高了20%~50%;在面对求解难度较高的问题时,改进算法能更好地缩减求解问题的时间.