SAT问题的相变现象

相变现象是ＳＡＴ问题的一个重要特性。证明了对于随机ｋ－ＳＡＴ模型，当ｒ连续增大，到达某一个临界点时，解的结构将发生与可满足概率相当类似的突变现象，可满足赋值之间的关系突然由差别较大变得很相似。     

三维单纯形划分的遗传算法

提出了一个新的三维三角划分算法，称之为三维遗传三角划分算法，ＧＴＭＧＡ基于遗传算法的基本原理搜索全局最优三角划分，由于使用了多目标适应值函数， 以进行多个目标的优化从而满足不同的要求，ＧＴＭＧＡ采用了新的交叉与变异算子－－多面体交叉与多面体变异。通过实验结果可以看出，ＧＴＭＧＡ的性能要优于Ｄｅｌａｕｎａｙ三角划分和基于局部变换的三角划分算法。     

模糊推理的全蕴涵三I算法

指出从逻辑语义蕴涵的角度看ＣＲＩ算法中的复合运算是缺乏根据的,提出了在每一步都使用蕴涵算子的全蕴涵三Ｉ算法。对于Ｚａｄｅｈ的涵算子而言,三Ｉ算法的结果较ＣＲＩ算法的结果为优。基于蕴涵算子Ｒ０展开三Ｉ算法理论,给出了模糊ＭＰ算法与模糊ＭＴ算法的计算公式,进一步将三Ｉ算法一般化,提出了支持度理论,得到了一般的α－三Ｉ ＭＰ公式与α－三Ｉ ＭＴ公式。     

进入纳米时代的CMOS设计

本论文着重论述未来ＣＭＯＳ进入纳米尺寸的关键挑战，如电源电压和阈值电压减小、短沟效应、量子效应、杂质数起伏以及互边线延迟等影响。分析了纳米ＣＭＯＳ器件结构的设计，讨论了用于纳米尺寸的新型器件结构，包括ＳＯＩ ＣＭＯＳ、册和环栅ＭＯＳＦＥＴ、凹陷沟道ＭＯＳＦＥＴ、动态阈值ＭＯＳＦＥＴ以及低温ＣＭＯＳ，它们可能把我们带到硅器件设计的最远极限。     

二次分配问题的骨架分析与算法设计

骨架分析是近年来NP-难解问题研究的热点，对于衡量问题的相变、难度及算法设计具有重要意义．骨架的理论分析及在算法设计方面的应用还处于起步阶段，从QAP问题入手，对QAP骨架进行了理论分析，证明寻找QAP问题的骨架属于NP．难解问题，不存在多项式时间的算法可以保证得到QAP问题的骨架，为局部最优解交叉来获得近似骨架提供了合理性解释，在此基础上，利用偏移实例构造方法，提出了基于偏移实例的近似骨架算法．其基本思想是：首先为QAP实例构造偏移实例，其最优解恰是原QAP实例的一个全局最优解；然后利用现有算法求得新实例的多个局部最优解，通过对局部最优解求交得到近似骨架；将近似骨架固定以得到规模更小的搜索空间，最后在新空间上求解，拓广了骨架理论研究的范围，所提出的算法为NP-难解问题的通用算法设计提供了一种新思路。     

具有最优代数免疫的奇数变元Boole函数

首先，给出了三类具有最优代数免疫的奇数变元非对称Boole函数，还给出了奇数变元Boole函数具有最优代数免疫的一些必要条件，有利于判别Boole函数是否具有最优代数免疫．另外，给出择多函数的Walsh谱，由其特征给出了奇数变元Boole函数具有最优代数免疫同时有较高非线性度的几个必要条件，并且给出了一类具有最优代数免疫同时非线性度大于择多函数的非线性度的奇数变元Boole函数．最后给出了奇数变元Boole函数具有最优代数免疫同时是l阶弹性函数的一个等价条件。     

Fe-Mn-Si合金γ→ε马氏体相变Ms的热力学预测

借助于３种成分Ｆｅ－Ｍｎ－Ｓｉ２合金层错几纺的Ｘ射线测量,计算了层错几率与合金成分Ｆｅ－Ｍｎ－Ｓｉ三元系的层错几率的倒数１／Ｐｓｆ－一个表达式。结合层错形核的热力学模型,经回归得Ｆｅ－Ｍｎ－Ｓｉ合金γ（ｆ．ｃ．ｃ）→δ（ｈ．ｃ．ｐ）马氏体相变的临界相变驱动力和层错几率的关系为ΔＧＣ＝６７．４８７＋０．１７７５／Ｐｓｆ（Ｊ／ｍｏｌ）,显示临界相变驱动力与层错几率存在线性关系,并随层错几率下降而增加。     

利用ATSR数据分解土壤和植被温度的研究

欧洲遥感卫星（ＥＲＳ）上安装的ＡＴＳＲ传感器是目前惟一能在两个观测角度上提供准实时热红外测量的有效工具．相对于正在准备之中的新一代多角度卫星传感器而言,ＡＴＳＲ数据为我们提供了一个在热红外区域开发有关方向性观测信息潜力的机会．通过对一景ＡＴＳＲ图像的分析,结果显示尽管大气状况对于准确度的影响非常敏感,但是,仍然可以在可接受的范围内反演出不同方向的亮温值（地表各向异性辐射量）,为了从不同方向的亮温值同时反演出植被和土壤的温度,必须对大气状况和像元内容进行 恰当的表述,否则,这种反演将具有很大的不确定性．     

子午面内热层环流模型--热层暴时热力学状态及环流变化

介绍了子午面内热层环流模型（ＴＣＭＭＰ模型），并计算模拟了一次单独磁亚暴中极光椭圆带背日面的能量沉降引起的夜半球热层的变化，对计算机结果中热层暴时热力学状态及环流情形的介绍表明，ＴＣＭＭＰ能够系统地描述暴时中低纬热层中各种大、中尺度的变化，同时有力地支持了有关的电离层暴特别是负相暴产生机制的理论。     

Ag—Cu合金的原子能量及Gibbs能函数

阐明了特征晶体模型的合理性，建立了ＣＣ理论的９个Ｇｉｂｂｓ能函数。规则溶液模型相应于ＣＣ模型中的最简单情况。ＣＣ理论中的任何一个Ｇ－函数都可用来描述Ａｇ－Ｃｕ系中的液相和ｆｃｃ相。Ａｇ－Ｃｕ合金的特征晶体的晶格稳定性参数可以采用ＳＧＴＥ科学组提出的形式。     

以DDS／TEOS复合醇盐通过sol—gel法制备无载体膜

通过溶胶－凝胶法，以一种有机－无机复合醇盐ＤＤＳ／ＴＥＯＳ作为先驱体，制备了大尺寸的，厚度可达３０－５００μｍ的高质量无载体膜。这种膜同时显示了极好的生与柔韦性。。详细探讨了无载体膜制备过程中多种因素对成膜质量的影响，并采用ＩＲ和ＡＦＭ等技术对膜的结构以及表面微观形进行了分析。     

基于稀疏表示的小波去噪

小波阈值去噪是信号与图像去噪中的有效方法,然而,该方法采用逐点处理的方式,未用到小波系数的整体结构特性。文中提出一种新的小波去噪方法,采用了新近发展起来的稀疏表示工具,通过在一定条件下最小化非零小波系数的个数对原小波系数进行估计,从而将去噪转化为一个最优化问题.证明了该优化问题的解可以惟一获得,并且该解是干净小波系数的一个无偏估计值。文中提出了一种求解该问题的方法,该方法至少能求得一个局部最优解.实验结果表明此方法对多数实际信号尤其是低信噪比信号是有效的。     

基于时空光滑约束的总变分最小化视频去隔行算法

从隔行视频序列获得高质量图像需要进行去隔行处理．文中针对这一问题提出了一种基于时空光滑约束的总变分最小化视频去隔行算法．它首先应用Bayes公式将去隔行问题转化为一类最优化问题，然后应用图像随机场模型结合时空光滑约束导出优化问题的代价函数，通过变分法得到Euler-Lagrange方程，最后应用凸半二次规整化方法求得最优解．实验结果表明，文中的方法优于一般的去隔行算法．同时提出了两个去隔行方法的评价标准，它们可以定量检验去隔行方法的效果．     

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

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

星载SSM／I通道上的辐射传输理论和遥感数据分析

讨论了在ＳＳＭ／Ｉ通道上（１９，２２，３７，８５ＧＨｚ）植被和冰雪多层散射介质的矢量辐射传输（ＶＲＴ）理论。利用物理光学近似，推导了植被层ＶＲＴ方程的散射、消光系数和相矩阵，用密集粒子散射相干的ＶＲＴ应用于冰雪层。这两个耦合的ＶＲＴ方程的数值解，模拟了在ＳＳＭ／Ｉ通道上植被和冰雪的散射和热辐射信号。数值结果用来模拟和比较中国东北森林和西藏牧场冰雪的卫星微波遥感ＳＳＭ／Ｉ数据。     

一种自适应小波网络的构建及其学习算法

基于小波框架的时频局部化性质和自适应投影算法，提出了一个新的构造和训练小波网络的学习算法，精确地刻画了有限维Hilbert空间自适应投影算法的指数收敛性，该算法充分地利用了包含在训练数据中的时频信息，迭代地确定小波网络隐层结点的个数和网络的权系数，较好地解决了小波网络的结构优化问题，通过应用于信号的表示与去噪，进一步证明了该算法是简单和有效的。     

JAPS:一个基于JAVA的程序自动并行化系统

ＪＡＰＳ是运行于ＮＯＷ环境下的基于ＪＡＶＡ的程序自动并行化系统，实现了从依赖关系分析到程序并行执行的全自动过程，它能够进行复杂的任务并行性的开发，数据并行性的挖掘了即将被集成进去，本文描述ＪＡＰ析系统框架及其采用的关键技术，其中，任务的划分，概要信息的获取，依赖关系分析，预调度和动态调度等将被详细说明。     

基于改进万有引力搜索算法的无人机航路规划

无人机航路规划是根据任务目标规划出某种性能指标最优的飞行航路的全局优化问题.本文将改进后的万有引力搜索算法用于求解航路规划问题,在万有引力搜索算法的速度更新部分引入粒子群算法中的记忆和群体信息交流功能,改善了最优解的质量;然后提出了基于权值的粒子惯性质量更新公式,以加快全局搜索的收敛速度;后运用优胜劣汰的选择操作规则,对粒子的位置进行更新,使种群始终朝着最优解的方向进化.通过与其他仿生智能计算方法的仿真实验对比,验证了本文所提算法可在复杂作战环境下实时有效规划出无人机的最优航路.     

一种基于自适应种群变异鸽群优化的航天器集群轨道规划方法

航天器集群在复杂条件下的轨道规划问题是当前航天领域的热点以及难点.本文针对分布式集群航天器在队形变换过程中的轨道最优规划问题进行了研究,提出了基于自适应种群变异的鸽群算法(adaptive population variation pigeon-inspired optimization, APVPIO).本文对经典PIO算法中的核心演化算法、演化停滞以及易陷入局部最优解问题进行了研究.同时针对经典PIO算法的适应度函数进行了研究,并且结合轨道规划问题进行了改进.最后基于自适应种群变异的鸽群算法进行了仿真实验,结果表明, APVPIO算法,相比于经典PIO算法、PSO算法在极大减少计算量的同时,有更优规划结果、更深的种群演化深度以及更快的收敛速度,可以满足航天器集群在复杂约束条件下的轨道规划问题.     

Fe—Mn—C合金中的C—Mn偏聚及其对相变和形变的影响

采用价电子结构理论计算，微观成分的实验测定和ＴＥＭ原位动态拉伸变形试验，研究了Ｆｅ－Ｍｎ－Ｃ合金中的Ｃ－Ｍｎ偏聚及其对相变和形变的影响。结果表明，Ｆｅ－８Ｍｎ－１．２Ｃ合金奥氏体中含Ｃ－Ｍｎ晶胞的ｎＡ值是不含Ｃ晶胞的３．９８倍，是含Ｃ晶胞的１．４０倍；含Ｃ－Ｍｎ晶胞的ｎ＾ＤＣ值是含Ｃ晶胞的２．２１倍，在Ｆｅ－Ｍｎ－Ｃ合金奥氏体中存在Ｃ－Ｍｎ原子的微观偏聚，并形成由－Ｃ－Ｍｎ－Ｃ－Ｍｎ－强键络相联结