基于全同态加密的可证数据持有方案

在使用全同态加密保护数据安全与隐私的云存储服务中,全同态加密体制密文扩张率大的特点将严重影响远程数据完整性验证的效率。基于全同态加密体制,提出一种带有数据快速还原功能的高效可证数据持有方案。使用具备全同态属性的标签结构,结合云计算中计算外包的思想,将计算和存储开销由用户转移至服务器,同时借助密文同态属性减小交互过程中的通信开销。分析与比较表明,在使用全同态体制进行数据加密的云存储服务中,新方案与原有方案相比,具有明显的效率优势。     

碳纤维增强氮化物基复合材料的制备及其性能表征

合成了全氢聚硅氮烷和硼氮烷的混杂先驱体并对其结构进行了表征；以混杂先驱体和3D碳纤维编制体为原料，采用先驱体浸渍-裂解（PIP）工艺制得了碳纤维增强氮化硼．氮化硅混杂基体的复合材料，并对复合材料的力学性能和抗烧蚀性能进行了研究。结果表明，混杂先驱体中含有B—N，B—H，Si—N，Si—H，N—H等结构，无其它杂质出现；随着PIP工艺循环次数的增加，复合材料的密度随之提高：当进行4个循环时基本致密，密度达到1．50g／cm^3，弯曲强度达到156．4MPa；轨道模拟实验显示复合材料具有优异的抗烧蚀性能。     

燃料和基板对火焰法制备一维碳纳米材料的影响

以乙醇、甲醇及液化石油气为碳源，低碳钢及含Ni合金钢等为基板，采用火焰法成功地制备出了一维碳纳米材料，包括碳纳米管（CNTs）和一种新的“实心”碳纳米纤维（CNFs）。利用场发射枪高分辨扫描电镜（SEM）、透射电镜（TEM）和激光Raman光谱对碳纳米材料的结构进行了表征。发现基板材料决定燃烧生成物的性质，含Fe元素及其化合物的基板材料倾向于合成“实心”碳纳米纤维，而含Nj元素及其化合物的基板材料倾向于合成“空心”的碳纳米管，认为这是由于碳与Fe的亲和力比Ni大而造成的。不同碳源对一维碳纳米材料的形态也有影响，这与它们的含碳量和燃烧热等不同有关。     

一种基于AFDX总线的可靠文件传输机制研究

随着航空需求的不断提高,传统的航空总线已经不能满足新一代航空电子系统对高速数据通信的要求,A FDX成为下一代航空电子数据通信总线,基于此,提出并实现一种基于A FDX总线的可靠文件传输机制。经实验验证,该机制具有较高的安全性、可靠性。     

基于SOPC的红外热成像系统设计与实现

为了满足边海防监控领域对高分辨率非制冷红外热成像技术的需求,本文提出了一种基于GST817 VM1 E国产非制冷红外探测器的成像与增强显示技术方案.该方案以SOPC为核心搭建硬件平台,采用DDR3 SDRAM作为红外图像缓存器,使用SOPC内部集成NiosⅡ软核作为系统控制器,配合SOPC可编程单元实现探测器焦平面非均...     

浅论转型期井神股份企业文化建设的有效途径

进入“十二五”，传统制盐生产企业揭开了转型升级促发展的历史新篇章。本文以江苏井神盐化股份有限公司管理实践为实证研究，探讨了新的发展时期，盐化生产企业如何运用企业文化建设，推动转型创新发展的方法路径。     

命题逻辑提升到一阶逻辑上的子句消去方法

在基于命题逻辑的可满足性问题（SAT）求解器和基于一阶逻辑的定理证明器上，子句集简化一直是必不可少的步骤，而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分。将命题逻辑中的子句消去方法归结隐藏恒真消去方法（RHTE）和归结隐藏包含消去方法（RHSE）提升到一阶逻辑上，并且利用蕴含模归结原则（IMR）证明了这种提升方式在一阶逻辑上具有可靠性（Soundness），即依据这两种子句消去方法删除一阶逻辑公式集中的子句，并不会改变公式集的可满足性或者不可满足性。此外，将这两个方法与一阶逻辑子句消去方法锁子句消去方法（BCE）和归结包含消去方法（RSE）进行组合推广，发展得到一阶逻辑上新型子句消去方法（BC+RHS）E、（RS+RHT）E和（RHS+RHT）E，并且证明了这3种子句消去方法在一阶逻辑上的可靠性。最后，分析比较了这些子句消去方法的有效性，并且证明了这3种新型子句消去方法比组成它们的原始子句消去方法均具有更高的有效性。     

大力实施“四大战略”加快推动山东煤炭工业转型升级

该文回顾了改革开放三十年来山东煤炭工业转型升级的历史规律,分析了当前经济形势新变化对煤炭转型升级提出的迫切要求,提出了推动煤炭工业转型升级的主要战略和内容。     

影响常压储罐底板漏磁检测可靠性的因素研究

通过对影响常压储罐底板漏磁检测可靠性的因素进行研究,希望能帮助业主及检测人员充分理解限制因素从而能够对于漏磁检测技术的局限性有更深刻的认识,只要合理应用漏磁检测技术并且充分理解其局限性,加上漏磁检测技术的可靠、快速没有任何其它技术可以比拟,那么储罐底板漏磁检测技术仍然是一种高效、较高精度的针对底板腐蚀减薄状况进行检测的面扫查技术,并且正逐渐应用于立式储罐底板的腐蚀状况安全评估过程。