扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

n≤e〈2（n—2）时不存在点故障一致最可靠图

当人们考虑边不出故障，而点的故障概率为独立且相等的Ｐ的网络时，点故障网络可靠性Ｒ（Ｇ，Ｐ）定义为图Ｇ保持连通的概率。记Ω（ｎ，３）为所有ｎ点ｅ边图的集合，那么图Ｇ∈Ω（ｎ，３）称为一致最可靠图（ＵＯＲ图），如果对于ＶＰ∈（０，１）ＶＨ∈Ω（ｎ，３）都有Ｒ（Ｇ，Ｐ）≥Ｒ（Ｈ，Ｐ）。本文证明了ｎ≤ｅ〈２（ｎ－２）时不存在ＵＯＲ图。     

长时间使用电脑可能会导致青光眼

又有个对网迷不好的消息，长时间使用电脑者，特别是那些近视眼网迷更有可能患上青光眼，这种疾病可以导致失明。     

Z-2／160型氢气压缩机的使用

介绍Z-2/160型氢气压缩机的使用     

软件可靠性与费用权衡

软件可靠性与费用的关系是辩证的 :一方面增加可靠性可以减少软件的维修费用 ,避免软件因可靠性低不能使用所造成的开发费用的浪费 ;另一方面增加软件可靠性 ,大都以增加软件开发费用为代价 ,而软件成本的提高又制约了软件的销售和推广。对软件可靠性分配和软件测试终止时间的确定进行了深入分析 ,通过这两条途径实现了软件可靠性和费用的权衡。在此基础上 ,给出了在软件工程中权衡软件可靠性与费用的其它方法。     

提高抽送黄河水用泵寿命的重要途径

从保证抽送黄河水用泵（以下简称抽黄泵）的寿命和工作可靠性出发，提出了抽黄泵性能参数选择的原则：限制抽黄泵的单级扬程Ｈ；限制抽黄泵单级扬程Ｈ与转速ｎ的乘积Ｈｎ值。并给出抽黄泵性能参数的Ｈ·ｎ－Ｑ关系曲线和泵的比转速ｎ＿ｓ与单级扬程Ｈ的关系曲线。     

双重化继电保护问题研究

双重化继电保护要求220kV及以上任何设备或线路应配备两套完全独立的保护装置.但按照系统稳定性要求,对需要的设备进行保护双重化时,仍有一些问题需要探讨.本文从双套同一问题、线路保护问题、失灵保护问题、变压器保护问题、旁路开关保护问题和保护的检验问题等方面对双重化继电保护问题进行了分析研究,以供参考.