基于量子CSS纠错码的量子公钥密码和消息认证

该文利用量子CSS纠错码的构造方法和一般线性码的译码是一个NPC问题建立了一个量子公钥密码体制。其特点是以经典信息作为密钥来加密量子消息,安全性建立在NPC问题量子图灵机(QTM)不可解基础之上。利用此公钥密码体制,该文还给出了一个基于量子CSS纠错码的消息认证方案,并证明了其安全性。     

疏水性丙纶短纤维的研制及生产

针对市场对不同用途高档次的丙纶卫生材料需求量日益增大的现实进行了疏水性丙纶短纤维的研制开发,对生产工艺和工艺特点进行了详细表述。在研制过程中,对疏水性油剂、抗静电剂的选择和试用过程都作了具体分析。经试生产后参照有关检验分析方法,这种疏水性纤维的各项检测结果均满足质量指标要求,并且下游用户制成的非织造布的检测结果也符合其生产要求,表明研制开发的生产工艺可应用于工业化生产。     

加密模式与密码协议的安全性

密码协议的设计和安全性分析是困难的,在密码协议中总是以所使用的密码算法是安全的为前提,但是人们却忽略了密码算法的加密模式对密码协议安全性的影响。论文针对一个改进的Needham-Schroeder协议,假设其使用了分组密码的CBC加密模式,我们通过使用一条旧信息的明密文对来修改当前会话中的信息,从而成功地欺骗用户双方,并分别与他们建立了一个会话密钥,对该协议进行了成功的攻击。结果说明密码算法的加密模式对密码协议的安全性有着巨大的影响。Schroederauthenticationprotocol125     

等离子体法在烟气脱硫中应用进展

从应用研究角度出发阐述了近年来等离子体技术在烟气脱硫领域中的研究趋向及应用成果,包括等离子体活化处理烟气机理、等离子体与催化剂协同作用进行烟道气脱硫的最新研究进展,并对等离子体脱硫反应机理和实验模型加以讨论,提出了利用等离子体法进行烟气脱硫应用研究中存在的问题及今后的研究方向.     

活性氧化铝在FCC催化剂中的应用研究

采用N^₂吸附法、IR和XRD等手段研究了活性氧化铝用于催化裂化(FCC )催化剂中的性能。结果表明,在FCC催化剂制备及应用条件下,活性氧化铝保持比较稳定的比表面积、孔容和酸性等性能。磷易与活性氧化铝作用,分子筛与磷的作用存在一个逐步平衡的过程;氧化铝有利于改善基质的孔结构;对以铝溶胶为粘结剂制备的催化剂进行磷改性处理,催化剂基质与活性组分分子筛上的磷含量基本相当。     

煤矿开采引发地表塌陷破坏的危险性及对基本农田的影响与防治方法

地表塌陷破坏的发生受多种因素的制约,在不同地区或者在同一地区由于地形地貌的差异以及人类活动的季节、活动的持续时间、活动范围、活动幅度等方面的差别,会导致地表塌陷破坏引发的可能性、发生地表塌陷破坏的规模、危害程度存在明显的差别[1]。国家能源集团宁夏煤业公司双马煤矿在煤炭资源开采利用时对地表基本农田的破坏程度进行危险性预测,并提出灾害防治措施。     

面向安全关键内存管理系统分层验证方法

安全关键系统的失败会造成很严重的后果,确保其正确性非常重要.空间嵌入式操作系统是一个典型的安全关键系统,在其内存管理的设计上,必须保障其高效的分配与回收,同时对系统资源的占用降到最低.在传统的软件开发过程中,通常是在整个软件开发结束后再进行集中测试及验证,这样势必会造成开发进展的不确定性.因此,将形式化验证方法和软件工程领域内的“需求-设计-实现”的3层开发框架相结合,通过性质分层传递验证的方法,保证了各个层次间的一致性.首先,从需求层面的需求分析开始,引入形式化证明的思路,证明对需求层逻辑的正确性,从而可以更好地指导程序的设计.其次,在设计层面的验证可以极大地减少开发代码的错误率,证明设计算法和需要实现的函数之间调用逻辑的正确性.最后,在实现层,证明所实现代码与函数设计的一致性,并且证明代码实现的正确性.使用交互式定理证明辅助工具Coq,以某一国产空间嵌入式操作系统的内存管理模块为例,证明了其内存管理算法的正确性以及需求、设计、实现的一致性.     

PEI-MCM-41吸附剂的制备及其CO_2吸附性能研究

使用不同方法合成了MCM-41,制备出具有不同骨架结构和内部孔道结构的介孔分子筛。通过XRD、高倍投射电镜、低温氮吸附/脱附等方法对样品进行了表征分析。用PEI对MCM-41分子筛进行改性,然后使用热重方法测定了其对CO2的吸附量。结果表明,使用硅酸钠和硫酸为原料制备的样品具有较大的比表面积和孔容,在该样品上负载50%PEI吸附量达到了269.3 mg/g,是同等条件下单纯PEI吸附量的3.4倍。说明将PEI负载在具有大比表面积和孔容的MCM-41介孔分子筛上,可以使PEI得到充分分散,并充分利用PEI分子上的氨基。     

生命,在被冻结后复苏

时间:2006年11月 地点:加拿大安大略省 2006年一个严冬的下午,志愿消防队长约翰·埃默森表情严肃地站在安大略省巴黎附近某大水塘泥泞的岸边.两名救援者站在齐腰深的水里,手臂里托着一个体温过低,生命垂危的男孩.就在2小时之前,这个17岁、名叫内森的男孩不慎落水,大腿被冲向小溪的水流吸力死死地钉在排水沟的栅栏上不能动弹……     

为了平安收藏灾难

位于四川省成都市大邑县安仁镇、展厅面积3 000多平方米的汶川大地震博物馆,是我国首个个人筹资的博物馆聚落--建川博物馆的重要组成部分.