Model checking with fairness assumptions using PAT

来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:xujuenrong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
麻疹河北省:2014年3月全省报告1611例,死亡1例,发病率2.211/10万,死亡率0.001/10万。报告病例数较上月上升94.33%,较2013年同期上升3829.27%。发病率居前5位的地市为承德、石
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
针对变速变桨风力发电系统(WTGS)的非线性动态模型,采用Takagi-Sugneo (T-S)模糊建模理论处理其非线性,以得到高精度的线性形式控制设计模型.首先,提取代表WTGS变工况特性的
以内蒙古河套地区解放闸灌域为研究区域,应用光能利用效率和多时相遥感数据,构建遥感估产模型,讨论了玉米各生育期干物质积累量的差异性,并利用地面实测产量数据与遥感估产模型数据进行对比分析。结果表明:玉米拔节期的干物质积累量最大,占总量的40%;根据玉米各生长期干物质积累量的差异,能够获得玉米产量的主要生态障碍因素和提高产量的方法;地面实测产量数据与对应遥感估产模型数据具有较好的相关性,相关系数达到0.
文章从三个方面对政教之间的这种交往过程做了论述.第一、历代中央政府对佛教的总体态度.从世俗政府对佛教的推崇与禁断过程的叙述中,对政教关系做一整体把握.第二、对历代政
前不久,为了弘扬正气,表彰先进,阳泉市经过认真细致的组织推荐、把关筛选、公示表彰等环节,隆重表彰了100名在革命、建设和改革开放不同历史时期为阳泉做出突出贡献的功勋党
边际党支部是三江侗族自治县在省际、县际边界之间的少数民族村寨中建立起来的以不同省籍、不同县籍党员共同组成的联合党支部,是基层党组织设置模式的创新,是农村基层创先争
该文主要立足于马克思的《1844年经济学哲学手稿》,探讨马克思的异化劳动学说与生存论历史观之间的内在关联.第一部分马克思异化劳动学说中的异化概念.1.资本、地产和劳动的
随着中国市场经济的进一步发展和社会结构的急剧变化,弱势群体已成为中国转型时期一个较为突出的社会问题.正确认识和处理社会转型期弱势群体,是关系到中国改革、发展和稳定
重点研究不同时间空间尺度对MODIS地表温度(MODIS LST)与地面气温相关关系的影响,以寻找最优时间空间尺度来提高MODIS估算地面气温的精度.选用宁夏自治区2000~2010年MODIS地表