安全协议的自动分析技术

安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结.     

特大桥箱梁结构顶推法施工技术探讨

本文就特大桥箱梁顶推施工技术这一题材，简要介绍中施工过程中的技术要点及质量措施。     

探讨桥梁顶推施工技术

本文根据多年的实践经验,介绍顶推施工发展动态及顶推施工技术所取得的成就,系统总结了顶推桥梁的技术原理、施工方法、及关键技术.     

计算机软件类课程教学平台研究与实践

公共教学平台是学校开展学生支持服务的核心系统。一个良好的公共教学平台应具备丰富的学习资源,满足学生之间的交流互动,平台的智能性和交互性越来越备受关注。该文研究的平台结合国内外研究及相关开发经验,在将知识地图展示、知识点协同学习、个性化学习及资源智能推荐等几个方面有一定特色。与一般的网络教学平台相比,该系统有两大关键特点:平台业务以学生为主,特别推崇学生的自主学习;平台涉及的课程/学科知识点之间存在语义关系,可提供基于语义的智能搜索。     

浅论当代我国农业机械化推广体系的现状

保障民生是我国建设现代化和谐社会的基础,保证农业生产是保证民生的重要前提,农业机械化是提高农业生产的护航者,只有建立良好的机械化推广体系才能保证农业生产的高效率。但是目前我国的农机推广体系还存在一些问题,本文就我国农机推广体系中的问题提出建议,从另一个层面反映我国农机推广的现状。     

中国科考队成功到达北极点进行科学考察

<正>8月20日,中国第四次北极科学考察队成功到达北极点,创造了我国历次北极考察队到达北冰洋最北的考察纪录。当天,科考队乘坐"雪龙"号极地科学考察船到达北纬88度22分、西经177度20分地点后,     

钢箱梁施工要点分析

简述钢箱粱的制作、组装、焊接,通过检查合格后的顶推就位,对全过程中的施工重点和难点进行分析说明.     

湘中南推覆构造及其产出的大地构造背景

湖南中南部于中新生代地洼发展阶段发育许多推覆构造,基本特征与发育于地槽褶皱带的阿尔卑斯式推覆构造不同,表现在:数量多,分布广,单个推覆构造规模较小,推覆方向各异,成因类型多。     

推覆体的几何学与四川龙门山推覆体模式

本文根据四川灌县、江油地区龙门山推覆体构造带的观察,结合国内外资料讨论推覆体的几何学特征和几何分类。作者首先根据推覆体沿主断层倾斜面顺向下滑和逆向上冲运动的性质,将推覆体划分为下滑推覆体和上冲推覆体两种基本类型;然后,根据推覆体与结晶岩体几何学的关系,并结合其与主断层面相对运动的性质又划分为单侧式推覆体和双侧式推覆体两大类和几个小类。作者从推覆体的发生、发展和演化过程探讨四川龙门山中北段推覆体模式。归类是初步的。在这些归类和龙门山推覆体模式分析中,对今后探索地壳上层滑脱构造的形成,模拟与这类构造有关的油气田区域是今后研究的努力方向。     

天然航道船行波波高计算方法

介绍了７０年代－８－年代国外较典型的有关船行波波高计算公式及其适用条件，根据我国近期对双体客船的船行波试验资料，给出了相应的计算船行波波高的方法。并了单体船和双体船船行波形态以及影响船行波波高的诸因素。