石墨烯的化学研究进展

评述了近3年来在石墨烯(graphene)制备化学、石墨烯化学改性、石墨烯表面化学和催化等方面取得的重要进展. 阐述了通过化学方法实现非支撑(freestanding)或准非支撑(quasifree- standing)石墨烯结构的可控和规模制备; 通过表面反应对石墨烯进行掺杂和官能化, 制备了石墨烷、石墨烯氧化物等具有特殊结构和性质的石墨烯相关化合物; 这些石墨烯及石墨烯相关材料(graphene and related materials)在催化、储氢等领域展现出非常重要的应用前景.     

舰船水下非接触爆炸抗冲击技术综述

舰船水下非接触爆炸抗冲击技术是提高现代舰船生命力和战斗力的重要内容,也是一项多学科、多领域交叉的系统工程,正日益受到重视.本文对该技术的体系构成、主要特点、核心问题、关键技术及其发展趋势进行了全面总结,深入分析了舰船抗冲击技术的国外发展状况和中国的差距,提出了中国开展舰船抗冲击技术的主要方向,并强调将该技术与舰船研制进程紧密结合是提高中国舰船抗冲击性能的必由之路.     

基于地基GPS的暴雨水汽输送分析研究

利用地基GPS大气可降水量资料、常规气象资料和美国国家环境预报中心(National Cholesterol Education Program.NCEP)资料分析了2005年8月22-24日云南一次暴雨期间的水汽输送过程,分析了云南地基GPS立体布局的重要性.结果表明,GPS遥感的大气可降水量与探空观测结果有高度的一致性;地基GPS探测可以获得大气可降水量高频变化的信息;暴雨期间水汽输送主要集中在850～600 hPa之间的各层;立体布局的地基GPS网是监测西南水汽通道的有力手段.     

舰艇抗冲瓦整体冲击隔离新概念及其机理研究

基于声阻抗失配原理,提出了舰艇抗冲瓦对水下爆炸冲击的整体隔离新概念.采用波动理论和Taylor平板模型.以冲击波在水、覆盖层、空气层、船体钢中的传播过程为研究对象,建立了实心敷设层结构(消声瓦的简化模型)和带空腔敷设层结构(抗冲瓦)的流固耦合模型.利用Abaqus软件建立舰艇抗冲瓦三维冲击响应模型.算例结果表明,抗冲瓦能够很好地隔离水下爆炸冲击波.大大降低船体结构材料应力和加速度冲击响应峰值,并能在广泛的频域内显著降低舰艇冲击响应.     

基于环带波束天线的星间链路设计仿真

在卫星装备有环带波束天线的前提下,设计了由这类卫星构成的Walker星座内的星间链路,并对该星间链路的基本几何属性进行了仿真,证明了这类星间链路可以很好的解决卫星间天线对准的问题.首先,对环带波束天线、星间链路进行了简要的介绍,主要通过几何模型与几何参数方程的方式进行介绍和说明.其次,对于环带波束天线应用在星间链路中的可能性以及优越性进行了阐述,并且在特定的卫星星座当中,对这类星间链路中的卫星天线指向问题进行了仿真,从几何方面证明了该类环带波束天线使得卫星之间永久可视.再次,通过仿真结果中的链路俯仰角、链路距离等提出这一类天线的覆盖范围要求.最后,建立了具有环带波束天线卫星的Walker星座中的链路拓扑结构.     

湍流作用下可压缩液体中空化泡的动力学特性

以水为工作介质, 在综合考虑了液体黏性、表面张力、液体压缩性以及湍流作用等因素的情况下, 对孔板水力空化反应器中空化泡动力学行为特性进行了详细数值研究. 详细分析了湍流作用、空化泡初始半径、孔板下游恢复压力、管道直径以及孔板直径与管道直径之比对空化泡运动特性及其所形成的压力脉冲的影响规律, 发现了一些新现象, 如空化泡半径二次生长现象. 研究结果可为水力空化反应器的优化设计以及水力空化技术的实际应用提供一定的理论指导与技术支撑.     

Deterministic Teleportation Channel Using Bell State Measurements Only

Teleportation schemes based on probabilistic channels usually rely heavily on the implementation of high-dimensional unitary operations. Since high-dimensional unitary operations are very difficult to directly implement in physics experiments, methods are used to avoid high-dimensional unitary operations during the teleportation process. This paper describes how to construct a deterministic teleportation channel and a control channel using Bell state measurements only instead of high-dimensional unitary ope...     

证明嵌入式系统设计的UML-B规约

本书介绍了贯穿整个模块系统设计方法论的系统性质形式证法。该方法沦将子系统的共同验证与虚拟系统部件的系统精化和复用性相结合，通过规约的形式与非形式方法相结合，由UML和B语言来完成。这样就允许通过经证明的子系统的合成来验证系统规约（对于接口则给予某些特别的注意，符合VSIA／SLIF方法）。将B语言与C、VHDL和SystemC语言相连。将通过构造校正设计的过程扩展到较低的单片系统开发阶段。因此证明嵌入式软件产品是与证明硬件产品相配套的。书中开发了用于从UML和B语言产生代码的原型工具，现有的B语言验证工具被拓展成支持IP的再使用，这部是根据VSIA的推荐。书中所涉及的方法论及工具是通过开发三个工业应用来验证的，即无线移动终端、建立在HIPERLAN／2协议基础上的电信单片系统、以及汽车的防碰撞组件。     

数学、物理和生物学中的内随机性

本文探讨了数学、物理和生物学中各种形式的内在随机性。首先,阐述了数学中不含时的数学内随机性(如多解性、非循环性、不定性、任意性、不可判定性等)与含时的数学内随机性(如表现在确定的非线性常微分方程、迭代方程的解对初始条件和参数改变的敏感性上的内随机性)。接着,分析了物理学中宏观混沌、统计涨落、物质波、真空激发、量子起伏等内随机性和相互独立、均匀对称的内随机性。最后,介绍了生物学中的遗传、生灭、更新与进化过程以及生物功能方面的内随机性。     

用集成指数法确定江苏农垦系统的农业科技进步水平

农业科技进步水平与产出量、物化劳动、活劳动和自然环境等因素有关。该文采用代表性、比较性、结构合理性和应用性的选标四则,选择4个主体指标15个群体指标,构成农业科学技术集成指数监测指标体系,利用其数模表达式,可以确定农业科技进步水平,其结论不仅可纵横比较、且可作为农业管理部门目标考核的依据。