基于切尔诺夫界的量子密钥分发统计涨落分析方法

量子密钥分发（quantum key distribution,QKD）是量子信息科学的重要应用之一.在实际执行量子密钥分发协议时,由于有限码长的原因,实验得到的测量值受到统计涨落的影响.基于切尔诺夫界给出了一种严格的QKD中数据统计涨落的分析方法并将其应用到偏选基诱骗态QKD协议中,新的方法只要求每次测量独立同分布,对样本容量没有要求.仿真结果显示,新方法能取得和已有方法近似的结果.     

中型装置氨合成触媒更换依据及更换前后性能参数比较

简述A110-1型氨合成触媒在450tNH_3/d装置的使用概况,通过A110-1型氨合成触媒使用初期和末期性能参数变化,找出更换依据,并对更换前A110-1型氨合成触媒与更换后NC74-1型氨合成触媒有关生产运行性能参数进行比较。     

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

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

不同还原剂对Pd/γ-Al2O3催化剂活性的影响

分别采用H2和KBH4对Pd／γ—Al2O3催化剂进行还原,并进一步考察了它们在蒽醌加氢制备双氧水反应中的催化活性。试验结果表明,用KBH4还原的催化剂具有较高的活性和较长的使用寿命,并对此进行了表面分析。     

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

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

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

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

为了平安收藏灾难

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

生命,在被冻结后复苏

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

为了平安 收藏灾难

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

混捏法制备的Ni-Mo／γ-Al_2O_3加氢催化剂中活性组分存在状态的研究

利用ＸＲＤ、ＴＥＭ、ＵＶ－漫反射光谱分析等手段，探讨了混捏法制备的Ｎｉ－Ｍｏ／γ－Ａｌ２Ｏ３催化剂中活性组分的存在状态及其随Ｎｉ、Ｍｏ原子比ρ和焙烧温度Ｔ变化而变化的情况。结合样品的加氢活性测定结果，得出样品表面上的新相ｘＮｉＯ·ｙＭｏＯ３·ｚＨ２Ｏ的相对含量的变化规律以及表面八面体配位状态Ｎｉ〔Ｏ〕的相对含量的变化规律与样品加氢活性的变化规律相同。研究认为，新相ｘＮｉＯ·ｙＭｏＯ３·ｚＨ２Ｏ为Ｎｉ－Ｍｏ／γ－Ａｌ２Ｏ３催化剂的活性相，ｘＮｉＯ－ｙＭｏＯ３·ｚＨ２Ｏ中的Ｎｉ为八面体配位状态的Ｎｉ。