循环式架空索道在建筑施工中的应用

处在高山、湖泊等特殊地形的旅游景点建筑，由于植被、文物保护等原因在建设中无法使用常规运输机械和起重机械，利用单线循环式架空索道可以实现景点建设和设备安装的高效实施，文中重点介绍了单线循环式架空索道的结构设计及其在景点建设运输中的实际应用。     

氢脉泽中四极磁态选择器的设计及其应用

氢脉泽是一种中、长期稳定度最高的原子频率标准.其中原子磁态选择器的改进设计可以改善氢脉泽的工作参数及其体积与重量,从而改进氢脉泽的品质与工作寿命等,同时也可以改进氢脉泽的长期性能,并给出了磁态选择器的设计与实验结果.     

新型国产氢原子钟的设计改进及其在守时中的初步应用

氢原子钟是一种稳定的频率标准,环境温度变化及微波谐振腔的老化比较容易引起其输出频率的变化,从而导致钟的长期性能变差.上海天文台针对这些年来许多氢钟出现的相关的问题,结合国外氢钟实验室的经验,对谐振腔自动调谐器、温度控制的设计进行了改进以改善氢原子钟的长期性能.描述了为国家授时中心守时系统所研制的氢原子钟的技术改造特点与所达到的性能指标及在守时中的应用结果.     

上海天文台氢原子钟的新进展

上海天文台使用中的氢原子钟经最近二年的改进,其稳定度指标当取样时间长于100s时已稳定地进入10~(-15)。本文简述它的改进、测量及结果。     

双真空主动型氢脉泽真空系统设计

清洁、抽速稳定的高真空系统是氢脉泽工作必不可少的组成部分之一。文章详细介绍了双真空主动型氢脉泽真空系统的组成及各个组成部分的设计思路、方法。内容涉及真空的获得、真空泵的选择、氢脉泽物理部分双真空系统设计、流导及抽速的计算、泵体结构的设计和实验验证。实验发现,设计完毕的氢脉泽双真空系统保温效果较以前大幅改善,内外真空室本底流量为0.1 mA,工作流量值稳定在0.7mA时氢脉泽稳定输出-105 dBm信号,关闭流量后内真空抽真空本底时间约为8 min。表明内外真空室离子泵均达预期设计指标且工作正常。此外,该设计还进一步减小了脉泽体积、减轻了其重量,向氢脉泽小型化迈出了坚实一步。     

基于UML活动图测试场景的优先级判断

由于UML模型在设计过程中产生,作为测试模型不需要额外的开支,因此以UML作为测试模型的研究很多.目前的研究方法大多数采用灰盒测试方法[1]对各种模型的条件、节点、方法等进行遍历,得到测试场景.然而在实际中,通过这些方法从UML模型中会得到很多的测试场景,目的就是要对找出的灰盒测试用例进行优先级判断,找出较为重要的测试用例,这些测试用例能为实际的测试过程提供着重测试的依据.     

形式化的软件测试模型研究

传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。     

小型TE111无泡隔膜腔氢脉泽的实验研究

研究了圆柱形ＴＥ１１１模式无泡谐振腔,根据脉泽振荡条件验证了新模式的可行性,对该谐振腔进行了模式分析、结构设计及腔频灵敏度计算,并对这种氢脉泽进行了感应辐射信号的观察和正反馈振荡实验。这种体积为传统谐振腔一半的隔膜腔的应用对高性能氢脉泽的小型化具有重要意义。     

基于Rough Set理论的网络入侵检测系统研究

本文提出了一种基于Rough set理论(Rough Set Theory，RST)的网络入侵检测系统，用于监控网络的异常行为。该方法使用Rough set理论对网络连接数据提取检测规则模型。使用Rough set理论提取规则模型，能有效地处理数据挖掘方法中存在的不完整数据、数据的离散化等问题。实验表明，同其它方法相比，用Rough set理论建立的模型对DoS攻击的检测效果优于其它模型。