抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

交换环上低阶反对称矩阵李代数的李三导子

设R是含1的交换环,用Un(R)(n∈N+)表示R上的n阶反对称矩阵李代数.研究了U4(R)及U5(R)上的李三导子,并证明了它们的李三导子都是内导子.同时也说明了U4(R)及U5(R)都是完备李代数.     

复指数多项式在Hardy空间中的完备性

对复指数多项式在Bamch空间Hpa(1≤ρ≤2)中的完备性给出了充要条件,其中Hρa为开半带形Ia={z=x iy:x＞0,│y│＜a}(a＞0)中的Hardy空间.     

基于样本的等距特征映射的行为分析方法

针对运动捕捉数据分析和应用的效率要求,提出了一种基于样本-Isomap的行为分析方法.通过计算运动数据中样本帧的距离矩阵得到样本嵌入空间的特征向量,用其近似表示嵌入空间的特征向量,然后在该空间上计算非样本帧的投影,得到非样本帧的近似流形嵌入.结果表明当样本帧的选取比例在10%时可以近似得到整个运动数据的低维流形嵌入,且处理效率比原方法提高10倍以上.应用该算法对高维运动捕捉数据进行降维,能够提高运动捕捉数据分析和应用的效率.     

广义Sasakian空间形式中的理想子流形

利用陈不等式研究了理想子流形的一些相关的几何问题,将理想子流形的概念推广到广义Sasakian空间形式中,并证明广义Sasakian空间形式中的一类特殊理想子流形是其极小子流形,推广了Sasakian空间形式中的相关结论.     

求解大规模线性时不变系统的最优H2模型降阶问题的共轭梯度法

 针对最优H₂模型降阶问题,提出了适合大规模多输入多输出系统的共轭梯度法。该方法仅需利用一阶导数信息,存储量少,计算复杂度低,且具有超线性收敛性。实验结果显示了算法的有效性。     

不完备不一致决策系统的最大分布约简及计算方法

不完备不一致决策系统中,条件属性下的相容划分与决策属性下的等价划分形成了复杂的交集,导致出现了多种不同的约简概念,从而使约简问题变得更加复杂.本文将最大分布约简的概念引入不完备不一致决策系统中,然后研究其在不完备不一致决策系统中的性质,发现其核属性不具备传统约简核属性通常所具备的继承特性,因而不能通过增加属性的方法来计...     

统计流形在切丛上提升的等积仿射结构

具有等积仿射结构的统计流形在贝叶斯统计理论中有着重要应用,主要讨论统计流形及其切丛上的等积仿射结构,得到了统计流形的无挠仿射联络和其在切丛上提升的仿射联络的等积仿射性是一致的.     

函子范畴与幂等完备化构造的相容性

讨论函子范畴和范畴的幂等完备化构造的相容性,证明小范畴D到任意范畴C的函子范畴C D的幂等完备化范畴等价于D到幂等完备化范畴C～的函子范畴(C～)D.进一步得到函子范畴CD是幂等完备的,当且仅当C是幂等完备的.     

C[0,1]上完备的三角形正交函数系

基于W alsh函数,建立一个新的函数系T n n∈N.它是一个分段线性函数序列,在0,1的子区间上其函数图像呈现三角形。并且证明了它是C[0,1]上一个完备的正交函数系。在此函数系上展成的Fourier级数有许多与三角Fourier级数相似的性质,三角形Fourier级数的部分和在作为函数的逼近工具时确实要比三角Fourier级数优越一些。