Fe~(3+)与S~(2-)反应的研究

Fe3+ 与S2 - 反应是一个典型的竞争反应 ,反应的生成物与反应条件有着非常密切的关系。通过理论研究和实验验证 ,确认在酸性介质中反应的生成物为Fe3+ 和单质S↓ ;在碱性介质中反应的生成物为黑色Fe2 S3↓。     

Shor-Preskill方法不能直接证明B92量子密钥分配协议

密钥分配协议安全性的证明是确保密钥分配绝对安全的要求 ,经典密码方案的安全性大多难以证明 ,而利用量子力学的基本原理 ,可以证明量子密码方案是无条件安全的。介绍了Shor Preskill对BB84量子密钥分配协议无条件安全性的证明方法 ,归纳了其技巧和特点 ,揭示了对称化方法和量子纠缠提纯技术在该方法中的作用。证明了Shor Preskill方法不能直接用来证明B92协议的无条件安全性。提出了利用Shor Preskill方法间接证明B92的可能途径。     

核电装备业首次向民资敞开 中广核签下10亿大单

中国核电巨头之一的中国广东核电集团3月2日与浙江省30家民营能源装备企业签订合作协议,总金额约10亿元,这是中广核首次面向民营核电装备企业采购相关设备。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

基于LEACH协议的研究与改进

无线传感器网络中如何节能是一个关键问题。对经典的LEACH协议做研究与改进,并提出了一种新型的动态网络转换机制。该算法通过综合考虑候选节点的地理位置、剩余能量等参数来进行网络协议的选择,从而有效地降低了低能量与位置不佳的节点被选为簇首的可能性,进一步保证网络内节点能量负载的均衡性。仿真结果表明,新型的动态网络协议机制能够有效平衡节点的能量消耗分布,延长节点与网络的寿命。     

校企携手共谋科学发展航天四院与国防科技大学签署战略合作框架协议

6月11日,国防科学技术大学和航天科技集团公司四院在古城西安正式签署战略合作框架协议,标志着以军工科研教学为主的国防高校和以固体动力技术研发为特色的航天研究院在战略合作的道路上迈开了新的一步,双方将在已有的合作基础上开展更为广泛和深入的合作与交流。     

基于J2EE平台的预算执行管理系统的设计与实现

结合预算执行管理的实际需要,阐述了基于J2EE平台构造预算执行管理系统的核心技术、主要功能模块和数据安全问题,为建立预算执行网络化管理平台绘制了蓝图。     

数字

123亿 巴西和法国9月7日正式签署了一项总金额达123亿美元的军售协议。根据协议,法国将帮助巴西建造1艘核动力潜艇,这将使巴西成为全球少数几个拥有核潜艇的国家之一。     

基于EPA的分布式控制系统研究与设计

在模拟信号控制的数控系统基础上,设计了基于EPA标准的分布式控制系统;介绍了EPA标准,研究了确定性通信调度机制和精确时钟同步协议的应用这两个关键技术,设计了控制系统中通信模块和嵌入式转接电路板,并对试验结果进行了演示.结果表明,该系统运行稳定,各项性能满足应用需求,对军用控制系统的研究提供了较好的借鉴经验.     

卫星固态存储器数据容错设计与机制

卫星数据传输系统的可靠性面临着空间粒子效应、信道干扰等多重威胁。在介绍数据传输系统关键设备星载大容量固态存储器设计与实现的基础上,从管理信息、数据位流、星地链路、文件传输四个方面构建容错机制,综合应用汉明编译码、RS编译码、低密度奇偶校验码编码等数据检纠错技术,增强存储器管理信息、存储数据、信道传输的容错性能。在实际型号任务固态存储器的基础上,结合CCSDS文件传输协议提出基于自动重传机制的文件可靠传输设计,提高数据传输全流程的容错性能。固态存储器使用多级流水写入、总线并行扩展等技术,吞吐率理论上接近900Mbps,容量达到256Gb。