多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

神舟飞船中的物理知识

为了在本世纪初叶将我国宇航员送入太空，1992年飞船载人航天工程正式立项，这项工程后来被定名为“神舟”号飞船载人航天工程，1999年11月20日，2001年1月10日，2002年3月25日，2002年12月30日先后4次成功发射和回收“神舟”号载人航天实验飞     

原型装置单路模拟运行演示系统设计和开发

美国LLNL用激光性能运行模型（LPOM）系统来运行NIF的首四路激光：（1）用LPOM提供NIF的实时预测功能；（2）用LPOM确定NIF所有激光发射的系统参数设置：（3）用LPOM使拟议中的激光发射对系统发射对系统产生破坏的可能性减到最小。LPOM已成为NIF首四路激光模块调试的关键工具。目前我国原型装置的运行也需要一套模拟运行演示系统。     

HL-2A装置极向场系统的场形特性

HL-2A装置的主机是利用原德国的ASDEX装置改装的，虽然原装置的极向场系统的参数设置均已确定，但为了今后研究需要，极向场系统的运行方式会与原ASDEX不同(例如将主要采用单零偏滤器运行等)。若要进一步对装置进行改造，有必要掌握现有极向场系统的特性及功能。本文介绍相关极向场系统的磁通函数和垂直磁场或水平磁场的计算方法和计算结果。     

监测Lévy稳定过程均值变点的平均运行时间估计

平均运行长度(时间)(ARL)是判断一控制图监测变点效果好坏的一个重要工具.本文主要研究Lévy稳定过程的均值变点监测问题.我们给出了三个控制图,即EWMA,GEWMA和GLR的ARL估计,并通过数值模拟比较了4个控制图监测均值变点的效果和差异.     

我国仪器仪表行业呈现出快速、健康的发展态势

在旺盛市场需求的带动下，在国家宏观调控政策的引导下，近年来，我国的仪器仪表行业呈现出快速、健康的发展态势。日前，中国仪器仪表行业协会理事长奚家成在接受记者采访时预计，2007年仪器仪表行业的产销在去年首超2000亿元的基础上，增幅虽会有所回落，但仍将处于高位运行，而且利润的增幅也将继续大于产销的增幅。     

中国科学院兰州化学物理研究所分离分析科学技术研究室甘肃省天然药物重点实验室

正简介中国科学院兰州化学物理研究所分离分析科学技术研究室/甘肃省天然药物重点实验室是集基础研究与应用研究于一体的高技术科研机构。基础学科属分析化学领域,主要研究方向有分离分析科学,天然药物化学,分子识别化学等。研究内容重点涉及现代分离理论、分离机理、分离新模式;分离分析用新材料、痕量分析技术、复杂样品分析技术、联用分析技术;样品前处理与纯化制备技术;有机化合物结构鉴定光谱与波谱技术等。甘肃省天然药物重点实验室是在中国科学院兰州化学物理研究所分离分析科学技术研究室的基础上经甘肃省科技厅批准挂牌运行的省级重点实验室。实     

热声热机

热声热机(Thermoacoustic Engine)是一种把热能转换成声能或者说声波等形式的机械功的装置.像其他许多热机一样,它可以逆向运行而作为制冷机,即利用声能将热量从低温热库输向高温热库.热声热机的高运行频率减少了热传导并且无需任何气室.与许多其他热机不同,除了工作流体本身,热声热机没有任何活动部件.     

托卡马克中磁流体不稳定性与高能量离子相互作用

在托卡马克中,磁流体不稳定性与高能量离子相互作用是一个非常重要的问题,它对未来聚变堆稳态长脉冲运行至关重要。HL-2A是我国第一个具有先进偏滤器位形的非圆截面的托卡马克核聚变实验研究装置。撕裂模是托卡马克中的一种基本的电阻磁流体不稳定性,它可以改变磁场的拓扑结构,形成输运短路,甚至会触发大破裂。高能量离子在燃烧等离子体和各种外部辅助加热过程中是不可避免会产生的。目前,撕裂模与高能量离子相互作用依然存在一些关键性问题,例如撕裂模与高能量离子相互作用的共振关系、该物理过程导致高能量离子损失的物理机理等,并且还没有完整的关于撕裂模与高能量离子共振相互作用的数值模拟工作。因此,本综述论文主要从以下三个方面展开:1)回顾撕裂模与高能量离子相互作用的研究历史;2)基于HL-2A实验,从数值模拟的角度讨论撕裂模与高能量离子共振相互作用的物理机理以及其导致高能量离子损失的物理机制;3)展望未来聚变堆中撕裂模与高能量离子相互作用的情况。