修正的Kleene系统中的广义重言式理论

将王国俊修正的Kleene系统中引入的广义重言式理论进行扩充和推广,引入了可达a⁺-重言式等概念. 主要结果是: (1)分别在系统 W 和W_k中得到了公式集F(S)关于同余的分划;(2)在系统W_k中,对任一公式最多进行(k+1)/2 次升级算法即可得到重言式;(3)在W(W)中,重言式不可能由对非重言式进行有限次升级算法得到; (4)在系统W(W) 中,{[(1/2)²]-MP} 规则成立.     

Au/PZT/BIT/p-Si结构铁电存储-二极管的可靠性

采用脉冲激光沉积（PLD）工艺制备了Au/PZT/BIT/p-Si结构铁电存储二极管. 对该二极管的I-V特性、电容保持特性、疲劳(fatigue)特性和印迹（imprint）特性进行了研究. 结果表明:该铁电二极管的I-V特性表现出明显的单向导电性,表现出类似于Schottky二极管的特性,电流密度在+4 V电压下为6.7×10-8 A/cm²,而在-4 V电压下仅-5.3×10^-10 A/cm²,50℃以下该特性得以良好保持;撤除所施加的5 V偏压后,经10 h观察,电容仅变化5％,二极管具有较好的电容保持特性;在100 kHz, 5 V双极方波加速疲劳下,10⁷次开关极化以后铁电薄膜系统几乎没有显示任何疲劳,经10⁹次极化循环,剩余极化Pr仅下降10％,矫顽电场Ec增加12％;200 W紫外灯光辐照20 min后,尽管剩余极化和矫顽电场均有所变化,并产生了电压漂移(voltage shift),但印迹优值因子FOM约0.2,二极管未出现印迹失效.     

电催化剂Pt的原子状态和性质

依据纯金属单原子理论(OA)确定了面心立方结构(fcc)电催化剂Pt的原子状态为[Xe](5d_n)^6.48 (5d_c)^2.02 (6s_c)^1.48(6s_f)^{0.02, 并对金属Pt的密排六方结构(hcp)和体心立方结构(bcc)初态特征晶体及初态液体的原子状态进行了研究, 在此基础上解释了Pt的原子状态与晶体结构、催化性能、导电性的关系, 并通过计算得到了fcc-Pt的势能曲线、体弹性模量和热膨胀系数随温度变化的曲线.}     

球面函数逼近算法研究

通过对超球多项式高阶差分的估计, 利用原子分解和球面上的构造性质建立了H¹(Σ)中平移算子和平均算子的有界性和逼近; 讨论了H^p(0< p < 1)中线性平均在各种指标时的有界性和逼近; 并且研究了Cesàro平均的几乎处处收敛问题.     

OH-根对掺铒碲酸盐玻璃光谱性质的影响

制备了5种浓度下系列不同OH^&#8722;根含量的掺铒碲酸盐玻璃样品, 测试了样品的红外吸收光谱, 分析了在不同通氧除水时间下玻璃的红外吸收系数变化情况. 测试了样品的吸收光谱, 利用Judd-Ofelt理论计算了不同铒掺杂浓度和OH^&#8722;根含量样品的光谱参量Ω _i (i = 2, 4, 6). 根据McCumber理论计算了铒离子在1532 nm处的吸收截面和Er³⁺:⁴I_13/2®⁴I _15/2跃迁峰值发射截面. 测试了样品中 Er³⁺: ⁴I_13/2®⁴I_15/2跃迁对应的荧光光谱和⁴I_13/2能级荧光寿命, 讨论了OH^&#8722;根对不同铒掺杂浓度下碲酸盐玻璃光谱性质的影响. 研究结果表明, OH^&#8722;根仅对荧光寿命和荧光峰值强度存在影响, 在Er₂O₃浓度小于1.0 mol%时, OH^&#8722;根是发生荧光猝灭的主要影响因素, 而高于这一浓度后Er³⁺离子本身的能量转移对荧光猝灭起主要作用. 而OH^&#8722;根对其他光谱性质(荧光半高宽、吸收光谱、受激发射截面等)基本没有影响.     

微小尺寸立方氮化硼线性电光系数的测量

对实验合成的微小尺寸立方氮化硼(cBN)进行横向电光调制, 根据样品的实际情况, 建立了相应的理论和实验方法. 在实验中观测到cBN晶体的线性电光效应, 并且测得了样品的半波电压, 由此进一步计算出立方氮化硼的线性电光系数, 其值为1.17×10^&#8722;14 m/V.     

P2P网络中常量度数常量拥塞的DHT方法研究

资源和数据的有效定位是大规模Peer-to-Peer系统中面临的挑战性难题, 分布hash表(DHT)方法是解决这一难题的重要技术途径. 文中首次基于Kautz图提出了一种有效的DHT方法——FissionE. FissionE是第一个常量度数、O(logN)网络直径且(1+o(1))拥塞的DHT方法, FissionE的提出表明对于常量度数、常量拥塞的DHT方法, 其网络直径可以是O(logN)的, 优于当前研究中猜想的W(N^1/d). FissionE方法的平均结点度数为4, 网络直径小于2*log₂N, 平均路由路径长度log₂N, 在结点规模较大时, 性能优于现有的常量度数DHT方法CAN和Koorde.     

AlGaN势垒层应变弛豫度对高Al含量AlxGa1-xN/GaN HEMT性能的影响

采用数值算法自洽求解Poisson和Schrödinger方程, 计算了AlGaN势垒层的应变弛豫度对高Al含量AlGaN/GaN高电子迁移率晶体管（HEMT）中的导带结构、电子浓度以及二维电子气(2DEG)薄层电荷密度的影响. 利用所获得的精确薄层电荷密度与栅电压的关系, 采用非线性电荷控制模型解析求解了应变弛豫度对Al_xGa_1-xN/GaN HEMT直流输出特性的影响. 计算表明, 应变弛豫度为0时所获得的Al_0.50Ga_0.500N/GaN HEMT的最大二维电子气薄层电荷密度为2.42×10¹³ cm^-2, 最大漏电流为2482.8 mA/mm; 应变弛豫度为1时所获得的最大二维电子气薄层电荷密度为1.49×10¹³ cm^-2, 最大漏电流为1149.7 mA/mm. 模拟结果同已有的测试数据相比, 符合较好. 对模拟结果的分析表明, 对高Al含量的AlGaN/GaN HEMT进行理论研究时需要考虑应变弛豫度的影响, 减小AlGaN势垒层的应变弛豫度可显著提高器件的性能.     

随机线性连续时间系统基于采样数据的二次指标控制

讨论了随机线性连续时间(LCT)系统基于采样数据的二次指标最优控制问题. 涉及到了两类随机LCT系统. 一类是定常参数的, 另一类是具有Markov时变参数的. 分析了相应闭环系统的稳定性; 比较了基于状态采样值的采样二次指标控制和基于状态全过程的常规二次指标控制下的最优指标值; 证明了当采样时间ΔT间隔不大时, 两种控制的效果差别也不大, 误差的上界分别为O(ΔT²)和O(T).     

F[x]格基约化算法和多条序列综合

利用F[x]-格基约化算法给出了域F上长度为N 的 m条序列的最短线性移位寄存器(即极小多项式)的综合算法. 此算法的计算复杂度为O(N ²)次F中乘运算, 同时给出了一个极小多项式惟一的充要判别条件, 且在极小多项式不惟一时, 给出所有的极小多项式的一般形式和当F为有限域时极小多项式的个数.     

双枝模糊决策与决策加密-认证

提出双枝模糊决策与决策加密-认证问题, 给出X上两类双枝模糊决策: 具有界域 X ⁰=X⁺∩X ^-=(x₀) , X上的双枝模糊决策; 具有重域 X ^*=X⁺∩X ^-=(x₁^*,x₂^*..., x_t^*), X上的双枝模糊决策. 提出X上双枝模糊决策单枝分离-析出定理、双枝模糊决策单枝叠加定理和双枝模糊决策排斥-分解原理. 把信息加密理论和技术与双枝模糊决策进行相互渗透, 相互嫁接, 提出决策加密-认证定理, 给出双枝模糊决策加密-解密与签署-认证.     

确定周期为2npm二元序列线性复杂度的快速算法

提出和证明了确定周期为2ⁿp^m的二元序列的线性复杂度和极小多项式的一个快速算法, 这里2是模p²的本原根. 算法既推广了确定周期为2ⁿ的二元周期序列的线性复杂度的一个快速算法, 也推广了确定周期为pⁿ的二元周期序列的线性复杂度的一个快速算法.     

温度对铁基合金层错能的影响

温度是影响铁基合金层错能的一个重要因素,随温度的增加,置换型或间隙型合金的层错能随之增加. 从层错能的热力学模型推导出dγ₀/dT的理论计算式,从而建立了dγ₀/dT的定量关系: dγ₀/dT=(dγ^ch/dT) +(dγ^seg/dT)+(dγ^MG/dT) ,计算所得的dγ₀/dT值与测量值符合.化学自由能对层错能起正向作用,且大于磁性和偏聚的作用. 磁性和合金元素在层错区的偏聚均降低合金的层错能,dγ^MG/dT<0, dγ^seg/dT<0, 其影响随温度的增加而减小.基于dγ₀/dT,合理解释了在热力学平衡温度(T₀)合金的层错能并不为零以及T₀两侧层错能均为正值的实验结果.     

电磁分离铝熔体中非金属夹杂的磁流体动力学研究

采用量纲分析和数值计算相结合的方法研究了电磁场作用下铝熔体中非金属夹杂附近的磁流体动力学流动以及夹杂的受力. 量纲分析表明, 不变量A = JBρ_fd³_p/μ²_f 是表征夹杂受力大小以及熔体扰动强度的特征量. A的物理意义是反映了电磁力作用的修正的颗粒Reynolds数. 电磁场作用下夹杂附近熔体扰动出现失稳的判据为A > 2×10³. 计算结果表明, 在A≤1´10⁶的范围内, 忽略惯性项的影响对夹杂受力的影响不大; 而当A > 2×10³     

降温过程中组织工程用真皮成纤维细胞膜水分渗透特性的实验研究

在优化组织工程化真皮的低温保存程序时, 有必要了解体外培养的真皮成纤维细胞的低温保存特性, 如细胞膜的水分渗透系数和相应的表观活化能等. 以组织工程用真皮成纤维细胞为实验材料, 通过添加少量冰核细菌诱导形成胞外冰, 应用DSC对在降温速率为5℃·min^-1的条件下细胞悬液样品在相变过程中释放的热流量进行了测量. 对所测得的热流曲线计算得出了降温过程中成纤维细胞体积随温度的变化趋势, 并以Karlsson提出的细胞水分渗透模型为理论基础, 对获得的细胞体积变化数据进行了非线性回归的最小二乘优化, 得出了细胞膜的水分渗透率: 参照温度下(0℃)细胞膜对水分的渗透系数L_pg = 5.87×10⁴ μm·min^-1·Pa^-1, 表观活化能E_LP = 308.8 kJ·mol^-1. 将上述参数代入水分渗透模 型, 对在不同的降温速率下(0.01~50℃·min^-1), 冻存过程中成纤维细胞的水分渗透情况进行了模拟, 预测水分渗透过程结束后细胞内未渗透水的数量及保存成纤维细胞时应采取的最佳降温速率.     

LaNiO3底电极上Bi4Zr0.5Ti2.5O12薄膜的制备及性能

利用Sol-gel法在p-Si(111)衬底上制备了LaNiO₃底电极, 再利用Sol-gel法在LaNiO₃底电极上制备出Bi₄Zr_0.5Ti_2.5O₁₂(BZT)铁电薄膜, 对其微观结构和电学性能进行了研究. 利用X射线衍射仪、原子力显微镜和扫描电镜观测其微观结构, 发现制备的BZT薄膜具有单一的钙钛矿晶格结构, 并且薄膜表面晶粒尺寸均匀, 结晶情况良好. 对Pt/BZT/LaNiO₃电容结构进行了铁电性能研究, 在测试电压为25 V时, 2Pr和2Vc分别达到28.2 μC/cm²和14.7 V; 经过1×10¹⁰次极化反转后, 剩余极化值下降了大约13%; 室温下, 在测试频率1 kHz时, 薄膜的介电常数为204, 介电损耗为0.029; 漏电流测试显示制备的BZT薄膜具有良好的绝缘性能; C-V曲线为顺时针方向回滞, 存储窗口大约为3.0 V, C-V特性测试显示这种Pt/BZT/LaNiO₃结构有望实现极化型存储.     

C2连续的四次样条曲面插值

讨论了构造C²连续的四次样条插值曲面问题. 把四次样条函数降为C²连续可提供额外的自由度, 用于提高曲面的插值精度和控制曲面的形状. 给出了一个确定自由度的方法和C²连续的四次样条曲线需满足的连续性方程, 提出了构造C²连续的四次样条插值曲面的新方法. 新方法的特点是曲面需满足的连续性方程是三对角占优势的, 曲面的不连续点在给定的数据点处. 所构造的曲面具有四次多项式插值精度. 最后以实例对新方法和现有三、四次样条函数方法的插值精度做了比较.     

NUSH分组密码的线性密码分析

NUSH是NESSIE公布的17个候选分组密码之一. 对不同分组长度和密钥规模的NUSH进行了线性密码分析, 每一种攻击的复杂度δ 由它所需的数据复杂度ε 和处理复杂度η 组成, 记为δ = (ε ,η). 对于分组长度为64 bit的NUSH, 当密钥为128 bit时, 3种攻击的复杂度分别为(2⁵⁸, 2¹²⁴)、(2⁶⁰, 2⁷⁸)和(2⁶², 2⁵⁵); 当密钥为192 bit时, 3种攻击的复杂度分别为(2⁵⁸, 2¹⁵⁷)、(2⁶⁰, 2⁹⁶)和(2⁶², 2⁵⁸); 当密钥为256 bit时, 3种攻击的复杂度分别为(2⁵⁸, 2¹²⁵)、(2⁶⁰, 2⁷⁸)和(2⁶², 2⁵³). 对于分组长度为128 bit的NUSH, 当密钥为128 bit时, 3种攻击的复杂度分别为(2¹²², 2⁹⁵)、(2¹²⁴, 2⁵⁷)和(2¹²⁶, 2⁵²); 当密钥为192 bit时, 3种攻击的复杂度分别为(2¹²², 2¹⁴²)、(2¹²⁴, 2⁷⁵)和(2¹²⁶, 2⁵⁸); 当密钥为256 bit时, 3种攻击的复杂度分别为(2¹²², 2¹⁶⁸)、(2¹²⁴, 2⁸¹)和(2¹²⁶, 2⁶⁴). 对于分组长度为256 bit的NUSH, 当密钥为128 bit时, 两种攻击的复杂度分别为(2²⁵², 2¹²²)和(2²⁵⁴, 2¹¹⁹); 当密钥为192 bit时, 两种攻击的复杂度分别为(2²⁵², 2¹⁸¹)和(2²⁵⁴, 2¹⁷⁷); 当密钥为256 bit时, 两种攻击的复杂度分别为(2²⁵², 2²⁴⁰)和(2²⁵⁴, 2²¹⁹). 这些结果显示NUSH对线性密码分析是不免疫的, 而且密钥规模的增大不能保证安全性的提高.     

均匀三角多项式B样条曲线

在空间Ω =span(sint, cost, t^k-3,t^k-4,...t, 1) k≥3)上定义了一类均匀样条曲线——k阶三角多项式B样条曲线, 它具有许多与均匀B样条相类似的性质. 给出了三角多项式B样条曲线的离散公式. 由于这类曲线无需有理形式, 既可表示多项式曲线又可表示三角函数曲线, 因此可应用于CAD/CAM领域作为几何造型的一种新的有效模型. 关键词 C-曲线 均匀B样条 C-B样条 三角多项式B样条     

形式系统L*的扩张L*n及其完备性

将Pavelka语义与语构有机结合的方法运用于命题演算形式系统L^*的研究, 在公式集中引入部分常值, 从语义和语构两个途径将公式程度化, 同时将推理过程也程度化, 提出了系统<L^*的一个扩张L^*_n, 证明了L^*_n的完备性.