递归结构——Ⅰ.可解决性理论

本文提出一类代数结构,称为递归结构.在续篇中,将在递归结构基础上建立可解决性理论,并应用于数学问题.     

有限可换主理想环上模理论可判定性及其复杂性

本文利用初等等价的工具，引用Ｅｈｅｎｆｅｕｃｈｔ Ｇａｍｅ理论，证明了有限可换主理想环上模的理论是可判定的，并且判定过程的计算复杂性上界为２^ｃｎ２．     

随机递归结构的重分形分解

设μ为支撑于随机递归结构K上的无穷乘积测度，K（ω）≠φ。本文研究K关于测度μ的重分形分解，并讨论了谱维f（α）的性质。     

算术结构的不可判定性

本文证明了两种算术结构Ｎ；＋，ｎ２ｎ，｜２ｎ及Ｎ；＋，ｎ２ｎｌｏｇ２ｎ中可定义乘法运算从而包含算术结构Ｎ；＋，×及，而由于后者的不可判定性推导出前二者的不可判定性。     

形式系统L*(n)的完备性

模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ,得到系统 L*的扩张列 { L* (n) } ,使用代数方法证明了对于任何n≥ 3 ,系统 L* (n)关于 Wn 是完备的     

线性模型中参数估计的可容许性理论

本文综述了线性模型中参数估计的可容许性理论的历史及近年来的发展，同时也提出一些待解决的问题。     

重建极性连续统理论的基本定律和原理(Ⅱ)——微态连续统理论和偶应力理论

重建微态连续统理论和偶应力理论的动量和动量矩均衡定律以及能量守恒定律,并由这些定律自然地推导出相应的局部和非局部均衡方程。这些结果可由耦合型微极连续统理论过渡和归结而得到。把推导出的结果和传统的质量和微惯性守恒定律以及熵不等式结合在一起就构成微态连续统理论和偶应力理论的基本均衡定律和方程体系。还弄清了以前的各种连续统理论的不完整性层次。最后,给出了几种特殊情形。     

可达到和可逼近总极小点的存在性和最优性

针对积分总极值，讨论并拓展了丰满集和丰满函数的概念，研究了拟上丰满和伪上丰满函数的总极值问题. 在总极值的变差积分最优性条件下，证明了拟上丰满函数的可达到极小点和伪上丰满函数的可逼近极小点的存在性.     

模糊数值函数的H-差,H-可导性和S-可导性

本文提出了区间值函数单调的概念,并利用所定义的区间值函数刻划了模糊数值函数的H-差,H-可导性和S-可导性及其相互关系.     

反函数连续性和可微性的若干注记

在不要求函数在区间连续的假设下,研究了其反函数存在的条件及其在一点的连续和可微的条件,给出了反函数在一点连续的本质刻画.主要结论是原函数在某点连续不是其反函数在相应点连续的必要条件,而是函数将区间映射为区间,最后用例子说明结论的直观性.     

计算股市的基本方程、理论和原理(Ⅱ)——基本原理

提出计算股市三个基本原理:最近时原理,从势原理,供求差变分原理。阐述这些原理的引出,表达和数学描述,以及其应用。这些应用包括在神经网络,股市基本方程,平衡价位的预测等。     

凸函数的β可微性和光滑模

本文引入一类特殊的实值函数(模),并由此对Banach空间上凸函数的Fréchet可微性,更一般地,β-可微性进行了特征刻画.     

二重级数的绝对Cesáro可和性

设s_(mn)为二重级数∑_(n=0)~∞a_(mn)的部分和,T=(t_(mnij))为任意二重无穷矩阵.文中考虑了使得■包含■的充分条件,其中{α_(mn)}和{β_(mn)}为两个给定的正二重数列,k,s0,而{t_(mn)}为{s_(mn)}的T变换.所得结论推广了Savas,Sevli和Rhoades等人的相关结论,并指出了他们的证明是错误的.     

关于对偶模的平坦性和内射性(Ⅱ)

对交换环Ｒ和Ｂ－模范畴上的一个内射余生成元Ｂ,我们用相对于Ｅ的对偶模的性质刻画了ＱＦ环,ＩＦ环和半遗传环．     

Fourier级数子列的可和性

Let H_α0^ω denote the set of functions f(x)∈L_2π such that ω(f,x₀;t)≤ω(t),ω(t) being a given modulus of continuity. Let {n_k} be a set of natural numbers satisfying the condition n_i+1/n_k>q>1, and let A= (α_πk) be a regular summation matrix.     

Pritchard-Salamon系统的可稳定化性和代数Riccati方程

在本文中,我们给出了光滑Pritchard－Salamon系统（简称PS系统）能以紧算子为可容反馈可稳定化的充分必要条件．应用此结果,我们给出了光滑PS系统中的代数Riccati方程的所有非负自伴解的参数化表示,把[1]中的主要结果推广到了光滑PS系统．     

有理数集的可列性和稠密性及其应用

介绍关于有理数集可列性和稠密性的一种证明方法，并借助实例说明这两种看似互斥的性质在实分析中的一些应用。     

关于分形插值函数的连续性和可微性

获得了由迭代函数系统(IFS)定义的两类分形插值函数具有Hlder连续性的充分条件,给出了这两类分形插值函数连续可微的充要条件,并证明了可微分形插值函数的导函数是由关联IFS生成的分形插值函数.     

可和系数的二阶差分方程解的渐近性

考虑非线性差分方程△(Pn-1△（yn-1)^σ） qnf(yn)=0,n=1,2,3…其中linn→∞∑s=1^nqs存在且为有限给出了方程（E）具有渐近于非零常数解的必要（充分）条件。     

模糊数值函数的H-差,H-可导性和S-可导性 (英)

本文提出了区间值函数单调的概念,并利用所定义的区间值函数刻划了模糊数值函数的H-差, H-可导性和S-可导性及其相互关系．