该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......

In this paper, the relationship between thesecond order typed λ-calculus λ2 and its higher orderversion λω is discus......

目前,自然语言处理已经从句法、语法层面走向轻语义层面。对于汉语陈述句的处理,传统的方法是采用Lambek演算来进行处理。但是传统......

并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链......