排序方式: 共有34条查询结果,搜索用时 914 毫秒
1.
2.
形式化方法在CSTA系统测试中的应用研究 总被引:1,自引:0,他引:1
系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等,提高发现问题的工作效率和准确度,提高软件测试质量的保障系数,而且可以将行业知识封装起来,为软件测试业务外包提供一个现实可行的依据。 相似文献
3.
目前,我国在顶板较为软弱破碎的巷道中普遍使用锚杆锚索联合支护方式,在对锚杆锚索联合支护原理和设计方法探讨的基础上,新安煤矿在软弱破碎巷道采用高强度锚杆,锚索以及滞后安装方法进行支护,有效缓解了锚索因顶板离层而承受的集中压力,增强了锚索适应围岩变形破坏的能力,使锚杆锚索联合支护的互补作用和锚杆的加固作用得到充分发挥,有效防止因锚索破断引起的冒顶事故。 相似文献
4.
入侵检测系统研究及其展望 总被引:6,自引:0,他引:6
对入侵检测系统(IDS)作了简要的分析,把它与防火墙在功能上进行了较为深入的比较;主要阐述了入侵检测系统对计算机安全系统的重要性、入侵检测系统的分类和工作原理,并针对入侵检测系统的发展趋势展开了讨论。 相似文献
5.
1 技术讨论2 0 0 2年 1月 ,胜利油田临盘采油厂的一台2MPS2 5 0 0— 4 0MW 4型双螺杆泵 ,机械密封泄漏严重。该泵所配密封为大弹簧式、非平衡型密封 ;动环采用镶嵌硬质合金 ,静环为浸呋喃石墨 ,动环与轴采用O形胶圈密封 ,静环与压盖也采用O形胶圈密封。密封损坏的原因有 :①摩擦副采用硬质合金 石墨 ,密封效果较好 ,但对于油、气、砂混输泵 ,由于介质含有颗粒杂质 ,故摩擦副磨损较快 ;②采用大弹簧结构 ,压力沿圆周方向分布不均匀 ,密封在旋转过程中出现偏磨现象 ;③密封端面比压过大。根据密封转速v =4m/s ,弹簧比压 ps应为 0… 相似文献
6.
本文在论述素性检测对于实现RSA分开密钥密码体制重要意义的基础上,综述了素性检测的概率方法以及非概率方法,给出了笔者基于Miller-Trbovich所发现的一种确定性的方法而开发研制出的素性检测子系统。该子系统的计算机运行结果表明,它至少可以快速生成275位十进制素数。这对于提高RSA密码体制的安全强度有一定的现实意义。 相似文献
7.
论述素数产生的理论价值与应用意义。着重介绍了十进制多位素数表的计算机实现技术,以及笔者所在的“大数分解与素性检测支撑工具集成软件的研究”课题组就多位素数表和π(10~9)之值进行研究而获得的精确计算结果,并对现有的某些中外密码学、数论专著中关于π(10~9)的引用值提出了修正数据及其印证数据。 相似文献
8.
传统的通道保护倒换采用软件方式进行,但对于大容量设备来说,软件方式无法满足ITU-T的倒换时间要求,尤其是对于TUG3或TU12颗粒的低阶通道保护.信息辅助保护倒换将通道的告警信息编成一定的码字,再将其插入到本通道空闲的开销字节中,以实现全硬件的自动保护倒换.这种倒换不仅可以保证满足系统50 ms的倒换时间要求,而且可以大大降低微处理器的负荷. 相似文献
9.
本文在论述素性检测对于实现RSA分开密钥密码体制重要意义的基础上,综述了素性检测的概率方法非概率方法,给出了笔者基于Miller-Trbovich所发现的一种确定性的方法而发研制出的素性检测子系统。该子系统的计算机运行结果表明,它至少可以快速生成275位十进制素数,这对于提高RSA密码体制的安全强度有一定的现实意义。 相似文献
10.
对小秦岭金矿田的地质特征、矿化特征、矿床成因等进行了综合分析研究,并对金的成矿物质来源及富集规律以及矿床成因进行了初步探讨。 相似文献