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

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

利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。     

微分法在求多维连续型随机变量函数的概率密度中的应用

多维连续型随机变量的分布函数F(x1 ,… ,xn)与密度函数f(x1 ,… ,xn)的关系是 n x1 … xnF(x1 ,… ,xn) =f(x1 ,… ,xn) ,dF(x1 ,… ,xn) =f(x1 ,… ,xn)dx1 …dxn.利用这一关系给出了用微分法求多维连续型随机变量函数的概率密度的方法及实例 ,在许多情形下 ,它比通常的方法要简单一些     

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

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

抽油管壁磨损量检测方法

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

用GPS和随机减量技术对悬索桥实时监测

为连续实时监测大跨桥梁的抗风、抗震重要参数——位移、转角和频率 ,通过比较几种桥梁传统的位移测量方法 ,提出利用 GPS实时监测悬索桥位移和转角的新方法。介绍了其测量系统和特点 ,在此基础上 ,利用基于随机减量的 FFT时域模态识别技术对虎门大桥进行实时模态分析 ,并同有限元数值分析结果和加速度计的实地测量结果相比较 ,得出 GPS技术与随机减量技术相结合可实现大桥连续实时监测的结论     

Characterization of Type p Banach Spaces by the Weak Law of Large Numbers

For weighted sums of the form ∑j＝1anjXnj where {anj, 1≤j≤kn ↑∞,n≥1 } is a real constantarray and {Xnj, 1≤j≤kn ,n≥1 } is a rowwise independent, zero mean, random element array in a real sep-arable Banach space of type p, we establish Lr convergence theorem and.a general weak law of large num-bers respectively, conversely, we characterize Banach spaces of type p in terms of convergence in r-thmean and probability for such weighted sums.     

关于S-W BPRE灭绝概率积分表示的构作举例

利用分式线性概率母函数的特性 ,借助对偶过程及其函数变换 ,在作了一些适当的特殊假设的情况下 ,探讨了随机环境分枝过程 BPRE的灭绝概率的具体表示形式 ;并通过两个举例 ,构作了两类独立同分布随机环境分枝过程灭绝概率的积分表示。从而在特殊情况下 ,可通过简单的积分计算求得随机环境分枝过程的灭绝概率。     

高速滑坡飞行气动特性的风洞试验研究

国内外已发生的许多大型高速滑坡在近程活动阶段均呈现飞行运动，高速滑体如同机翼一样，将产生机翼效应。这种空气动力学效应不仅使滑坡飞行得更远，而且使位能更多地转变成滑坡飞行的功能，使滑体获得更大的速度，将高速滑体制成相似的机翼模型，进行风洞试验，即可测定滑坡凌空飞行的空气动力学参数，从而计算大型高速滑坡凌空飞行的空气动力升力、飞行速度和飞行距离等。风洞试验结果表明：高速滑坡体的几何形与结构、飞行姿态对高速滑坡飞行气动特性有显著影响，而飞行速度对气动特性的影响甚小。     

久期在债券利率风险度量中的应用及修正

介绍了不可能赎回债券的麦考莱久期；通过分段考虑贴现率，给出了麦考莱久期两种有效修改形式。