基于双线性映射的公共可验证外包计算方案

已有可验证计算方案存在以下不足:一是只有计算委托方才可以对计算结果进行验证;二是即使计算委托方可以授权其他用户进行验证,但也需要将自身验证密钥交给授权用户.针对上述不足,提出一个支持公共验证的外包计算模型,给出其算法形式化定义及安全模型,并利用双线性映射提出了一个包含三方实体的公共可验证外包计算方案,给出了方案算法的具体描述、实体间的通信协议以及效率分析,方案验证无需私钥参与,实现了公共可验证性.在可证安全模型下证明该方案具有不可伪造性,其安全性可归约于lSBDH问题的困难性.     

求解广义Burgers方程的一种迭代方法(英文)

在再生核空间W(2,3)中给出了求解广义Burgers方程的一种迭代方法.证明了近似解un(t,x)收敛到精确解u(t,x).该方法是大范围收敛,即对任意的初始函数u1(t,x),un(t,x)都收敛到精确解u(t,x).并且这种迭代方法也可以用来解其它非线性算子方程.     

新型Laves相Mg(Cu_(1-x)Al_x)_2(x=0,0.25)的制备及表征

采用机械活化+热压烧结法制备新型Laves相Mg(Cu1-xAlx)2(x=0,0.25),通过XRD、SEM及EPMA分析烧结产物的物相、微观形貌和微区成分,并用微压痕法测试其硬度及杨氏模量.结果表明,添加Al元素后,未改变MgCu2的晶体结构,Al替代Cu的原子位置,晶格常数增大,衍射峰向低角度偏移;Mg(Cu1-xAlx)2(x=0.25)的致密性、硬度及杨氏模量均大于MgCu2,其断口表面有少量韧性撕裂棱存在,韧性提高.说明用轻质、抗氧化性能高的Al元素进行合金化,能够使MgCu2结构Laves相性能提高.     

裂解汽油一段加氢催化剂制备工艺研究

以α-Al2O3作载体,考察了催化剂制备过程中加入表面活性剂、改变钯盐母体种类以及洗涤阴离子的方式对催化剂加氢性能的影响,并对催化剂的表面结构及Pd的分散性进行了表征。结果表明:在纯烃加氢反应中,催化剂制备中加入PEC-400、使用硝酸钯母体且不洗涤阴离子的情况下,催化剂单独抗硫性能和同时抗硫、氮中毒能力均有提高。采用硝酸钯为活性金属母体,可制备出具有高抗硫中毒及同时抗硫、氮中毒性能的催化剂。     

三江平原地区农村公共健身文化服务体系建设保障机制研究

以社会主义新农村建设为切入点,以黑龙江省三江平原地区农村公共健身文化服务体系建设为案例,通过对省农垦总局红兴隆农场、建三江农场,佳木斯地区富锦市、桦南县,双鸭山地区饶河县、哈尔滨地区依兰县等试点跟踪调查与分析,提出适合农村公共健身文化服务体系的保障机制,研究认为:农村公共健身文化服务体系建设保障机制对于促进社会经济繁荣、提升社会主义新农村建设步伐及加快推进全面建成小康社会的发展进程具有重要作用和战略意义.     

上海白龙港污水处理厂专用RTU设计

针对上海白龙港污水处理厂厂外闸门井信号采集改造项目要求提出一种专用远程终端控制系统(RTU)设计方案.该RTU在硬件上以Cortex-M3微处理器为核心,采用一系列的隔离抗干扰措施,保证系统的高性能低成本以及运行的稳定性;软件上采用ModBus TCP/IP协议通过工业以太网将现场采集到的数据传输给上位机,实现了远程监控.详细描述了RTU的硬件设计方法及软件实现原理,最后给出了通信的测试结果.     

联产二氯乙酸甲酯和巯基乙酸的研究

以氯乙酸母液为原料 ,采用硫代硫酸钠法将其转化为二氯乙酸甲酯和巯基乙酸 ;在最佳反应条件下 ,可得到纯度 (质量分数 )为 99.6%的高纯二氯乙酸甲酯 ,收率 (质量分数 )高达94 .5% ,同时获得收率为 94 .8%的巯基乙酸。该工艺简单 ,成本低 ,并可变废为宝 ,减少污染     

一阶完全非线性微分方程f(x,u,u')=g(x)的初值问题的数值解法(英文)

在再生核空间讨论了一阶完全非线性微分方程f(x,u,u')=g(x)的初值问题的数值解。利用再生核空间中再生核的再生性质,采用升元手段将完全非线性常微分方程转化为线性偏微分方程进行求解。将初始条件齐次化后融入到二维再生核空间中,求得一个带有未知量的解的表达式,然后通过最小二乘法的技巧,获得非线性算子方程的近似解。数值算例表明这个方法是有效的。     

Pd/C催化选择性加氢脱氯制备氯乙酸甲酯

以负载型金属钯为催化剂对氯乙酸母液混酯进行选择性加氢脱氯，从而制备高纯度的氯乙酸甲酯，并就该反应的工艺条件进行了初步探索。结果表明，当金属钯的载量（质量分数）达到1.0%，催化反应温度为145℃，氢气气速达到100-120mL/min时，反应效果达到最佳，不仅二氯乙酸甲酯得到了完全转化，而且选择性达到95%。