用ω-Turing机计算实数函数

实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一个定义在全体可计算实数上的函数y=f(x)是可计算的,当且仅当存在一个在全体可计算实数的指标上的(部分)递归函数将x的指标对应到y的指标,这样对实数函数的研究依赖于自然函数的性质.第二个定义可计算实数的途径是基于逼近.一个实数函数是可计算的,当且仅当它既是序列可计算的也是有效地一致连续的,这个条件太强使得很多非常有用的实数函数不能成为可计算函数.根据这个定义"<"和"="都是不可计算的,因为它们的特征函数是不连续的.在这篇文章里我们讨论ω-Turing机的稳定性并且定义了在一个有限字母表的全体无限序列上的ω-可计算函数,我们也证明了ω-可计算函数的复合函数也是ω-可计算的.我们的定义没有用到Godel数或者递归函数.根据我们的定义很多常用函数特别是一些有用的不连续函数是ω-可计算函数.一个函数是否ω-可计算的验证较为容易,根据我们的定义普通Turing机的停机命题是ω-可计算的.     

一个Smarandache可乘函数及其均值

对任意正实数 ,定义函数 ： ;对任意素数 及正整数 ,定义 ;当正整数 的标准分解式为 时,定义 ,利用初等方法和解析方法, 研究了新定义的数论函数 的均值性质,并给出这个数论函数均值的一个较强的渐近公式。     

无限维混杂系统及其稳定性

该文基于半群理论对无限维的系统进行了建模,给出了用半群理论的无限维的混杂系统的模型,在此模型的基础上给出了其渐进稳定和一致有界的定义,并根据多Lyapunov方法等手段给出了几个无限维混杂系统在任意切换的情况下渐进稳定的条件。针对于无限维的线性切换系统,给出了具有有限个子系统的情况下的公共Lyapunov函数存在的条件,扩展了已有文献中的成果,最后还基于循环算子的定义和性质给出了一个等价的定理。     

具有奇（偶）条件的波动方程混合问题的行波解

利用定义广义奇（偶）函数及其性质，给出了在各种边界条件下，定义在有限区间上的具有奇（偶）外部激励条件的波动方程的混合问题解的有限形式，并指出了在此条件下，与定义在无限区间上的初值问题一样具有行波解．     

一元粗糙函数无穷积分及其收敛性质

一元粗糙函数积分是粗糙理论的应用基础,采用无限度量来研究一元粗糙函数无穷积分及其收敛性质.将有限度量上的粗糙积分推广到无限度量上,探讨粗糙无穷积分的构造定义;基于无限度量研究粗糙函数无穷积分收敛的充要条件与判别方法;基于无限度量,用无穷积分及其收敛性质推进了一元粗糙函数积分的发展.     

有限维实单Balinsky-Novikov超代数的分类

有限维Balinsky-Novikov超代数可以看作是Novikov代数的一类超模拟,其仿射化给出了一类重要的无限维李超代数.本文主要叙述了它们的一些性质,并给出了实数域上有限维单Balinsky-Novikov超代数的完全分类.     

光滑函数芽的弱决定性

定义了光滑函数芽的弱有限决定性与弱无限决定性,对于右等价群及其两类子群,给出函数芽是弱决定的充要条件,并且证明了这三类弱有限决定性或弱无限决定性是等价的.     

函数一致连续的充要条件及其应用

讨论了定义在有限开区间（n,6）和无限区间[a,＋∞）上的函数的一致连续性,给出函数的一致连续的几个充要条件。     

可测函数列在无限测度集上依测度收敛乘除成立的条件

有限测度集上,可测函数列依测度收敛乘除在一定条件下恒成立.给出反例论证定义在无限测度集合上两可测函数列依测度收敛乘除在与有限测度相关结论相同条件下不成立.通过进一步探讨,得到了在集合测度为无限时相应结论成立的一个较宽松条件,并且对这一条件给出了易于验证的等价形式.     

Mobius函数及其在逆Z变换计算中的应用

该文首先对一维Ｍｏｂｉｕｓ函数的一个性质作了证明，并定义了二维Ｍｏｂｉｕｓ函数，给出其有关性质的证明。文中重点讨论了运用二维Ｍｏｂｉｕｓ函数及二维序列的有限长傅里叶变换在单位双圆上的有限样值点，来计算无限长二维时域序列的逆Ｚ变换的问题，并将二维双边序列的逆Ｚ变换问题全部转化为第一象限问题来讨论，所得公式非常便于计算机实现。     

关于域上无限方阵的逆方阵

用紧致性论证给出了任一域K上行列有限的无限方阵A具有各种逆方阵的基本的充分必要条件.主要结果是:A在K上具有唯一的行列有限双侧逆方阵当且只当A的各行向量在K上无限线性无关并且各列向量也在K上无限线性无关.     

实数十进制小数表示中的几个问题探讨

用纯粹初等方法回答实数十进制小数表示中几个易被忽视的问题：为什么有理数（分数）恰好是有限小数或无限循环小数？如何认识无理数是“无限不循环小数”？如何化无限循环小数为分数？分数能够化为有限小数、纯循环小数或混循环小数的充分必要条件是什么？最后进一步分析了分数表为无限循环小数的大循环部分与循环节长度问题，由于避开了抽象严密的实数构造理论，本文的论述对中学生、一年级大学生可以有很好的启示作用．     

“解方程器”软件包(EQNS-SOLVER)

作者提出了对于任意多项式方程组的一种带有普遍性的求解方法。多项式方程组可能没有解,或者有无穷多个解,或者有有限个解,解是实数也可以是复数。在有限个解的情况下,所创建的方法能够求出所有的解。作者完成了一个软料包,称为《解方程器》,曾在微型计算机上用FORTRAN语言完成计算过程。本文是《解方程器》软料包的说明,内容包括基本原理、方法、程序结构、应用举例以及使用的步骤。     

波浪对弹性结构三维绕流分析的半解析方法

采用二维解析和一维离散的方法处理无限流体介质，建立一种分析结构与外流体动力相互作用问题的半解析无限元法，使波浪对弹性结构绕流的三维问题化为一维数值问题来解，从而在很大程度上节省了单元、内存与计算工作量，同时径向无限域边界可得以正确模拟，比现有的有限边界人工处理更显优越。     

On the Distribution of Prime-Triplets

A new approach to the research of the distribution of prime-triplets is developed．It differs from the usual methods（involving the sieve method）for this kind of research,and basing on Chebyshev inequality and on the computation of average concentration of all the related subset．It leads to the proofs of following Lemma ２and Theorem２（Lemma１and Theorem１in Reference１had been proved by means of this new method）： 　Lemma２　Among all the prime-triplet-subsets there exists at least one such subset which is an infinite set． 　Theorem２　All the prime-triplet-subsets or infinitely many such subsets are infinite sets． Formulas for estimating the amount of such infinite sets are provided in this paper．     

A new construction for the statistical theory of the nonextensive systems

We propose a new statistical theory for classical and quantum small systems.It is a generalized scheme of the Boltzmann–Gibbs statistical theory by extending the Boltzmann–Gibbs statistical factor from infinite systems to finite systems based on the microcanonical ensemble distribution function and keeping this factor in all thermodynamic processes.We reconstruct the statistical theory for finite systems by obtaining the expression of the average particle number and the thermodynamic quantities such as entropy and specific heat,in the finite systems.We also explore the discontinuous phase transitions in the interacting classical nanoscale gases without the thermodynamic limit.     

The Goldbach 3-primes property for polynomial rings over certain infinite fields

On the basis of Effinger and Hayes’ theorem about the Goldbach 3-primes property of polynomial rings F[x] over finite fieldsF, by model-theoretic method it is proved that for each characteristick (including 01, there exist infinitely many infinite fieldsF such that F[x] also satisfy Goldbach 3-primes property.     

平均数构造的数列性质

对任意给出的m个正实数,通过连续计算其去掉一个实数后所得数组的算术平均数,得到新的m个无穷数列。讨论了这m个无穷数列的性质,得出这m个无穷数列都收敛于初始数组的算术平均数,并将结论拓展到了通过计算几何平均数、调和平均数、平方平均数所得到的数列的情形。得出结论:对任意一个数组,连续计算去掉一个数据后所得数组的平均数,其数字特征不会发生变化,并且如果从每次计算平均数所得的数组中任取一个数据构成无穷子数列,必定收敛于相应的数字特征。     

非等距样本表示的截断误差估计

经典的Ｗｉｔｔａｋｅｒ－Ｋｏｔｅｌｎｉｋｏｖ－Ｓｈａｎｎｏｎ样本定理的是有限带函数由其Ｗｈｉｔｔａｋｅｒ级数表示问题，它涉及到一个无限项和。当样本节点非等距时，有限带函数用有限项和逼近，其截断误差可以表示为一围积分。在一定的条件的限制下，得到了一个截断误差估计。