云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

腐蚀对风车联合作用下斜拉桥拉索 疲劳可靠性的影响分析

为探讨腐蚀对随机交通和风载联合作用下斜拉索疲劳可靠性的影响规律和机理,通过拉索高强钢丝的加速腐蚀和疲劳试验,提出了考虑腐蚀的斜拉索疲劳抗力模型;基于线性累积损伤准则,建立了考虑腐蚀影响的风车联合作用下拉索疲劳可靠性的分析方法和流程;依托工程实例,分析了腐蚀等级和时变腐蚀对拉索疲劳可靠性的影响.结果表明:随腐蚀加剧拉索动态疲劳可靠指标下降速率增大;等级达到Ⅲ级及以上的腐蚀对拉索疲劳可靠寿命影响显著,尤其对于靠近桥塔及辅助墩处拉索;Ⅳ级和Ⅴ级腐蚀时拉索疲劳寿命相对无腐蚀状况降幅最大分别达24%和44%;相对完好状况,时变腐蚀影响下拉索的动态疲劳可靠指标下降更为迅速,且降幅明显大于仅考虑腐蚀分级的状况.     

考虑外界影响的元动作单元故障概率模型

为描述数控机床运动构件的故障率随时间变化的情况,本文从元动作单元出发,建立了一个关于元动作单元的故障概率模型.首先,根据元动作单元故障发生的原因将故障分成两类,随机故障和老化故障.然后,根据这两种故障类型故障数据的不同特点,选用两个不同的概率分布函数分别进行描述,随机故障用泊松分布进行描述,老化故障用威布尔分布进行描述.接着,给出这两种故障概率模型中各参数的物理意义和估计方法.更进一步,工作负载和工作环境会分别对元动作单元的老化故障和随机故障的故障率造成影响.为比较这两者对故障率影响的大小,提出了工作负载参数R l和工作环境参数R e,并给出这两个参数的估计方法.最后,根据收集到的运动构件的故障数据作出频率直方图,同时,对故障数据进行参数估计得到概率密度函数,并将这两者画在同一幅图上,发现两者具有较好的拟合效果.表明提出的元动作单元故障概率模型适合于描述运动构件故障率随时间的变化,模型有效.     

基于扫描数据零件轮廓特征自动识别的方法

主要研究基于扫描数据自动识别零件轮廓特征的方法与技术．首先给出了零件轮廓特征自动识别的工作流程，然后提出了零件轮廓特征自动识别的原理与算法，最后通过具体实例验证了本方法的优点及可行性。     

蒙特卡罗法在零件可靠性设计中的应用

蒙特卡罗法简称蒙特法，是一种计算机模拟方法，应用于机械CAD中，可节省时间和劳力，大大提高工作效率，同时确保计算的高效、准确，对可靠性设计提供了保证。本文将此方法应用于零件可靠性设计，得出计算机模拟结果，通过与理论结果比较，验证了此方法的可行性。同传统代数法和矩法计算可靠度相比，蒙特卡罗法无须知道应力和强度分布类型及概率参数，能够有效地解决问题。缺点是为提高计算精度必须进行大量模拟计算，需要较长的计算时间。     

采场人员可靠性模糊综合分析

针对采场人—机—环境可靠性系统中,人是最主要的也是最脆弱的这一特点,根据可靠性理论,应用模糊数学理论与层次分析法,建立了一种新型的系统可靠性模糊数学分析模型,对采场人员可靠性进行综合分析和评价。该分析方法能够对采场人员系统可靠性给以直观、定量的描述。最后,以某磷矿为例,验证了模型的合理性。     

不完全概率信息的车辆常用弹簧的可靠性灵敏度设计

将可靠性设计理论与灵敏度分析方法相结合，讨论了车辆常用弹簧的可靠性灵敏度设计问题，提出了可靠性灵敏度设计的计算方法，给出了可靠性灵敏度的变化规律，研究了设计参数的改变对车辆常用弹簧可靠性的影响，为车辆常用弹簧的可靠性设计提供了理论依据。     

SSCK系列数控车床的致命度分析

通过对7台数控车床故障数据进行分析，查清了各故障部位、故障模式的比率，建立了失效模式影响及致命性分析(FMECA)表，从而为可靠性分析和可靠性设计提供了依据     

对GDX1卷烟包装机缺商标纸检测的改进

本文介绍了一种增加GDX1卷烟包装机缺商标纸检测可靠性的方法。