人工智能新书及软件简介

一、《人工智能引论》 广东科技出版社86年4月出版 46万字 估价:3.2元这本书系统地介绍了人工智能中的问题及问题求解技术。全书分十四章,章名为:什么是人工智能;问题与问题空间;问题求解的基本方法;博弈;用谓词逻辑表达;用计算逻辑表达知识;用其它逻辑表达知识;知识的结构表达;高级问题求解系统;自然语言理解国;感知;学习;人工智能系统的实现;结论等。人工智能系统的实现机与语言一章里,简介了并     

Poincaré线性连续统直觉概念的公式化

本文研究了Poincaré著名注记中"内束"观念的数学表述法问题,通过构建Poincaré连续统模型,得到了这一问题的一种解答.文中还论述了有关数理哲学及方法论问题;文末特别指出了须继续研究的数学问题.     

椭圆变分不等式的扰动

本文研究Hilbert空间中线性椭圆变分不等式的扰动问题,得到了扰动问题的解收敛于原问题的解的一个较一般的充分条件,并用它处理边界条件扰动问题和两个具体变分不等式(弹塑性扭转问题和“平均曲率”约束问题)。     

多变量铁磁链组齐次边值问题的弱解

本文对于多变量铁磁链方程组的齐次边值问题采用Galerkin方法证明了该问题弱解的存在性,并讨论了该问题的解当t→∞时的渐近性质和“blow up”问题。     

复插值逼近

本文着重地介绍复数域上各类插值多项式(有时也提到有理函数)的收敛性与发散性问题的近代成果,适当地介绍了复插值逼近阶的估计。文章共分七节,其中§1为问题的提出;§2介绍紧集上解析函数的Lagrange插值多项式收敛的充要条件;§3介绍A(|z|≤1)上函数的Lagrange插值的收敛及发散问题;§4是一般区域上Lagrange插值的收敛问题;§5介绍调和多项式的插值;§6介绍Hermite及Hermite-Fejer插值的收敛与发散性问题;§7介绍有理函数插值的收敛性问题。     

高中数学有效问题情境创设探析

文章从四个方面入手对高中数学有效问题情境创设进行探讨,包括:创建"阶梯式"问题情境;创设有富含文化性和生活性的问题情境;创建"矛盾式"问题情境;创建"探索性"问题情境.     

求一阶数值微分的L-广义解方法cTSVD

<正>1引言数值微分也就是给定一个函数在一个区间或某些离散点上的扰动数据来求函数的导数,它产生于很多实际问题当中,比如,图象处理中的边界识别问题;Abel积分方程的求解问题;化学中波谱的波峰识别问题.以及一些数学物理反问题当中.数值微     

结构:数学解题的切入点

数学问题结构是指影响和决定问题本质、条件与结论相互作用方式、解决问题的策略和方法的深层特征.明晰数学问题结构的常用策略与方法有:寻找、发现问题表现形式的共性;透过问题的表现形式,发现其本质;追问条件和目标的数学意义;寻找与问题的条件或目标相关联的数学概念;分析相关数学知识的结构特征.应以问题结构为抓手,改进和优化数学解题教学.     

多项式分裂可行问题

本文研究多项式分裂可行问题,即由多项式不等式定义的分裂可行问题,包括凸与非凸、可行与不可行的问题;给出多项式分裂可行问题解集的半定松弛表示;研究其半定松弛化问题的性质;并基于这些性质建立求解多项式分裂可行问题的半定松弛算法.本文在较为一般的条件下证明了,如果分裂可行问题有解,则可通过本文建立的算法求得一个解点;如果问题...     

非线性断裂理论基本问题的精确分析解

用构造函数法对非线性断裂力学的基本问题——HRR问题作了严格的分析,给出了H问题与RR问题在数学上的等价性的证明,用统一的方法构造其精确分析解,证明了解的绝对一致收敛性和唯一性,取前3项作为近似,就得到优于Hutchinson数值解的结果,同时第1次提供了RR问题应力分布的具体结果.在N→1(n→1)情形,此解还原为线性弹性解,在N→0(n→∞)情形,此解还原为增量塑性理论中经典Prandtl场.     

微积分中的问题之一——微分学中的问题

以问题的形式探讨了数列极限与子列极限的关系问题;夹逼定理条件能否简化的问题;极值点附近函数的性态问题及导数的介值性问题     

在问中悟在问中探在问中明——以问促学的做法点滴

众所周知,问题在数学学习中有举足轻重的作用,有了问题,思维才有方向;有了问题,思维才有动力;有了问题,思维才有创新.因此,在教学中,我们应根据学生的认知规律和教学内容来设计问题,并充分挖掘问题的思维价值,用问题呈现研究思想,让学生在问中悟;用问题促使知识生长,让学生在问中探;用问题激发智慧潜能,让学生在问中明.     

利用矩阵方程研究两类线性方程反问题

将线性代数方程组反问题转化为解列满秩的矩阵方程ＹＢ＝Ｃ，利用矩阵方程解的结构简化反问题Ⅱ^［６］的初等变换法，给出反问题Ⅲ^［６］一个猜测的简单证明．     

含奇异项的平均曲率型方程的狄氏问题

考虑一类含非线性奇异项和正参数ε的平均曲率型方程的Dirichlet问题.证明了当ε充分小时上述问题至少存在一个古典解;而当ε充分大时这一问题没有古典解.     

一类矩阵方程的广义Hermite问题

该文主要解决了如下两个问题 问题I 已知矩阵 M∈ C^n×e, A∈C^n×m, B∈ C^m×m, 求 X∈ HC_M,n使得 A^HXA=B, 其中 HC_M,n={ X∈ C^n×n}|α^H(X-X^H)=0, for all α∈ C(M) }. 问题II 任意给定矩阵 X^* ∈C^n×n, 求 $\hat{X}\in H_E$ 使得 ||\hat{X}-X^*||=\min\limits_{X∈ H_E}||X-X^*||, 这里 H_E 为问题I的解集. 利用广义奇异值分解定理,得到了问题I的可解条件及其通解表达式, 获得了问题II的解,并进行了相应的数值计算.     

现代化手段在“概率统计”教学中的应用

近两年来,为了配合“概率统计”课程的教学,我们编制了一套适于在IBM-PO/XT及其兼容机上使用的教学软件——“概率论与数理统计”计算机辅助教学演示系统;此外,在我院电化教研室的配合下,还摄制了一套“概率论与数理统计系列教学片”。教学软件包括63个演示内容,由四大部分组成。 1.模拟客观世界的随机现象,演示随机现象的统计规律性。具体内容有:掷硬币试验;掷骰子试验;掷双骰子试验;投点试验;寿命试验;高尔顿钉板试验;射击试验;蒲丰投针问题;用蒲丰投针求π值;生日问题;抽签问题;配对问题,小概率问题;频率稳定性的直观演示;系统     

始值问题的存在性中的离散现象

本文讨论方程u_xx-x²u_tt+pu_t=0的cauchy问题和Goursat问题的存在性中的离散现象,文中证明了当p≠1,3,5,…时,问题的解不单是唯一的,也是存在的;当p=1,3,5,…时,问题的唯一性破坏了,存在性也不成立,或者更确切地说,在一定的相容条件下,以及在方程的重特征流形x=0上补充指定适当的数据,新问题的解才是存在和唯一的。     

Poincaré线性连续统直觉概念的公式化(英文)

本文研究了Poincaré著名注记中“内束”观念的数学表述法问题,通过构建Poincaré连续统模型,得到了这一问题的一种解答。文中还论述了有关数理哲学及方法论问题;文末特别指出了须继续研究的数学问题。     

CARP中一个与Pearn下限等价的新算法

<正> 有约束边运行问题(CARP),包括有约束中国邮递员问题(CCPP)在内,是近年来颇受关注的一个运筹管理问题,该问题通常定义如下:     

Hermitian非自反矩阵的两类反问题

记J为一广义反射矩阵,HAJn×n为关于J的n阶Hermitian非自反矩阵的集合.本文考虑如下两个问题:问题Ⅰ给定X,B∈n×m,求A∈HAJn×n,使得‖AX-B‖=min.问题Ⅱ给定X∈n×m,B∈n×n,求A∈HAJn×n,使得XHAX=B.首先利用奇异值分解讨论问题Ⅰ的解的通式,然后利用广义奇异值分解得到了问题Ⅱ有解的充分必要条件和解的通式,最后给出问题Ⅰ和Ⅱ的逼近解的具体表达式.