海底黑烟囱--远古海底世界的模板

海洋,地球资源的大宝藏,在陆地资源日益枯竭的今天,将越来越成为人类未来生产和生活的依靠.从海洋中引发的许多问题和思考,还促进了科学理论和技术的不断向前发展,如板块构造理论,就是在对海洋的研究中不断完善和发展起来的.     

基于约束构造算法的密码协议安全性分析

基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法，然而，由于密码协议参与主体的任意性、消息运算复杂性和运行的并发性，密码协议的安全性分析是高度计算复杂性的难题。基于最近提出的密码协议代数（CPA）模型，采用代数方法描述密码协议活动，精简密码协议描述，提出一个高效的密码协议安全性自动分析算法。该算法通过泛多项式方程求解技术，减少密码协议安全性分析过程中产生的冗余状态数量，并可提供在无限状态空间运行的协议安全性分析。根据该算法，实现了一个密码协议自动分析系统ACT-SPA，应用该系统分析了二十多个密码协议，结果显示系统显著提高了运行效率，并发现了新的密码协议攻击。     

几类鸡常见病

减蛋综合症 相似症状：产蛋量下降。 区别症状：产蛋突然减少，出现无壳蛋、软壳蛋、薄壳蛋等；输卵管子宫部水肿性肥厚、苍白。     

断层碎屑分布的分维及其地质意义

通过对浙江丽水盆地边缘断层碎屑分布的统计分析，发现断层碎屑的分布具有分形几何的特征，不同力学性质的断层，期碎屑分布的分维不同，断层碎屑分布的分维包含了断层构造演化的信息，揭示了浙闽碰撞带碰撞后期的构造演化特征。     

高校教师教学业绩评价的激励机制设计

本文针对当前高校教师教学职责和现状，根据委托一代理理论构造了一个教师具有双重任务的激励模型，并求出了它的解析解。这为高校教师教学业绩评估和薪酬制度改革提供了思路。     

论建筑设计用钢量的控制方法

建筑单位面积用钢量是目前工程建设有关方相当关心的一个重要经济技术指标,也是设计单位方案投标时的一个重要指标,项目业主往往对设计单位提出限额设计的要求。建筑单位面积用钢量的主要影响因素有建筑和结构两个专业。本文将全面分析影响用钢量的因素及控制方法,以期提高有关设计人员控制建筑用钢量,进而控制建筑造价的意识,真正达到安全、经济、适用之目的。     

“构造钢筋”和“节点细部”对结构安全的作用

从钢筋锚固、接头、配筋率、弯曲、节点,抗震和计算机应用方面,探讨“构造钢筋”和“节点细部”对结构安全的影响。     

影响铝壳火雷管穿孔能力的主要工艺参数探讨

文章通过对铝壳火雷管装药药量、压药密度、压力等方面,对铅板穿孔的影响作了一些生产工艺的探讨,对提高铝壳火雷管的铅板穿孔能力具有一定的实用价值。     

多层砖混房抗震设计中存在的主要问题和处理办法

对多层砖混房抗震设计中存在的主要问题进行了分析,提出了多层砖混住宅抗震设计与构造的一些改进措施及处理办法。     

基于CSCW的建筑设计系统构造研究

提出了一种基于组件的分布式协同设计模型，由通信组件及协同策略保证设计环境的通信畅通，建筑设计方案以组件对象的形式存储于共享的数据库中，以白板机制实现同步讨论，通过可视化设计环境，充分满足了建筑设计中多人协同工作的要求。