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

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

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

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

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

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

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

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

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

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

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

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

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

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

氢原子钟的设计改进与性能

氢原子钟是至今为止除极短时间测量间隔之外最稳定的频率标准,由于环境温度的变化及谐振腔老化而引起谐振腔频率的变化,导致氢原子钟长期性能降低.为了减小这些影响需借助一种自动调谐器来确保谐振腔的频率始终工作在所需的频率上,改善氢原子钟的长期性能,日稳定度可达到1.0×10-14.这篇文章描述了上海天文台研制的氢原子钟的技术改造与性能.     

南山VLBI站氢原子钟的研制与性能测试

氢脉泽是至今为止除极短时间测量间隔之外最稳定的频率标准,它是甚长基线干涉测量仪（ＶＬＢＩ）中的一个关键设备．这篇文章将描述上海天文台为中国ＶＬＢＩ网南山站研制的氢脉泽的性能．