软件安全性3M评价中评价因子修正的研究

安全性苛求系统需要防范意外事件造成对人体，环境或大宗财产的损害，为此，对软件需要进行严格的安全性测试，并对软件防范意外事件的能力进行评价，然而，完全依靠试验统计或事故累积数据进行安全性评价。会由于测试开销过大或等待累积时间过长影响评价的准确性和及时性，需要利用软件开发过程中涉及的诸多要素和在各个阶段来自多个方面所提供的信息参与安全性评价，但是，在这些信息中包含了某些主观的成分有待验证，在多元，多模型，多阶段（3M）安全性软件评价方法的框架中，有可能利用后续测试得到的信息不断对评价因子进行修正，提高评价的准确性，讨论了后续测试对3M模型中的复杂性，技术支持和开发水平因子的修正方法，着重论述对开 水平因子的修正，提出了后续测试信息和先期测试信息进行比较和处理的过程和一些规则。     

漏磁检测的交直流磁化问题

针对漏磁检测交流磁化的磁化电流频率选择问题 ,采用概率论的有关知识分析了影响漏磁检测信号大小的因素 ,并从漏磁场的检测理论上分析了磁化频率的选取原则 ,即 :载波频率应远大于调制波频率。对宽 0 .2 mm、深0 .2 m m的人工矩形槽缺陷的检测结果验证了对缺陷漏磁场所作的理论分析 ,得出了在常规的漏磁检测条件下磁化频率应大于 1k Hz,并指出漏磁检测不能采用频率为 5 0 Hz交流电磁化     

抽油管壁磨损量检测方法

在石油开采工业中 ,抽油管被大量使用。为了避免由于抽油管过度磨损造成的事故 ,有必要对抽油管壁磨损量进行检测。将计算机技术、机电控制技术、信号处理技术与漏磁检测技术结合起来 ,实现了抽油管壁磨损量的检测。探头采用双传感器差动的方式 ,避免了工作环境磁场对检测的影响。漏磁检测探头在抽油管内采用螺旋式轨迹扫查 ,能保证磨损缺陷不漏检。经过实验测试 ,此检测方法能有效地检出对抽油管正常工作有严重危害的管壁磨损 ,在采油业中具有广阔的应用前景     

TTCN-3:用于分布式系统黑盒测试的新一代测试描述语言

介绍了TTCN 3的基本概念 ,对TTCN 3测试方法的配置、使用等作了较为详细的研究 ,并针对MTC与SUT间异步通信的情况 ,介绍了TTCN 3在系统测试中的应用     

船舵测试数据采集系统的设计与实现

集中监测控制台内集成一套以工控机为核心的数据采集系统,利用组态软件力控监控测试画面和阿尔泰板卡采集数据,满足对试验台加载系统和受试舵机的遥控、压力调节、报警监测、过程数据采集、存储和实时显示等功能.并能按操作者设定的函数自动计算出扭矩等无法直接测量的参数,输出指定的数据表格及曲线图.     

基于集成神经网络的球墨铸铁珠光体含量涡流无损智能测定

为了实现球墨铸铁珠光体含量的智能无损测定,制备了具有代表性的球墨铸铁试样并按珠光体粗细程度将其分为三类。首先在分析了影响球墨铸铁电磁性能的主要因素的基础上,同时采用涡流无损检测法与金相法对球墨铸铁珠光体含量进行了测定,对检测数据进行回归分析表明二种方法的测量结果很接近;然后采用集成神经网络处理涡流检测数据并对珠光体含量进行了预测,预测结果表明基于集成神经网络数据处理的涡流检测是一种快速智能识别球墨铸铁中珠光体含量的有效方法。     

印尼M、N凝析气田产能描述

结合M与N凝析气田的地质特征与流体特点,分析二项式产能方程异常的原因,并进行校正,有效建立了24次产能测试中的21个产能方程,计算无阻流量介于（3~192）×104m3/d,大部分气井为中、高产气井。建立了测井解释渗透率与试井解释渗透率之间、试井地层系数与无阻流量之间、合理产能与无阻流量之间的关系;结合最小携液量图版,确定技术上合理的产能。实际应用时可以根据生产的需要调整合理产量,为方案设计、生产规划提供技术依据。     

电磁阀测试系统综合控制研究

针对电磁阀测试系统中压力、流量等流体被控参数存在复杂、非线性、时变不确定性及一定程度的纯滞后等特点,提出了系统综合控制方案.以油介质电磁阀实验回路为原型,建立了系统数学模型,采用了智能控制综合算法来实现被控参数的精确控制.通过Matlab/Simulink进行了电液联合控制仿真,将仿真结果进行比较,验证了控制算法的有效性;将控制算法引用到电磁阀测试实验中,通过实验结果对比分析,最终确定了适合本系统的最优综合控制策略.     

La2Cu1-xLixO4+δ体系低频内耗研究

采用强迫振动方法对La₂Cu₁-xLixO_4+δ(0.02≤x≤0.15)系列氧化物超导体的母体化合物的低频内耗和模量进行了研究.结果表明,当x=0.02,0.05时,La₂Cu₁-xLixO_4+δ在250 K附近存在一个弛豫型内耗峰P1,为共价氧对形式的额外氧跳跃弛豫运动的结果;当x=0.10,0.15时,La₂Cu₁-xLixO_4+δ除了存在内耗峰P1外,在200 K附近还出现了内耗峰P2;La₂Cu₁-xLixO_4+δ在高温区域的模量反常现象反映了体系的正交与四方结构转变,其相变温度随Li的掺杂量的增加而向低温区域移动.     

基于斜入射模式的点焊接头超声检测方法

文章提出了一种基于斜入射模式的点焊超声检测方法;详细阐述了斜入射模式检测原理,研究了基于斜入射模式的点焊接头焊核直径的定量测量方法和焊点气隙薄层的定性评价与定量检测方法,讨论了焊点压痕、焊核形状和声束散射等因素对实际焊点检测的影响;对实际焊点进行了超声检测,结合破坏性试验测量数据,对比分析了声压幅值-熔核直径理论曲线与实际特性。结果表明,理论与实验吻合较好,该方法可用于定量测量焊核直径以及定性评价焊点质量。