命题推理的新图式(英文)

本文引进新图式的概念,并且给出一个关于命题推理有效判定的方法。它解决了证明论中命题逻辑部分的一个重要问题。由于此方法直观,机械,可用于计算机对人工智能问题的处理。     

螺象函数之λ-幂的系数估计

记单位圆|z|<1上正则、单叶且满足条件f(0)=f′(0)-1=0和的函数全体为St.本文中我们证明了下述定理,推广了一些已知的结果.作为定理1的一个推论,我们证明了Szego的一个猜测在St中成立. 定理1 设feS_t,λ>0,则等号仅限于Koebe函数f(z)成立,dn(α)为函数1/((1-x)~2)=1的第(n+1)项系数.定理2设feS_t,λ≥1,则当λ=1时,等号仅对于具有形式f(z)的函数成立; 当λ>1时,等号成立仅限于Koebe函数.这里,记号d_n(α)的意义同定理1.     

单位超球B″上的（p,q）格林形式

设ｇ（ｚ）是单位超球Ｂ″包含Ｃ″上具紧支集的可数（ｐ,ｑ）形式,构造了满足方程□Ｎ＝ｋ的（ｐ,ｑ）格林形式Ｎ（ｚ,ｗ）的显示表达式,其中□＝αα＋αα,α＝＊α＊,＊是Ｂ″上关于内蕴度量的Ｈｏｄｇｅ对偶算子,这有助于求出单位超球Ｂ″上关于内蕴度量的α方程的解。     

通用双正交小波构造方法的研究

小波在信号分析、图象处理、模式识别、计算机视觉等方面得到了越来越广泛的应用,而此（小波）领域中的双正交小波的研究正在进行之中,尽管有些作者已收集了几种这样的滤波器和相关的双正交小波,但应用效果不佳,而且应用领域狭窄,由本文提供的双正交小波构造方法,实验证明,效果良好,且具有较强的通用性,除可用在信号分析、图象处理、模式识别、计算机视觉领域外,还在数学、通信、地震、化学等领域有广泛的应用前景     

不分明化拓扑中的仿S—闭性

在不分明化拓扑中定义了正闭集,并用正则闭集和半开集刻画了仿Ｓ－闭性。．     

素数阶循环图和两个经典Ramsey数R(8,n)的新下界

研究了素数阶循环图的基本性质,提出了寻求有效参数构造正则循环图的新方法,得到了２个经典Ｒａｍｓｅｙ数的新下界：Ｒ（８,１６）≥６１４,Ｒ（８,１７）≥６７８．这２个结果填补了关于Ｒａｍｓｅｙ数综述［２］的上下界表中的２个空白．     

关于费米子玻色化技术的注记

传统根据Jordon和Wigner理论,构造了费米子玻色化方案。文章讨论证明了这种方案只有在k≠k′时才成立,而在k=k′时则不成立,从而说明了费米子的玻色化技术是不完备的     

对单位冲激函数及其响应的讨论

本文通过单位斜坡函数的演变来理解单位冲激函数的数学基础。通过ＲＣ 一阶电路在恒定电流作用下的零状态响应与冲激电流源作用下,ＲＣ一阶电路的响应比较,得出单位冲激响应其实质是零输入响应。     

零因子个数为n,阶数为(n~2)/2的环

证明了具有ｎ（＞２）个左（右）零因子的环Ｒ,当｜Ｒ｜＝ｎ２２时,必有ｎ＝２ｓ＋１（ｓ∈Ｎ）,｜Ｒ｜＝２２ｓ＋１,且Ｒ的特征是２,４或８．又当Ｒ是特征为２的可换环时,Ｒ只能是有４个零因子的８元环．     

基于可变安全第一准则和交易约束的投资组合调整模型

结合证券市场的实际情况,通过加入最小交易单位及交易费用约束改进了基于可变安全第一准则的风险定义,将风险表示成为与投资者意愿和交易约束相关的一条曲线。提出了一个新的基于可变安全第一准则的具有一般交易费用函数的投资组合调整优化模型,并给出求解该模型的基于遗传算法和随机模拟的混合智能算法步骤。然后,结合现实中交易费用的实际情况,分别建立了具有线性交易费用和二次分段凹型交易费用的投资组合调整模型。最后,依据上海证券市场的实际数据,通过两个实例验证模型的可行性和有效性。