网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

长江螺山站高水位流量关系和城陵矶（莲花塘）控制水位的研究

螺山站高水位流量关系是确定长江城陵矶（莲花糖）控制水位的基本依据，从基本的河道水力学规律出发，考虑涨落率修正、瞬时比降修正，计算各时段点的代表性比降，和相应糙率，求出均值，根据断面资料，得出高水位的稳定流曲线，并以各日流量转化的稳定流点，进行验证，精度很好，分析了河段区间流量对螺山站稳定流量的影响。阐明了螺山站稳定流量的变化情况和趋势，推求了各次大洪水的超额洪量，计算出莲花糖以上的总入流，根据现今的湖区及槽蓄容积进行洪水演进，计算1954年特大洪水的超额洪量，并分析节三峡水库拦洪后对长江中下游超额水量的影响；对莲花塘不同防洪控制水位进行了技术经济分析和评价，提出了抬高控制水位的具体建议。     

服务器与负载均衡

Radware为BEA WebLogic 9．0提供解决方案，Allot多款新量流量管理产品上市，Riverbed推出Steelhead系列小量设备，HP第三代Superdome亮相     

构造作用对油气生成和运聚的影响

有机质从埋藏开始，就处于极其复杂的地球物理化学场中，环境提的能量，一是热量，二是机械能，机械能，主要是通过机械力作用传递给系统的，另外还以机械波的形式赋予系统一定的机械能。当发生断褶构造运动时，机械力对油气运移的影响尤为突出，它经能量的迁移转化，促成了包括机械力降解和地应力驱动等一系列的连锁反应，制造了一次次高效的成油（生运）事件，本文以突变论为着眼点，按照改造控制建造的思路，大胆提出构造运动制造生排烃事件，成就含油气系统的假说。     

AutoCAD 下非结构网格自动生成

在AutoCAD环境下，从背景网格生成和数据结构两方面对推进阵面法进行修正。采用修理后的方法，使得在流场、泥沙输移和床面冲淤数值计算的前处理过程中无须精心预设内部控制点而只需给边界一个尺度，就能自动生成适应任意复杂边界的非结构网格，从而提高网格生成、优化的效率和通用性。     

恒流量泵凸轮失效原因分析及改进

恒流量凸轮泵是胜利油田三次采油注聚合物的关键设备。但在该泵试用过程中发现，凸轮表面过旱地出现了点蚀、剥落等接触疲劳损伤。为分析凸轮失效原因，首先对在凸轮跟踪观察，记录并描述了凸轮表面疲劳失效的外观现象；然后对失效凸轮作硬度分析和金相分析，并在有限元计算的基础上，以剪应力与凸轮维氏硬度比值为依据，分析凸轮失效原因；最后对凸轮热处理方法进行了改进。     

桥测流量改正系数分析

按《水文巡测规范》的规定,通过桥测流量与船测流量的对比分析,求得改正系数,供测流条件相同的桥测断面参照使用。     

图像制导导弹攻击武装直升攻击区分析

建立了图像制导导弹对武装直升机攻击的数学模型，计算了反直升机／反坦克多途导弹攻击武装直升机攻击区，并绘制了比较形象的立体攻击区图。     

蒸汽流量计流量误差分析一例

在周期检定中 ,经常遇到因种种故障导致仪表流量产生误差。对流量误差需作认真、细致地分析 ,才能科学、公正地化解纠纷。下面为笔者对一例蒸汽流量计流量所做的误差分析。一、检定情况１ 孔板流量计系统安装合理 ,所检孔板编号 :９９４７０。２ 所检一体化温度变送器合格 ,温度测量范围为０～３００℃ ,对应输出０～１０ｍＡ。３ 所检智能流量积算仪合格 ,所置参数正确。刻度流量Ｑｍ:０ ６ｔ／ｈ ;温度测量范围０～３００℃ ;压力测量范围０～１ ０ＭＰａ ;仪表系数０ ００７５。４ 所检压力变送器不合格。检定数据如表１。表１ :５ 所检…