一种改进的安全环境演算及其行为等价关系研究

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型．移动环境演算是一种广为使用的描述移动计算的形式化模型．安全环境演算为每个动作原语增加了一个相应的协动作原语，从而解决了强干扰问题．然而，SA的语法定义在直觉上并不能很好地描述out原语的协动作，同时其代数性质也存在一些缺陷．针对这些问题，一方面调整了SA的归约关系，将出入动作的语义统一在“进入时检查”这一约定之下，使其更符合直觉含义．在此基础上，通过采用Honda—Yoshida的技术，定义开接口互模拟等价关系，修正了SA代数性质上的缺陷，并通过一个防火墙的饲子说明了改进的安全环境演算及其行为等价关系的合理性．     

基于忆阻器的感存算一体技术综述

忆阻器的低功耗、高响应、纳米级、非易失性等特性,在实现非冯·诺依曼计算架构中展现出巨大潜力。基于忆阻器的高密度横梁阵列可实现数据存储及并行计算一体的逻辑电路和类脑计算电路。此外,纳米传感器与忆阻器进一步集成,采集的信号直接送往忆阻器阵列进行运算和存储,感知、存储与计算一体化的芯片技术成为新的研究热点。该文对基于忆阻器的存算一体技术、感存算一体技术的研究现状进行综述,并给出研究前景展望。     

早期护理干预对妊娠期糖尿病妊娠结局的影响

目的 :探讨早期护理干预对妊娠期糖尿病妊娠结局的影响。方法 :以本院2017年3月-2018年3月妇产科收治的94例妊娠期糖尿病患者为研究对象,以双盲法为分配方法将其划分为对照组(常规护理方式)与实验组(早期护理干预方式),每组妊娠期糖尿病患者47例,比较两组患者的妊娠结局。结果 :实验组各项并发症发生率明显低于对照组,差异具有统计学意义(P 0.05);实验组新生儿各类并发症的发生率明显低于对照组,差异具有统计学意义(P 0.05);实验组产前孕检次数多于对照组,且体重增加少于对照组,差异具有统计学意义(P 0.05)。结论 :对妊娠期糖尿病患者实施早期护理干预对妊娠结局的影响效果显著,有利于降低患者及新生儿并发症发生率,并且可以有效控制产妇体重,因此,值得临床推广与应用。     

关于《矿井瓦斯涌出量预测方法》行业标准修订建议

通过长期研究、实测、计算机模拟,针对2006年颁布实施的《矿井瓦斯涌出量预测方法》行业标准没有对新回采工作面瓦斯涌出预测做出明确性的强制性的规定和要求,回采工作面瓦斯涌出预测方法没有明确考虑通风方式和瓦斯抽采对瓦斯涌出量影响的问题提出了对现行标准的修订建议和回采工作面瓦斯涌出预测新方法.     

基于BIM的古建筑构件信息的标准化及量化提取研究

我国现存大量古建筑,其信息存档是古建筑保护的一项重要内容,基于BIM的古建筑构件信息库的建立可以更快捷有效地保存古建信息,构件信息的合理标准化是信息库能否高效建立的基础。本文研究了古建构件信息的标准化以及关键信息的量化提取的方法,从而方便信息的重用及相应功能函数的建立,提高古建构件信息库的效率及功用。     

直接碳固体氧化物燃料电池研究进展:碳燃料和逆向Boudouard反应催化剂

直接碳固体氧化物燃料电池(direct carbon solid oxide fuel cells,DC-SOFCs)是一种能够将固体碳中的化学能直接转化为电能的新型能量转换装置,具有理论效率高、燃料来源广泛、成本低以及绿色环保等突出优势.根据DC-SOFC的工作原理,其运行过程是一个动力学控制步骤,即阳极侧CO的电化学氧化反应与碳燃料中逆向Boudouard反应的有效耦合保证了DC-SOFC的高效稳定运行.其中,速率相对较慢的逆向Boudouard反应是电池电化学性能的决定因素.因此,设计提高逆向Boudouard反应速率是促进DC-SOFC产业化进程的有效途径,也是发展趋势.国内外研究者采取了一系列措施来实现此目标,其中最简单有效的两种方法是:①在固体碳燃料中担载逆向Boudouard反应催化剂;②直接采用多孔结构且天然富含金属元素的生物质炭为燃料.基于近年来的前沿研究,本文综述了采用不同类型逆向Boudouard反应催化剂和碳燃料的DC-SOFCs最新研究进展,系统总结了DC-SOFCs的研究现状、面临的挑战和未来发展方向,以期为开发高性能、长寿命DC-SOFCs提供有价值的参考.     

水溶性Fe_3O_4纳米粒子的合成及其应用

以6-氨基己酸和邻苯二甲酸酐为原料反应得到前驱体6-(1,3-二氧代异吲哚啉-2-基)己酸达到保护保护氨基的目的。该前驱体再与铁盐反应生成含有氨基前体的金属前驱体6-(1,3-二氧代异吲哚啉-2-基)己酸合铁。通过高温热解法合成了油溶性Fe3O4磁性纳米粒子,再通过水合肼还原去保护获得了水溶性和氨基功能化的Fe3O4纳米粒子。在此基础上,探索了该纳米粒子在磁共振成像造影剂中的应用。     

不同伸长率下嵌段聚氨酯弹性体内部结构及其耐磨性能的变化

采用聚己二酸丁二醇酯(PBA)和聚四亚甲基醚二醇(PTMG)作为聚氨酯软段,与1,5-萘二异氰酸酯(NDI)、乙二胺(EDA)、丁二醇(BDO)反应合成了PBA-PTMG嵌段聚氨酯弹性体。通过示差扫描量热法分析了不同伸长率下聚氨酯弹性体内部结构及其耐磨性能的变化。结果表明,随着伸长率的增大,聚氨酯中软段相与硬段相间的氢键和C—N化学键发生断裂,降低了软、硬段相间的结合强度;当聚氨酯的伸长率小于10%时,PBA-PTMG嵌段聚氨酯弹性体具有良好的动态耐磨性能。     

聚氨酯-硬质合金YG8双层涂层的抗磨蚀性能研究

采用聚氨酯喷涂技术和电火花熔覆技术,在基体铸钢0Cr13Ni5Mo表面制备聚氨酯-硬质合金(YG8)双层涂层,表层为聚氨酯涂层,底层为电火花熔覆层YG8;采用扫描电子显微镜(SEM)观察底层熔覆层与基体铸钢结合面的横截面形貌图,发现熔覆层由白亮层、过渡层组成,表面光亮粗糙,与基体冶金结合;并进行磨擦磨损实验和冲蚀实验。结果表明,双层涂层有较小的摩擦系数,抗冲蚀性是基体抗冲蚀性的3.87倍。该双层涂层兼有软、硬涂层的优点,适用于关键零部件的表面防护和二次修复。