关键词： 系统开发   设计平台   图形化   美国国家仪器有限公司   LabVIEW   控制设计   数据流语言   数学算法  

摘要： 美国国家仪器有限公司推出LabVIEW8．20版本-这是专用于控制、测试和嵌入式系统开发的LabVIEW图形化系统设计平台的20周年纪念版。LabVIEW8．20通过自带的MathScript对基于文本的数学算法提供支持，扩展了Lab—VIEW图形化数据流语言的功能，同时提高了在控制设计和仿真方面的性能，并借助标准PC、FPGA或自定义设计，加速了实时系统原型的开发。

关键词： 数学方法,计算法,人文社会学科,学科交叉与渗透  

摘要： 本文主要论述将数学方法应用于人文社会学科研究和教学的背景和原因，阐述了数学方法和计算法的内涵，重点以计算法在《历史与社会》课堂教学中的应用为例论证了理工学科与人文社会学科进行学科交叉与渗透的价值是很高的。

关键词： 数学形态学   计算机围棋   聚类  

摘要： 计算机围棋可以模拟人类棋手的棋群聚类能力以提高搜索效率。本研究以数学形态学为工具,在形式化基础上采用带有限制条件的膨胀运算进行棋群的初步聚类,结合其它一些启发式搜索方法完成棋群的最终聚类,并结合实战时局评价了此算法的性能,指出了此算法的应用价值。

关键词： timetabling   class scheduling   mixed-integer programming   employee scheduling   gender policies  

摘要： This paper presents mathematical programming models for assigning faculty members to classes including, among typical academic class scheduling issues, certain specialized central policies at Kuwait University. The time-slots for classes are initially assumed to be given and an integer programming model (CFAM) is constructed to solve the resulting problem, which aims to minimize the individual and collective dissatisfaction of faculty members in a fair fashion, where dissatisfaction is measured by a function of the assignment of faculty members to time-slots and specific classes. In order to enhance the quality of results obtained in practice, the model is modified (ECFAM) so that the time-slots for the classes can be changed, however, with restrictions related to efficient facility utilization and permitting an administratively regulated maximum number of changes. Gender-based modeling considerations are also introduced in order to maintain desirable class offering patterns. Computational results are presented based on solving the models directly by the CPLEX-MIP (version 7.5) package and also using a specialized LP-based heuristic. The faculty schedules generated via the proposed approach based on a number of case studies related to the Department of Mathematics and Computer Science at Kuwait University reveal that this approach yields improved schedules in terms of fairness and enhanced satisfaction levels among faculty members. (c) 2005 Elsevier B.V. All rights reserved.

关键词： active-set algorithm   branch-and-bound method   complementarity   disjunctive cuts   global optimization  

摘要： In this paper a branch-and-bound algorithm is proposed for finding a global minimum to a Mathematical Programming Problem with Complementarity (or Equilibrium) Constraints (MPECs), which incorporates disjunctive cuts for computing lower bounds and employs a Complementarity Active-Set Algorithm for computing upper bounds. Computational results for solving MPECs associated with Bilivel Problems, NP-hard Linear Complementarity Problems, and Hinge Fitting Problems are presented to highlight the efficacy of the procedure in determining a global minimum for different classes of MPECs.

关键词： computer algebra   numerical integration   numerical differentiation   multistep methods  

摘要： An useful application of computer algebra systems is the generation of algorithms for numerical computations. We have shown in Gander and Gruntz (SIAM Rev., 1999) how computer algebra can be used in teaching to derive numerical methods. In this paper we extend this work, using essentially the capability of computer algebra system to construct and manipulate the interpolating polynomial and to compute a series expansion of a function. We will automatically generate formulas for integration and differentiation with error terms and also generate multistep methods for integrating differential equations.

关键词： posets   combinatorics   Birkhoff's theorem  

摘要： A combinatorial problem usually requires enumerating, counting or ascertaining existence of structures that satisfy a given property B in a set of structures L. This paper describes a technique based on a generalization of Birkhoff's theorem of representation of finite distributive lattices that can be used for solving such problems mechanically and efficiently. Specifically, we give an efficient (polynomial time) algorithm to enumerate, count or detect structures that satisfy B when the total set of structures is large but the set of structures satisfying B is small. We illustrate our techniques by analyzing problems in integer partitions, set families, and set of permutations. (C) 2006 Elsevier B.V. All rights reserved.

关键词： 模糊算法   闪点   温度  

摘要： 在智能闪点仪中应用基于模糊算法的温度控制方法,可以有效地控制升温过程。文中给出了具体的模糊计算过程。

关键词： 高中数学课程标准   算法   算法教学  

摘要： 算法是当前高中数学课程改革中引入的新内容.经过对实验区师生的调查访谈发现,课程改革中有关算法的理念得到了广大师生的赞同.但是还存在以下问题:(1)学生对于算法概念的理解不够全面;(2)算法在计算机和相关数学内容中的应用很差;(3)教师在教学中获得的支持不足.这些问题主要是由于课程自身、教师观念,课程资源和教师培训几方面的原因造成的。

关键词： 军械物资紧急调运   多需求点   单货种   运力限制   多目标决策  

摘要： 军械物资调运是军械保障工作的一个十分重要的环节,关系到军械保障工作能否快捷有效地完成。考虑到战时状况下军械物资调运的复杂性、快速性和危险性等特点,建立了不同时间要素规定情况下多需求点、单货种军械物资有运力限制条件的紧急调运的2种优化模型。通过严格的数学逻辑推导,对这2种模型给出了解析算法,并通过具体的算例表明了模型的正确性及算法的有效性。