修正的RDP逻辑系统中的广义重言式理论

提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。     

局部Lipschitz模糊函数的性质及广义方向导数

借助模糊数的左端点和右端点给出局部Lipschitz模糊函数的一个等价刻画,并引进了局部Lipschitz函数广义方向导数的概念.利用两个集合的间隔和距离给出局部Lipschitz模糊函数的若干性质,并举例给出求广义方向导数的方法.     

重复过流冲击下IGBT的性能退化研究

实际应用中,功率变流器经常会发生过流,重复的过流冲击会造成其功率器件绝缘栅型双极性晶体管(IGBT)的性能退化,并形成累积损伤,最终导致失效,而突然的失效会带来经济损失和安全问题,故需对重复过流冲击下IGBT的性能退化进行研究,建立相应的在线监测方法.针对目前对IGBT在重复过流下性能退化的研究较欠缺,搭建了过流冲击的实验平台来实现IGBT的重复过流冲击实验;采集重复过流冲击过程中IGBT外部端子的电气量,并提出相应的新的性能退化指标——导通电阻.结果表明:重复过流冲击会造成IGBT的性能退化,影响其外部电气特性;提出的退化指标——导通电阻明显地表征了IGBT内部累积损伤的程度.     

探地雷达在花岗岩球状风化体探测中的应用

花岗岩发育地区球状风化体(俗称"孤石")的分布直接影响城市轨道交通工程的建设,准确探明花岗岩孤石的空间分布具有重要的现实意义.为了探明地铁建设过程中花岗岩孤石分布情况,结合深圳地铁11号线某区间孤石探测试验,采用探地雷达研究两孔间孤石分布情况,试验数据能较好反映出土层间反射回波的异常.试验分析结果与现场验证钻孔的对比表明:该物探方法能在一定程度上揭示孤石的空间分布,表明了探地雷达在孤石探测上的有效性和适用性.     

解凸优化问题的一类修正线性近似交替方向法

在解凸优化问题过程中,对已有文献的线性约束条件推广到非线性约束条件,运用了近似交替分解算法;新提出一类修正线性近似交替方向法,并进行了理论分析和和算例比较.     

广义不变凸单调准则

在η关于第一变量仿射且是skew函数条件下,推出伪不变凸单调与严格伪不变凸单调之间的关系.     

预不变凸模糊映射的一些性质

首先利用模糊映射的二次可微性,给出了预不变凸模糊映射的一个充要条件,然后建立了预不变凸模糊映射的一个等价条件,结果为预不变凸模糊映射的判断提供了一个新的思路.     

保持算子张量积凸组合的非线性映射

本文给出保持凸组合的可分二体态之间非线性双射的结构性质,证明了此类映射Φ在一定的条件下具有形式Φ(ρσ)=(ST)Ψ(ρσ)(ST)*Tr((ST)Ψ(ρσ)(ST)*).其中,Ψ是恒等映射,或转置,或对第一个张量因子取偏转置,或对第二个张量因子取偏转置,或上述映射与交换映射(swap)的复合。     

广义α_1对角占优矩阵的判定准则

广义α1对角占优矩阵在数学、系统理论、弹性力学等诸多领域有着广泛的应用,但若是想判定一个矩阵是否是广义α1对角占优矩阵却是比较困难.利用构造的方法,通过对矩阵行标做划分,给出了判定广义α1对角占优矩阵的简洁方法.     

二维无解区域上一类广义Navier-Stokes方程的衰减率

主要研究二维无解区域Ω上一类广义Navier-Stokes方程速度梯度的L2衰减率.当u0∈L2(Ω)时利用新的能量方法和精确的计算得到了其速度梯度在L2范数下的衰减率为(1+t)-12.