多参数n阶α次积分半群的预解集

研究了多参数n阶α次积分半群的预解集.利用经典算子半群理论中的方法,给出多参数n阶α次积分半群的预解集定义,并得到其预解式的一些性质.     

素理想参数化的符号算法

Ｇａｏ等给出了素理想参数的一种随机算法,Ｇａｌｌｏ等估计了这种算法的计算复杂度,并将此算法改进为确定性的算法,避免了上机实现可能出现的“随机陷阱”尽管如此,由于这种算法可能需要计算多次特征列,使复杂度提高,应用受到很大限制,本文给出了素理想参数化的一种符号算法,只需计算两次特征列,就能得到原理想的参数化,并同时可以确定“例外集”。     

无穷维空间中微分包含可达集的唯一性

在可分Ｂａｎａｃｈ空间Ｘ中考虑下列微分包含的可达集ｘ（ｔ）∈Ｆ（ｔ,ｘ（ｔ））,ａ．ｅ．ｔ∈［ｔ０,Ｔ］ｘ（ｔ０）＝ξ｛其中Ｆ是从［ｔ０,Ｔ］×Ｘ到Ｘ的取紧凸值的非空集值映射．给出了有关可达集的一些性质,并且利用有关可达集的集值映射ｔ～→Ｒ（ｔ０,ｔ;ξ）关于ｔ的半群性质,证明了可达集的唯一性．其中Ｒ（ｔ０,ｔ;ξ）是微分包含的可达集     

关于顶点凝聚度的几个定理

本文研究图Ｇ的顶点、是负点（Ｃ（ｖ）＝Ｋ（Ｇ）－Ｋ（Ｇ－ｖ）＜０, 零点（Ｃ（ｖ）＝０）、正点（Ｃ（ｖ）＞０）的充要条件。     

关于半紧随机1-集压缩映射的随机不动点定理

利用随机ｋ（ｗ）－集压缩集值映射的随机不动点定理,建立了若干半紧随机１－集压缩集值映射的随机不动点定理,推广了已知的相应结果。     

基于第一原理的实用故障诊断算法

根据基于第一的多故障诊断理论,针对具有固定测量点的连续物理系统,提出一种实用诊断算法,算法分３步：（１）根据系统的结构和测量点分布等不变知识,离线识别最小冲突集候选;（２）测量数据,在线确定最小冲突集合组;（３）由系统的部集合组求出诊断集,算法可大大节省时间资源,便于实时故障诊断。     

CM分担两个有穷集合的亚纯函数的唯一性定理

研究ＣＭ分担两个有穷集合的亚纯函数的唯一性,证明了如下结果：设Ｓ＝｛ｚ：ｚ＾７－ｚ＾６＝１｝,ｆ和ｇ是两个满足Ｈ（∞,ｆ）〉１１／１２,Ｈ（∞,ｇ）〉１１／１２的亚纯函数。如果Ｅ（Ｓ,ｆ）＝Ｅ（Ｓ,ｇ）,Ｅ（∞,ｆ）＝Ｅ（∞,ｇ）,则ｆ≡ｇ。     

Oppenheim定理的推广

建立了（ＣＰ）Ｄｎ类复广义正定矩阵的Ｏｐｐｅｎｈｅｉｍ定理,推广了已有结果。     

带有n-1阶差分项的n阶差分方程解的振动性及渐近性

讨论了高阶差分方程Δｎｘ（ｋ） ＋ ｐ（ ｋ）Δｎ － １ ｘ（ ｋ） ＋ ｑ（ ｋ） ｆ（ ｘ（ ｇ１（ ｋ）） ,…,ｘ（ ｇ ｍ（ ｋ））） ＝ ０ ． ｋ ∈ Ｎ（０） 解的振动性及渐近性问题． 这里Δ表示差分算子：Δｘ（ｋ） ＝ ｘ（ｋ ＋ １） － ｘ（ ｋ） ,Δｍｘ ＝ Δ（Δｍ － １ ｘ） ,ｍ ＝ １ ,２ ,…,ｎ ,Δ０ ｘ ＝ ｘ ;ｎ（ ａ） ＝ ｛ａ ,ａ ＋ １ ,…｝ ．     

交换Banach代数的谱延拓性质

通过研究交换Ｂａｎａｃｈ代数Ａ与Ａ／ｒａｄＡ的关系,得到了Ａ具有谱延拓性质、强谱延拓性质、乘法Ｈａｈｎ＿Ｂａｎａｃｈ性质的充要条件．作为一个推论,当Ａ为半单时,得到Ｍｅｙｅｒ（１９９１）的结论．