Boole过程论

定义Ｂｏｏｌｅ过程为与时间参数ｔ有关的Ｂｏｏｌｅ变量族，Ｂｏｏｌｅ过程的一个实值样本是波形，波形函数可以用数学工具形式地加以处理，定义了波形多项式的差分，距离和极限，给出了极限存在的充分必要条件，在此基础上，严格地重新定义了通路敏化概念，以期说明了Ｂｏｏｌｅ过程论的应用前景。     

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

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

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

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

Horn型推导关系

逻辑中的推导关系等同于公式之间的二元关系 ,刻画它所采用的证明规则等同于对这个二元关系所满足的条件的限制 .根据Gentzen证明论定义推导关系的方式定义一类推导关系 ,即Horn型推导关系 .应用模型论技巧 ,证明了这种推导关系并不能推广经典逻辑推导关系 .因而要定义扩充经典逻辑的非单调逻辑 ,必须在定义中采用“非”形式 .     

树的一阶可定义分层

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

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

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

地理要素多尺度建模的本体分析方法

在利用多比例尺序列地图数据构建地理要素多尺度空间数据库的过程中,需要在多尺度数据模型的概念设计阶段定义客观的地理要素多尺度抽象表达方法、提取出要素及要素间的多尺度联系.鉴于目前对地理要素认知、抽象、定义、表达等各个环节上的多重概念和抽象表达模式的现状,提出基于本体的多尺度建模设计方法;设计多尺度数据模型的三层本体,构建本体驱动的要素多尺度通用建模框架,包括同一尺度模型中要素和要素间关系的抽象和描述方法、不同尺度模型要素间关系的抽象和描述方法等,保证模型不同层面上的通用性、可扩展性、专用性:以路网要素为例验证了该方法的可行性,为多尺度数据建模的研究提供了有益的借鉴思路和方法.     

NiAl合金原子间互作用势的拟合及点缺陷的计算

采用－ＦＳ多体势形式，拟合了Ｂ２型有序金属间化合物高温合金ＮｉＡｌ的势参数。并利用Ｒｏｓｅ等提出的经验Ｐ－Ｖ关系，对势函数进行了进一步修正。作为对势函数的验证和应用，运用分子动力学方法，计算了ＮｉＡｌ合金中点缺陷的性质。     

扩充析取逻辑程序的诱导语义

基于诱导推理，提出了析取逻辑程序的一种说明语义框架，称为典型诱导语义，证明了ＴＡＳ不仅具有完全性而且是析取稳定语义的自然扩展，利用相干原理，ＴＡＳ很容易推广到扩充析取程序类，由此可以定义ＴＡＳ的一种合理扩充，并能解决常识推理中一些典型问题。     

一个支持空间上下文的访问控制形式模型

利用上下文信息对授权决策进行控制已越来越受到重视．在无线和移动网络领域中控制资源的访问要求定义支持空间上下文的访问控制形式模型．然而，传统的RBAC模型并不能满足这些空间上的需求．文中对现有的RBAC模型进行扩充，提出了SC-RBAC模型，使其在定义安全策略时能结合用户的当前物理位置信息．提出了空间角色的概念，为角色赋予逻辑位置域以指定角色可以活动的空间范围．角色激活依赖于用户从移动终端获得的当前物理位置．紧接着，给SC—RBAC弓j入层次来表达权限、激活继承等关系．证明用层次化的空间角色在数学上可构建格模型以实施多级安全策略，使其更适合安全关键的位置感知信息系统对信息流的安全控制要求．随后，受限的SC-RBAC描述了3类限制：空间的职责隔离限制、基于位置的基数限制和基于位置的时序限制，这些限制允许表达位置感知系统中细粒度的空间语义．最后，为受限的SC—RBAC模型设置了9个不变量，证明了其基本安全定理，为模型在实际环境中的应用奠定了基础．     

描述认识进程的抽象逻辑

定义了一种公理化的抽象逻辑，它以经典逻辑所具有的证明论性质及模型论性质为公理，可以用于构造抽象的开放逻辑理论，因而可以用于描述认识进程，理论的核心是一种形式化的导出关系，可以证明：经典逻辑，直觉主义逻辑的推出关系，模型论弱力迫关系，非单调推理中的语句与论域限定理论的关系都是该形式化导出关系的具体实例，可以用来构造具体的抽象逻辑，也可以用于描述认识进程，还明确了不同抽象逻辑间的差异主要表现在所对应的     

经验性思维中的泛逻辑

阐述了提出泛逻辑的思想基础和数学基础，给出了泛逻辑的主要定义和基本性质，讨论了泛逻辑与其他逻辑的关系及泛逻辑家族，尽管泛逻辑尚处在研究的初期，但它有可能发展成一切逻辑的逻辑。     

Sugeno测度空间上学习理论的关键定理和一致收敛速度的界

讨论了Sugeno测度这类有代表性的非可加测度的性质，给出了Sugeno测度空间上的gλ随机变量及其分布函数、期望和方差的定义及性质，证明了Sugeno测度空间上的Markov不等式、Chebyshev不等式和Khinchine大数定律；给出了Sugeno测度空间上的经验风险泛函、期望风险泛函以及ERM原则严格一致收敛的定义，在此基础上给出并证明了Sugeno测度空间上的学习理论的关键定理、学习过程一致收敛速度的界以及这些界与函数集容量之间的关系．     

制备血管支架表面涂层超声波喷涂工艺研究

本文从理论推导、流体力学仿真、喷雾粒径检测分析以及支架喷涂试验四个方面研究超声波喷涂技术并成功应用于血管支架喷涂工艺的优化.首先基于超声波雾化物理模型推导建立超声雾化粒径方程,其次利用计算流体动力学模拟超声雾化微观过程,定义超声雾化过程的三种雾化模式：亚雾化模式、理想雾化模式以及射流雾化模式,并建立了超声雾化临界振幅方程以及理想雾化模式下的雾化体积和功率方程.然后设计超声喷雾粒径检测实验,研究功率、气体压力、表面张力等工艺参数对雾化粒径的影响,结果表明超声波喷雾运动过程中少量粒子碰撞合并,但喷雾质量总体稳定,粒径尺寸在10m左右.在粒径尺寸分布方面,利用Rosin-Rammler分布拟合超声喷雾粒径均匀度指数在7.11～11.48之间,相比传统喷雾技术雾化均匀性、可控性大大提高.最后,在上述研究基础上制定血管支架超声喷涂工艺参数并进行了优化,消除了常见的血管支架涂层表面各种缺陷,为制备性能优良的血管支架表面涂层提供了理论和技术支撑.     

高阶Boussinesq水波方程

和理新推导了了Ｂｏｕｓｓｉｎｅｓｑ方程，将其精确到三阶，并将由此产生的四阶空间导数变换为二阶导数，建立了具有三阶精度的Ｂｏｕｓｓｉｎｅｓｑ方程方程的色散性和非线性精度提高了一阶，可适应较深水域和较强非线性情况。     

凸多面体之间的伪最小平移距离：I.定义及其性质

定义了凸多面体之间的伪最小平移距离，分析了它与Euclid度量意义下最小平移距离的上、下界关系及其关于多面体钢体运动的Lipschitz连续性、可微性等性质，给出了伪最小平移距离及其导数的计算方法，研究结果可应用于机器人无碰撞运动规划等领域。     

k—Bitonic排序

将经典的Ｂｉｔｏｎｉｃ排序方法和理论扩充为Ｋ－Ｂｉｔｏｎｉｃ排序方法和理论。Ｋ－ｉｔｏｎｉｃ排序可以在Ｔ步内将Ｋ＝２ｋ或Ｋ＝２ｋ－１个单调序列合并成一个有序序列,其中,ｋ是任意的正整数。     

遗传算法的模式欺骗性分析

讨论了遗传算法的模式欺骗性和欺骗问题. 描述了模式包含、竞争与关联等概念，给出了基于主竞争关系的模式欺骗性与GA欺骗问题的严格定义，包括完全欺骗问题、一致欺骗问题、序列欺骗问题和基本欺骗问题. 分析了完全欺骗吸引子的特征，给出了形成完全欺骗问题的吸引子应满足的条件. 然后，讨论了GA欺骗性与隐含并行性、收敛性之间的关系. 结合计算实例说明了模式欺骗性对GA搜索行为的影响.     

泥沙颗粒表面电荷分布的初步研究

泥沙颗粒表面电荷分布，是研究其与污染物之间吸附和解吸的基础．本文以石英砂颗粒为例，利用扫描探针显微镜（SPM）中的静电力显微镜（EFM）测量技术，用相位成像模式测量了石英砂颗粒表面的微形貌和电荷分布，并统计了两者间的关系．研究表明，石英砂颗粒表面形貌复杂，表面形貌对电荷分布影响较大，电荷大多集中在颗粒表面的鞍部、凸起和凹地部位，而在凹槽、凸脊和平坦部位分布较少．上述研究为揭示其吸附机理和进一步研究天然河流泥沙颗粒的相关性质奠定了基础．     

客观信息的模型和度量研究

当今时代,信息的重要性毋庸置疑.但是,人们对于信息的认识依然众说纷纭,对于信息度量的研究同样莫衷一是.本文基于前人的丰富研究成果,总结了在信息的性质及度量方面已经取得的重要进展和存在的主要不足,探讨了信息的本质内涵和数学表达等基本问题.基于对信息客观性的认识,提出了信息的定义和六元组模型,讨论了信息的基本性质,建立了信息的广阔性、细致性、持续性、丰富性、包容性、延迟性、遍及性、真实性和适配性9类度量的定义和数学表达,形成了客观信息论的基础理论框架,能够系统全面地支持信息与信息系统的分析研究.