英国量子技术研究与发展现状

量子信息是量子物理与信息技术相结合发展起来的新学科。近年来,英国政府、学术界以及产业部门通过资源整合,积极开展量子技术基础研究和应用研究,通过对当前最前沿技术的原始性挖掘和突破,试图打破制约信息技术发展的瓶颈与束缚。在量子技术的帮助下,特别在导航和计算机芯片制造方面,目前已经取得了很大的突破。曾创作出《侏罗纪公园》和《失去的世界》等作品的科幻作家迈克尔·克莱顿曾在科幻小说《时间线》中用文学的笔调来想象量子计算的神奇。其中,一家国际技术公司的经理如此推销其眼中的高新科技:"普通的计算机用     

青藏铁路含保温夹层路基厚度与地温关系的研究

通过对青藏铁路风火山段含有保温夹层的路基建立均匀介质分层纯导热模型并运用分层近似解法求出冻土表层的温度函数,结合Lachenbruch给出的冻土层的理论温度表达式,得到了路基填料层、保温层、地表年平均温度与正弦变化温度的振幅比三者之间的隐式方程,并应用该方程对三者之间的关系进行了分析.     

利用SRTM数据修测高山区地貌的探讨

在高海拔区域测制地形图,如青藏高原地区,所获取的遥感影像局部存在着大范围的高山阴影或云雪覆盖,造成立体观测地貌困难的现象,探讨应用SRTM数据对这类特殊区域地貌进行修测补绘。介绍了数据处理的作业过程,并对实验区SRTM与SPOT5影像立体测图成果进行实验对比分析,成果符合要求。     

高斯信道中功率分配问题的一种优化方法

信号检测中,检测概率一直是作为衡量检测性能的一个重要标准.众所周知,Neyman-Pearson准则下的最优检测是似然比检测.然而多传感器系统下随着信号维数增加,似然比检测门限的计算涉及高维积分,计算困难相当大,因此文中考虑的高斯信号检测模型,没有直接计算检测概率而是将两个密度函数的相对熵作为衡量检测性能的一个度量来研究高斯信号检测中功率的分配,并且建立了目标优化模型.针对文中建立的优化问题,首先由加强的Fritz John(F-J)必要条件证明了优化问题的局部最优解满足KKT(Karush-Kuhn-Tucker)条件,并且进一步证明存在惟一的拉格朗日乘子.然后利用凸函数的性质我们说明了D(P1‖P0)是tr(∑s)的非减函数,最后在此基础上得到了优化问题的最优解,即得到了功率分配矩阵.同时也给出了特殊信道下的功率分配矩阵.     

灰色系统理论在废气污染物排放量预测中的应用

应用灰色系统预测理论,以GM(1,1)模型对我国废气排放中主要污染物排放量进行预测,可有效克服原始数据的离散性,在少信息的情况下得到高精度的预测结果。以2008²012年废气主要污染物排放量为例进行了中短期的预测,结论表明,预测精度均可达到最优的精度等级。     

吸附时间变更对变压吸附制氮机在生产中的节能影响

制氮机对于整个生产系统运行来说,起着至关重要的作用,制氮机的运行需要空气压缩机提供压缩空气,而空气压缩机属于高耗能设备,怎么样能使制氮机充分利用压缩气体从而减少空气压缩机的做功,减少其能耗.在实际生产中通过增加制氮机的单塔吸附时间来增加单个吸附周期的时长,减少两塔切换次数,从而减少大量气体未被利用就被放空的情况,提高制氮机对压缩空气的利用率,从而可以达到降低能耗的目的.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

基于混合高斯模型的储物柜存取货行为检测方法

针对储物柜存取货物场景的实际情况和人员行为的特点，提出一种通过融合时间调整机制控制前景融入背景的改进型混合高斯建模检测方法，并引入手臂识别机制。融合时间调整机制减小了由于人员停止运动而错误决策为背景的可能性；手臂识别算法模型有效地识别人员伸手动作。实验结果表明，该方法可以简单有效地从连续的图像序列中检测出人员在储物柜场景下的存取货物行为。     

具有Logistic增长项的两种群竞争Keller-Segel模型的稳定性分析

应用线性化方法研究两种群竞争的Keller-Segel模型常数平衡解的个数及其稳定性问题.     

流云霓彩 天工自成——琉璃制作工艺流程

<正>琉璃的制作工艺相当复杂,需要经过十几道严谨的工序才能完成,而且主要依靠手工制作,当中的每个环节丝丝相扣,不能有半点疏忽和过失。尤其以烧制为最,把握之难更可以说是一半靠技艺一半靠运气,一旦出现一点点问题,十数天、十几道工序、多少人的努力就立刻付诸东流。