关键词： 算法多样化   BCD   BFD   阴影部分   小学数学教学  

关键词： Evolutionary algorithms  

摘要： Results of modern studies, on the so-called Evidence Algorithm, a program of automated theorem proving, initiated by V.M. Glushkov in sixties, are presented. Means of linguistic and deductive maintenance of this program are described.

关键词： 算法多样化   教学中   数学教学   思维过程   红花   分数   整数   分科教学法   活血祛瘀药   计算法则   线段图   应用题  

摘要： 当前,小学数学改革的重要目标是改变学生数学学习的方式。在数学教学中,引导学生积极开展“算法多样化”的活动,积极鼓励不同学生采取不同的解决问题的策略,为学生提供数学交流的机会,有利于促进学生的数学思维活动,提高数学思维能力。由于积极提倡算法多样化,不同的学生常常有不同的解题策略,让学生运用自己的方法解决问题,使学生对解决数学问题有更深切的体

关键词： automata   languages   directed graphs  

摘要： In this paper we give an algorithmic description of all regular languages recognized by graph algebras of directed graphs. A description of the analogous class of regular languages for the case of undirected graphs is obtained as a corollary.

关键词： 切矢量   扭矢量   边界方程   数控加工   Coons曲面法   列表函数  

摘要： 将任意复杂的曲面分割成适当的若干小块 ,用局部坐标参数方程来描述 ,通过选择块与块之间的连接约束条件 ,使边界上的一阶导数连续 ,如此最后获得的整个曲面 ,就能很好地满足精度要求 ,其拟合误差δ≤ 0 .0 0 2mm ,且保证了被拟合曲面不出现拐点。

关键词： 循环流化床锅炉   数学模型   分布式算法   网络环境  

摘要： 以内江410t/h Pyroflow CFB锅炉燃烧系统为实际模型研究对象,对其动、静态数学模型从算法上进行研究并将模块化后的模型分配到网络中去计算。在步长减小、计算精度提高的同时大幅度地提高了模型的运算速度。

关键词： 热处理   混合流水车间排序问题   贪婪算法   罩式炉   钢卷   生产调度   数学模型  

摘要： 主要讨论某钢铁公司冷轧厂热处理车间的罩式炉生产调度问题 ,将其归结为组合优化中的不允许等待的混合流水车间排序问题进行研究 ,建立数学模型 ,设计贪婪算法 。

关键词： 补码   仿真   FFT乘法   数学运算仿真  

摘要： FFT（快速傅立叶变换）中的主要运算是取相反数、加法和乘法、在作运算时数值采用补码表示方式。此中乘法的被乘数是变量、乘数是常量。本文讨论了用加法树实现乘法的结构及用补码在Matlab平台下进行加法和取相反数的软件仿真。

关键词： linear programming   algebraic numbers   computational complexity   symbolic computation   ellipsoid method   polynomial-time algorithms  

摘要： We study the computational complexity of linear programs with coefficients that are real algebraic numbers under a Turing machine model of computation. After reviewing a method for exact representation of algebraic numbers under the Turing model, we show that the fundamental tasks of comparison and arithmetic can be performed in polynomial time. Our technique for establishing polynomial-time algorithms for comparison and arithmetic is distinct from the usual resultant-based approaches, and has the advantage that it provides a natural framework for analysis of the complexity of computational tasks, such as Gaussian elimination, that involve a sequence of arithmetic operations. Our main contribution is to show that a variant of the ellipsoid method can be used to solve linear programming in time polynomial in the encoding size of the problem coefficients and the degree of any algebraic extension that contains those coefficients.

关键词： 组合数学   Mathematica算法   穷举算法   计算机  

摘要： 列举的几个组合数学难题，有的来自传统的计算机竞赛，有的经常出现在考验智力的杂志上。要用计算机来解决这些问题，传统上是通过Ｃ语言或Ｐａｓｃａｌ语言编程来实现解题算法。通过使用Mathematica来实现这些算法，并对各个算法进行了比较和分析。