聚羧酸高性能减水剂在高速铁路高性能混凝土中的试验与应用

为了提高我国高速铁路的施工质量,我们应该对高性能混凝土中的聚羧酸高性能减水剂的应用进行试验,使其发挥最大的效益。本文先介绍了在高路铁路建设过程中高性能混凝土中对各种外加剂的要求,并对高速铁路应用聚羧酸高性能减水剂的相关实例进行了描述,为我国重大工程及客运专线建设过程中高性能减水剂的应用提供了参考和借鉴。     

倾斜压差移动床中的气固流动

应用散体力学及多相流理论,分析倾斜压差移动床中的气固流动,推导出倾斜压差移动床的力平衡方程和空隙率方程,从而使计算固定床压降及气体流率的Ergun方程、Lewis方程及Kwank方程,可以普遍地适用于垂直和倾斜的移动床压降及气体流率的计算。 选用三种颗料状物料,在四种不同倾斜度的斜管中测定了不同负压差和固体流率条件下的气体流率。计算结果与大量实验数据吻合。     

基于正则表达式、程序插桩和代码替换的以太坊智能合约bug检测和修复方法

作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上.由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要.当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug.这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug.然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响.此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug.为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序插桩和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的.文中进行了 一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能.     

平贝母醇提物对小鼠免疫功能的影响

应用流式细胞术测定平贝母醇提物对小鼠免疫功能的影响.结果显示,平贝母醇提物对小鼠外周血T淋巴细胞CD69~+/CD~(3+)比值、腹腔巨噬细胞吞噬荧光微球吞噬百分率具有显著性影响(P0.05),对脾脏NK细胞CD69~+/NKG2D~+比值具有极显著性影响(P0.01).这表明平贝母醇提物具有增强小鼠免疫功能的作用.     

基于System Generator的内插位同步法

针对数字接收机中如何全数字地实现位同步,设计了一种内插位同步法。利用内插与Gardner算法相结合的原理设计位同步,通过System Generator进行建模仿真,并直接生成代码下载到FPGA实现位同步。利用QPSK信号进行仿真分析,FPGA硬件协同仿真进行验证。实验结果表明,内插位同步法具有很好的位同步效果。     

“九五”期间我国焊接标准发展的展望

1 我国焊接标准的基本现状我国的焊接标准化工作由全国焊接标准化技术委员会归口负责.截止至1996年底、我国的焊接标准数量已达110项,其中国家标准66项、行业标准44项.目前正在进行的制、修订项目10项.1994～1995年度,机械工业标准体系为了适应市场经济的需求进行了全面调整.调整后我国的焊接标准体系在体系结构、项目对应及实用性等方面基本上达到了与国际相接轨的要求.现有的焊接标准共划分为:基础、焊接材料、钎焊、试验检验、工艺方法、安全卫生、切割等七大类.在现有的110项标准中,约70%左右的标准在不同程度上采用了国际标准或国外先进标准.就采标对象而言,基础类标准中的符号、代号、表示方法标准主要采用了国际标准;焊接材料标准主要以美、日标准为采用对象;其它各类标准则采用了ISO及各国标准.     

Morlet 小波在地表物候遥感识别中尺度的选取与应用

地表物候是人类了解地球生态系统的必要参数,也是动植物保护、农耕等活动的重要依据。使用遥感数据进行地表物候提取为大尺度的地表物候变化监测提供了一种有效途径。研究发现目前应用最广泛的非对称性高斯函数拟合法和双 Logistic 函数拟合法存在一定的缺陷,尤其是在提取 NDVI 峰值谷值和物候周期不明显区域 (如干旱地区、沙地) 的物候参数时存在严重的误差,而 morlet 小波在分析地表年际变化的周期特征方面表现良好。本文使用 morlet 小波对青海湖流域 2003-2014 年的 MODIS 数据进行分析,得到地表物候在该时间段内的年度变化与趋势,进行不同区域、不同时间的差异性分析,发现青海湖流域的地表物候期整体都略有提前,但生长季的长度呈延长趋势,认为青海湖流域的地表物候整体上响应全球变暖的趋势。中部地区的生长季长度大于高海拔、高纬度区域和沙地区域,认为青海湖流域的中部地区是最适合动植物生长、活动的范围。     

圣保罗生物能源 e-Science 先进科学培训班

圣保罗生物能源 e-Science 先进科学培训是由巴西圣保罗研究基金会 (FAPESP, São Paulo ResearchFoundation)① 发起的,旨在通过组织学习和培训,汇集世界各地优秀的专家、学生和博士后,为科研工作者提供交流学习的机会,以利用当前先进的计算技术推进生物能源的发展.这一举措还旨在为巴西的科研机构和大学吸引最有前途的准研究生、博士后和教师.     

基于嵌入式Linux的远程抄表系统集中器的实现①

通过分析比较国内外各种现有远程抄表系统的优点和不足,结合当前计算机技术和通信技术的发展和作者的实践经验,实现一种基于S3C2440处理器和嵌入式Linux的设计方案;具体说明了该方案的系统架构,并详细介绍了集中器嵌入式软件实现的关键技术。     

基于网络表的数据收集转发器的分析与设计

数据收集转发器是一种对表具进行连续、长时间、自动、实时监测,并进行分析、处理、存储、数据转发以及自动报警的中继设备。介绍了数据收集转发器的硬件结构,提出了数据收集转发器的设计方案,可以广泛应用于燃气表数据的远程无线集抄。