数字

上海:83项重大工程建设投资逾千亿元2015年,上海市共安排重大工程建设正式项目83个、预备项目24个;计划新开工项目9个,基本建成项目14个;计划投资约1071亿元。这83项重大工程项目将重点围绕生态文明建设、城市新发展、城乡一体化建设等展开推进。主要包括推加快推进清洁能源设施、黄浦江上游水源地建设、生态环境设施、节能减排设施等项目建设;围绕城市基础功能延伸,重点推进11条(段)轨道交     

独立基础加防水板基础的设计应用

<正>一、引言当建筑物为多层框架建有地下室,如果上部荷载不是很大或地基承载力较高时,可以选用独立基础加防水板。此做法也适用于高层建筑的裙房及纯地下车库的基础设计。二、受力特点1.设置软垫层符合设计构想独立基础加防水板基础中,柱下独立基础承担全部结构自重并考虑水浮力的影响,防水板一般只用来抵抗水浮力,不考虑防水板的地基承载力。采用独立基础加防水板     

高层建筑深基坑施工安全监控

基坑是为了将建筑物基础深埋入地下,保证建筑物上层结构稳定而必须要实施的工程。深度小于5m的基坑称为浅基坑,可以直接实施开挖或者放坡开挖作业,并且一般作业面积也较小。竖直深度超过5m基坑称为深基坑,在高层建筑的地基施工中,一般情况下一定会开挖深基坑。当前的建筑市场,高层住宅楼、大型高层商业楼的发展迅速,深基坑不仅深度越来越大,其占地面积、规模也越来越大。深度大、占地面积广的深基坑在施工时,会对施工场地周边建筑物及环境产生很大的影响甚至危害,而开挖作业需要大批工人深入地下作业,这     

国内

农业部部署2015年农业安全生产工作1月14日,农业部召开安全生产委员会全体(扩大)会议,全面总结2014年农业安全生产工作,部署2015年农业安全生产及春节、“两会”期间维护稳定重点工作。2014年全国农业安全生产形势总体平稳、持续好转,各项工作取得明显成效。但由于农业生产受自然因素制约性强、安全生产基础薄弱等因素影响,安全生产形势仍然严峻。春节、“两会”将至,各部门要严密部署     

教育公共服务平台基础数据的采集与应用

基础数据是教育管理公共服务平台的核心与基础。提高基础数据的应用服务能力,数据采集是基础、数据整合是关键、数据安全是保障、智能分析是需要。结合云计算的应用,分析教育基础数据的组成、基础数据采集与应用中存在的问题与困难,探讨在教育云环境下,教育基础数据的采集与存储、交换与共享、应用与服务等过程中的挑战及其解决方案。     

可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

《尚书·禹贡》荆梁二州的农业考古学探析

《尚书·禹贡》中所载“九州”是中国先民对中国古代宏观地理的最早认知。结合近年来相关研究成果对其中荆梁二州的分布 地域进行界定,可以发现二州之间相互毗邻;同时,以考古资料为依托分别对荆梁二州在公元前2000 年前后所形成的农业类型进 行描述分析发现,两者之间既存在相同之处,又存在差异之处。梁州农业类型的形成既有来自北方的影响,又有来自临近的荆州的 影响,荆梁二州之间早在新石器时代便开始产生零星的农业文化传播与交流,而这一传播交流的实现大体存在两条路径。川东鄂 西地区的山地或是《尚书·禹贡》荆梁二州的农业文化分界线。     

抛离概念,回归本元

都说AAITF是中国汽车后市场的行业方向标,当然,这其中也包括了在汽车用品行业中占有重要地位的汽车窗膜板块。从本届AAITF展会现场盛况来看,我认为窗膜板块有两点特别值得关注。第一点是中国民族品牌的崛起,第二点是展会上窗膜概念化炒作的大幅减少。经过近20年的发展沉淀,国内部分窗膜企业在研发以及生产技术、生产设备等方面已经     

汉语复合名词语义信息标注词库: 基于生成词库理论

复合名词分析一直是语言研究和自然语言信息处理中的一个重要问题,涉及未登录词的识别、自动释义以及词典编纂等。生成词库理论是目前较新的一种语义学理论,我们拟利用该理论对汉语复合名词进行语义信息标注,建立一个词库。该文首先介绍了这一词库的标注框架,然后通过对“纸”、“石”构成的复合词的对比分析,展示了这一词库在复合名词构词、语义研究中的应用。研究结果显示,物性角色、自然类和人造类是非常重要的语义信息,能揭示复合名词构词和语义的一些模式和规律。     

数据流语言中数据频率的自动化处理技术

数据流分析和处理是计算机应用最常见的工作之一,实际系统常常包括不同频率的数据流,而现有的程序语言要求在程序中对数据频率进行显式的处理.旨在提出一种新型的变频数据流处理框架,针对基本的频率运算进行自动化处理.我们基于函数式程序设计语言和依赖类型系统理论,定义了数据流语言FStream,在程序的类型检查过程中对数据流频率进行检查和处理,并给出了离散的Simulink模型到FStream的表示.