可信软件实时性测试用例集生成方法研究*

基于RAISE规范语言（RSL）的一个变体——时间化RAISE规范语言（TRSL）,提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。     

电磁信号时间反演的实现方法研究进展

讨论了基于数字信号处理技术和模拟信号处理技术实现时域电磁信号时间反演的两类方法.前者可以直接对时域信号进行采样处理或通过在频域中进行相位共轭变换,实现时域信号时间反演;后者基于时域成像原理实现时域电磁信号的时间反演处理,包括微波光子技术和全电子技术两种方案.     

大型平台吊装施工与管理分析

本文阐释了大型平台吊装施工过程，并对其项目管理进行了系统分析，提出了施工中工程设计及管理中项目经理责任制的重要性，倡导技术与管理结合的项目运营理念。     

混凝土预湿骨料技术对坍落度经时损失的影响

分析砂石吸水性、含泥量对混凝土坍落度经时损失的影响,采用预湿骨料技术控制混凝土拌合物的质量,减少了混凝土坍落度经时损失,降低了混凝土退灰率,节约了生产成本,保证了混凝土强度及结构实体的强度.     

医用非织造布及毛巾吸水性能检测仪测试技术研究

文章介绍了用组合测试的方法测试医用非织造布及毛巾吸水性能检测仪的恒温水浴系统,通过最优化组合测试用例,阐述了该仪器的稳定性和准确性。     

双金属磷桥联配合物CpMo（CO）2（μ-PPh2）Mo（CO）5结构和性质研究

采用B3LYP／CEP‐31G方法,对CpMo（CO）2（μ-PPh2）Mo（CO）5进行几何结构全优化,从理论水平上探讨双金属磷桥联配合物中 Mo—Mo 键的性质。计算结果表明,双金属磷桥联配合物CpMo（CO）2（μ-PPh2）Mo（CO）5中存在Mo—Mo金属单键,Mo—Mo键的形成主要伴随BD （1）Mo1—Mo2→BD＊（1） Mo1—Mo2电荷转移相互作用。     

震击解卡小修作业技术研究及矿场应用

针对油气田在生产过程中卡钻式井下落物打捞作业的难点,开展了液压震击解卡工艺技术研究。利用液压蓄能原理在近卡点产生向上的动载荷,以保证为被卡落鱼提供巨大的震击力,提高解卡成功率。该技术采用小修作业设备,配套液压上击器、液压加速器及可退式打捞工具等,能够有效地解决因砂卡、垢卡及工具不解封等造成的井下落物的打捞。已在J油田XL采油厂开展矿场试验12井次,节约了作业费用,实现了降本提效的目的。     

再生混凝土无腹筋梁抗剪承载力试验研究

通过对不同再生粗骨料取代率的再生混凝土简支梁的抗剪试验,研究了再生混凝土无腹筋梁斜截面受力全过程和抗剪性能。试验结果表明,再生混凝土无腹筋梁的破坏形式和受力机理与普通混凝土无腹筋梁相似,再生混凝土无腹筋梁的破坏荷载略低于普通混凝土无腹筋梁。在试验研究的基础上,提出了再生混凝土无腹筋梁斜截面抗剪承载力计算公式。     

氧化反应器飞温的危害与对策

根据氧化反应器高温、高压,易燃易爆特点及已发生氧化反应器故障进行分析,发现影响氧化反应器的飞温的关键因素.主要是氧化反应器的温度和尾氧高造成,根据氧化反应器实际参数和事故参数,进行分析归纳,并对反应器爆炸压力、温度、冲击波数值进行计算,找到氧化反应器温度压力等参数和氧化反应器燃烧速度的关系.根据实际情况进行验证并得到应...