论文部分内容阅读
本文对内蒙古自治区第一座双曲拱坝的工程地质条件作了较深入的研究,进行了多方面的论证,提出了坝区的工程地质分段,为设计提供了依据。
万家沟水库工程地质条件的论证
【摘 要】
：
本文对内蒙古自治区第一座双曲拱坝的工程地质条件作了较深入的研究,进行了多方面的论证,提出了坝区的工程地质分段,为设计提供了依据。
【机 构】
：
内蒙古农牧学院农牧业水利工程系
【出 处】
：
内蒙古农牧学院学报
【发表日期】
：
1984年1期
其他文献
数据库系统中的模式分层语义表达属性间的分层映射关系。形式概念分析(FCA)是以形式化的概念和概念层次为基础的数学分析工具,表达概念间的泛化与例化关系。首次将形式概念分析理论引入数据库系统模式分层语义的研究,将属性偏序关系作为生成模式分层语义的一种形式化的规则。讨论了研究的理论基础和通过属性概念内涵构造属性偏序结构,从而获取模式分层语义的实现方法。研究过程表明,该方法是有效的。
国家四大基础资源库中,人口信息资源库尤为复杂,通过研究上海市人口信息资源库的建设,提出了数据集成模型。该模型通过三层架构的数据网格和对象关系模型,解决了人口信息资源复杂的整合问题,为人口信息共享和人口领域业务协同奠定了基础。
提出一种基于刻面描述的数据空间存储模型(FADSM)。以FADSM模型为基础构建一个数据空间原型系统,实现对数据空间中异构异质数据源内部及外部属性的提取,以Pay-as-you-go的管理模式实现统一管理,并提供对数据源添加、删除和浏览、索引等数据源管理功能以及数据源索引、查询和数据空间演化功能。
基于离散数学和微积分理论，将管理目标划分为积分目标和微分目标，并提出管理的方向应当是通过对微分目标的有效管理来促成积分目标的最佳实现。在此基础上，从应用的角度提出基于
在分布式不经意传输协议中,为便于安全性分析,通常假定所有的代理服务器都是半可信的,但如果存在某些恶意的代理服务器,将会导致接收者重构出错误的消息。针对这些恶意的代理服务器,提出了N取1的可验证分布式不经意传输方案。该方案除了具备一般形式的分布式不经意传输的特性外,还具有:接收者R可以与所有代理服务器进行交互,避免了其他方案中对门限值k的限制;接收者R能够验证所有消息的正确性,以便能够防止恶意的代理
21世纪是生物产业为主导产业的时代，21世纪也是分子生物学与临床眼科学相结合的时代。随着医学和分子生物学的快速发展，多数遗传性眼病的致病基因已被国内外科学家发现，发病机理