可定义的推导关系

证明了有限多扩充性质蕴涵布尔可表达性质，当每个集合都没有多扩充时，推导关系也是Ｂｏｏｌｅ可表达的。缺省推理中的定义方式推广为更广泛的定义模式，此模式所定义的推导关系仍然具有上述性质。应用模型中关于可定义性，无原子Ｂｏｏｌｅ代数等技术证明上述结论。     

非线性组合函数的最大相关分析

讨论了Ｂｏｏｌｅ函数与关于其变元的一个子集的所有Ｂｏｏｌｅ组合之间的最大相关性,给出了求Ｂｏｏｌｅ函数与关于其变元的一个子集的所有Ｂｏｏｌｅ组合之间的最大相关性的一个算法,探讨了Ｂｏｏｌｅ函数撮大相关性和互信息之间的关系,同时对平衡Ｂｏｏｌｅ函数和Ｂｅｎｔ函数的最大相关性进行了深入的研究。     

基于比较运算与多β晶体管的开关电路

从比较运算的角度重新定义了Ｂｏｏｌｅ代数中的与，或，非等３种基本运算，并根据电压信号易于实现比较运算的特点分析了双极型晶体管发射极的不同连接所能实现的逻辑功能。     

树的一阶可定义分层

利用Ｂｏｏｌｅ运算和树型上的联结运算对树的一阶可定义集以存在量词和全称量词交替出现的方式给出了一个分层对应。     

Bent函数输入输出变量的相关性质

设ｆ（ｘ１,ｘ２,…,ｘｎ）是ｎ元Ｂｏｏｌｅ Ｂｅｎｔ函数。讨论了函数ｆ的输出变量与任意ｍ个独立的关于输入变量ｘ１,ｘ２…,ｘｎ的仿射函数的互信息。结果表明,其平均互信息量主要取决于ｍ和ｎ,与函数ｆ的结构关系不大。     

波形滚筒内颗粒混合和导热分布形态特性的研究

将离散元方法中的软球模型与颗粒热传导模型相结合,研究波形滚筒内颗粒混合及热量传递的复杂过程.设计了一个具有波形边界的旋转滚筒,模拟并分析稠密颗粒在不同速度旋转的波形滚筒内的混合和热传导过程,重点考察波形滚筒内不同转速下产生的颗粒混合和导热过程的形态及转速的影响,并采用无量纲混合度,信息熵来分析混合和热传导的演化特性,比较用不同转速达到同一圈数下的结果来表明转速对混合和导热形态特性的影响.     

基于发射方向图合成的低PAPR宽带MIMO雷达波形设计

本文研究了单向和宽角度的宽带MIMO雷达发射方向图合成.首先构造了单一范数优化准则下单向发射方向图合成的统一框架,使得已有的一些方法可视为其特例.在此基础上,提出了一种基于单向发射方向图合成的波形设计方法,并考虑了设计的波形具有单模或低的峰均比(PAPR)特性;进而提出了一种混合范数的宽角度的发射方向图合成方法.本文将上述的方向图合成和波形设计问题转化成凸优化问题,然后利用公开的模型系统CVX求解.仿真结果表明,本文方法设计的单向方向图能有效地逼近了期望的方向图,也验证了合成波形满足期望的单模或PAPR约束;另外,仿真显示设计的宽角度的方向图在主瓣区域内逼近了期望主瓣响应,而将旁瓣峰值比控制在-40 dB以下.     

基于辩论语义的算子模糊逻辑

定义了一种基于辩论语义的算子模糊逻辑，这种逻辑是相关的，次协调的，非单调的，能形象地刻画认知过程的信念修正，适于在知识不一致，不清确，不完全情形下推理。     

超声速气流中稳焰凹腔吹熄极限分析与建模

吹熄极限的研究对于超燃冲压发动机燃烧室中稳焰凹腔和燃料喷注方案的设计具有重要学术意义和工程应用价值．针对凹腔上游喷注燃料的火焰稳定过程进行了研究,从理论上分析了超声速气流中凹腔稳定燃烧的贫燃与富燃吹熄机制,基于剪切层稳燃模式,进一步考虑流场的三维结构,并结合横向射流穿透与混合模型,在有效当量比的计算、凹腔的卷吸过程以及燃料射流与凹腔剪切层／回流区的质量交换等方面改进了已有模型,重新定义了与吹熄过程密切相关的Damokhler数和有效当量比,并以两者关系为准则建立了描述富燃和贫燃吹熄极限的数学模型,进而通过实验数据验证了模型的有效性．     

Lukasiewicz命题逻辑中公式的Г-真度理论和极限定理

对“Lukasiewicz他值命题逻辑中公式的真度理论和极限定理”进行了再研究．（1）在Lukasiewicz n值命题逻辑中，给出了真度的赋值表示形式，该形式从赋值角度直接反映了公式的真度表示公式为重言式的隶属度的实质；（2）在Lukasiewicz n值命题逻辑中，利用真度的赋值表示形式提出了公式关于局部有限理论Г的Г-真度概念，给出了公式的Г-真度的几种等价形式及性质；（3）得到了Lukasiewicz n 值命题逻辑中关于Г-真度理论的极限定理；（4）给出了Lukasiewicz连续值命题逻辑中公式的Г-真度定义的合理形式，以及Lukasiewicz命题逻辑中真度的对称性定理；（5）在Lukasiewicz n值命题逻辑中，利用极限方法和Г-真度的赋值形式对公式关于无限理论Г的Г-真度问题进行了讨论．     

非晶态合金晶化过程的高精度电阻监测研究

发展了一种高精度四线交流电阻测试设备，原位监测Ｎｉ８０Ｐ２０，ＦｅＺｒ２和Ｆｅ８６Ｂ１４非晶合金的晶化动力学过程。结果表明这种方法可以发现非晶合金早期晶化过程，测试出的晶化温度范围明显宽于ＤＳＣ方法，能够更加灵敏地反映晶化过程的信息，这种方法还能够临别共晶型和多形型晶化中的形核和长大过程，而对于初晶型晶化过程电阻测试亦反映了初晶相的形核信息。     

公平交换协议的一个形式化模型

基于对现有公平交换协议的研究，使用求精过程建立了精确的形式化结构模型，在这一过程中，使用不可靠信道模拟攻击行为．模型首次给出了交换项的形式化定义，提出的公平性、可追究性目标能够更加完整地反映公平交换协议的内在要求．为了能高效而又细致地对协议进行检测、证明和设计，模型提出了适用于所有公平交换协议的不可滥用性的新性质，给出了第三方可信赖串的定义和设计安全高效的公平交换协议的一般准则．文中通过一个典型的公平交换协议分析实例，阐明了使用该模型分析公平交换协议的详细步骤．发现了一种过去从未发现过的新攻击，给出了攻击发生时系统运行的全过程，深刻揭示了攻击发生的各种原因．最后，对有缺陷的协议进行了改进，改进后的协议满足所需要的各种性质．     

无偏析碲锌镉单晶体生长过程控制参数的研究

计算模拟了加速坩埚旋转技术Bridgman(ACRT-B)法碲锌镉单晶体生长过程, 研究了ACRT 波形参数对固液界面形状和晶体组分偏析的影响. 计算结果表明: ACRT 波形参数的变化显著影响固液界面凹陷和界面前沿温度梯度增加的幅度, 增加幅度最高可达数倍. 坩埚最大转速的增加不能明显改善晶体的径向组分偏析, 而坩埚加速时间、恒速转动时间和减速时间的变化可以显著影响溶质的偏析行为. 适当的波形参数, ACRT 可以显著地减小晶体的径向组分偏析, 直至为零. 反之, ACRT 可显著增加晶体的径向组分偏析和轴向组分偏析. 调整ACRT 波形参数和生长系统的控制参数, 可以制备溶质组分均匀区占较大比率的单晶体     

基于软材料的SHPB波形整形技术

脉冲整形常被用来修正霍普金森压杆的入射波形,以保证加载过程中试件的应力均匀性和恒应变率.本文提出了一种具有较好的波形整形效果和较宽适用范围的分离式霍普金森压杆(SHPB)入射波整形方法.采用真空封泥这种可忽略强度的材料作为入射波的波形整形器,结合撞击速度调整封泥的用量,可以得到正弦函数及缓升平台的类梯形波等不同的整形效果.数值模拟分析表明,真空封泥的波形整形效应主要由材料变形过程中的径向惯性效应控制.应用实例显示,经波形整形的SHPB实验试件两端的应力平衡得到较大的改善.     

热液条件下BaTiO3纳米晶的形成机理

研究了热液条件下ＢａＴｉＯ３纳米晶的生长基元与结晶习性，提出ＢａＴｉＯ３的生长基元为Ｔｉ（ＯＨ）６＾２－八面体，表面均ＯＨ＾－化，通过对溶液中ＯＨ＾－量的测定和在高压釜内加直流电场的实验，得出了溶液中电流强度的变化和晶体形貌之间的关系。根据对生长基元稳定能的计算得出了不同条件下有利的生长基元和晶粒结晶形貌之间的关系，从结晶化学角度提出锐钛矿与ＢａＴｉＯ３的结构具有相似相容性，从而合理地解释了在常温     

单壁碳纳米管拉伸试验的分子动力学模拟

采用Brenner势函数描述碳纳米管中碳原子间的相互作用，通过分子动力学方法对几种单壁碳纳米管进行轴向拉伸试验研究，得出其Young模量为4．2TPa，强度极限为1．40～1．77TPa．在对碳管拉伸过程中，发现只要应变不达到断裂极限，卸载时的应力．应变沿加载曲线返回，表明在碳纳米管的拉伸过程中没有塑性应变；对碳纳米管的拉伸断裂过程进行了仿真，从能量和结构变化方面对碳纳米管断裂机理进行了分析．     

B样条曲线升阶的矩阵方法

提出了一个用（ｋ＋１）阶Ｂ样条函数表示ｋ阶Ｂ样条函数的方法，证明了相应的定理，提出了非均匀Ｂ样条曲线升阶的新方法，当用于一段均匀Ｂ样条曲线的升阶时，不 节点矢量中间插入任何节点，所增加的控制点数量少，此外，Ｂｅｚｉｅｒ曲线的升阶可以作为此方法的一个特例，还对传统的升阶理论进行了讨论，并且指出了其不足之处。     

使用广义奇—超位Ⅱ的一阶定理证明

证明了使用奇－超位Ⅱ的证明系统是不完备的，造成这种不完备性的原因是忽略了幂等规则的使用，通过定义一阶多项式与零的超位，适当地拓广了奇－超位Ⅱ的定义，给出了一个使用这种拓广了的奇－超位Ⅱ的完备了证明系统，此外，这一证明系统也是余式方法的改进，它的完备性实质上也说明了使用语义策略的余式方法是完备的。     

基于弹粘塑性一致切线算子概念的隐式边界元法

提出了一种基于弹粘塑性一致切线算子概念的非线性隐式边界元算法,考虑了各向同性硬化和运动硬化２种情况,发展了弹粘塑性径向返回计算模式和弹粘塑性一致切线算子及相应的算法;还讨论了弹粘塑性的极限情况（例如弹塑性问题）。最后在算例中比较了Ｉｂｒａｈｉｍｂｅｇｏｖｉｃ等的最新有限元研究结果和ＡＢＡＱＵＳ计算结果。     

关于特性阻抗的定义

现有的关于特性阻抗概念的定义物理上模糊或者不精确。在描述传输线之间不连续性的基础上，人出特性阻抗的普遍定义，它可以运用到任何形式传输结构中无源元件的设计。因此，一个给定结构的特性可以唯一地描述，但特性阻抗的绝对数值不再有意义。