多阶段任务系统可靠性分析的ROBDD算法

来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:yy19871003
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在2018年BIRTV展会上,本刊邀请斯泰克德国总部销售总监Alexander Nemes,斯泰克中国公司总经理曾东,Riedel亚太区总裁Cameron O’Neil.来到中央广播电视总台展位的现场演播室
期刊
针对运载火箭伺服机构故障,提出一种基于扩展多模型自适应估计的故障检测与诊断算法。建立考虑伺服机构故障的运载火箭姿态动力学模型;将故障角度作为状态变量得到增广状态空间模型;利用扩展卡尔曼滤波器进行状态向量和故障参数的非线性估计,并基于传感器测量数据采用假设检验算法在线计算故障发生的概率;给出基于扩展多模型自适应估计的故障检测与诊断算法流程。仿真结果表明,该方法在无故障时可对伺服机构进行健康监测;在单
目的通过对喹诺酮类药物的结构特点、抗菌谱进行研究,以确定其临床应用范围及不良反应。方法 以2011年我院喹诺酮类药物临床处方为研究对象,通过其临床使用处方数、频率等,来分
针对软件接收机相关器计算的实时性问题,通过分析扩频信号的接收过程,建立一种基于向量内积的并行相关信号接收模型。利用图形处理单元中大量的浮点运算单元进行矩阵与向量运算,并行计算各通道相关值,提高了信号相关运算的实时性。仿真验证结果表明,利用基于GPU的向量内积软件并行相关算法计算25 MHz采样率时长1 ms的信号相关值,25个通道共150个相关运算耗时967μs,与CPU上基于数学核心函数库的实现
介绍了一种基于n阶布拉格衍射的新型冷原子干涉重力仪,可以进一步提高现有拉曼跃迁型原子干涉重力仪的测量灵敏度和稳定度。在介绍布拉格衍射型原子干涉重力仪基本原理的基础上,建立了原子平行驻波入射的时间型布拉格衍射冷原子干涉重力仪理论模型,分析了实验所需的关键条件,包括原子团纵向温度、布拉格激光直径、曲率半径、频率、强度以及时序等。与已有实验数据的对比结果表明:所建模型合理,所得结论能够为实际构造一台布拉
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
期刊