基于．Net的煤矿安全管理信息系统

在详细分析了当前国内外在煤矿安全管理信息系统建设现状及存在问题的基础上,提出了在．net框架下,运用GIS和SMS技术,结合正交软件体系结构模块化的设计思想,给出了以事故监控和事故救援管理为主要功能的基于GIS和SMS技术的系统设计方案,详细分析了SMS组件设计的技术路线。     

超高性能混凝土制备关键技术及其工程应用实践

超高性能混凝土具备超高强、超高韧和超高耐久性等显著特性,可大幅促进土木工程的轻量化、高层化、大跨化和高耐久化,具有广阔的应用前景。然而,大规模应用超高性能混凝土过程中仍面临着原材料取材苛刻、施工粘度大、自收缩大等技术瓶颈。简要介绍了超高性能混凝土超高强、低粘度、低收缩、高韧性和高弹模的制备关键技术,及其应用于预制桥面板和板梁湿接缝的工程实践。     

锅炉筒壳与水墙管接头的焊接修复

本公司使用的热水锅炉,在筒壳与水墙管的焊接接头处,因多年运行产生水垢阻塞和焊接缺陷的暴露,致使水墙管锈蚀严重,单使锅炉降压运行甚至停止使用.为了提高设备的利用率,决定对筒壳与水墙管接头处进行焊接修复.     

固体光气法合成氢化苯二亚甲基二异氰酸酯研究

以一般化学品固体光气和1,3-环己二甲胺为主要原料,采用冷光-温光-热光三阶段反应合成氢化苯二亚甲基二异氰酸酯。考察了物料的配比、反应温度、反应时长及引入温光反应阶段的影响。结果表明,1,3-环己二甲胺和固体光气的摩尔比为1:1.00,温光反应阶段在55℃持续反应1.0 h,热光反应阶段在120℃持续反应5.0 h,氢化苯二亚甲基二异氰酸酯的产率为84.37%。     

基于局部信息的单播容错路由算法

对n维局部扭曲立方体存在边故障的情况下,基于局部信息的思想,通过存储其邻接节点的边故障信息数组并引入消息回溯机制,设计了一种单播容错路由算法。仿真实验表明,当有大量的边发生故障时,该算法也能成功地实现消息传递。     

规模化拌合超高性能混凝土流动性研究

超高性能混凝土(UHPC)具备高工作性、高强度、高韧性和高耐久性等优越性能,可满足土木工程轻量化、高层化、大跨化和高耐久化的要求,应用前景广阔.然而UHPC的应用受其规模化制备条件限制.通过改变搅拌机型制和搅拌制度,研究不同搅拌机型制和搅拌制度对UHPC拌合物工作性的影响,分析新拌UHPC物理性能及其硬化后力学性能,结...     

高沸醇木质素环氧树脂的合成与性能研究

利用高沸醇木质素的化学活性,直接与环氧氯丙烷反应,生成木质素环氧树脂和木质素改性双酚A型环氧树脂,用环氧值、红外光谱、TGA和DSC等对树脂进行表征,并与未改性的双酚A型环氧树脂进行对比。结果表明,高沸醇木质素很容易合成木质素环氧树脂,其最佳合成条件是:n(ECH)∶n(-OH)=8,温度55～60℃,碱浓度为5%;高沸醇木质素环氧树脂能显著提高环氧树脂的耐溶剂性和耐热性。     

基于WinCE的嵌入式消防数据终端设计

在建立城市规模的火灾自动报警联网监控系统的过程中,为了解决楼宇火灾探测报警系统设备生产厂家采用的通讯协议各异,且基本不具备联网通信功能的问题,本文以惠普重庆软件研发基地火灾报警联网监控系统的建设为例,提出一种新的嵌入式消防数据终端设计.该设计基于WinCE嵌入式系统架构,成功地把多种火灾报警通讯协议转换为统一的数据通讯格式,从而实现对消防设备的数据采集、网络传输及设备联动控制.     

面向外包服务的可验证技术研究进展

随着数字经济时代的到来,数据已成为重要生产要素,将数据外包给第三方存储、管理、分析、计算等应用越来越广泛,随之而来的外包数据、外包计算等外包服务的可信性问题也日益突出,可验证技术被视为判定外包服务可信的一种有效且具有广泛应用前景的技术.该技术发展迅速、研究内容丰富、技术多样、种类繁多,且随着区块链、人工智能、隐私计算等新型外包服务需求的出现,为可验证技术带来了新的挑战和发展契机.本文对面向外包服务的可验证技术研究进展进行了梳理与总结.首先梳理总结给出了面向外包服务的可验证技术框架、分类方法、安全目标与评价体系.接着从外包数据和外包计算两个角度给出可验证技术的形式化定义,并分别论述其典型的可验证方案.然后从外包数据的角度,以验证数据类型为主线结合实现的功能和方法分别详细论述了不同数据类型、不同场景、不同实现方式的外包数据持有性验证和完整性验证技术;从外包计算的角度,根据外包计算类型的不同,总结归纳了5种典型外包计算的可验证技术特点及研究进展,并基于提出的评价体系对典型方案进行了详细的对比分析.最后结合新兴技术和应用热点,展望了可验证技术在前沿方向上的发展趋势、应用前景及其面临的挑战.     

空气源热泵绿色建材产品分级认证实施要点

本文阐述对空气源热泵产品开展绿色建材产品分级认证的目的 和意义,介绍了认证评价具体要求,并就认证关键点的识别与控制进行了分析.最后对认证实施过程中企业遇到的常见问题进行说明.