排序方式: 共有7条查询结果,搜索用时 7 毫秒
1
1.
2.
模糊物元模型在生态园区配水方案优选中的应用 总被引:3,自引:0,他引:3
在模糊物元分析原理的基础上,根据主客观定权方法和海明贴近度的概念,提出了基于海明贴近度的模糊物元分析方法.在对生态园配水方案进行决策时,把拟定的配水方案作为物元的事物,以植被长势为评价指标,并在不同水分亏缺条件下对其进行量化,构造出复合模糊物元,通过计算与理想模糊物元之间的海明贴近度,实现对生态园区配水方案的优选. 相似文献
3.
东焦河水库大坝为浆砌石重力坝,河床及两岸基岩裸露,坝基下不存在软弱夹层,稳定分析计算主要考虑沿坝体垫层混凝土与基岩接触面滑动。根据《砌石坝设计规范》抗滑稳定采用抗剪强度公式;应力分析采用材料力学法。通过计算可知,水库大坝稳定,断面设计合理。 相似文献
4.
任庄水库调水工程中,管道多处穿越交通公路,采用顶管方案的有3处,其中在通过陵沁一级公路时,采用直径较大的顶管。为保证交通道路的安全性,文中对顶管受力分析进行了详细计算,确保陵沁一级公路在运行中不会存在安全隐患。 相似文献
5.
Web服务事务协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质,因此迫切需要对Web服务事务协议进行验证,以推进Web服务的工业化.采用多元π演算研究了Web服务事务协议形式化表达,详尽描述了WS-AT协议的两阶段提交协议2PCP,并定义了2PCP协议的原子性事务性质.最后,采用MWB工具证明了它的正确性. 相似文献
6.
根据WS-BusinessActivity规范提出一个扩展的长事务协议BAPC,该协议较为详细和更接近于软件实现。BAPC协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质。因此在BAPC协议的软件实施中,迫切需要对BAPC协议进行形式化分析,以保证协议的正确性。基于简洁的异步PI演算,建模和分析了BAPC协议,采用互模拟等价理论及迁移语义给出了BAPC协议的满足长事务协议所具有的持久性、可终止性和局部原子性的证明,说明该协议可以用于处理基本Web服务组合事务,能够保证组合服务的长事务性质。 相似文献
7.
对东焦河水库坝址区地形、地质、气象及水文等条件进行分析,结合该工程浆砌石重力坝的特点,提出了预留导流底孔的施工方案。实际施工时,大坝砌筑速度较快,汛期施工未受影响,导流方案设计合理、可靠。工程完工后,导流涵洞封堵密实,无渗水现象,符合工程质量要求。 相似文献
1