摘要：目的:研究线粒体转运蛋白质超家族新成员SLC25A40(MCFP)RNA干扰(RNAi)慢病毒表达载体对人肝癌细胞系HepG2细胞中MCFP基因的沉默效果.方法:通过RNAi序列设计软件进行MCFP干涉片段设计,筛选出MCFP基因的RNAi有效靶序列,进一步合成靶序列的OligoDNA,构建pSiCoR-MCFP慢病毒载体并包装产生慢病毒干涉毒液.运用病毒感染HepG2细胞获得稳定干涉MCFP的细胞株,利用PCR和Westernblot方法检测稳定细胞株中MCFP的干涉效果.结果:成功构建具有MCFP干涉效果的慢病毒干涉载体并获得了稳定干涉MCFP及对照的HepG2细胞株.收集慢病毒上清,流式测定干涉病毒滴度为1.45×1010pfu/L,对照病毒滴度为1.78×1010pfu/***和Westernblot实验均证实干涉MCFP后,HepG2细胞株中MCFP蛋白表达水平明显降低(P<0.001).结论:成功构建具有MCFP干涉效果的慢病毒干涉载体及稳定干涉MCFP的HepG2细胞株.

摘要：提出一种新颖的活动链的行为规范概念,该概念的粒度介于活动和场景概念之间,并根据基于活动链的行为刻画需求,设计"链存在、链缺失、链前提和链因果"四个行为模式,并给出这些模式到标记迁移系统LTS的映射规则,精确刻画了行为模式的操作语义,通过定义组合E-服务满足活动链模式的内涵,给出可满足性验证的充要条件和判定算法,最后给出实例分析.

摘要：提出一种基于时域仿真的直流调制参数优化方法,将直流调制参数优化问题转化为带参数约束的非线性优化问题。该方法,首先将约束优化问题转化为无约束优化问题,通过轨迹灵敏度仿真得到目标函数的梯度信息,应用拟牛顿法(DFP)优化直流调制控制器参数。由于目标函数反映了AC/DC复杂系统的动力学特性,该方法可有效地改善系统的阻尼特性,抑制大扰动引起的系统振荡。在IEEE四机系统上进行的特征值分析和时域仿真结果验证了该方法的有效性和鲁棒性。

摘要：从可持续发展的角度概括了近年来混凝土结构的发展趋势,介绍了混凝土结构服役寿命设计的发展过程、方法和应用,同时简要介绍了目前服役寿命设计相关研究成果,提出了目前结构设计中存在的问题和结构服役寿命设计发展目标,对今后混凝土结构服役寿命设计的发展做了展望。

摘要：基于面向对象的编程技术和可视化的开发方法,以协庄煤矿生产实际为背景,通过需求、任务、目标及可行性分析环节,建立了基于CAD的巷道支护智能绘图技术的系统模型。知识库的建立,实现了绘图的智能性、规范性、科学性;模块化的结构设计,提高了系统运行的稳定性,实现了系统的人性化、界面友好、操作简单、易于推广。系统应用于工程实际,取得良好效果。

摘要：电化学方法现场检测重金属离子(HMI)独具优势,对于控制与消除重金属污染意义重大.相关研究大多依赖于经验测试或侧重于报道检测性能,对催化检测机制缺乏科学认识,导致功能敏感材料的设计缺乏指导性策略,严重影响检测的准确性和可靠性.本文综述了近几年来本课题组利用X射线吸收精细结构谱(XAFS)研究HMI催化检测机制的研究工作.主要介绍了六种不同的传感策略增强HMI检测的原理和特点,指出了各类敏感材料在电分析应用中所面临的机遇与挑战,提出了从催化的角度探究电化学检测机制的研究新思路.最后,展望了利用原位XAFS技术、数值模拟计算和机器学习等探究电化学反应动态过程的重要性和必要性.本文对开发功能型传感界面具有重要的指导意义.

摘要：多智能体网络编队与避障控制旨在控制智能体,使它们保持一定的编队,同时躲避障碍物防止发生碰撞.通过建立与目标、障碍物和编队结构相关的势场函数,设计一种新的控制算法.为解决智能体在动态环境中不能有效躲避障碍物问题,建立一种速度势场,使智能体能很快地躲避动态障碍物.该算法具有易于实现的优点,因为控制是建立在智能体行为的基础上.仿真表明此方法具有有效性.

摘要：为了获得更高的光输出功率,采用倒装的结构.研究了p-GaN面生长金属高反镜前后GaN面的出光量.在p-GaN的表面上生长金属高反镜后,设计使用PECVD法在整个芯片上生长SiO_2/SiN_x多层介质膜高反镜,然后再腐蚀去除电极上的多层介质膜高反镜,使得倒装的GaN基LED台阶侧壁及p-GaN上没有覆盖金属高反镜的位置都保留有SiO_2/SiN_x多层介质膜高反镜.研究结果表明,生长两对SiO_2/SiN_x介质膜高反镜后,器件的光输出功率平均增加了10.2%.这说明SiO_2/SiN_x多层介质膜形成的高反镜有效的提高了倒装GaN基LED的光输出功率,把从LED台阶侧壁以及p-GaN上没有覆盖金属高反镜的位置出射光子反射回LED内部,经过一次或者多次反射后,从其他的出光面出射.

摘要：混成系统是一类同时具有离散和连续行为的复杂系统,被广泛应用于控制系统建模.针对其安全性需求,对不安全状态进行有界可达性验证,是保障系统安全的重要手段.然而,当前技术所能处理的问题规模和现实生活里的实际需要尚有一定的距离.特别是组合混成系统由于涉及到各个组件间的协作与同步,组合状态空间快速爆炸,对其进行验证具有极高的复杂性.为控制问题的复杂度,一种面向路径的可达性分析方法在前期工作中被提出用来对组合线性混成系统进行有界可达性分析.该方法通过依次枚举潜在路径并进行验证的方式,有效地提升了所能处理的问题规模.当面对复杂系统时,上述面向路径的检测方法将会因为待检测路径数量的急剧上升而使得验证效率大幅降低,这也是模型检验状态空间爆炸问题的一种体现.为解决此问题,本文提出了一种状态空间约减技术以加速验证过程.当一组路径被判定为不可行时,定位出导致其不可行的原因,得到一个组合不可行路径片段.由于包含同样片段的组合路径一定不可行,因此在后续的路径遍历里只需要枚举与检验不包含组合不可行路径片段的路径,从而大幅减少需要检验的路径数量.此外,为了有效地规避此类组合路径片段,我们设计了一种全新的基于SMT编码的有界图结构遍历方法.实验表明,该优化技术大幅地提升了面向路径有界可达性分析方法的性能,整体性能也超越了当前最先进的同类工具.

摘要：在海气耦合模式CCSM3基础上引入波致混合作用后建立了改进的海气耦合模式,设计了SST同化方案,并进行了2005,2006和2007年ENSO的集合后报和2008年气候预测数值试验.结果表明,改进的海气耦合模式的同化效果优于原来的海气耦合模式CCSM3的同化效果.集合后报与观测资料对比表明:改进的海气耦合模式能够较好地预测当年ENSO事件的发生情况,预报强度和成熟期特征与实际也较吻合,波致混合可以明显地提升气候模式的预测能力.在此基础上利用改进的海气耦合模式对2008年气候异常进行了集合预测,结果表明:始于2007年的LaNia事件将持续至2008年夏季,2008年ElNio事件出现概率很小;2008年夏季中国东南沿海、黄淮流域、东北东南部、新疆中南部以及青藏高原西部降水比往年偏多,局部可能出现洪涝,内蒙古西部、华南西南部以及青藏高原南部降水比往年偏少.我国沿海除两广地区和长江口附近地区外,均有不同程度的降水增加.