第一类原始递归算术 B~1甲

<正> 在文[1]的绪论中,我们曾提出了几个问题.其中的问题(一)是:若使用原始递归式B~1(即推出把 Gladstone 在1967年的成果改进一点的结果),必须在基础系统中加入怎样的高等规则?本文就是为回答这个问题而作.     

关于高等规则的研究

在文献[1]中我们曾把规则分为初等的和高等的两种,本文专对高等规则作了较详尽的探讨,对迄今出现在递归算术中的高等规则作了多方面的推广,得到了多种类型的高等规则,并讨论了它们之间的(相对于某个初等系统的)强弱关系与等价关系。     

数形和谐结合 考查创新意识—1999年高考数学(理)第23题编写说明

函数的概念、性质与应用是初、高中数学的一个核心内容 .函数的概念涉及三个要素 :定义域、值域和对应关系 (或映射规则 ) ,其核心内容是对应关系或映射规则 ,而定义域、值域是对于对应关系的进一步描述 .描述函数就是描述它的对应关系 ,通常函数的表述方法有三种 :解析式子表述法 ,语言文字表述法和坐标平面上的图象表述法 .函数的对应关系一旦确定 ,为了方便 ,我们把参与映射的两个集合的元素分别赋予自变量、因变量的名称 ,把一个映射方向称为函数 ,其相反方向则称为反函数 ,而对应关系或映射规则是两者互动状态的描写 .第 2 3题的编制 ,…     

巧用皮克定理求格点上的多边形面积

<正>1例题引入问题1如图1,在网状格中,每个小正方形的边长为1,试求图中多边形ABCDE的面积.面对这种求不规则多边形面积的题目,我们通常采用的方法是如图2、图3的“割补法”,将不规则多边形放入规则图形中再减去多余规则图形得出结果;或者将不规则多边形进行分割,分割成多个规则图形求其面积.不难得到问题1答案为10.     

一个游戏问题的算法解

<正> 有许多数学问题,给出构造性的解答,或者称为“算法化”的解答是很有意义的,这使得计算机可完成这样的定理证明或智能问题的求解,本文给出一个二人博奕问题的算法解. 有两堆火柴,一堆有m根,另一堆有n根,二人轮流从两堆中取,要依下列规则: 1)每人只可以从某一堆取任意根火柴,或 2)可以从两堆中一次取出相同根数的火柴.二人交替而取,直到把两堆火柴取光.我们确定,最后取光火柴者为胜.     

多目标最优停止与约束最优停止

最优停止理论作为概率论的一个部分,自1960年以来处于迅速发展之中,比较系统的著作当推〔1〕,〔2〕,最优停止理论的一般提法如下: 我们假设给出i)概率空间(Ω,P),ii)一列递增的的子σ代数族,iii)一个关于(_n)适应可测的随机变量序列(X_n),一般我们称为报酬序列。取值1,2,…,+∞的随机变量t=t(ω),称为停时是指对任何n,{t,(ω)=n}∈,如果停时t满足t<∞a.s.,则称它为停止变量或停止规则,定义随机序列{X_n,_n}~∞的值V为supEX_t,其中C= {t:t为停止变量,EX_t<∞},最优停止理论所要讨论的是下列问题:     

齐次线性方程组的理论在初等数学中的某些应用

在初等数学中 ,常常需要研究若干变量的相互关系 ,而这些变量往往由几个结构相似、含共同字母的等式联系着 ,此时 ,利用高等代数中齐次线性方程组解的理论能直接建立变量间的相等关系 ,从而有助于问题迅速的得以转化和解决 .在高等代数中 ,有[1]定理　含有ｎ个未知量ｎ个方程的齐次线性方程组有非零解的充要条件是 :方程组的系数行列式等于零 .我们举例说明该定理在初等数学中的一些应用 .例 1　已知一次函数ｆ(ｘ) =ａｘ +ｂ ,且 -1≤ｆ(-1 ) ≤ 2 ,-2≤ｆ(2 ) ≤ 3 ,求ｆ(3 )的取值范围 .解　应先找出ｆ(3 )与ｆ(-1 ) ,ｆ(2 )的关系 ,有ｆ…     

构建最小k 重控制集的概率算法

点集D ⊆ V (G) 称为图G 的k 重控制集, 如果D 满足V (G) - D 中任意结点在D 中至少有k 个邻居. 在无线网络中, 最小k 重控制集(MkDS) 用以构建健壮的虚拟骨干网. 构建虚拟骨干网是无线网络中最基本也是最重要的问题. 在本文中, 我们提出一种快速的分布式概率算法来构建k重控制集. 我们构建的k 重控制集的期望大小不超过最优解的O(k²) 倍. 算法的运行时间复杂度为O((Δ logΔ+log log n)n),其中Δ = max{|D(p)|}, D(p) 是以p 为中心半径为1 的圆盘中的结点, 最大值的比较范围是给定集合中所有的p 点.     

定角三角形对边最小值探究

<正>在△OAB中,∠AOB为定角θ,在一定条件下来求定角θ的对边AB的最小值问题,我们称为定角三角形的对边最小值问题.此问题在数学的很多方面都经常用到,而且在生活环境应用相当广泛.笔者从以下几个方面在不同的条件下探究此问题.问题在△OAB中,∠AOB为定角θ(如图),△OAB满足条件p,求∠AOB的对边AB长的最小值.     

抽样调查(Ⅳ)——第三讲 分层抽样

1定义及适用场合 1)定义与记号 定义3.1如果大小为N的总体分成L个不相重迭的子总体,大小分别为N1,N2,… NL(Nh皆已知)∑h=N),每个子总体称为层。从每层中独立进行抽样,这种 h=1抽样方法称为分层抽样,所得的样本称为分层样本。若每层中的抽样都是简单随机的,则称为分层随机抽样。 在我国的社会经济统计中,分层抽样有时也称为类型抽样,这是因为在一些实际问题中,层常按照调查对象的不同类型而划分的。 以后我们都以下标h表示展的编号,h=1,2,…L, Yhi,yhi分别表示总体和样本中第h层第i单元的指标值; Wh=Nh/N称为层权,它是己知的; fh=nh/N…     

一般环的广义弱clean指数（英文）

一般环(未必有单位)中的元素a称为clean,若其可表为一个幂等元和一个Q(R)中元素之和;一般环I称为clean general环,若环I中元素都是clean的.受clean和弱clean指数概念的启发,我们给出对于一般环的一类新的指数——广义弱clean指数,给出该指数的一些性质,并且证明了一般环的广义弱clean指数为1时,该环为abelian环.进一步地,我们给出一般环的广义弱clean指数为2或3时环的性质刻画,得到了一些有关矩阵环的广义弱clean指数的性质.而对于一些在文献中已有的结论,我们给出其推广形式.     

古典谓词演算

§1.绪论我们这里所说的古典谓词演算就是在数理逻辑文献(如Hilbert-Ackermann,Church等)中按习惯称之为狭谓词演算或第一层谓词演算的逻辑演算。这种演算合理地被称为“古典的”,这是因为在其中反映了这样一种逻辑思想,即古典的逻辑推理规则,特别是排中律,在演绎推理中是可以无限制地使用的。这种思想不同于现代直觉主义者的思想,直觉主义者认为,在演绎推理中,古典的逻辑推理规则是不能无限制地使用的。在本文中我们也把古典谓词演算简称为谓词演算。古典谓词演算可以溯源到Frege。以后,经过Schroder, Peano, Russell, Lowenheim, Skolem等学者的研究,特别是经过了Hilbert-Ackermann和Hilbert-Bernays的研究与整     

调频输入正切锁相环路分析中的定性方法

凡是由非线性方程描述的振动系统都称为非线性振动。非线性振动理论,在电讯工程中内容最丰富,许多处理的对象,关系到非线性回路中的振荡,它们在数学上就表示为非线性常微分方程,而周期解的稳定性则是其中心问题。例如在锁相技术中,当我们考虑在环路输入信号中存在有规则的、大的周期干扰时,在调频输入的正切锁环路中就会出现下列两种环路方程     

样条有限元

本文用三次B样条变分方法解规则区域上板梁组合弹性结构的平衡问题.推导出了适用于各种边界条件的统一计算格式,便于在计算机上实现.与通常有限元相比,具有计算量少、精确度高等显著特点.文中对自然边界条件作为约束条件的影响给予了考虑,并以板的弯曲问题为例说明影响极微.给出了几个数值的例子.     

关于自然数的乘法分拆

<正> 设f(n)表示把自然数n分解成大于1的因子之积(不计因子的顺序)的不同分解式的个数.我们把每个这样的分解式称为自然数n的一个乘法分拆.如f(12)=4,因为12有四个不同的乘法分拆:12=6×2=4×3=3×2×2.特别地定义f(1)=1.在许多问题的研究中提出了估计f(n)的上界问题.1983年John F.Hughes和J.O.Shollit在     

关于上纤维偶的一些讨论

<正> 具有绝对同伦扩张性质的空间偶称为上纤维偶.文[1]已指出上纤维偶不是伦型不变的,我们将文[1]的一个引理稍作修改,根据文[1]的结果,得到一个充分条件,从一个上纤维偶能断定另一个也是上纤维偶(第三节).我们的第二个问题是上纤维偶与连通性相关的问题(第四节).最后,在第五节中,我们讨论A是X的独点子集时的上纤维偶(X,     

关于Evans三角形两个新的性质

<正>1引言1977年,R.Evans在《美国数学月刊》上提出一个未决问题[1]:“求出所有的整数边三角形,使它的某个高与底边之比为整数.”这个问题通常被称为Evans问题.此问题被Richard K.Guy收录在其著名的《数论中未解决的问题》一书[2]中.定义1某个高与底边之比为整数的整数边三角形称为Evans三角形.并称三边长互素的Evans三角形为本原Evans三角形.定义2 Evans三角形中是整数的高与底边之比称为该Evans三角形的Evans比.     

关注实验性几何问题

<正>立体几何是高中数学的核心模块之一,在近几年各地高考和模拟测试中,除了传统的证明和计算外,一类以"动手"为特征的立体几何问题引起了广泛关注,我们不妨将其称为实验性几何问题.下面我们从实例出发探讨此类问题的一般解决思路.     

游程论及其应用

<正> 本文将要介绍的游程(又称为连贯、流或链)论,是要根据同类元素按序连续出现的情况来作出某些判断.例如,设一个子样中的元素可分成合格及不合格两类,在一般问题中(例如,在计件质量控制问题中),我们所引进的统计量都只考虑到子样中合格元素及不合格元素的个数,而不考虑它们在取样时出现的先后次序.相反,在游程论中就顾及了这种次序,因而它能更充分地利用子样所带来的信息.本文介绍游程论的数学基础及其应用.游程论可以有很多方式应用到统计中去.不过我们将只介绍它在随机性检验和非参数检验中的应用.     

图象平移四字诀

对于下述平移 :y =f(x)→y =f(x±a) (a >0 )(1)y =f(x)→y±a =f(x) (a >0 )(2 )如果我们将加法称为阳 ,减法称为阴 ;图象向右平移称为阳 ,图象向左平移称为阴 ,则图象的平移与“±”之间的关系可用“阴阳互变”来描述 .如将 y=f(x)的图象向右 (阳 )平移a个单位 ,则 (1)中取“ -”号 (阴 ) .又如将 y=f(x)的图象向下 (阴 )平移a个单位 ,则 (2 )中取“ +”号 (阳 ) .用类似的方法可记忆图象的拉伸与压缩变换 .图象平移四字诀@孙伯友$湖南省郡阳市二中!422000…