关键词： 车辆路径问题   数学模型   蚁群算法   物流配送  

摘要： 通过分析交通路径的特点,给出求解车辆路径问题(VRP)的改进的蚁群算法.该算法通过引入启发因子和参数自适应调整,加速了收敛效率,改善了全局搜索能力,最终数值例子表明本文所提算法是可行的、高效的.对VRP问题有较好的求解效果。

关键词： 液位控制   数学模型   PID   单容自衡水箱  

摘要： 分析了自衡水箱系统的微分方程动态模型,用一阶传递函数模型的辨识方法可以得出水箱的数学模型,并给出了PID算法。通过实验平台对模型与算法进行了验证,并对实验数据与理论数据进行了比较,证明模型与算法的设计都是可行的,从而为利用PLC实现PID控制提供了理论基础。

关键词： Power profile   Energy efficiency   Dense linear algebra   Tile algorithms   Multicore architectures  

摘要： This paper presents the power profile of two high performance dense linear algebra libraries i.e., LAPACK and PLASMA. The former is based on block algorithms that use the fork-join paradigm to achieve parallel performance. The latter uses fine-grained task parallelism that recasts the computation to operate on submatrices called tiles. In this way tile algorithms are formed. We show results from the power profiling of the most common routines, which permits us to clearly identify the different phases of the computations. This allows us to isolate the bottlenecks in terms of energy efficiency. Our results show that PLASMA surpasses LAPACK not only in terms of performance but also in terms of energy efficiency.

关键词： 高考知识点   Apriori算法   关联分析  

摘要： 通过SQL Server2000对陕西省2007-2011年理科数学高考题涉及的知识点进行整理,并利用Matlab软件实现Apriori算法,得出知识点间的频繁项集。结果表明:函数概念与基本初等函数I(指数函数,对数函数,幂函数)、不等式、推理与证明等属于频繁项。

关键词： 遗传算法   约束满足   排课问题  

摘要： 排课问题是一个有约束、多目标的组合优化问题,并且已经被证明是一个NP完全问题。针对高校排课过程中存在诸多约束因素的问题,提出将遗传算法与约束条件算法相结合的排课算法,由约束条件算法确定排课任务的优先次序,遗传算法解决单个排课任务时间片分配的优化问题。实验结果表明,该算法能够改进算法性能,提高排课效率。

关键词： Disjoint triangular decomposition   Simple systems   Polynomial systems   Differential systems   Involutivity  

摘要： In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these systems into so-called simple subsystems and thereby partition the set of solutions. For algebraic systems, simplicity means triangularity, square-freeness and non-vanishing initials. Differential simplicity extends algebraic simplicity with involutivity. We build upon the constructive ideas of J. M. Thomas and develop them into a new algorithm for disjoint decomposition. The present paper is a revised version of Bachler et al. (2010) and includes the proofs of correctness and termination of our decomposition algorithm. In addition, we illustrate the algorithm with further instructive examples and describe its Maple implementation together with an experimental comparison to some other triangular decomposition algorithms. (C) 2011 Elsevier Ltd. All rights reserved.

关键词： 指纹识别预处理   数学形态学   细化  

摘要： 重点研究了二值化后指纹图像细化算法.首先简介了改进的OPTA细化算法.在总结上述算法的优缺点基础上,提出更有效的基于数学形态学的查表细化算法.实验表明后一种细化算法效率更高、处理后几乎没有毛刺、效果更理想,为后续的工作奠定了良好的基础.所进行的算法高效化研究对于提升识别的准确度具有非常明显的积极作用,在论文的最后通过实证手段进行了证明.同时,该文最后采用Visual C++编程实现指纹图像预处理过程中的所有算法,算法效率较高,从实际需求角度为我国的指纹图像识别的细化处理提供了必要的理论依据,实践证明,该文所研究的数学形态学视角下的指纹图像细化算法高效研究具有一定的现实意义,应用于指纹图像识别工作中将会取得较好的效果.

关键词： 时序优化   假设后验证   位并行随机模拟   寄存器共享   推测化简模型  

摘要： 为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法.在位并行随机模拟提取候选属性不变量之前,利用寄存器共享来降低初始候选不变量数目,以减少SAT程序的频繁调用;然后利用推测化简模型和改进的数学归纳法将基本条件和归纳步骤合并处理,有效地降低了电路规模和关键路径延迟,同时提高了算法运行速度.实验数据表明,文中算法使寄存器和节点规模平均下降41%和48%,关键路径延迟减小30%;与同类方法相比,该算法运行时间平均下降17%.

关键词： 学习算法   数学课程   普通高中   人民教育出版社   解析   实验教科书   高中数学   课程标准  

摘要： 在普通高中数学新课程中，算法是首次引入的新内容，很多教师在此之前没有接触过这部分内容．面对算法，有些教师存在畏难心理．为此，教师需要认真钻研教材，加深对算法知识的理解．此外，教师还需要考虑如何引导学生学习算法，这就涉及到PCK（Pedagogical ContentKnowledge）．下面以人民教育出版社《普通高中课程标准实验教科书数学必修3》（A版）为例，来剖析“算法概念”的PCK内涵，以望为教师提供教学参考．