冲泻区水动力特性的数值分析

基于三维非稳态的Navier．Stokes方程，采用有限体积法进行数值离散，在构造高分辨率STACS格式的VOF方法的基础上，建立基于气液两相流的三维自由面流动模型，并基于该模型对三维剪切流场和圆柱水体坍塌进行了三维模拟，检验其数值精度．应用该模型数值研究冲泻区内涌波（bore）在均匀斜坡上的动态传播过程．对上爬水流自由面水位高度与实验数值进行对比，结果显示数值解与实验解吻合较好，模型能很好描述水流的掺气运动．数值分析了涌波崩塌（BoreCollapse）、上冲流（Uprush）和回落流（Backwash）等过程中的自由水面、瞬时流速及床面最大剪切应力的时空分布．结果表明，冲泻区水动力结构时空变化非常复杂，模型能捕捉到高速薄层水流结构，优于前人的数值结果，研究有利于进一步了解冲泻区内的泥沙输运规律及岸滩演变机制．     

风险投资与高技术产业R＆D全要素生产率增长——基于中国数据的实证

利用1995—2011年风险投资与高技术产业R＆D的相关数据，采用DEA-Malmquist指数法、典型相关分析法和多元回归分析法等计量方法，对风险投资与高技术产业R＆D全要素生产率关系进行实证研究。结果显示：风险投资与技术进步指数、技术效率改善指数及全要素生产率指数具有很强相关性，风险投资对R＆D全要素生产率有显著的正向影响；整体上，风险投资对全要素生产率贡献程度在0．1个单位，年度风险投资额对全要素生产率的影响大于风险投资总规模；R＆D内部经费和新产品开发经费对R＆D全要素生产率具有显著的促进作用，是技术进步与创新直接推动因素。     

解聚复肾宁对糖尿病肾病大鼠TNF—OL、MCP-1的影响

目的观察解聚复肾宁（Jiejufushenning，JJFSN）对糖尿病（Diabetes mellitus，DM）大鼠肾组织肿瘤坏死因子-α（Tumorneerosisfactor-alpha，TNF-α）、单核细胞趋化蛋白-1（Monocyte chemoattractant protein-1，MCP-1）和血清TNF-α的影响，探讨其肾保护作用机制。方法腹腔注射链脲佐菌素（Streptozotocin，STZ）建立SD大鼠DM模型，将成模DM大鼠随机分为3组：DM模型组（B组）、JJFSN组（C组）、厄贝沙坦（Irbesartan）组（D组），另设正常对照组（A组）。采用相应干预措施处理12周。常规方法测定12周末各组大鼠空腹血糖（FBG）、血尿素氮（BUN）、血肌酐（Scr）、肾重／体重（KW／BW）、24h尿蛋白（24huFro）；放免法测血清TNF-α含量：免疫组织化学方法测肾组织TNF—Ot、MCP-1的表达；PAS染色评估细胞外基质；电镜观察肾组织超微结构改变。结果与A组相比．B组大鼠FBG、BUN、Scr、KW／BW、24huPro及血清TNF-α升高（P〈0．05），肾组织TNF—Ot、MCP-1表达明显增高（P〈0．05）；肾组织超微结构明显异常；C组和D组上述指标显著改善（P〈0．05），肾组织超微结构异常改善。结论竹FSN能延缓DM大鼠肾损害进程，其机制可能与抑制TNF-α、MCP-1上调有关。     

基于Agent的网构软件模型研究

以开放网络环境下的网构软件需求为切入点，基于软件Agent的原理、方法和技术，系统分析了基于面向对象方法学的经典软件结构模型及其支撑技术的限制，提出了一种开放协同软件模型来作为网构软件的基础模型．结合其关键支撑技术的研究，提出了基于移动Agent的协同程序设计技术、多模式交互机制及基于Agent中间件模型和面向体系结构的协同程序设计方法，并探讨其在主流软件技术中的应用，初步形成了一种适合于开放网络环境需求的技术框架体系，在此基础上，提出了一条建立基于Agent的网构软件模型的技术途径，即网构软件模型=开放协同模型＋环境驱动模型＋智能可信模型，从而为进一步的研究工作奠定了基础．     

固体火箭喷管烧蚀控制机制的判别

固体火箭喷管喉衬材料的烧蚀是化学反应与传热、传质相耦合的过程．基于气动热力学、热化学动力学和传热学，建立了热化学烧蚀模型；并对H2含量、频率因子、活化能引起喷管内热流场与化学烧蚀的变化进行了数值模拟．计算结果表明：在高温高压燃烧环境下，H2频率因子与活化能的变化引起烧蚀机制的改变，但H2频率因子的变化影响并不明显；固体火箭喷管烧蚀控制机制的判别应由喷管内燃气中H2的含量与烧蚀环境下H2活化能来决定．该研究结果为固体火箭的热防护设计提供参考．     

孔隙介质中应力波传播机制的实验研究

采用活性粉末混凝土和聚苯乙烯材料研制了具有与天然砂岩相似孔隙分布特征和物理力学性质的孔隙体模型，通过不同孔隙率模型的SHPB冲击实验和CT扫描实验观察和分析了孔隙体中应力波的传播特性以及传播过程中内部孔隙和固体介质的变化．研究表明：1）孔隙率显著影响应力波的传播特征．相同应变率时，孔隙率越大，反射波幅越大、波峰越多、透射波幅越小；孔隙率降至5％时反射波接近于单峰；应变率越高上述现象越明显；2）孔隙体的能量耗散率WJ／W1随孔隙率增加而线性增加，WJ／W1对应变率较敏感；3）应力波传播性质和能量耗散行为的差异与孔隙的演化机制有关．孔隙率低于10％时内部机制表现为固体介质破裂或形成新孔隙，应力波能量主要被消耗形成新开裂面或新孔隙，原有孔隙变形不大．此过程中应变率对改变孔隙形状的作用不明显；孔隙率高于15％时孔隙演化机制与应变率有关，低应变率时仍以固体介质开裂或形成新孔隙为主，但新增开裂面或新孔隙的数量相对较少；高应变率时内部结构变化同时存在固体介质开裂和孔隙变形两种机制，其中孔隙变形占较大比例，应力波能量大部分被消耗于孔隙变形，表明只有在高孔隙率和高应变率条件下内部孔隙才会发生明显的变形．孔隙离心率e可以较好地刻画应力波作用下孔隙的变形．     

互联网软件的可信机理

通过分析互联网软件的可信内涵及互联网应用的基本特征，指出：一方面，在开放、动态的互联网环境下，软件的身份可信、能力可信都面临新的问题和挑战；另一方面，基于自主协同运行模式的新型网络应用需要对软件群体行为进行有效约束，以保障其行为可信．在此基础上，给出了一种面向互联网虚拟计算环境（iVCE）的互联网软件可信概念模型，并提出集身份可信、能力可信和行为可信为一体的网络软件可信保证体系，并以跨域的授权管理机制、高可用的服务保证机制和面向自主协同的行为激励机制为突破口，研究和探索互联网软件可信问题的技术途径．     

一种以软件体系结构为中心的网构软件开发方法

作为Internet环境下的一种新型的软件形态，网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战．作为一种以软件复用为核心思想、以软件构件为基本实体、以软件体系结构为中心、以软件中间件为运行支撑的软件开发方法学，ABC（architecture based component composition）方法能够有力支持网构软件的开发．其中，基于特征的领域建模以及特定应用的特征模型剪裁方法和技术，反映了网构软件在问题空间实现自底向上、从“无序”到“有序”的构造过程；基于自适应软件体系结构的分析与设计方法，支持自适应网构软件的开发；具有反射机制、支持自主构件的中间件平台则为网构软件的运行，尤其是网构软件结构的自适应和实体的自适应提供支撑机制．     

胰岛素信号通路PI3K／Akt对海马神经元β-淀粉样前体蛋白裂解酶1mRNA水平的影晌

目的通过胰岛素和磷脂酰肌醇-3激酶（P13K）抑制剂渥曼青霉素（wortmannin）对P13K／丝氨酸苏氨酸蛋白激酶（P13K／Akt）信号通路的激活和抑制作用，观察P13K／Akt信号通路对海马神经元β-淀粉样前体蛋白裂解酶1（BACEl）mRNA水平表达的影响。方法20只sD大鼠随机分为空白对照组、假手术组、胰岛素组和渥曼青霉素组，海马立体定向注射胰岛素和P13K抑制剂渥曼青霉素。逆转录一聚合酶链反应（RT-PCR）检测P13K／Akt信号传导下游蛋白Akt以及BACEImRNA水平。结果注射胰岛素的海马P13K信号通路下游信号分子：AktmRNA表达上调（分别较空白和阴性对照组P=0．047，P=0．002），而BACElmRNA表达下调（分别较空白和阴性对照组P=0．004，P=0．01）。渥曼青霉素组的P13K下游信号分子AktmRNA表达明显被抑制（分别较空白和阴性对照组P=0．002，P=0．039），同时BACEImRNA的表达较对照组上调（分别较空白和阴性对照组P=0．039，P=0．018）。结论胰岛素信号通路P13K／AM可以调节BACEl的转录水平参与阿尔茨海默病的发病机制。     

应力波作用下岩石类孔隙介质变形破坏与能量耗散机制的数值模拟研究

通过CT扫描、X射线衍射和物理实验等方法获取了天然砂岩的孔隙结构参数、矿物组成和物理力学性质，研制了具有与天然砂岩相同的孔隙结构特征和基体性质、但孔隙率不同的岩石类孔隙介质的物理模型．利用孔隙介质物理模型的CT扫描图像和MIMICS构建了具有不同孔隙率的孔隙结构三维有限元模型．通过设定应力波动理论假设的条件模拟了孔隙介质SHPB冲击破坏过程，分析了波动应力作用下岩石类孔隙介质的动力学响应、应力传递模式和变形破坏机制．研究表明：利用孔隙介质三维有限元模型可以直观定量地分析应力波传播过程中岩石类介质内部孔隙和基体的应力、应变状态及变形破坏机制．一定压强和波速的应力波传播过程中，孔隙率低于15％的岩石介质内部的孔隙未发生明显变形，变形主要体现为孔隙周边基体的微塑性（剪切变形）和开裂（横向拉应变），以及孔隙周边开裂区域的相互连通．剪应力使基体单元产生微塑性，拉应力使基体单元开裂．孔隙周边基体单元的破坏及相互贯通主要是由于基体单元的横向拉应力或拉应变超过材料的极限值．模拟得到的孔隙介质的应力波传播规律、变形与破坏模式以及能量耗散性质与物理模型的实验结果相吻合．本文研究为解析岩石类孔隙介质的复杂多变动力学响应的内在机制、应力传递模式、变形破坏与致灾机理提供了参考．     

一个网构软件可信实体模型及基于评估的信任度量

对于运行在开放、动态、难控的互联网环境的网构软件，其可信性保障与管理是一个重要课题．目前的研究多是基于信任网络思想的信任度量及演化模型，这种模型对于网构软件来说，在信任的来源、实体间信任关系的约束、信任传递参数的设置方面仍存在着不足．因此，本文引入可信计算中信任链模型的思想，提出了一个网构软件可信智能实体模型，并在此基础上构建了基于评估的信任度量方法．首先通过动态自省、显式自明和自主演化的机制保障了实体本身的可信，建立了信任的基点；并给出了形式化的描述及交互行为的动态监测；然后通过建立Bayes网络综合推荐信任并使用评估方法加以修正，以精确计算信任传递过程中的衰减参数，建立了信任链传递过程中的可信认证机制；最后通过实验验证了所提出方法的正确性．     

单纯及丙泊酚联合电休克对抑郁大鼠海马TNF—α表达的影响

目的探讨单纯电休克及丙泊酚联合电休克对抑郁大鼠电休克治疗效果及海马内TNF-α表达的影响。方法50只成年Wistar大鼠随机分为5组（n=10）：正常对照组（C组）、抑郁组（D组）、单纯丙泊酚组（DP组）、单纯电休克组（E组）、丙泊酚联合电休克组（M组）。C组正常饲养，其余采用经典的慢性不可预见性应激法建立抑郁模型。建模成功后，E组直接行电休克治疗，M组腹腔注射丙泊酚90mg／kg，麻醉产生效应后行电休克治疗，每日进行以上处理1次，连续7日。以Open—field法和糖水消耗实验进行行为学评分。实验完成后处死大鼠，用免疫组化染色法检测TNF—α受体蛋白的表达；ELISA法海马TNF-α的含量，RT-PCR法测海马TNF—α mRNA表达。结果E组和M组大鼠的行为学评分高于D组和DP组，且M组高于E组（P〈0．05）；D组和DP组海马内TNF-α含量以及mRNA的表达高于其它各组（P〈0．05），M组海马内TNF—α含量以及mRNA的表达低于E组（P〈0．05），与C组差异无统计学意义（P〉0．05）；D组和DP组海马区TNF-α受体表达量低于C组（P〈0．05），M组的表达量接近于C组，但高于E组（P〈0．05）。结论慢性应激使大鼠海马内TNF—α含量升高及其受体表达下调，从而产生抑郁症。丙泊酚可以改善电休克抑郁症状可能与进一步下调抑郁大鼠海马内TNF—α的含量和上调其受体表达有关。     

跨世纪国际地球科学研究前沿地壳中流体作用的地球化学研究

流体决定了地壳中的物质和能量的运动与交换，因而它在很大程序上又直接影响和控着地人部的岩浆作用、变质作用、构造作用和成矿作用等重要地质作用过程及其化学地球动力学机制。流体地球化学研究意义在于：（１）发展板块的构造理论，建立地球动力学模式；（２）重新认识地壳中发生的各种作用过程，检验和发展当代地球化学理论；（３）为解决资源、环境和灾害问题提供亲的地球化学知识。流体地球化学研究拟解决的关键问题有：（１）     

命题规则知识库更新的一种代数方法

知识库更新的一个重要主题就是寻找高效的实现方法，为此人们做了很多工作，但还没有很好地解决，代数方法具有良好的性质和实现方法，文中给出了基于规则知识库更新的代数方法．首先讨论了如何把知识库更新和协调性检查转化为代数问题．知识库中的规则用Petri网来表示，事实用Petri网的标识表示，这样把知识库更新和协调性检查转化为Petri网的可达性问题．在做了这个转化以后，协调性检查就变成了可达性问题，可达性的判断可以用代数的方法解决，同样，矛盾性检查也可以用代数方法实现，在此基础上，给出了基于规则命题知识库的更新方法，以及扩充逻辑程序知识库的更新方法，和相关的工作进行比较，所提出的方法更实用，效率更高。     

集成建模环境研究及其在黑河流域的初步应用

环境和水问题是跨学科问题，解决这些问题需要集成多学科模型．建模环境提供了有效的模型集成技术手段．现有建模环境由于技术设计和学科侧重点的原因，无法满足当前的需求，比如无法集成知识系统形成智能建模环境．本文建立了用于水文和地表过程领域的建模环境，采用高效灵活的模块控制和数据传递机制，实现了灵活的模块重用性和扩展性．本文介绍了本建模环境的体系结构、模块组件化表示、模块控制和数据传递、模块连接和重用等关键技术．最后，作为一个应用实例，在建模环境的支持下使用Noah陆面过程模型的蒸散发模块替换了TOPMODEL的蒸发模块，演示了基于建模环境的模型集成和模型比较是高效、可靠、有意义的．     

基于本体的农业知识管理系统构建方法

本体作为对概念、概念与概念间相互关系的形式化表达,在农业信息分类、信息库和知识库构建、智能搜索引擎研发以及信息协同服务等方面具有广泛的应用前景.文中提出了包括基于本体的知识获取、知识表示、知识组织、知识挖掘等功能的农业知识管理系统构建框架,探索了关键技术、构建工具和应用,同时对下一步继续完善理论研究、智能仿真知识服务研究提出展望.     

TCVI工艺制备C／C复合材料的多物理场耦合模拟

采用2D轴对称瞬态模型对热梯度化学气相渗积（TCVI）22艺制备高性能C／C复合材料过程进行模拟．模型包括对流、热传导、扩散、沉积反应和孔隙演变等物理化学过程．采用有限元方法实现了多物理场迭代耦合计算，得到了各时刻流场、温度场和密度分布规律，研究表明对流对温度场分布具有重要影响．对于采用TCVI工艺致密化100h的C／C复合材料，对比实验测得的预制体平均密度径向分布，计算结果与实验结果符合一致规律，验证了模型的可靠性和模拟计算的预测能力．     

一种形式化的实时协议互操作性测试方法

协议互操作性测试是一种保证网络通信协议实现质量的重要技术．下一代互联网协议需要提供对实时应用的有效支持，然而已有互操作性测试相关研究中并没有考虑协议中的时间约束，现有互操作性测试技术很难应用于实时协议互操作性测试中．文中提出了一种形式化的实时协议互操作性测试方法．首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA（通信多端口时间输入输出自动机），基于该模型定义了时间互操作性关系；然后提出一种以时间互操作性关系为指导的测试生成方法，根据被测系统模型生成参数化测试行为树，在该方法中还集成了可执行性预判决机制，在一定程度上缓解了状态空间爆炸问题；最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中，验证了该方法的可行性．     

线性定常系统特征模型的证明

研究线性定常系统的特征建模问题，证明了多输入多输出线性定常系统的特征模型可以用二阶时变差分方程组描述，并且刻画了特征模型的建模误差，在系统不含零实部极点的情形下，在稳态和暂态时建模误差分别为0和O（h），一般情形下，分别为O（h^2）和D（h）．该证明表明特征建模与一般模型降阶方法是本质不同的，特征模型是把高阶模型的有关信息压缩到几个特征参量之中，并没有丢失系统信息．     

非下采样Contourlet HMT模型

非下采样Contourlet变换（NSCT）不仅具有类似传统小波变换和Contourlet变换的多尺度和多方向特性，而且还具有良好的平移不变特性．文中对NSCT变换系数进行研究，获得NSCT变换的方向子带系数同样具有持续性和聚集性的结论；在此基础上结合隐Markov树模型，建立了一种新的基于NSCT域的隐Markov树模型NSCT—HMT，并且给出了该模型的参数结构以及模型参数的训练方法；最后将所提出的模型应用于图像去噪中取得了很好的仿真效果．