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

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

可靠性试验样本量和截尾时间的计算

可靠性寿命试验中，一般都因受到费用和时间的限制，因此要用截尾试验获得信息，再据此对其可靠性进行统计推断，用非参数估计的方法探讨了进行可靠性试验的样本量或截尾时间的估计方法。     

GPS在无源多基地侦察系统中的应用

针对无源多基地侦察系统的高精度同步问题，提出了一种较为简单可行的方法-利用GPS进行校频和共视比对。     

石油测井仪器可靠性指标探讨

在分析常用可靠性指标及其应用现状的基础上，根据可靠性理论及石油测井仪器的特点。提出了石油测井仪器的可靠性模型。在探讨常用可靠性指标对石油测井仪器适用性的同时，提出将平衡稳定工作时间NWTURE和免维修测井井次NOLWNM作为石油测井仪器可靠性指标的思想；探讨了获取可靠性指标的途径。给出了推荐使用的石油测井仪器可靠性指标。     

给VFP程序加“时间掣”

Visual FoxPro是优秀的管理系统开发平台,广泛用于企业管理和信息管理系统的开发,但它存在着数据结构透明度高、保密性差的缺点.     

大亚湾核电站18个月换料对流体系统的影响分析和论证

分析了大亚湾核电站18个月换料对流体系统可能产生的影响，根据改进后的燃料管理策略以及相关参数变化，遵照系统设计准则的要求。对14个流体系统的容量和能力进行了计算和论证。论证结果表明，大亚湾核电站现有系统基本满足18个月换料的需求     

锁相式频率合成器的捕捉方法及跳频时间分析

本文分析了锁相式频率合成器的各种扩捕手段及它们的优缺点,并提出最适合雷达捷变频使用的频综锁相环捕捉方案;同时分析了这种频综的跳频时间,提出了实现快速跳频的各种有效措施。     

一种带可信时间戳的数字签名

数字签名方案采用公钥加密技术确保了文档数据的完整性、真实性和不可抵赖性，但是它是时间不敏感性的．可能使得签名含有相同的时间而发生冲突。本文引入了可信时间戳概念来解决这个问题，设计了一种带有时间戳的XML数字签名方案。     

千米桥东潜山天然气地球化学特征及成因探索

通过地化分析，结合地质条件等，对千米桥东潜山天然气地球化学特征进行了剖析，并对其气藏的形成进行了探索，结果认为：千米桥东潜山天然气为无机二氧化碳、偏腐殖型有机气，腐泥型有机气的复合气，主源为东部歧口凹陷沿岩带深层（偏）腐殖型气，烃类气体聚集时间晚，为更新世明化镇沉积时其，而无机二氧化碳聚集时间早于烃类气体；与千米桥凝析气藏不同的是该气藏CO2含量高。