求解SAT问题的拟物拟人算法——Solar

利用拟物与拟的方法，为合取范式可满足性问题的高效率近似求解得出了继承策略，新路策略和赦免策略，然后对著名的Ｂａｒｔ Ｓｅｌｍａｎ跳坑策略给出了一个直观解释，综合这些策略得出了一个新的求解算法－－Ｓｏｌａｒ。     

高阶Boussinesq水波方程

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

SAT问题的相变现象

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

非过渡金属间三元化合物形成规律

用Ｍｉｅｄｅｍａ建议的Х（电负性）,ｎｗｓ＾１／３（Ｗａｇｎｅｒ－Ｓｅｉｔｚ元胞的价电子云密度）和元素的金属半径Ｒ,价电子数Ｚ４个原子参数和原子参数－模式识别方法,总结非过渡金属元素间三元化合物的形成规律,求得的数学模型可用于新的三元金属间化合物的预报。     

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

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

汉语听觉视觉双模态信息的互补作用

从汉语听觉视觉双模态数据库ＣＡＶＳＲ１．０中选出１０个人的视听数据，每人发１４个音节／ｂａ，ｂｉ，ｂｉａｎ，ｂｉａｏ，ｂｉｎ，ｄｅ，ｄｉ，ｄｉａｎ，ｄｕｏ，ｄｏｎｇ，ｇａｉ，ｇａｎ，ｇｅｎ，ｇｕ／。感知实验的样本分单语音信号、语音信号＋视觉信号、单视觉信号３类。单语音信号、语音信号｜视觉信号分别包括５种声学条件：无噪语音信号，信噪比Ｓ／Ｎ为０，－８，－１２，－１６ｄＢ的语音信号，由２０名观察者进行     

三维非理想低磁雷诺数磁流体流动的数值模拟

对三维非理想低磁雷诺数磁流体问题发展了五波模型算法，建立了低磁雷诺数下模拟磁流体的五波模型．模型由带有源项的Navier-Stokes方程组和Poisson方程构成，并且考虑了Hall效应．对Navier-Stokes方程组采用严格保证熵条件的熵条件格式，而Poisson方程则采用中心差分格式；推导了低磁雷诺数下磁流体Rayleigh问题和Hartmann流动问题的解析解，和数值模拟结果比较说明该算法和程序可靠性较高；将该算法用于低磁雷诺数磁流体管道中单对电极流动的计算，结果表明Hall效应引发了电流密度和电势等值线的扭曲，且在正极的上游边界和负极的下游边界集中，该效应还导致从负极出发的电流偏离对应的正极．     

改进的共沉淀法制备Bi系超导体原始粉末及其化学计…

在研究水介质中草酸盐共沉淀法制备Ｂｉ－Ｐｂ－Ｓｒ－Ｃａ－Ｃｕ－Ｏ系多元粉末的化学计量性基础上，提出了一种改进的共沉淀法。特色在于共沉淀反应在一种表面张力比水小的有机溶剂和水的混合溶液质中进行。     

集中荷载作用下三维裂纹问题的动态应力强度因子

讨论裂纹面受到对突加集中荷载作用时的三维半无限裂纹问题，应用对称性和叠加原理，将其化为Ｌａｍｂ问题和有位移约束条件的半无限大空间问题分别进行求解。在此基础上，利用积分变换，Ｗｉｅｎｅｒ－Ｈｏｆｐ技术和Ｃａｇｎｉａｒｄ－ｄｅ Ｈｏｏｐ方法，成功地得到了动态应力强度因子的精确解，所得取的解有明显的物理意义。     

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

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

k—Bitonic排序

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

缩减MAX SAT问题中变元个数的多项式时间算法

针对ＭＡＸ ＳＡＴ问题，提出一个缩减变元个数的多项式时间算法，若Ｔ是ＭＡＸ ＳＡＴ问题的任何一个实例，该处法将其转化为另一个实例Ｐ，具Ｐ中的变元个数小于Ｔ中的子句个数，在采用其他算法求出Ｐ的最优解后，可用Ｐ的最优解构造Ｔ的最优解。此算法可作为一个有效的预处理处理。     

饱和土三维非轴对称Lamb问题

基于积分变换方法提出位移组合积分变换和应力组合积分变换式,成功地求解了Ｂｉｏｔ两相介质理论的饱和土三维非轴对称问题动力方程,得到了以土骨架位移和孔压为基本未知量的积分解。在此基础上系统地研究了饱和土的Ｌａｍｂ问题。考虑了表面排水和不排水两种条件,得到了三维非轴对称饱和弹性半空间在表面竖向和水平力作用下,表面径向位移、竖向位移和周向位移的积分形式解,并将解答准确地退化到弹性半空间经典Ｌａｍｂ问题解,     

超塑性拉伸似粘性变参数流变方程

给出能精确表达Ｚｎ－Ａｌ２２％，Ａｌ－Ｚｎ－Ｍｇ和Ａｌ－Ｚｎ－Ｃｕ－Ｃｒ比较典型的３处超塑性合金的ｌｇσ－ｌｅε关系的多项式，进而用ｍ（ε）和ｋ（ε）的解析表达式求得ｍ和ｋ均变数的似粘性流变方程，方程中包含了与ｍ－ｌｇε曲线相关的３个参数ｍｍ，ｍｋ和η，并且指出，ｍｍ，ｍｍ／ｍｋ越大，合金的超塑性越好，而且Ｂａｃｋｏｆｅｎ方程只是变参数本构方程的一个特例。     

有限区间非线性系统的重复学习控制

迭代学习控制方法存在初始定位误差问题;重复控制方法要求被学习量满足周期性条件,而实际中存在不满足这一要求的场合.重复学习控制不要求初始定位操作,被学习量仅需满足重复性条件,它回避了迭代学习控制中初始定位误差问题,推广了重复控制的适用范围.针对较为广泛的一类在有限作业区间上重复运行的非线性系统,文中提出重复学习控制方法.利用一类非线性时变控制系统的Freeman公式,设计标称系统的镇定控制器.分别针对部分限幅和完全限幅学习两种情形,证明了限幅学习下的系统稳定性与收敛性.理论结果表明,文中所提出的重复学习控制方法在处理时变参数不确定性方面是有效的.     

Ag—Cu系相图和热力学性质

ＣＣ理论中反映组元间不同相互作用规律的Ｇｉｂｂｓ自由能函数都 能以相同的精度来绘制Ａｇ－Ｃｕ系相图，由这些函数求得组元的偏摩尔性质值相同，这暴露出传统合金热力学的不足之处，由Ａｇ－Ｃｕ系的能量、体积、原子排布和电子结构相关性研究选择的Ｇ－函数，求得了合金及其组元的各种平均热力学性质、ＣＣ理论是建立合金设计用的晶体结构参数、电子结构参数和多种性质数据库的知识系统。     

水下工程平面定位控制系统

针对大江大河水流环境下的水下工程平面精确定位难题，进行水下工程平面测量定位系统应用性研究。将水下电视技术和多阵元基阵的短基线水声定位技术相结合，解决了传统水声定位精度低的问题。采用多基元短基线定位方法进行快速定位检测，搜寻并确认目标，处理、记录、显示成果，获得了满足工程精度要求的水下平面定位系统，保证了水下工程的质量。     

一种有效的超分辨空间谱估计方法--虚拟阵列变换法

提出了一种有效的超分辨谱估计方法－虚拟阵列变换法,该方法通过对任意阵列实施变换,有效地增加了阵元数目（实为虚拟阵元）。该方法不仅可以克服任意阵列稀面时的信号模糊问题,而且增加了可检测的信号源数及提高了阵列的解相干能力。通过理论分析与仿真实验进一步证实了该方法的有效性,。     

近地轨道长时间多星交会任务混合规划

对近地轨道长时间多星交会问题,考虑基于光照条件的时间窗口与J2摄动影响,建立多星交会混合整数非线性规划模型,提出两层混合优化方法进行求解：上层问题以交会次序、交会轨道转移时间及交会后服务时间为设计变量,采用混合离散连续编码遗传算法求解,下层优化以单次交会轨道机动时间及机动冲量为设计变量,采用下山单纯形法求解;推导考虑如摄动轨道要素差分线性交会方程,并以该方程为基础提出下层优化近似策略,以提高计算效率．仿真结果表明：1）建立的近地轨道长时间多星交会任务的混合整数非线性规划模型是有效的,提出的两层混合优化方法可以获得满足时间窗口约束的满意解;2）推导的线性交会方程是考虑如摄动长时间轨道交会轨道良好的一阶近似;3）在如摄动影响下长时间交会问题无论在一个还是多个轨道周期的时间尺度上均具有多峰性,基于混合编码遗传算法求解多星交会任务规划问题符合问题特征．     

fcc（γ）→hcp（ε）马氏体相变

列出热弹性马氏体相变的判据。据此，将Ｆｅ－Ｍｎ－Ｓｉ基合金中的ｆｃｃ（γ）→ｈｃｐ（ε）马氏体相变归属半热弹性相变，和铁基合金中ｆｃｃγ→ｂｃｔ（ｂｃｃ）α‘，βＣｕ基合金中的热弹性马氏体相变以及含ＺｒＯ２的陶瓷中ｔ→ｍ不同，在Ｆｅ－Ｍｎ－Ｓｉ的γ→ε中，母相的强化和晶粒大小不显著影响Ｍｓ，以及马氏体相变的内耗峰并不对应母相弹性模量的急剧下降，显示其可能层错直接形核而不强烈需求软模。比较了热诱发和