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

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

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

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

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

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

SAT问题的相变现象

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

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

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

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

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

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

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

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

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

模糊控制器与PID调节器的关系

揭示模糊控制器与ＰＩＤ调节器之间的内在关系。首先指出，单输入单输出模糊控制器是个分段Ｐ调节器，然后证明了双输入单输出模糊控制器是具具有Ｐ与Ｄ交互影响的分片ＰＤ或（ＰＩ）调节器，最后证明，三输入单输出模糊控制器是个具有Ｐ，Ｉ，Ｄ之间交互影响的分片ＰＩＤ调节器。此外，还给出三输入单输出模糊控制器的差分格式。     

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

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

驾驶支持系统的固有鲁棒稳定性

证明了从前驾驶角到偏航率的传递函数总是严格正实的，此性质不受不确定质量和不确定速度的影响。说明了怎样确定该传递函数的正性裕度，同时获得了一些镇定结果，给出了检验一族控制器正性的方法。通过分析系统方程和不确定性的内在结构，建立了驾驶支持系统的不保守的ＰＩＤ镇定条件，导出了一些关于ＰＩＤ控制器的正性和联接的有趣结果。     

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

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

面向Agent的常识知识库

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

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

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

RAPD技术在生物学研究中的应用

ＲＡＰＤ标记具有简易,快速,灵敏,经济的优点,本文介绍了该技术在生物物种鉴别,遗传多样性,基因定位,分子连锁图谱构建和外源导入基因的分子检测等生物学领域广泛应用的概况。由ＲＡＰＤ转化而来的ＲＡＰＤ－ＰＣＲ－ＳＣＡＲ标记稳定,灵敏,准确性高,在种质资源鉴别,分子标记辅助育种中有着潜在的应用前景。     

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

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

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

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

欧洲以建超大型天文望远镜

推迟 5个月之后 ,美国国会终于在 2月 13日结束了2 0 0 3年财政年度的工作。对科学家们来说 ,3970亿美元应该是个好消息 ,国立卫生研究院 (ＮＩＨ )、国家科学基金(ＮＳＦ)和航空航天局 (ＮＡＳＡ)的经费都有所提高。但现在或许已没有时间庆祝了 ,因为在布什总统提交的 2 0 0 4年财政预算案中 ,明年将减少这类或其他科学机构经费的增长。国立卫生研究院得到了 2 70亿美元的资金 ,比上年增长了 38亿美元 ,提高了 15 %。其中 12亿美元将用于过敏症和传染病的研究 ,主要是针对生物恐怖的研究 ,与去年相比提高了 5 0 %,而布什总统在预算案中提出…     

疟疾子孢子疫苗的研究进展

本文系统地回顾了疟疾疫苗的发展史，将疫苗研究的发展分为与生物技术的发展密切相关的三个时期；重点阐述了疟疾子孢子疫苗在不同时期的研究进展，并分析了疟疾疫苗研究的现状和面临的困难。     

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

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