第十届国际人工智能联会预告

<正> 第十届国际人工智能联会定于1987年8月23日至28日在意大利米兰举行。为提高人们对人工智能在工程中应用的兴趣,此届联会决定将技术程序分为科学部与工程部。科学部论文在8月23日至26日宣读,内容偏重于人机之间思维与感知方面的计算原理。工程部论文在8月25日至28日介绍,主要强调计算原理的应用成果。联会对下述方面的学术论文和研究简报感兴趣,即结构与语言(包括逻辑程序设计、用户交互技术),推理(包括定理证明、规划、解释),知识获取     

国际学术会议预告

1.会议名称:TAPSOFT’87(Joint Conference on Theory and Practice of Software Development) 由三个小会组成: CAAP’87 Colloquium on Trees in Algebra and Programming CELP Colloquium on Functional and Logic Programming and Specification Seminar Advanced Seminar on Foundations of Innovative Software Developme- nt 时间:1987年3月23—27日地点:意大利 Pisa市组织委员会主席:Dr.Pierpaolo Degano,Dipartmento di Informatica,Universita di Pisa, Corso Italia,40 I-56100 Pisa,Italy 内容 CAAP:形式语言和自动机,数据结构和数据库理论,串、树和图重写系统,抽象数据类型,     

插接式XPS板外墙外保温在高层施工中的应用

采用大模内置钢塑复合插接栓外保温做法,实现了外墙保温与主体工程同时施工,使保温层与结构层紧紧锚合在一起,满足了建筑物使用寿命。同时可取消粘结保温层工艺,缩短工期,降低成本。     

空间管桁架结构体育馆施工全过程模拟分析与健康监测

利用有限元软件ABAQUS中的生死单元法模拟空间管桁架结构施工过程的吊装阶段,把模拟得出的杆件应力与节点位移结果作为模拟施工过程卸载阶段的初始条件。利用支座位移法对卸载阶段进行模拟,同时对比了3种卸载方法,并将分级分步卸载方法的模拟数据与健康监测数据进行对比,验证了模拟方法的可行性。结果表明:以吊装阶段结果为初始条件的卸载过程模拟可以找出临时支撑上部在施工过程中受往复荷载的杆件,施工中应增强这部分杆件的加固措施;分级分步卸载可以防止结构杆件应力与节点位移变化过快,避免整体结构由此产生设计中未考虑到的动力响应;模拟结果与实际健康监测数据较为吻合,分级分步卸载为最佳的卸载方案,在实际工程中更为适用。     

第九届国际人工智能联会简介

1985年8月18日至23日在美国加利福尼亚大学洛杉矶分校召开了第九届国际人工智能联会。来自美国、英国、加拿大、法国、德国、日本、中国等国家的5500名代表参加了这次规模盛大的国际人工智能学术交流会。此次大会的特点是论文新颖、产品实用。宣读的论文中,有知识表达21篇,知识推理22篇,专家系统和自然语言处理各28篇。这些论文已汇编成册,由美国加州Morgan Kaufmann出版公司发行。在五十多家公司展示的人工智能最新产品中,硬件产品有大中型LISP机,开拓者号微型LISP机等。软件产品极为丰富,主要集中在解释编译型通用LISP语言、解释编译型PROLOG语言、人工智能开发环境以及专家系     

GBF高强复合薄壁管在现浇钢筋混凝土空心楼板中的应用

介绍了GBF高强复合薄壁管新型材料的特征,工艺原理,工艺流程及施工技术保证措施。与普通混凝土相比,体现了其优越性。