大数据背景下人工智能发展对大学数学教学的启示

大数据时代,以数据为载体的人工智能技术渗透到社会的各行各业,而人工智能技术的发展越来越依赖应用数学学科的进步.在此背景下,大学数学教学改革成为必需,以适应社会新时代的发展.结合自身的教学改革实践,探讨如何从基本的大学数学内容出发,进行拓展,向学生介绍前沿的人工智能技术.从而,增加数学课程教学的趣味性和实用性,加深学生对数学思想方法在人工智能领域应用理解.     

多目标规划的局部较多最优性和局部较多有效性

多目标规划的局部较多最优性和局部较多有效性胡毓达（上海交通大学应用数学系，２０００３０）国家自然科学基金资助项目．１９９１年８月２７日收到．一、引言考虑多目标规划问题其中ＸＳ是约束集（开集（ｍ２）是向量目标函数．对于问题（ＶＭＰ），自５０年代以来人们...     

机器证明的回顾与展望

机器证明的回顾与展望张景中（中国科学院成都计算机应用研究所）机器证明及其应用，是我国攀登计划项目之一．项目核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用．实际上，机器证明研究领域的范围要广泛得多．在国外更一般地叫做自动推理．我们把几...     

一个Maslov指标公式及应用

本文给出辛流形（Ｍ，ω）和（Ｍ，－ω）的乘积辛流形（Ｍ×Ｍ，ω⊕（－ω））中Ｌａ－ｇｒａｎｇｅ子流形ΔＭ：＝｛（ｘ，ｘ）｜ｘ∈Ｍ）的Ｍａｓｌｏｖ指标的计算公式，并讨论它的一些应用．     

一类大系统模糊随机多目标决策的建模与求解方法

本文提出和建立了一类大系统模糊随机多目标决策（ＦＳＭＯＤＭ）模型，讨论了模糊事件的模糊概率的若干基本性质．在此基础上，将ＦＳＭＯＤＭ模型转化为清晰的多目标决策模型，并给出了递阶分解协调求解方法．把该模型应用到大连市水资源与经济发展规划研究中取得了令人满意的结果．     

I.J.Matrix定理的更广泛推广

Ｉ．Ｊ．Ｍａｔｒｉｘ定理的更广泛推广张之正（河南洛阳师专数学系４７１０２２）近年来，数学通报连续讨论了１．Ｊ．Ｍａｔｒｉｘ定理的一些推广及其应用（文［ｌ］，［２］用复交函数中的留数定理，文［３Ｊ用初等方法，文［４］用线性代数中的Ｖａｎｄｅｒｍｏｎｄｅ...     

近似Bayes计算前沿研究进展及应用

在大数据和人工智能时代,建立能够有效处理复杂数据的模型和算法,以从数据中获取有用的信息和知识是应用数学、统计学和计算机科学面临的共同难题.为复杂数据建立生成模型并依据这些模型进行分析和推断是解决上述难题的一种有效手段.从一种宏观的视角来看,无论是应用数学中常用的微分方程和动力系统,或是统计学中表现为概率分布的统计模型,还是机器学习领域兴起的生成对抗网络和变分自编码器,都可以看作是一种广义的生成模型.随着所处理的数据规模越来越大,结构越来越复杂,在实际问题中所需要的生成模型也变得也越来越复杂,对这些生成模型的数学结构进行精确地解析刻画变得越来越困难.如何对没有精确解析形式（或其解析形式的精确计算非常困难）的生成模型进行有效的分析和推断,逐渐成为一个十分重要的问题.起源于Bayes统计推断,近似Bayes计算是一种可以免于计算似然函数的统计推断技术,近年来在复杂统计模型和生成模型的分析和推断中发挥了重要作用.该文从经典的近似Bayes计算方法出发,对近似Bayes计算方法的前沿研究进展进行了系统的综述,并对近似Bayes计算方法在复杂数据处理中的应用前景及其和前沿人工智能方法的深刻联系进行了分析和讨论.     

一类互惠共存系统的定态分歧与稳定性

一类互惠共存系统的定态分歧与稳定性李大华，傅一平（华中理工大学数学系，武汉４３００７４）基金项目：国家自然科学基金资助项目．１）现在江西省九江师范专科学校工作，邮政编码３３２０００．１９９２年５月６日收到．一、引言在文［１］中Ｒ．Ｍ．Ｍａｙ提出了一个...     

统计在生命科学中的实践与认识(IV)Meta-分析——一种量化的信息综合方法(上)

汤旦林，李晓强．统计在生命科学中的实践与认识（ＩＶ）．数理统计与管理，１９９７，１６（４），５９～６４．本文介绍了Ｍｅｔａ－分析的背景和基本思想；具体操作步骤；有关的统计技术；对Ｍｅｔａ－分析的评价及其在生命科学中的应用前景与今后努力方向     

Pythagorean Bézier速端曲线及其等距线

１．引言 工业领域里的许多ＣＡＤ／ＣＡＭ系统,往往需要建立有关几何模型的连续、自动的数控刀具轨迹．例如,数控加工机床的刀具中心轨迹的计算,在纺织和制鞋业中,缝纫机械和自动化工业中铣床的数据控制,以及汽车外形设计,机器人的运动轨迹等都涉及到等距线和等距面的有效设计和计算［１,３,４,１０］ 一般地,具有给定函数类形式的曲线（面）的等距线（面）,常常不能被精确地表示为同类函数形式．例如,有理函数形式的参数曲线（面）的等距线（面）通常不再是有理的曲线（面）,而是参数 ｔ的无理向量函数形式［３,４,１０］…