2×2线性退化系统初边值问题的显式解（英文）

给出了一类2×2线性退化拟线性双曲系统初边值问题解的显式公式,并证明初边值问题古典解的存在性和惟一性.     

带奇异项的拟线性抛物方程组在第二类边界条件下解的猝灭

为探讨一类含有奇异项的退缩拟线性抛物型方程组在第二类边界条件下的初边值问题,通过上、下解方法得到了解的存在性,并利用椭圆型方程边值问题的解构造初边值问题的一对下解,由此证明了在一定条件下问题的解会在有限时刻发生猝灭.     

一类非线性退化半导体方程弱解存在性的研究

目的研究非线性退化半导体方程在初值u0,v0∈L2 (Ω)的条件下,其混和初边值问题弱解的存在性。方法利用截断的方法先将原问题正则化,对正则化问题的解做估计,并利用紧性引理。结果通过取极限证明了原问题解的存在性。结论在满足一定假设条件下,非线性退化半导体方程存在弱解。     

一类拟线性伪双曲方程解的存在性

在一定条件下,证明一类拟线性伪双曲方程的第一初边值问题古典解的存在性．     

三阶半线性微分方程解的存在性

讨论了一类三阶半线性两点边值问题解的存在性,首先给出定理证明中所需要的Leray-schauder定理,进而将这类三阶半线性两点边值问题转化微分方程组的初边值问题,利用微分方程组与积分方程组等价的关系,将此类三阶半线性两点边值问题转化为积分方程组,然后利用Leray-schauder定理建立了一个解的存在性结果.     

一类拟线性双曲型方程的初边值问题和Cauchy问题

首先讨论方程ｕｕ－ｕｘｘ－Ｍ（∫＾＋ｌ－１ｕ＾２ｘｄｘ）ｕｕｘｘ＝ｆ（ｘ,ｔ）的初边值问题,用Ｇａｌｅｒｋｉｎ方法和紧性方法得到了其整体广义解和整体古典解的存在惟一性,然后用构造初边值问题序列并取极限的方法证明了方程。     

一类拟线性抛物-椭圆趋化增长系统解的全局有界性

讨论了一类拟线性抛物-椭圆趋化增长系统初边值问题,利用先验估计、Lp估计的技巧,得到了该模型解的全局存在性和有界性.     

一类复Gross-Pitaevskii方程的H2 解的唯一存在性

利用Galerkin方法和Leray-Schauder不动点定理,一类复Gross-Pitaevskii方程的初边值问题的H2解的唯一存在性得到了证明.     

一类三阶拟线性发展方程的整体解

本文讨论方程 u_(ttt)-u_(xxt) au_(tt)=β[σ(u_x)]_x ?(u)_x ?(u_t)_t的第一初边值问题、周期边值问题和初值问题的整体古典解和整体广义解的存在性、唯一性和正则性。     

一类三阶拟线性发展方程的整体解

本文应用Ｇａｌｅｒｋｉｎ方法和紧致性方法讨论方程ｕｔｔｔ－ｕｘｘｔ＋ａｕｔｔ＝β「σ（ｕｘ）」ｘ＋ψ（ｕ）ｘ＋ψ（ｕｔ）ｔ的第一初边值问题，周期边值问题和初值问题的整体广义解和整体古典解的存在性、唯一性的正则性。     

2—D系统理论进展

该文对二维（２－Ｄ）线性离散系统的状态空间模型与状态响应，可分性与特征值，传递函数矩阵和实现，稳定性与能稳性，特征多项式与极点配置，观测器及综合等问题的进展状况作了系统概括，并对其发展趋势提出了若干见解。     

一种嵌入式二乘二取二容错计算机联锁系统设计

基于嵌入式系统理论和容错系统体系结构,结合故障-安全电路的设计理念,给出了一种嵌入式二乘二取二容错计算机联锁系统的硬件设计.深入阐述了系统硬件电路的设计理论依据和工作原理,同时给出了设计中的元件选型.通过功能测试,系统设计符合故障-安全的设计原则,理论计算表明,其可靠性、安全性达到铁路信号系统要求.     

关于Euler一致型方程x2-D1y2=2s2和x2-D2y2=-2t2

设D1,D2是无平方因子正整数.该文给出了方程组x2-D1y2=2s2和x2-D2y2=-2t2有本原整数解(x,y,s,t)的必要条件.     

关于Euler一致型方程x2-D1y2=2s2和x2-D2y2=-2t2

设D1,D2是无平方因子正奇数.证明了:当D2 ±1(mod 8)或D2 1,3(mod 8),则方程组x2-D1y2=2s2和x2-D2y2=-2t2没有本原整数解(x,y,s,t).     

广义随机2-D系统的状态估计

考虑广义随机2-D系统的卡尔曼估计问题。目的是利用最小方差准则，在系统同时受到动态噪声和测量噪声干扰下，得到一类2-D系统的卡尔曼滤波。通过运用斜割支线和几何方法，给出状态向量的卡尔曼滤波与最优预测。同时，给出滤波和预测误差的方差与协方差阵的显示公式。     

关于不定方程组a_2x~2-a~1y~2=a_2-a~1,a_3y~2-a_2z~2=a_3-a_2

构造性地证明了:当自然数a_1,a_2,a_3中任二数之积与1的和均为平方数时,标题所列之不定方程组常有异于平凡解x=y=z=1且合x~2≡1(mod a_1)之正整解存在.一个等价的说法是,对任给合条件“任二数之积与1之和均为平方数”的三个自然数a_1,a_2,a_3,均可觅得一自然数a_4,使得四数组(a_1,a_2,a_3,a_4)亦合前述条件.     

2-D奇异时滞系统的稳定性

研究用Roesser模型表示的2－D奇异时滞系统的稳定性。通过变换，将2－D奇异时滞Roesser模型化为等价的2－D奇异一般模型，给出了2－D奇异时滞系统的Roesser模型Inner稳定的定义及充要条件。     

NaOH(KOH)-SiO_2-CH_2OHCH_2OH体系中全硅方钠石的合成

1985年Bibby和Dale首次报导了在非水体系(乙二醇和正丙醇)中全硅方钠石的合成。最近,Van Erp等报导了在其它非水溶剂中全硅方钠石的合成。但在KOH存在下全硅方钠石的合成未见报导。我们探索了非水体系中全硅方钠石的合成。     

关于不定方程组x^2—2y^2=1,y^2—150z^2=4

对于不定方程组x2-2y2=1,y2-DZ2=4,证明了：当D=150时，它的整数解只有（x，y，Z）=（±3，±2，0）．     

Diophantine方程组x2-Dy2=s2和x2-(D+2)y2=-t2有本原整数解的必要条件

证明了:若D是无平方因子正奇数,当D■3(mod 4)时,方程组x2-Dy2=s2和x2-(D 2)y2=-t2没有本原整数解(x,y,s,t).