π-演算观察等价的推理系统

提出带递归π－演算观察等价的推理系统，并证明了在受卫递归有穷控制子集上的完备性。该系统由推理规则和等式公理两部分组成，其断言采用条件等式的形式，直接刻画了进程项之间的符号互模拟关系。     

循环群上理想同态密钥共享体制

对于ｍ阶循环群Ｇ和给定的存取结构Ａ，利用与Ａ相应的拟阵在环Ｚｎ上的表示，给出了Ａ为Ｇ－理想同诚的充要条件，进而，利用上述结果，给出图存取结构为Ｇ－理想同态的充要条件。     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

基于NOW的检查点设置与卷回恢复

通过对分布系统卷回恢复过程中出现的主要问题进行讨论，并针对工作站网络系统环境，分析了不同ＣＲＲ技术的优劣。在此基础上，论述了一个并行程序运行回卷恢复与进程迁移系统－ＯｈａＲＭ的设计与实现技术。最后给出了ＣｈａＲＭ系统性能评测结果，并与其他同类系统进行了比较。     

贝氏体相变单元及长大机制的TEM研究

利用透射电子显微镜（ＴＥＭ）观察了Ｆｅ－Ｎｉ－Ｍｎ和Ｃｕ－Ｚｎ－Ａｌ合金贝氏体形貌和亚结构。证实贝氏体相变单元的存在。贝氏体通过相变单元的应力应变诱发形核伸长，通过沿缺陷面方向的扩展实现增厚。贝氏体相变单元的横向尺寸差和贝氏体沿缺陷面的滑移，错动形成了贝氏体／奥氏体相界面台阶，台阶阶面与缺陷面对应，难以进行侧向迁移。     

角度单值-移动合向量长度θ-Rs控制图模拟

以计角值控制图的性能分析为研究出发点，充分借鉴常规控制图性能分析的研究思路，结合圆上闭域的特点，从质量特性值服从VonMises分布这一角度展开分析，运用统计过程控制工具平均链长对计角值控制图中单值-移动合向量长度θ－Rs控制图进行模拟，分析该控制图在发生参数偏移的情况下平均链长的变化。     

土壤中农用化学物质的迁移

土壤作为解决“人口－粮食－资源－环境”问题的中枢环节,研究土训中农用化学物质的迁移,可为解决人类生存环境的恶化问题、促进持续农业的发提供科学的依据。本文对主要农用化学物质NO^-3-N和农药在土壤中的迁移进行了综述,并对农用化学物质在土 中近移模型及现存问题进行了探讨。     

Polyflow软件包在聚一合物挤出成型中的应用

本文回顾了近年来聚合物挤出模拟研究的最新进展，介绍了Polyflow软件包在挤出成型模拟研究方面的特点和优越性，并给出了应用Polyflow软件包在双螺杆挤出中数值模拟的研究结果。     

联合状态差分检测方法及其在超宽带无线通信系统中的应用

首先提出差分编码器输入输出联合状态的概念，并设计出一种递归的网格图化简方法，实现了最大似然意义下的多符号联合差分检测．随后在此基础上，对衰落信道提出一种迭代检测结构，并将其应用于超宽带无线通信系统．仿真表明，在单位符号检测复杂度不变的前提下，检测性能可任意逼近多符号非相干差分检测的理论极限，并可有效地应用于实际通信系统中．同时它为各种类似的无记忆噪声中有限状态Markov过程的状态序列估计问题提供了一种新的解决方法．     

液—液旋流分离管中强旋湍流的Reynold应力输运方程数值模拟

应用湍流Ｒｅｙｎｏｌｄ应力输运方程模型（ＤＳＭ）对液－液旋流分离管中的强旋湍流进行了数值模拟，并与ＬＤＶ测量结果进行了比较，结果表明：ＤＳＭ模型不仅较合理地预报出 切向速度的Ｒａｎｋｉｎｅ涡结构及其位置，而且提示了液－液旋流管中切向速度所特有的双峰分布现象；对轴向速度预报给出了近壁下行流，近轴上行流以及介于两者之间的零速区等；湍流动能在肇流管中的继上游近壁在、中部近轴大和下游近似均布，旋流管中的静     

一种有符号余数系统2~n缩放方法及VLSI实现

数值缩放的高效VLSI实现是余数系统(RNS)应用于数字信号处理(DSP)系统中的关键问题之一.文中首先提出了有符号余数系统数值缩放通用算法,明确给出了在负数情况时修正常量的计算方法.在此基础上给出了一种有符号余数系统2n缩放的高效实现方法,该方法利用中国剩余定理和一个较小的冗余基实现基扩展以获取RNS整数的低n比特信息,并借助所引入的冗余基用奇偶检测完成RNS整数的符号检测,同时还提出了冗余基更新方法及负数情况下冗余通道修正常量计算方法.分析结果表明所提出的RNS数值缩放方法的复杂度仅同RNS的动态范围位宽呈线性关系,并避免了使用查找表(LUT).最后,完成了此方法和基于串行方式的2n缩放算法的VLSI实现,在相同约束条件下该方法的面积和功耗均减小了35%左右,而关键路径延时则减小了12%左右,VLSI版图也表明了该方法具有更简单的芯片内联结构.     

光孤子通信系统中编码孤子脉冲序列的演化问题

在数值模拟的基础上引入孤子相互作用传递速度，码元关联长度等概念，将一般编码孤子序列的演化问题归结为无定向圆环上有限个不等价码字的演化问题，从而给出了系统研究一般编码孤子序列演化特性的线索，通过分析无定向圆环上（ｐ，ｑ，ｒ）型码的演化规律，显示出以光孤子－呼吸子序列作为光纤通信信号序列的可能性，提出了光孤子－呼吸子通信系统的设想。     

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

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

一种实际不可逆循环系统的等价热力变换分析法

提出一种等价热力变换分析法，它根据有效能消耗总伴随着热量输运过程的物理事实，定义了各子过程和循环的等效热力温度，把实际不可逆循环的热力／热泵循环系统等价变换为简单的正／逆卡诺循环系统进行分析，导出的等效高温热源温度计算式奠定了等价热力变换分析法的基础；提出采用玮．h图和TR—q图作为热力／热泵系统性能分析和有效能消耗分析的工具图，可直观表示热力系统中多种物质的热量、功量交换和焓的变化，易于计算出系统性能系数和各项有效能消耗；以热泵热水器和R22工质为例，系统介绍了等价热力变换分析法，示范性给出了等价热力变换分析法中关键参数的拟合式，展示了该分析法在变工况性能模拟和推算应用中的优势和良好前景．     

且群机器人队形控制的人工力矩法

为了得到一种一般性的队形控制方法,首先给出了一种新的队形表示图：吸引线段式主．从队形图和组群机器人的系统模型．然后基于上述成果和文中定义的两种人工力矩：主吸引矩和从吸弓l矩,提出了一种新的队形控制方法：人工力矩法．文中介绍了该方法的基本原理,并给出了机器人运动控制器的数学模型．最后运用Liapunov稳定性定理证明了系统的稳定性并给出了仿真．理论和仿真结果表明,给出的队形表示图和队形控制方法是可行且有效的．     

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

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

两相燃烧的大涡模拟

两相燃烧大涡模拟研究正在取得迅速进展.和雷诺平均模拟相比,大涡模拟可以给出流动和火焰的瞬态结构,并且很多情况下可以给出比雷诺平均模拟更准确的统计结果.湍流燃烧大涡模拟的一个关键问题是亚网格模型,特别是燃烧模型.不同研究者提出了或者应用了不同的燃烧模型,但是有的模拟结果缺乏仔细的实验验证,有的统计结果和实验不符合.提出了二阶矩(SOM)燃烧模型,分别成功地用于气体湍流燃烧和液雾燃烧的大涡模拟,显示其优于其他模型.并对近年来气体燃烧、液雾燃烧、煤粉燃烧和油滴燃烧大涡模拟的研究给出了简要的综述.     

两相燃烧的大涡模拟

两相燃烧大涡模拟研究正在取得迅速进展.和雷诺平均模拟相比,大涡模拟可以给出流动和火焰的瞬态结构,并且很多情况下可以给出比雷诺平均模拟更准确的统计结果.湍流燃烧大涡模拟的一个关键问题是亚网格模型,特别是燃烧模型.不同研究者提出了或者应用了不同的燃烧模型,但是有的模拟结果缺乏仔细的实验验证,有的统计结果和实验不符合.提出了二阶矩(SOM)燃烧模型,分别成功地用于气体湍流燃烧和液雾燃烧的大涡模拟,显示其优于其他模型.并对近年来气体燃烧、液雾燃烧、煤粉燃烧和油滴燃烧大涡模拟的研究给出了简要的综述.     

裂尖前方纳米尺度的微结构及原子象研究

用STM研究了石墨表面微裂纹前方纳米尺度的微结构的特征 .结果表明 ,STM的针尖和样品之间的互作用力能引起空位团的产生和迁移 ,从而导致裂纹扩展 .在加载条件下 ,用AFM研究了云母加载裂尖的微结构和原子排列 .发现云母表面加载裂尖前方存在一个约 1 0nm宽的高畸变区 ,它被一个约 1 1 0nm的异常弹性区所包围 .另外还观察到 ,在高畸变区中存在有许多小空位片 .     

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

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