排序方式: 共有16条查询结果,搜索用时 0 毫秒
1.
基于时间Petri网的密码协议分析 总被引:4,自引:2,他引:2
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案. 相似文献
2.
通过对安徽江淮流域环境考古研究的回顾,全面总结该地区近年来区域环境考古研究取得的成果和新进展。同时对该区环境考古研究的手段和方法进行梳理,指出安徽江淮流域环境考古研究目前存在的主要问题,并提出了下一步研究的思路,即通过多学科、多手段对区域自然沉积地层和考古遗址地层的多环境代用指标的环境考古综合集成研究:(1)建立区域高分辨率的年代框架和环境演变序列;(2)通过典型新石器时代遗址的研究,建立区域考古学文化序列;(3)建立洪水灾变地层标志,提取地层洪水灾变事件信息;(4)探讨人类活动对区域环境演变的响应机制。研究将为探究安徽江淮流域古代文明起源和发展的轨迹,揭示区域环境演变和古洪水事件对该区人地关系的影响机制打下基础。 相似文献
3.
4.
数据挖掘在现代农业物流管理决策中的应用研究 总被引:4,自引:1,他引:3
现代农业物流的信息化、网络化和智能化发展为数据挖掘技术的应用提出了要求.分析了数据挖掘用于现代农业物流管理的重要意义,以数据仓库技术、数据挖掘技术为重点,分析了数据挖掘在现代农业物流管理决策中的挖掘过程及实现技术,指出了数据挖掘技术将为现代农业物流管理决策提供越来越强大的支持功能. 相似文献
5.
对明清时期(公元1368—1911年)徽州地区人为灾害的定量化统计,探讨了人为灾害的时空地域分异特征、饥荒灾害的成因及其社会响应机制,结果表明:徽州地区的人为灾害发生频次随时间呈波浪式变化特征,灾害的变化特征与中国整体上“明清自然灾害群发期”相对应;明清时期徽州地区的人为灾害发生频次从高到低依次为婺源、绩溪、歙县、黟县、祁门、休宁,其中,饥荒灾害的发生频次最高,主要分布在婺源和绩溪;徽州地区的自然条件是粮食短缺的重要原因,而粮食输入受阻等人为因素直接导致了饥荒灾害的发生;徽州地区的饥荒灾害与农业子系统、经济子系统以及社会子系统之间的关系十分密切。 相似文献
6.
Petri网并运算的性质研究 总被引:1,自引:0,他引:1
进一步研究了Petri网的并运算,讨论了这种运算保持网的动态及结构性质的条件。 相似文献
7.
8.
霍邱铁矿田地处淮河流域中上游冲积平原Ⅱ级阶地地貌单元,系华东地区第一大铁矿床。金安铁矿位于霍邱铁矿田的中部,行政区划隶属于六安市霍邱县范桥乡,是一个水文地质条件较为复杂的沉积变质型铁矿床。依据矿床含水层剖面可划分为新生水、古壳水和基含水。矿区西高东低,地下水径流方向应为自矿床西向东流动。矿床地下水补给来源,特别是新生水的补给来源主要应为入渗到含水层的大气降水。金安铁矿地下水的径流途径主要有:(1)地表水体侧向渗入;(2)塌陷裂隙渗入;(3)断层破碎带进入;(4)可通过矿井排水孔或勘探时未封闭的钻孔直接进入地下含水层。矿床地下水的排泄则主要是矿井抽水,其次是位于矿区南部的泉水出露。 相似文献
9.
六安市矿产资源丰度居安徽省前列,境内铁、钼金属矿产资源储量达到特大型规模。至2008年底,六安市已开发利用各种矿产20种,其中霍邱铁矿资源开发已初具规模。六安市矿产资源开发存在着勘查资金投入不足;优质矿产仍深埋地下,资源优势远未发挥出应有的经济优势;矿业结构调整步履维艰;矿山生态环境问题较为突出等诸多问题。矿产资源的开发利用是扰动或破坏自然生态环境的一个十分重要的基础产业,因而加强六安市矿产资源开发的生态文明建设就显得十分的重要和迫切。更新观念,多渠道筹资发展矿业;实行矿产开采政策调整措施;严格执行矿山地质环境保护规定,落实矿山企业治理和恢复矿产开采中破坏的矿山地质环境义务。加强矿产资源保护及合理利用,坚持生态文明立市方针,当前应着力做好规范采矿权设置、加强矿权管理等六项基础工作。同时注重搞好霍邱铁矿开发利用的规划和管理,避免产生较大的矿山生态环境破坏隐患。 相似文献
10.