BL*Δ系统的完备性

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

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

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

图的点可区别IE-全色数的一个上界

用概率方法研究图的点可区别IE-全色数的一个上界,得到:如果δ≥7且16Δ≤n≤Δ⁷/[32×10⁵(Δ+1)] +1, 则χ^ie_vt(G)≤16Δ ,这里n是G的阶,δ是G中点的最小度数,Δ是G中点的最大度数。       

较少短圈的平面图的全色数

图G的k-全染色是用k种颜色对图G的V(G)∪E(G)中的元素进行着色, 使得相邻或者相关联的两个元素染不同的颜色, 图G的全色数是使G存在k-全染色的最小整数k. 对最大度为Δ的平面图, 如果(1),Δ(G)≥5且任何点至多关联一个长度至多为5的圈, 或者(2),Δ≥4, 不含3-圈并且任何点至多关联一个长度至多为6的圈, 则它的全色数为Δ(G)+1。     

ΔM，Δ-Σ与ADM增量调制系统的仿真比较分析

运用SystemView仿真软件分别对简单增量调制（ΔM）系统,增量总和调制（Δ-Σ)系统和自适应增量调制（ADM）系统进行了仿真,分析结果表明,自适应增量调制（ADM）系统增量的幅值在调制中能随着模拟信号的变化自动地调节,较好地克服ΔM与Δ-Σ系统增量调制所产生的过载噪声,解决了粒状噪声和超载噪声的矛盾,扩大了信号动态范围.     

Born-regulated理论中的光线偏转

根据爱因斯坦的引力场理论,当光线通过引力场时受到引力的作用而发生偏转.对光线在引力场中偏转的研究有助于解决引力透镜问题,对研究宇宙中的暗能量也是有意义的.根据Born-regulated引力理论的时空度规来研究光线偏折.推导Born-regulated理论中的光线偏转角为Δφ≈4Mrmin-4Mrmin49k2βr6min.很明显,结果显示当β→0和k→0时,Δφ→4Mrmin,这正是由爱因斯坦理论推导出的结果,说明当参量β→0和k→0时,Born-regulated理论回到爱因斯坦的广义相对论.     

简单图的L(2,1,1)-标号

给出了完全图、完全二分图、路、圈等简单图的L(2,1,1)-标号数。对最大度为Δ 的一般图G,给出了构造L(2,1,1)-标号的一个算法, 证明了λ_2,1,1(G)≤Δ³- Δ²+2Δ。     

图的L(d,1,1)-标号

给出了图L(d,1,1)-标号的一般性质. 对一般图G, 给出了构造L(d,1,1)-标号的一个算法, 证明了λ_d,1,1(G)≤Δ³-Δ²+dΔ. 对最大度Δ的树T, 证明了d+Δ-1≤λ_d,1,1(T)≤d+2Δ-2, 并且式中的上界与下界都是可达的. 此外, 对于两类特殊的树图： 拟正则树T_Δ及正则毛毛虫Cat_n, 给出了确切的L(d,1,1)-标号数, 其中d≥2.     

含相邻三角形的平面图的列表边和列表全染色

给定一个平面图G,χ´_l(G)和χ"_l(G)分别表示图G的列表边色数和列表全色数.证明了:如果一个平面图G满足Δ(G)≥7,并且任何一个三角形至多和一个其他的三角形相邻,则有χ´_l(G)≤Δ(G)+1和χ"_l(G)≤Δ(G)+2成立。     

一类平面图的强边染色

图G的强边染色是指对图G的边进行染色,使得距离不超过2的任意两条边染不同的颜色. 任何一个平面图都可用4Δ+4种颜色进行强边染色. 证明了当平面图没有k-圈(4≤k≤10)且3-圈不相交时(即每个顶点至多关联一个3-圈), 必定存在一个3Δ+1种颜色的强边染色.     

一类三阶非线性时标动态方程的振动性

 主要利用广义Riccati变换技巧和H(t,s)型函数,给出了一类三阶非线时性标动态方程(a(t)［(r(t)x^Δ(t))^Δ]^γ)^Δ+f(t,x(τ(t)))=0
的振动准则。     

对流占优扩散问题的特征动态有限元方法

将特征线方法与建立在变网格方法基础上的动态有限元空间相结合,对于二阶线性对流占优扩散问题构造了一种全离散特征动态有限元算法,证明了算法的稳定性,并给出收敛性分析与误差估计。证明了当Mh⁴／Δt有界时,能量模误差估计是最优的;而 当Mh²／Δt有界时,L²模与能量模误差估计均达到最优,其中M为变网格的总次数, h和Δt分别为空间和时间网格参数。     

偶氮氯膦-Ⅲ分光光度法测定蛋白质

基于酸性介质中OP 100存在条件下蛋白质与偶氮氯膦 Ⅲ（CPA-Ⅲ）可迅速反应生成复合物(CPA-Ⅲ) BSA, 并产生特征吸收峰的特征, 结合分光光度法精确检测蛋白质的质量浓度. 结果表明: （CPA-Ⅲ） BSA最大吸收波长为674 nm; 蛋白质质量浓度在0~300 μg/mL内与吸光度差值（Δ A）呈良好的线性关系, 其线性回归方程为Δ A=0.003 1ρ+0.003 9 （ρ： μg/mL), 相关系数r=0.996 4; 检出限为1.55 μg/mL. 利用该方法测定人血清和鸡蛋清样品中蛋白质的质量浓度, 相对标准偏差为2.43%~4.35%, 加标回收率为97.97%~103.07%.     

新型自温补FBG锚杆测力计研制优化及应用

 针对现有锚杆端部载荷监测仪器无法满足岩土工程长期监测及数据远距离传输的现状,基于光纤光栅轴向应变特性,提出一种结构简单、自带温补并适用于工程测量的新型FBG 锚杆测力计.通过SolidWorks 2012 有限元仿真软件,分析锚杆测力计在外界压力下的轴向应变分布,进一步优化设计传感器内部结构,提高传感器的应变传递系数.理论计算得该锚杆测力计压力敏感光栅中心波长的变化量Δλ_B与外界压力F 之间的对应关系为Δλ_B=9.4735·F.性能实验数据表明该传感器线性度大于0.99,压力测量分辨率为0.093 kN,压力敏感系数K 为10.7 pm/kN.将该FBG 锚杆测力计应用于某煤矿巷道,现场测试数据证实该传感器可以实时的监测围岩压力变化,满足井下复杂测量坏境的需求,实用性较强.     

给定控制数的连通二部图的最大边数

研究了n个顶点的连通二部图当控制数γ(G)≥3,最大度Δ(G)≥n-γ(G)-1时的最大边数。     

解中立型时滞抛物方程的隐式差分格式

构造了求解中立型时滞抛物方程的一个隐式差分格式,该格式在离散L2范数意义下是无条件稳定的,局部截断误差阶为O(Δt²+Δx²)。该格式在每一个时间层上可以化为三对角线性方程组,用追赶法很容易求解。数值算例表明该差分格式是有效的。     

一类离散三点边值共振问题解的存在性

运用紧向量场方程的解集连通理论为三点边值共振问题 Δ²u(t-1)=f(t, u(t)),t∈T, u(0)=εΔu(0), u(T+1)=αu(η) 发展上下解方法, 其中f: T×R→R 连续,T为固定的正整数, T:=｛1, 2,…,T｝, ε∈［0,∞), α∈(0,∞), η∈T 均为固定的常数, 且满足 α(η+ε)=T+1+ε。     

自适应均衡器的LMS算法实现及其仿真

自适应均衡器已广泛应用于通信、雷达、声纳、控制和生物医学工程等许多领域,为克服多径衰落和信道失真引起的码间干扰,实时跟踪移动通信信道的时变特性,笔者设计了一个基于LMS算法的自适应线性均衡器,并通过改变步长因子Δ来分析其收敛速度和均方误差特性.     

椭圆方程非平凡解的存在性

证明了一个重要的Sobolev-Hardy型不等式：∫Ω（ｕ２）/（｜ｙ｜２ｌｎ２｜R/y｜）≤４∫Ω｜Δｕ｜２,而且证明了不等式中的常数4是最佳的.最后,利用Sobolev-Hardy不等式和山路引理证明了一类含临界指数的椭圆问题非平凡解的存在性.     

基于PASCO转动实验装置的质点转动惯量测量

为提高实验的精确度,减少实验误差,在PASCO转动实验装置中运用落体法对质点转动惯量进行测量.实验结果表明,下落加速度a应取v-t图像的斜率,并非a-t图像的截距;对同一转动系统,通过2次改变悬挂物的质量m下落来消除阻力矩对实验结果的影响;为了减少2次下落时阻力矩的误差,悬挂物的质量差Δm越小,实验结果越精确,相对误差最小值达到0.54%.