微分方程及其中心流形方法的自动化简

计算机代数是应用数学的一个边缘学科 ,应用 Mathematica系统的强大的符号运算功能以及该系统提供的控制语句 ,自动实现在平衡点附近降低微分方程阶数和实行中心流形方法 ,并将该处理过程做成相关的软件包 ,简便、实用     

Clifford 代数,几何计算和几何推理

Clifford代数是一种深深根植于几何学之中的代数系统,被它的创始人称为几何代数．历史上,E．Cartan,R．Brauer,H．Weyl,C．Chevalley等数学大师都曾研究和应用过Clifford代数,对它的发展起了重要作用．近年来,Clifford代数在微分几何、理论物理、经典分析等方面取得了辉煌的成就,是现代理论数学和物理的一个核心工具,并在现代科技的各个领域,如机器人学、信号处理、计算机视觉、计算生物学、量子计算等方面有广泛的应用．本文主要介绍Clifford代数在几何计算和几何推理中的应用．作为一种优秀的描述和计算几何问题的代数语言,Clifford代数对于几何体,几何关系和几何变换有不依赖于坐标的、易于计算的多种表示,因而应用它进行几何自动推理,不仅使困难定理的证明往往变得极为简单,而且能够解决一些著名的公开问题,目前在国际上,几何自动推理已经成为Clifford代数的一个重要应用领域。     

Hill-n密码学的计算机代数研究

以模代数及矩阵变换技术为理论基础的 Hill-n密码学 ,作为线性代数知识的进一步应用 ,在大学数学的学习与应用中是具有相当价值的 ;但若想在当时的学习或以后的应用中得以迅速实现靠手工计算是相当困难的 ;本文借助于计算机代数系统 Mathematica的推导与计算功能 ,编写了相应的程序包 ,准确而迅速实现了编码、译码、破译加密矩阵及密文等系列工作 .     

条件数学期望的定义归纳及其应用

给出条件数学期望的一般定义、经典定义以及随机变量关于一般σ代数的条件数学期望的几何定义,并举例说明条件数学期望在均值回归中的应用.     

波利亚的"问题解决"理论及其发展

"数学方法论主要是研究和讨论数学的发展规律、数学的思想方法以及数学中的发现、发明与创新等法则的一门学问."①关于数学方法论研究最早的一个较为完整和精彩的表述是法国数学家笛卡儿(Descartes,1596-1650)做出的,他在完成了具有划时代意义的<解析几何学>的创建工作之后,②提出了一个解决问题的"万能方法":首先,将问题转化为数学问题;然后,将数学问题转化为代数问题,并通过代数方法解决代数问题;最后,将代数问题的解反演为原问题的解.     

数学机械化进展综述（迎接ICM2002特约文章）

本文介绍数学机械化理论,构造性代数几何,构造性微分代数几何,构造性实代数几何,方程求解,与几何自动推理的主要进展及其若干领域的应用,我们还提出了一些待解决的问题。     

网络体系结构建模和性能评价的形式化方法——随机进程代数

随机进程代数是从经典进程代数发展起来 ,用于并发系统的定性和定量分析的形式化方法 ,特别适合在计算机网络和通信协议的建模和性能评价 .首先介绍了 SPA的语法和操作语义 .并以令牌环局域网模型为例来说明其应用 .进一步讨论了 SPA的三种等价关系 ,以期解决模型状态空间爆炸问题 .     

TI图形计算器辅助高中数学教学的实践与思考(续)

“探索是数学的生命线”．培养学生的质疑精神和探究能力是数学教育的主要目标之一，是学生终身发展的必备素质，TI图形计算器强大的计算机代数系统、交互式动态几何功能等构成了一个探索数学奥秘的理想实验室，给学生的发现提供了巨大的探究与实验空间．     

Virasoro 代数的自同构和自同态

关于 Virasoro 代数的理论的研究,在许多数学和物理分支中起着重要的作用.例如,仿射李代数,统计力学和二维共形量子场理论等.本文研究了 Virasoro 代数的自同构和自同态以及它的三维单子代数.Virasoro 代数 Vir 是一个无限维复李代数,有基{c,d_n|n∈Z}以及交换关系     

基于专题研究课发展代数推理能力——以“5.4二次函数与一元二次方程(1)”为例

<正>从推理类型来看,初中阶段的推理有几何推理和代数推理.代数推理侧重数和式或数量关系的变形及转换,相对比较抽象,代数推理是学生数学思维向更高层次发展的必备能力,教材也提供了丰富的代数推理素材,因此很有必要在初中阶段点面结合、系统推进,逐步渗透代数推理.通过课题组研究发现,在函数教学中渗透代数思维培养学生推理能力非常有意义.笔者执教了义务教育苏科版数学教材九年级下册第五章第4节“二次函数与一元二次方程”的专题研究课,     

About traveling salesmen and telephone networks—Combinatorial optimization problems at high school

This article introduces an investigation dealing with the question of what role the mathematical discipline “combinatorial optimization” can play in mathematics and computer science education at high school. Combinatorial optimization is a lively field of applied mathematics and computer science that has developed very fast through the last decades.     

生态环境系统中一类相互作用生态种群的动态优化与控制(英文)

生态环境系统是一个复杂的有待于综合运用生物科学、环境科学、信息科学、数学科学与计算机科学深入研究的信息系统.而其中对生态系统宏观优化调控决策的研究已成为了近年来国内、外数学与生态学工作者深入探讨的一大课题.基于当前生态种群研究须向宏观与微观两极纵深发展、延伸以及数量种群生态学复杂系统建模的需要,本文通过对一类具有竞争机理局部稳定的两种相互作用生态种群模型保解析性及其宏观优化调控的讨论,进一步将生态环境系统的调控严谨化,给一类生态系统的动态分析与调控优化提供了很有价值的方法与手段.这不仅对于两种相互竞争和互惠互存的生态系统的建模与分析具有重要意义,而且对于更为复杂的生态环境系统的动态分析与宏观调控也具有较大的指导作用与应用价值.     

Using the Tower of Hanoi puzzle to infuse your mathematics classroom with computer science concepts

This article suggests that logic puzzles, such as the well-known Tower of Hanoi puzzle, can be used to introduce computer science concepts to mathematics students of all ages. Mathematics teachers introduce their students to computer science concepts that are enacted spontaneously and subconsciously throughout the solution to the Tower of Hanoi puzzle. These concepts include, but are not limited to, conditionals, iteration, and recursion. Lessons, such as the one proposed in this article, are easily implementable in mathematics classrooms and extracurricular programmes as they are good candidates for ‘drop in’ lessons that do not need to fit into any particular place in the typical curriculum sequence. As an example for readers, the author describes how she used the puzzle in her own Number Sense and Logic course during the federally funded Upward Bound Math/Science summer programme for college-intending low-income high school students. The article explains each computer science term with real-life and mathematical examples, applies each term to the Tower of Hanoi puzzle solution, and describes how students connected the terms to their own solutions of the puzzle. It is timely and important to expose mathematics students to computer science concepts. Given the rate at which technology is currently advancing, and our increased dependence on technology in our daily lives, it has become more important than ever for children to be exposed to computer science. Yet, despite the importance of exposing today's children to computer science, many children are not given adequate opportunity to learn computer science in schools. In the United States, for example, most students finish high school without ever taking a computing course. Mathematics lessons, such as the one described in this article, can help to make computer science more accessible to students who may have otherwise had little opportunity to be introduced to these increasingly important concepts.     

Computational geometric aspects of rhythm,melody, and voice-leading

Many problems concerning the theory and technology of rhythm, melody, and voice-leading are fundamentally geometric in nature. It is therefore not surprising that the field of computational geometry can contribute greatly to these problems. The interaction between computational geometry and music yields new insights into the theories of rhythm, melody, and voice-leading, as well as new problems for research in several areas, ranging from mathematics and computer science to music theory, music perception, and musicology. Recent results on the geometric and computational aspects of rhythm, melody, and voice-leading are reviewed, connections to established areas of computer science, mathematics, statistics, computational biology, and crystallography are pointed out, and new open problems are proposed.     

小议数学发展的哲学问题及其在数学与计算机科学关系中的表现

本文从哲学角度讨论数学与实践的联系 ,并以数学与计算机科学的关系为例说明这种联系 .     

决策支持系统的模糊综合评价

DSS是一个融计算机技术、信息技术、人工智能、决策科学、心理学、行为科学和组织理论等学科与技术于一体的技术集成系统,应用DSS是实现我国信息化和现代化的必然趋势,但建设一个成功的DSS涉及很多方面的因素,因此对其评价非常重要.由于影响DSS的许多因素具有模糊性,以模糊数学为基础,用模糊综合评判的方法对DSS进行评价.     

算子方程近似解直接方法的优化和信息复杂性研究进展

算子方程近似解直接方法的优化和信息复杂性是80年代发展起来的连续复杂性理论的两个主要方面,是计算机科学和数学的交叉研究领域．本文拟就这两个方面的研究进展做一简要介绍．     

外语类专业开设《大学数学》选修课的实践与探索

作为描述自然科学和社会科学的一个重要工具,数学有着其独特的作用.但长期以来,在外语类专业中数学教学得不到应有的重视,针对此问题,开设了《大学数学》选修课的实践与探索,在形成自己特色的同时,也发现了外语类专业开设数学课面临的一些问题,并提出了应对措施.     

基于概念的数学系统及其结构

随着科学技术的发展，应用定量分析的数学方法已从自然科学发展到社会科学、思堆科学．为了处理这些问题的需要，许多学者建立了多种数学模型和数学方法，这些模型和方法都直接或间接地涉及到概念，因此归纳并研究基于概念的数学方法显得很有必要。本文应用系统的方法，尝试络出数学系境的概念，并建立了基于概念的数学系统及其结构的一般方法，期望更多的学者予以关注和研究。     

Mathematics teacher training at the State Technical University in Chile

During the fifties and sixties in Chile many mathematics graduates of Pedagogical Institutes became university instructors rather than high school teachers as intended. In the late sixties Masters level programmes began giving more advanced training for university mathematics instructors. A ‘modern’ mathematics curriculum including computer science was introduced in the high schools. The first significant attempt to adapt the training of Chilean high school mathematics teachers to the new academic and social realities was begun in 1976 at the State Technical University with the cooperation of Teachers College, Columbia University, and the support of the Organization of American States.

The four‐year programme leads to Licenciatura (Bachelors) in Mathematics and Computer Education. All courses are taught by faculty members of the Department of Mathematics and Computer Science. The three basic areas of instruction are mathematics, computer science, and mathematics education. Funds provided by the O.A.S. have helped to make possible the development of curricular materials in Spanish, and the acquisition of computing and video tape equipment.