Co-regular集上的可计算算子

Co-regular集是R^d上的一类集合, 在 第二类能行性理论（简称TTE）的框架下, 研究co-regular集组成的类P上若干算子的可计算性, 这些算子主要包括交、 并、 象、 原象、 补集的内部运算和开集的co-regularization等. 结果表明, 此前提出的所有不等价表示式中, 只有个别表示式对这 些算子是可计算的.     

命题作为博弈的求真表示

在Giorgi Japaridze引入的可计算性逻辑中,提出了将命题作为博弈,命题的真值由博弈结果得到的基本思想.本文通过引入环境状态概念,给出了命题求真过程的形式化表示方法.基于这样的处理,利用从命题逻辑到模态命题逻辑的研究方法,我们可以研究模态可计算性逻辑、线性时序可计算性逻辑、以及行为时序可计算性逻辑.     

函数空间映射的一个注记

对于拓扑空间Y,连续映射f∶X′→X可诱导函数空间映射f#Y∶YX→YX′,其中f#Y(g)=g f,g∶X→Y.文献[1]证明了:若f∶X′→X为上纤维化,则f#Y∶YX→YX′是纤维化.本文将证明:其逆命题也成立.     

用ω-Turing机计算实数函数

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

一类不确定非线性系统的直接自适应模糊控制

针对一类具有未知函数增益的不确定非线性系统,基于监督控制方法并利用第二类模糊系统的通用逼近能力,提出一种新的直接自适应模糊控制设计方案.该方案通过引入最优逼近误差的自适应补偿项和新的鲁棒项,削减建模误差和参数估计误差的影响,从而在稳定性分析中取消了要求逼近误差平方可积或逼近误差的上确界已知的条件.理论分析证明了闭环系统状态有界,跟踪误差收敛到零.仿真结果表明了该方法的有效性.     

低维空间上分片线性函数的逼近因子与剖分数

引入了分片线性函数及矩阵行列式的解析表示,通过低维欧氏空间几何模型和等距剖分提出逼近因子的概念,并基于差值因式给出对应矩阵行列式的代数余子式和矩阵模的计算方法.依次证明了输入空间的剖分数与1元、2元和3元分片线性函数的逼近因子均无关,但剖分数与分片线性函数及其逼近精度却有关.     

模糊系统中方形分片线性函数依K-积分模的泛逼近性

首先引入方形分片线性函数和K-拟可加积分的概念,应用诱导算子及积分转换定理证明了方形分片线性函数在K-积分模意义下对一类可积函数的泛逼近性.该结果表明:模糊系统中方形分片线性函数对连续函数的逼近能力可以推广为对一般可积系统的逼近能力.     

用于积分方程解的函数值Padé-型逼近的代数性质和收敛性定理

该文引入了一种从多项式空间到函数空间线性算子,从而定义了函数值Padé-型逼近来求解第二类Fredholm积分方程.用一个数例说明了函数值Pad啨型逼近在积分方程特征值附近具有良好的逼近效果.文中给出了函数值Pad啨型逼近的代数性质,并证明了它的收敛性定理.     

不确定非线性系统的自适应反推终端滑模控制

针对一类具有未知非线性函数的严格反馈型不确定非线性系统,提出了一种自适应反推终端滑模控制方法。反推控制的前n-1步结合动态面控制技术设计虚拟控制律,第n步仅采用一个神经网络函数逼近器补偿系统所有未知非线性函数,得到了基于全局快速终端滑模控制的自适应神经网络控制器；通过引入一阶滤波器，不仅避免了传统反推控制存在的复杂计算,提高了系统的收敛速度,而且通过引入逼近误差和不确定干扰上界的自适应补偿项来消除建模误差和参数估计误差的影响,改善了稳态跟踪精度。理论分析证明闭环系统所有信号半全局一致终结有界，仿真结果验证了该方法的有效性。     

M带尺度相似变换

对M带多尺度函数的逼近阶的提升,需要引入M带尺度相似变换(MST).通过研究MST的性质及与M带多尺度函数的逼近阶的关系,利用MST可以对M带多尺度函数的逼近阶进行提升.     

均匀二型剖分下的二元五次B样条基函数及其应用

1975年王仁宏建立了任意剖分下多元样条函数的基本理论框架,即所谓光滑余因子方法.多元样条在函数逼近、计算机辅助几何设计、有限元及小波等领域中均有重要的应用.由于某些特殊剖分如均匀剖分的可研究性,1984年王仁宏给出均匀二型剖分下的二元三次一阶光滑样条空间S13（Δm（2n））的维数及其B样条基函数,在计算机辅助几何设计,微分方程数值解等方面应用广泛.在研究光滑余因子方法的基础上,分析均匀二型剖分下的二元五次三阶光滑样条空间S35（Δm（2n））函数空间,给出了S35（Δm（2n））的维数及其B样条基函数,满足曲面拟合和微分方程数值解等应用中对更高阶光滑性的要求.基于该组基函数,提出一种Poisson方程的数值解方法,通过数值实例检验该方法的精度.     

基于关系图邻接矩阵逼近的推荐系统

在基于关系图约束的推荐方法中,引入用户图(项目图)约束的目的是保持原始的高维用户表征空间(高维项目表征空间)与低维的隐性用户表征空间(隐性项目表征空间)之间用户关系(项目关系)的一致性.不同于传统的基于关系图Laplacian矩阵的一致性约束,本文提出一种基于关系图邻接矩阵逼近的推荐模型,从相似性空间一致性角度进行约束,在保持高维表征空间与低维隐性空间的一致性关系的同时,可以一定程度上避免局部过拟合问题.在EachMovie与MovieLens数据集上的实验结果验证了本文算法的有效性.     

氢原子n=4能级的斯塔克效应

用有效哈密顿方法,计算出了氢原子n=4能级的斯塔克分裂。     

前向神经元网络的子波表示

基于函数逼近，对前向神经元网络中非线函数与子波变换中母函数的关系进行了分析，推出了前向神经元网络的子波表示，指出两种方法应用于Ｌ＾２（Ｒ）空间函数逼近时是一致性，最后给出了两个前向神经元网络的子波表示，函数逼近实例验证了本结论的正确性。     

一类高维随机矩阵置乱变换的周期

为了适合多媒体信息量庞大、存在数据冗余的特点,实施可证明安全、高效率的加密解密,使用了数论、近世代数、矩阵变换、算法分析等工具,对高维随机矩阵置乱变换的精确周期进行了研究。将实数域上线性代数的若干结果,推广到模素数有限域上,得到一类整数矩阵及其相关同余方程组之解的若干新性质;在此基础上将用于置乱的矩阵由2维扩展到任意高维,给出广泛一类高维随机整数矩阵A决定的置乱变换,在任意素数幂N=pr模数下,其周期T(A,N)的精确表达式,给出求精确周期算法的时间复杂度。结论可用于建立新型数字多媒体密码体制和信息隐藏体制,扩大其密钥空间,增加其安全性。     

基于可计算性逻辑的知识表示与推理

以可计算性逻辑的完备子集CL4为基础进行知识表示, 将知识分为简单知识与一般知识. 通过分析知识库系统的特点和需求, 给出了采用正反向混合推理方法的推理机设计, 并举例说明以CL4为基础的知识库系统, 具有能够表达和查询更细致的知识、 便于用户和系统交互的优点.     

梵塔问题的自然数解

梵塔问题本质上是一个数论问题.通过对自然数一些基本性质的分析论证,得出一个简明的梵塔移动的通项公式.不仅丰富了基础数论的内容,同时为数的表示建立了一个直观的梵塔模型,为自然数(乃至整数)的表达揭示了一条新颖的途径.参2.     

可扩展路由器并行路由计算模型

分布式控制平面的并行路由计算性能是制约可扩展路由器大规模扩展的关键因素。根据反压理论建立了分布式控制平面并行路由计算模型,利用控制单元的队列长度信息判断每个控制单元的负载大小,自适应地调整控制单元间的负载分配,实现负载均衡。利用排队理论,根据损失率、系统利用率和服务等待时间这3个特征量对该模型进行了性能分析。用真实网络数据模拟验证理论分析的正确性。实验结果表明:与现有并行路由算法相比,该模型采用的反压任务分配算法能够根据控制单元的负载大小和控制单元数量自适应地均衡分配负载,有效地提高了可扩展路由器的并行路由计算性能和可扩展性。