摘要：腔衰荡光谱技术(cavity ring-down spectroscopy,CRDS)是一种高灵敏的激光吸收光谱技术,被广泛应用于镜片反射率测量、光谱分析以及痕量气体检测等研究领域。首先从理论上描述了CRDS技术的实验原理,然后基于555定时器自行设计了一种可应用于CRDS技术的阈值电路,并通过实验进行了验证。为了优化阈值电路的性能,研究了不同输入阻抗及容抗下阈值电路对衰荡事件测量的影响。通过直接接入不同值的电容与电阻,发现输入电容越大,输入阻抗越小,对衰荡事件的测量影响越大,尤其当阈值电路输入电阻小于50Ω时,衰荡事件的线型严重扭曲。对不同输入电阻与输入电容时C2H2气体在6 531.780 5cm-1处的吸收信号进行了采集与分析,发现输入电容与输入电阻的改变对测量结果有很大的影响,得到的吸收信号会失真,甚至无法进行拟合。最终给出了阈值电路的最佳设计方案,在阈值电路的设计中选取的输入阻抗越大越好,最小要在100Ω以上,选取的容抗越小越好,最好低于1nF,同时要保证阈值电路的时间常数远小于衰荡时间。该研究对于CRDS技术应用过程中阈值电路的设计具有重要的参考价值。

摘要：传统的面向服务计算模式通常是包含中央控制结点的集中控制结构,多 Agent 理论和技术提供了另一种角度看待服务计算.本文将 Web 看成一种主动服务实体,即服务 Agent,服务计算模式演变为一种非集中式的、分布式结构.服务 Agent 主动发现需求并在需求吸引下聚集,通过功能本体和自动机制设计,得到需求解决方案.形成需求解决方案后,协作方案选择可以被归结为二部图上的0-1整数规划,这是一个 NP 完全问题.本文给出一种多 A-gent 协商框架,服务请求方和各服务 Agent 通过有限次协商交互最终达成协议,该协议选定服务 Agent 解决需求的一种协作方案.通过模拟对协商框架进行验证.

摘要：针对小分子环境污染物免疫检测技术的现状,介绍了免疫检测技术原理、特点和研究开发步骤。综述了该技术的基本检测形式、抗原的设计与合成、抗体的制备和关键技术问题以及最新技术的分类发展和应用现状。

摘要：题示反相乳液（W／O乳液）以油田污水携带进入地层设定位置后，在环境温度、矿化度及转相剂作用下发生相反转，原分散相中所含的聚丙烯酰胺和交联剂迅速溶于水并生成可流动的水基凝胶，起深部调剖、液流转向及驱替作用。胜利孤岛油田中二南Ng^3-4先导试验区，原始地温69℃，地下原油黏度20～100mPa·s，产出水矿化度5．5g／L，注入水矿化度7．2g／L，包括5口注水井，21口采油井，试验前处于聚驱后的水驱阶段。设计注入聚丙烯酰胺反相乳液在注入水中的稀释液，其中前置段塞浓度8g／L，段塞尺寸8×10^3m，折合反相乳液64t，主体段塞6g／L，1．2×10^4m^3，72t，以及顶替液（注入水）1．2×10^4m^3，连续注入45天。预测先导试验区采收率将提高1．05％，其中高、中、低渗层分别提高0．50％，1．48％，2．47％，含水率降低2．65％，增产油效果将延续至2010年。注水井21-4的调驱作业于2004年12月底开始，共注入反相乳液25吨，转相剂1．75吨，施工注入压力由7．5MPa升至9．5MPa，作业后注水压力由6．8MPa升至7．0MPa；2005年4月统计，对应51：2油井平均日产液量上升21．3％，日产油量上升37．0％，含水率下降1．1％，有4口井产油量增加，1口井持平。图5表2参8。

摘要：基于传统的迭代终止条件,应用匹配追踪(MP)稀疏分解方法分解高噪信号,研究了固定迭代次数及阈值迭代终止条件的不足.引入相邻残差之比,规格化相邻残差之差,减少了噪声的干扰,设计了残差比阈值迭代终止条件.采用残差比阈值迭代终止条件,对高噪声超声信号进行稀疏分解,分解过程会根据噪声成分的水平自适应地终止迭代,克服了传统迭代终止条件无法选择迭代终止阈值的问题.理论推导与实验都证明了残差比阈值迭代终止条件具有很强的鲁棒性.

摘要：在设计师需要的时候提供适时、必要而不冗余的设计资源,是智能辅助设计软件系统最基本的特征。设计师意图的实时捕捉正是提供适时、必要资源的基础。通过研究设计过程中的人机交互行为,建立Multi-A-gent工作模型,利用Agent从人机操作交互、上下文内容推理以及设计师的习惯符号化等方面实现设计师意图的捕捉,在此基础上构建一个顺应设计师设计思维发展和工作进程的智能辅助设计平台。

摘要：针对现有封装结构会对灵敏度造成一定程度的损失,使现有水听器的灵敏度小于水听器芯片裸测灵敏度的问题,改用了透声性能好、耐腐蚀的丁腈橡胶(NBR)制作的透声帽,并对现有的矢量水听器的封装外壳进行相应的优化设计。该封装结构的水听器的共振频率降低到50 Hz以下,水听器所感兴趣的频段(50 Hz^4 kHz)不会受到封装谐振的干扰,拓宽了水听器的工作频段。该封装的灵敏度提高到几乎与裸片的灵敏度一致,达到(-170±2)dB,并优化金属管壳的圆盘的尺寸,即水听器最大径,由36 mm缩小至28 mm,使水听器的封装进一步小型化。

摘要：模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略 ,并给出解决状态爆炸问题的主要方法 ;然后介绍了针对实时系统以及面向对象设计的模型检验方法 ;对每种方法都介绍了相应的典型工具 .

摘要：引入梯度功能设计思路，进行功能梯度混凝土管片（functionally gradient concrete segment，简称FGCS）的结构与材料设计。无细观界面过渡区水泥基材料（meso—interfacial transition zone-free cement—based materials，简称MIF）中由于掺入了能显著改善收缩开裂趋势的减缩组分和细微化裂纹的抗裂组分，降低了MIF的收缩值，提高了MIF的抗裂能力，有利于提高MIF的抗渗性能，进而可以提高FGCS的抗渗性能。混凝土两次浇注成型时，采用界面强化工艺——压印工艺，可以提高混凝土功能层之间界面粘结强度10％-35％，产生界面强化效应。采用ANSYS计算的FGCS中界面最大拉应力的计算值远小于界面劈裂抗拉强度试验测试值，FGCS中界面由于收缩引起的应力不会引起FGCS产生相对的滑移而导致开裂。用于武汉长江隧道工程的FGCS的外弧面裂缝宽度〈0．1mm，Cl^-扩散系数为4．9×10^-13m^2／s。

摘要：针对路面坡度变化后,如何使被动行走机器人在有限时间内只需一步即可完成低能耗的行走模式转换问题,提出一种控制策略.首先基于胞映射思想,提出了估计机器人稳定行走初始状态的变胞胞映射法;然后利用Lyapunov稳定性理论和鲁棒控制思想,设计了变路况切换控制算法.该算法既能实现不同坡度路面上稳定行走模式的转换,又能提高转换过程的鲁棒性.仿真结果验证了所提出算法的有效性.