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

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

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

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

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

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

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

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

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

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

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

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

进入纳米时代的CMOS设计

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

基于析取逻辑程序设计的诱导推理

利用辨论推理模式，将负文字的析取式作为诱导推理的假设，建立了析取逻辑程序设计的一种诱导语义框架ＤＡＳ。它不仅是实现辩论推理（诱导）的一种简单直观语义而且为析取程序的语义了一个统一的框架。特别地，证明了著名的良基语义和ＥＧＣＷＡ等都可以嵌入ＤＡＳ。     

艾滋病疫苗的研究现状与发展策略

获得性免疫缺陷综合症（ＡＩＤＳ，艾滋病）是一种全球性瘟疫，引起了世界各国的关注。安全有效的疫苗是预防和控制ＡＩＤＳ流行的最有希望的措施。根据近期文献报道，本文对研制ＡＩＤＳ疫苗的障碍，理想疫苗的设计及该疫苗的研究两头作了概要介绍。     

信号传导的研究对生命现象认识的推动作用

细胞内与细胞间的信号传导是生命现象的一种基本事件，它与生物的生长，发育，分化，遗传，学习，记等过程密切相关。疾病，衰老和死亡，作为生命现象的特殊形式或过程，其发生也是与信号传导始终密切相关联的。信号传导的相应的英文词为：ＳＩＧＮＡＬＩＮＧ或ＳＩＧＮＡＬ ＴＲＡＮＳＤＵＣＴＩＯＮ。     

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

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

未知信源数的宽带信号源二维空间谱估计

目前存在的宽带信号波达方向估计方法仅限于估计已知信源数的信号方位角。Ｐａｄｍｉｎｉ等人最近指出，圆阵在估计宽带源的ＤＯＡ时具有和很多优良特性，采用具有延迟抽头的圆阵实现了宽带信号２－Ｄ空间谱估计，并将Ｃｈｏｉ等人针对未知信源数的窄带信号提出的扩展ＭＵＳＩＣ方法，扩展用于宽带源的ＤＯＡ估计，分析及仿真表明，该方法尤其适合宽阵列信息处理，且采用大孔径圆阵可显著提高估计的分辨性能和稳健性。     

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

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

广义模糊系统对于可积函数的逼近性

定义了一种广义模糊系统,应用中所研究的主要模糊系统都是该系统的特例,通过讨论了广义Ｔａｋａｇｉ－Ｓｕｇｅｎｏ（Ｔ－Ｓ）系统在Ｌｐ（μ）－模意义下对于分片线性函数的逼近性,证明了该广义系统对于ｐ－可积函数是通用逼近器,若给定逼近精度,则可以估计出该系统模糊规则库的规模大小,最后给出了两个模拟实例。     

贝氏体的精细结构和界面结构的TEM和HREM研究

使用ＴＥＭ研究了钢中贝氏体的精细结构、碳化物形貌及分布和Ｃｕ－Ｚｎ－Ａｌ合金中贝氏体的面貌，采用ＨＲＥＭ研究了Ｃｕ－Ｚｎ－Ａｌ合金的界面结构台阶界面晶格象，加入微量元素使贝氏体铁素体组织明显细化。贝氏体铁素体由亚单元或亚块组成，碳化物形貌不一，分布在条间，片内和亚块边界。贝氏体铁素体内有极为丰富的精细组织，Ｃｕ－Ｚｎ－Ａｌ合金初生贝氏体有阶存在，界面结构台阶高度在３￣４０ｎｍ范围，相当１５￣２００     

基于公钥密码的门限密钥托管方案

提出基于公钥密码系统的门限密码学意义上的密钥托管方案的一个一般模式,并给出于一个改进的ＲＳＡ算法的具体的设计。讨论表明,设计的方案解决了用户的密钥完全依赖于可信赖的托管机构的问题。     

面向Agent的常识知识库

常识性知识处理是人工知识研究的核心难题,在分析了对常识的各种研究工作的基础上,论述了一个面向Ａｇｅｎｔ的大规模常识知识库,提出了一种新型的Ａｇｅｎｔ－ＣＢＳＡｇｅｎｔ,描述了面向常识的语义网络描述语言Ｃｓｎｅｔ,对Ｐｒｏｌｏｇ进行了面向常识的扩充,分析了常识知识库的本体论结构,最后给出了常识知识库的运行机制。     

球磨诱导6H-SiC→3C-SiC的多型转变

Ｘ射线衍射与高分辨电子显微术证实了在球磨条件下可发生α－ＳｉＣ向β－ＳｉＣ的转变。高分辨电子显微术证实α－ＳｉＣ中的６Ｈ－ＳｉＣ向β（３Ｃ）－ＳｉＣ的转变是通过磨球和粉末碰撞时在相邻密排面上引入不全位错实现的。其基本过程是不全位错的运动使６Ｈ的一个（３，３）堆垛向（４，２），（５，１）至（６，０）堆垛序过渡，形成６层３Ｃ－ＳｉＣ的｛１１１｝堆垛，相继进行这一过程即可完成６Ｈ－ＳｉＣ向３Ｃ－ＳｉＣ的     

金属Co的电子结构和物理性质

依据ＯＡ理论确定ｈｃｐ结构α－Ｃｏ的电子结构为［Ａｒ］（３ｄｎ）＾０．４６（３ｄｍ）＾１．８６（３ｄｃ）＾５．４５（４Ｓｃ）＾０．０３（４Ｓｆ）＾１．２０，计算了它的势能曲线、晶格常数、结合能、原子磁矩、弹性以及比热和热膨胀系数随温度的变化。     

Al2O3-SiC纳米复合陶瓷中的残余应力分析

用Ｘ射线衍射的方法测定了Ａｌ２Ｏ３－ＳｉＣ纳米复合陶瓷的残余应力，建立模型，计算了残余应力，并与实验测定结果吻合，探讨了纳米复合陶瓷的增韧补强机理。