算法归纳设计策略与循环不变式

分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.     

二阶线性微分方程在李群之下的不变式

本文讨论线性二阶(常的与偏的)微分方程(非抛物型的),按照李群定义其不变式,证明了关系式λ(x,ε)(?)_o(x,x_o;ε)=λ(x_o,ε)W_o(x,x_o;ε),(?)及当h=i,1≤i≤m_1时,J_h(x,y;x_o,y_o;ε)=J_1.1(x,x_o;ε)当h=m_1+k,1≤k≤m_2时,J_h(x,y;x_o,y_o;ε)=J_2,k(y,y_o;ε)。     

关于《Willmore 猜测的推广》的注记

本文把马志圣《Willmore 猜测的推广》一文中的定理3和定理4推广到任意 n 成立;并且对任意n,计算出了共形不变积分式的极小值 C(n,k).     

CVaR对VaR的改进与发展

证明了CVaR的正齐次性、平移不变式、平调性、次可加性、凸性和稳定性．     

有限域上有限伪反射群的相对不变式的Poincaré级数（英文）

设F q(q=pm,m≥1)为特征为p的有限域,V=Fn q是F q上的n维向量空间,G是作用在V上的有限伪反射群.设χ:G→F*q是G的一维表示,主要证明了χ(σ)=(detσ)α,0≤α≤r-1,其中,σ∈G,阶为r,r|q-1和有限域上的Molien公式,并且利用Molien公式,计算出了有限域上有限伪反射群的相对不变式的Poincaré级数.     

一类正则矩阵的广义逆

设(L,∧,∨)(简记为L)是全序格。本文利用矩阵的可行性分块定理讨论了L上一类正则矩阵的广义逆问题。     

扩展线性时段不变式的模型检验研究进展

扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件的分析中,从而能够描述处理连续时间区间性质,是国际上公认的描述和分析实时系统的主流方法之一.由于时段演算内容丰富并且相关的综述和专著已出版,文章旨在对扩展线性时段不变式这一时段演算子集的模型检验问题的研究情况进行论述:①介绍时段演算、线性不变式及其扩展;②分别论述线性时段不变式以及扩展线性时段不变式的模型检验研究情况,其中重点介绍扩展的线性时段不变式,在离散时间语义和连续时间语义下的近期验证成果.     

模情形下二面体群的余不变式环的最高次数

利用Transfer映射和p阶循环群的任意表示的不变式代数的生成元，通过描述Hilbert理想的首项理想，本文刻画了模情形下2p阶二面体群的所有有限维表示的余不变式环的最高次数。另外，这个次数也是所对应的Transfer理想的最高次数。     

关于求已知do循环不变式的一个方法及for循环的WP的定义

对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义.     

一类耦合方程组的初边值问题

本文对一类复半线性 Schrdinger 方程和实半线性 Klein-Gordon 方程的耦合方程组分别具第一类边值条件和第二类边值条件的初边值问题,研究了其解的能量性质。我们首先对所讨论的问题引入一类能量积分,然后推导出能量不变式,并给出了所得能量不变式的初步应用.