复杂系统可靠性验证方法研究磁

针对复杂系统可靠性验证问题,根据组成系统设备的研制特点,给出了复杂系统可靠性的Bayes综合评估方法,以此获得了其任务可靠度点估计和置信下限。在此基础上,对复杂系统可靠性验证试验方案的制定方法进行了研究,通过综合考虑生产方和使用方的风险,给出复杂系统可靠性保证试验方案的调整方法。最后,通过实例分析,对方法的可行性进行了说明。     

基于Bayes理论的小子样维修性试验与评定研究

在分析现有经典维修性验证方法不足的基础上，利用Bayes理论，提出了小子样维修性试验与评定方法，给出解决问题的一般步骤。通过实例分析，验证了这一方法的合理性和可行性。     

地下连续墙局部与整体稳定性分析

连续墙的稳定性问题在实际工程中是比较重要的工程问题.在分析了连续墙可能的破坏形式后,提出连续墙的局部与整体破坏模式.利用极限分析上限定理,构建摩尔-库伦土体中两种破坏模式的速度机动场,并求得了相应的外力功率与内部能量耗散,利用内外功率相等,将稳定性问题转化为非线性规划问题,并提出了相应的约束条件.利用优化算法,求得了局部破坏的稳定系数与整体破坏的安全系数,并分析了连续墙的稳定性随强度参数的变化规律.     

一个数值求积公式的渐进性质

从一个插值公式的构造出发,得到相应的积分中值定理,构造了具有5次代数精度的数值积分公式,通过对积分中值定理中间点的渐近性质的分析,得到具有7次代数精度的数值积分公式,应用复化求积,进一步改进了这个公式,使它具有高精度且不用计算导数.     

一类Gronwall-Bellman型不等式的统一证明及其推广

借助一个比较定理,通过解普通的常微分方程,对一类Gronwall-Bellman型不等式及其推广进行了统一证明,并将其进一步推广.     

边界弹性支撑地基板在移动荷载作用下的振动分析

刚性道面的接缝都具有一定的传荷能力,充分考虑此点可使设计更为经济合理,因此把刚性道面板建立为运动荷载作用下,弹性半空间地基上四边具有弹性支撑有限矩形板,此模型为一种新的力学模型。然后以单位力作用下的四边简支矩形板为基本系统,通过简化约束,考虑板挠曲面微分方程与振型函数在数学及力学上的相似性并利用互等功定理及变分法原理,求解出在匀速移动荷载作用下该矩形板的动力响应解析解。最后根据机场工程中实测的道面板弯沉值,利用此解析解反算出了板四边弹性支撑的刚度系数。通过该方法可以寻找接缝板动力挠度响应问题的一般规律,进而为从理论上找出动态接缝传荷(传剪)能力问题的一般规律提供参考,最终使有限矩形道面板的设计更加有效合理。     

抽象空间脉冲泛函微分系统的可控性

借助Leray-Schauder(非线性抉择)定理,对抽象空间中一类一阶脉冲泛函微分系统适度解的可控性问题进行了研究.所得结论对相关文献的已知结果进行了推广和改进.     

基于粗糙集和贝叶斯分类器的病毒程序检测

在病毒程序检测中将粗糙集与贝叶斯分类器相结合．该方法在粗糙集属性约简的基础上，综合考虑了条件属性和决策属性的依赖性以及条件属性间的依赖性对约简的影响．通过基于依赖性的属性约简，减少对属性变量间独立性的限制，发挥贝叶斯分类器的鲁棒性潜能，优化贝叶斯分类器的特性．实验结果表明，检测率达到97．88％，正确率为97．16％，明显高于传统的基于特征和RIPPER的方法，也高于多贝叶斯方法；虚警率为5．19％，也比上述所有方法均有所降低．     

基于强度折减技术的加筋路堤稳定性极限上限分析

土工加筋结构在工程实际中被广泛采用,采用基于极限分析理论上限法对其稳定性能的分析比较常见.但目前基于极限分析法的加筋边坡稳定性常常采用的评定指标(临界高度Hcr、稳定性系数Ns或临界加筋强度Ko)与其他常用方法(极限平衡法、数值分析法)采用的安全系数(Fs)评定指标不完全统一,故该分析方式往往无法在实际工程中直接应用....     

关于Gronwall不等式的注记

介绍了Gronwall不等式，并给出了一般的证明方法．利用微分方程中的比较原理，将Gronwall不等式对线性控制量的估计推广到关于非线性控制量的估计．同时给出了Gronwall不等式在讨论微分方程解性质中的应用．