排序方式: 共有46条查询结果,搜索用时 126 毫秒
1.
采用形式化技术的软件再工程 总被引:4,自引:0,他引:4
形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。 相似文献
2.
3.
4.
5.
广州宾馆园林40年的探索之路,为岭南园林,乃至中国园林的现代化提供了有益的启示,它与宾馆建筑完美结合,也为中国建筑的民族化提供了成功的范例。 相似文献
6.
钢管混凝土框支柱与钢筋混凝土框支梁的节点设计 ,是钢管混凝土柱在框支剪力墙结构应用的关键 .对节点区受力进行了分析 ,针对框支柱及其节点的延性、上部剪力墙及框支梁产生的内力如何传到框支柱上和如何使节点区域的强度大于标准段的强度等问题的解决 ,提出了一种受力明确、设计合理的节点形式及其设计建议 ,解决了钢管混凝土柱在高层建筑框支剪力墙结构中应用的关键问题 . 相似文献
7.
8.
混凝土环梁节点是钢管混凝土柱与混凝土梁连接的一种新型节点。通过14个钢管混凝土柱-环梁节点模型的低周反复荷载试验,研究了环梁节点的抗震性能。试验结果表明:无论塑性铰出现在框架梁端还是在环梁上,试件都有很好的弹塑性变形能力;达到最大承载力时,大部分试件的钢管柱转角即层间位移角已超过1/120,滞回曲线比较饱满;承载力下降时,滞回曲线虽有不同程度的捏拢,但不严重,试件有较好的耗能能力;环梁节点的钢管混凝土柱与环梁相对独立,节点的破坏基本上不影响钢管混凝土柱的承载力。 相似文献
9.
10.
广州地区宾馆园林四十年的探索之路,为岭南园林,乃至中国园林的现代化提供了有益的启示,它与宾馆建筑的结合,也为中国建筑的民族化提供了成功的范例。 相似文献