BLΔ*系统中理论的Δ-根及广义Δ-MP问题

对BL*系统进行了研究。结合Petr Hájek的观点,在BL*系统中添加了一元逻辑连接词Δ,得到BL*系统的一种扩张BL_Δ*系统。随后在BL_Δ*系统中提出了理论的Δ-根的概念,并对其基本性质进行了研究。最后提出了广义与集体广义Δ-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论。     

BLΔ^＊系统中理论的Δ-根及广义Δ-MP问题

对BL^＊系统进行了研究。结合Petr Hajek的观点,在BL^＊系统中添加了一元逻辑连接词Δ,得到BL^＊系统的一种扩张BLΔ^＊系统。随后在BLΔ^＊系统中提出了理论的Δ-根的概念,并对其基本性质进行了研究。最后提出了广义与集体广义Δ-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论。     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

△―内射模与拟―V模

给出了△-内射模与拟-V模的概念,刻画了它们的一些性质.证明了如下主要结果:①M为△-内射模,则对于S的任意极大左理想A≠ls(Imu),u∈△,作为广义S-系A△在S△中广义稠密.②N是△(M)-内射模当且仅当N是△(Mn)-内射模.③给出了u.dim(I(M))≤n的一个充分条件.④I(Mn)=1n⊕i=I(M)     

△形网路的风向判别与解的唯一性

矿井通风系统多为复杂网路,而复杂网路解算的惟一性是通风理论中的一个难题.△形网路是复杂网路中的最简单的一种形式, 文中证明了△形网路解的惟一性,主要结论有二一是其网路解算有唯一解;二是其角联风路的风向差别与风量有关.     

非理想∑△调制器的概率性质

本文提出了一种推导∑△调制器输出等于逻辑１的概率方法，并研究了非理想因素对概率特性及∑△比特流信号处理的影响。     

氘核中△△的成分

采用推广的夸克蜕定域色屏蔽模型计算了氘核中△△的成分，并与现有的实验数据和理论计算进行比较，所得结果与实验数据相符，与其它理论计算略有差别，并探讨了可能的原因．     

△Np63γ和△Np63a及其C端在H1299细胞凋亡中的作用

为了研究△Np63 γ、△Np63a及其C端(p63aCT)在细胞凋亡中的作用,本研究扩增出人△Np63γ、△Np63a和p63aCT编码序列,并克隆至慢病毒表达载体pLVX-HA-Flag.通过将构建的pLVX-△Np63a、pLVX-△Np63γ、pLVX-p63aCT包装至慢病毒颗粒,感染人肺癌细胞株H1299后,用Western blot检测到△Np63γ、△Np63a及其C端能在H1299细胞中有效地过表达；通过PI染色以及流式细胞术检测发现△Np63a能有效挽救DNA损伤药物Cisplatin(CDDP)诱导的细胞凋亡,而△Np63γ和△Np63aCT则没有明显的挽救效果.本研究表明,在H1299细胞中,△Np63a具有抑制细胞凋亡的作用,其C端可能与其它功能域一起参与此过程.     

△形网路的风向判别与解的唯一性

矿井通风系统多为复杂网路,而复杂网路解算的惟一性是通风理论中的一个难题。△形网路是复杂网路中的最简单的一种形式,文中证明了△形网路解的惟一性,主要结论有二：一是其网路解算有唯一解;二是其角联风路的风向差别与风量有关。     

一种新型级联∑△调制器系统结构

针对传统高阶级联∑△调制器结构电路复杂和对运算放大器的增益和线性度要求较高的缺点,提出了一种新型的2-3两级5阶多位量化器级联EA调制器系统结构.该结构的第1级采用2阶多位量化器的低失真∑△调制器结构,减小了运算放大器的非线性有限增益对调制器性能的影响.第2级采用信号传递函数等于单位增益的单环3阶∑△调制器,而不是传统级联结构中1阶或2阶∑△调制器,降低了电路的复杂程度.系统仿真结果表明:在最大增益为70 dB的非线性运算放大器增益、±0.2%的随机数模转换误差的非理想条件下,该调制器的最大信号噪声失真比能够达到95 dB.     

△6-脂肪酸脱氢酶的系统进化分析

将已报道的△6-脂肪酸脱氢酶基因所编码的氨基酸序列进行比较,推断它们的系统进化关系.分析结果显示的△6-脂肪酸脱氢酶氨基酸序列都具有3个高度保守的组氨酸富集区,表明它们具有共同起源,并分为原核、动物、高等植物和低等真核4个类型.推测原核类型的△6-脂肪酸脱氢酶是所有△6-脂肪酸脱氢酶的共同祖先,真核类型的△6-脂肪酸脱氢酶在后来的进化中形成更具选择优势的细胞色素b5融合蛋白.动物类型的△6-脂肪酸脱氢酶处于真核类△6-脂肪酸脱氢酶的最基础分枝,其中鱼类的△6-脂肪酸脱氢酶可能是动物类型的△6-脂肪酸脱氢酶通过序列改变向△5-脂肪酸脱氢酶进化的中间过度形式.高等植物和真菌类型的△6-脂肪酸脱氢酶存在着共同起源,藻类和苔藓可能在高等植物和真菌类△6-脂肪酸脱氢酶的进化关系上扮演着重要的角色.线虫的△6-脂肪酸脱氢酶作为一个独立而且最基础的分枝位于低等真核单系组中,它可能是一种趋同进化的结果.     

非理想∑△调制器概率性质

本文提出了一种推导∑△调制器输出等于逻辑１的概率方法，并研究了非理想因素对概率特性及∑△比特流信号处理的影响。     

简析△G与反应方向

木文比较详细地分析了不同的反应条件下,化学反应的吉布斯自由焓变△G的求法,进尔对△G与化学反应方向问题进行讨论并得出一些有益的结论。     

关于煤的瓦斯放散指数(△P)测定仪的分析

实践表明,△P测定仪各部分容积及水银压力计密封端的真空度对△P测值有较大影响,有时甚至因此测不出△P;本文通过理论分析推导和计算机模拟计算对上述影响进行了定量分析,得出了与实践经验相符的结论,并据此提出了应重视的问题。     

△—直向模

设A是一个拟遗传代数，g（△)是A的△-好模范畴，g（△)中一个不可分解模X称为△-直向的，如果它不属于g（△)中的任意一个循环，利用g（△)的二次型及其Auslander-Reiten箭图的性质，研究了△-直向模，证明了如果g（△)中的所有不可分解模都是备直向的，那么g(△)是有限的，即在同构意义下，g（△)中只有有限个不可分解模。     

Y-△网络的等效变换规律

从等效网络的对应端点之间应具有相同的外特性入手,给出了Y形、△形线性网络之间等效变换规律的证明过程,并利用Y形、△形线性与非线性阻抗间存在一一对应关系,将结论推广到了非线性网络;最后结合两个对称性特例对Y-△之间的阻抗关系与功耗关系进行了讨论.     

实际气体的△U和△H的计算

介绍了实际气体的等温和变温过程中△U和△H的计算。     

开Y-开△变压器相序调整的蚁群优化方法及收敛性研究

在配电系统中，相序不平衡是引起线路损失和接地保护跳脱的主要原因之一。开Y-开△变压器（open Y—open delta，OYOD）能大幅度减小变压器成本而同时供应三相与单相负载，但存在严重的相序不平衡问题。针对OYOD变压器相序调整是一个组合非线性及不能微分目标函数的最优化问题，提出用蚁群算法来求解OYOD变压器的相序调整问题，以提高负载平衡能力，同时提出一种变信息素挥发系数的方法以提高算法解的质量和收敛速度。经测试结果显示，所提出的方法能对OYOD变压器相序调整提出一个最佳的解决方法。     

宽带∑-△波形产生器中器件速率对信号频谱的影响

阐述了宽带∑-△波形产生器的基本原理,并在此基础上分析了高速器件速率对实际信号波形带来的失真,以及对宽带∑-△波形产生器中信号频谱的影响,建立了相应的数学模型和公式推导,进行了频谱分析和比较.仿真结果表明,高速器件速率会给信号的频谱带来一定程度的失真,使带内信号高端部分产生衰减,信噪比降低.     

双曲空间中混合型迭代的△-收敛定理

最近,文献(Fixed Point Theory and Applications,2013,122(1):1687-1812.)在CAT(0)空间中研究了一迭代方案的△-收敛性.受他们的启发,在双曲空间的框架下,介绍了一种新的迭代方案,并在一定条件下,证明了△-收敛定理,结果改进和推广了近期一些文献的相应结果.