摘要：通过对3种混凝土在不同静水压力和持压时间下的压力渗透试验,研究了静水压力对混凝土中水分和氯离子渗透的影响及两者之间的关系。结果表明,压力条件下水灰比仍是影响混凝土渗水性能的重要参数,水灰比为0.5的混凝土渗水深度约为水灰比为0.4的1.3倍;双掺20%粉煤灰和矿粉显著提高混凝土的抗压力水渗能力,渗水深度约为普通混凝土的59.6%;活性混合材能够增强胶凝基体对氯离子的过滤和化学固化能力,即使存在外界压力作用,其抗氯离子渗透能力也大幅提高,渗透深度仅为未掺时的42.5%,优于其抗水渗效果;氯离子渗透滞后于水分渗透,两者并不同步,但数据统计存在较好的线性关系,利用混凝土抗压力水渗试验可间接评价其氯离子压力渗透性能。

摘要：介绍了一种将同类反应上升为合成反应知识和在计算机上实现反合成分析的方法.反合成分析是合成设计中最关键的一步,在本工作中采用了基于谋略键寻找的合成设计方法.它有逻辑宜于在计算机上实现的优点.为了实现这个方法,我们首次提出了一种能中肯地描述合成反应的计算模型--反应知识的分类模型.这一模型由三条规则定义:规则A--反应类型;规则B--发生反应的外部条件;规则C--不适宜采用这个反应的情况.这种计算模型能够将海量反应数据中最重要最基本的信息提炼出来,转换成计算机能处理的知识.它也包含有反应适用范围的信息,从而提高了析分过程的外推能力.

摘要：提取骨架是计算机断层扫描(CT)三维(3D)血管图像定量分析中的关键步骤,通常耗费数小时,直接制约了图像分析的定量研究。分析串行骨架细化算法各步骤中包含的可并行化操作,对其进行并行化设计,提出的算法通过Open MP多线程技术实现,并采用不同大小的三维CT血管图像进行分析和测试。根据测试结果,改进后的算法获取到的骨架准确可靠,对于1.95 GB大小的三维血管图像,使用16个线程进行并行运算时,可将运算时间由176min缩短到13 min,时间消耗上降低了一个数量级。因此,提出的方法可实现大型血管骨架的准确、高效提取,解决了大型三维图像分析问题中运算效率低这一瓶颈问题。

摘要：在介绍双端行波故障测距装置工作原理的基础上,分析了影响故障测距精度的主要因素。基于此,设计了双端行波故障测距装置性能测试方案,研究了测试系统、测试内容以及所用的仿真模型,并重点分析了线路和二次回路的模型。按照设计的方案对双端行波故障测距装置进行了实际测试,验证了所提方案的合理性和有效性。

摘要：FRP剥离是外贴FRP抗剪加固混凝土梁主要的破坏模式之一。以往研究中往往简单的将面内剪切试验得到的FRP-混凝土界面粘结滑移关系应用于外贴FRP抗剪加固梁的剥离承载力计算。外贴FRP抗剪加固梁中FRP下的混凝土的应力状态与面内剪切试验情况有较大差别,这对FRP-混凝土界面的力学性能具有较大的影响。因此,以往的方法高估了FRP条带的抗剪贡献。该文研究了混凝土多轴应力状态对FRP-混凝土界面性能的影响,并根据试验研究结果,提出了U形FRP加固混凝土梁中FRP剥离应变的折减系数。与试验结果的对比计算分析表明:使用该折减系数修正后的设计公式更加合理。

摘要：为充分发挥DSP实时信号处理能力强和FPGA的逻辑控制以及硬件可编程的优势,构建了一套基于FPGA和DSP的16电极ERT数据采集系统。模块化的设计保证了系统良好的可维护性和可扩展性。FPGA完成激励信号产生、前端信号处理、系统逻辑控制和正交序列解调,DSP完成数据的后处理和成像算法的实现,实现了两种控制器的优势互补,在一定程度上提高了ERT系统的速度和精度。

摘要：多孔硅的力学性质随多孔度有较大变化,因此可以用多孔硅材料来构建声子晶体结构。本文将在理论上讨论一维多孔硅声子晶体的带隙,设计出宽禁带声子晶体结构,分析其相关的物理特性。计算结果表明薄的高孔度插入层将获得宽的带隙,而声子晶体异质结能够获得更宽带隙。

摘要：电催化还原CO_(2)作为缓解能源危机和全球变暖的有效途径已成为催化领域的研究热点。然而,不同反应途径的氧化还原电位较为接近,使产物的选择性成为电催化还原CO_(2)所需解决的主要问题。迄今为止,在水性电解质中可实现CO_(2)选择性地转化为一氧化碳(CO)和甲酸(HCOOH)。本文简述了电催化还原CO_(2)制CO的机理,包括CO_(2)吸附过程、二电子转移过程和CO脱附过程。从贵金属的晶面设计、形貌调控和表面功能化对反应活性和产物选择性的影响,铁卟啉、钴酞菁和镍三嗪在还原CO_(2)为CO反应中的电子转移途径,非金属碳基材料中杂原子和碳基质间的耦合效应等方面,重点介绍了近年来贵金属催化剂、过渡金属络合物催化剂和非金属碳基材料催化剂的研究进展,总结了各类催化剂的优缺点。指出在三类电催化还原CO_(2)制CO的催化剂中,非金属碳材料具有较高的CO法拉第效率,尤其是非金属碳材料成本较低、制备简单、结构易调控,在电催化还原中具有潜在的应用优势,是有望实现商业化应用的新型催化剂的候选材料之一。

摘要：拔模操作在计算机辅助模具设计和制造领域有着非常广泛的应用.文中提出一个基于边界表示的拔模算法,克服了现有算法只能添加较小的拔模角度、保持模型连接关系不变的缺点.该算法首先生成一个初始的拔模体,然后对初始体的不合法面进行处理,最后采用一个启发式的搜索算法生成拔模体.与已有的算法比较,文中算法更加鲁棒,提高了拔模的造型能力,可适用于更多的情况.

摘要：持久性内存(persistent memory,PM)和远程直接内存访问(remote direct memory access,RDMA)具有高带宽、低延迟的硬件性能,这为设计高性能的分布式存储系统提供了新的机遇.然而,它们这些新的特性为高效的数据一致性管理引出了诸多问题:一方面,持久性内存数据一致性依赖于CPU主动执行硬件指令刷写缓存实现,而这类指令开销极高,严重影响CPU处理性能;另一方面,RDMA在服务器端CPU不参与的情况下直接读写服务器端内存,因此服务器端CPU无法主动感知数据写入事件以执行数据刷写操作,一旦系统崩溃会造成数据不一致的问题.针对以上2个问题,提出一种分布式持久性内存文件系统的一致性机制(crash consistency mechanism,CCM):首先设计实现了基于操作日志的一致性保障策略,通过将每次操作的元信息记录至日志,并持久化,以保障系统的一致性状态;其次,设计了一种客户端对服务器端的远程写一致性策略,在完成数据传输的同时使服务器端CPU主动执行数据刷写;最后实现了一种服务器端的数据异步持久化,以提高系统的处理能力.测试结果表明,基于CCM的文件系统写吞吐可达到网络裸带宽的88%.相比于现有系统Octopus,CCM性能下降控制在1%以内.