基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

计算一类递归方程的增广Petri网模型

递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的.斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析.     

安徽江淮流域环境考古综合集成研究展望

通过对安徽江淮流域环境考古研究的回顾,全面总结该地区近年来区域环境考古研究取得的成果和新进展。同时对该区环境考古研究的手段和方法进行梳理,指出安徽江淮流域环境考古研究目前存在的主要问题,并提出了下一步研究的思路,即通过多学科、多手段对区域自然沉积地层和考古遗址地层的多环境代用指标的环境考古综合集成研究：（1）建立区域高分辨率的年代框架和环境演变序列;（2）通过典型新石器时代遗址的研究,建立区域考古学文化序列;（3）建立洪水灾变地层标志,提取地层洪水灾变事件信息;（4）探讨人类活动对区域环境演变的响应机制。研究将为探究安徽江淮流域古代文明起源和发展的轨迹,揭示区域环境演变和古洪水事件对该区人地关系的影响机制打下基础。     

数据挖掘在现代农业物流管理决策中的应用研究

现代农业物流的信息化、网络化和智能化发展为数据挖掘技术的应用提出了要求.分析了数据挖掘用于现代农业物流管理的重要意义,以数据仓库技术、数据挖掘技术为重点,分析了数据挖掘在现代农业物流管理决策中的挖掘过程及实现技术,指出了数据挖掘技术将为现代农业物流管理决策提供越来越强大的支持功能.     

Petri网并运算的性质研究

进一步研究了Petri网的并运算，讨论了这种运算保持网的动态及结构性质的条件。     

明清时期徽州地区人为灾害的时空变化及其与社会环境的关系

对明清时期(公元1368—1911年)徽州地区人为灾害的定量化统计,探讨了人为灾害的时空地域分异特征、饥荒灾害的成因及其社会响应机制,结果表明：徽州地区的人为灾害发生频次随时间呈波浪式变化特征,灾害的变化特征与中国整体上“明清自然灾害群发期”相对应;明清时期徽州地区的人为灾害发生频次从高到低依次为婺源、绩溪、歙县、黟县、祁门、休宁,其中,饥荒灾害的发生频次最高,主要分布在婺源和绩溪;徽州地区的自然条件是粮食短缺的重要原因,而粮食输入受阻等人为因素直接导致了饥荒灾害的发生;徽州地区的饥荒灾害与农业子系统、经济子系统以及社会子系统之间的关系十分密切。     

大别山（六安）国家地质公园皖西大裂谷的地学成因研究

通过对大别山（六安）国家地质公园皖西大裂谷园区的地质地貌考察，以及对皖西大裂谷形态特征的实地调研和分析，初步得出其地学成因机制：①大别山构造抬升形成的山前盆地---凤凰台盆地构造是形成皖西大裂谷的构造背景；②凤凰台组砾岩与砂岩互层是其物质基础；③区域构造断裂是其形成的内在动力前提；④重力崩塌作用、流水作用以及风力作用等是其进一步不断深入侵蚀的外力基础。对皖西大裂谷地学形成机理的探究，有助于大别山（六安）国家地质公园地学科普价值的实现和提高。     

霍邱金安铁矿水文地质条件初步研究

霍邱铁矿田地处淮河流域中上游冲积平原Ⅱ级阶地地貌单元,系华东地区第一大铁矿床。金安铁矿位于霍邱铁矿田的中部,行政区划隶属于六安市霍邱县范桥乡,是一个水文地质条件较为复杂的沉积变质型铁矿床。依据矿床含水层剖面可划分为新生水、古壳水和基含水。矿区西高东低,地下水径流方向应为自矿床西向东流动。矿床地下水补给来源,特别是新生水的补给来源主要应为入渗到含水层的大气降水。金安铁矿地下水的径流途径主要有：（1）地表水体侧向渗入;（2）塌陷裂隙渗入;（3）断层破碎带进入;（4）可通过矿井排水孔或勘探时未封闭的钻孔直接进入地下含水层。矿床地下水的排泄则主要是矿井抽水,其次是位于矿区南部的泉水出露。     

生态文明视野下的六安市矿产资源开发利用之对策探讨

六安市矿产资源丰度居安徽省前列,境内铁、钼金属矿产资源储量达到特大型规模。至2008年底,六安市已开发利用各种矿产20种,其中霍邱铁矿资源开发已初具规模。六安市矿产资源开发存在着勘查资金投入不足;优质矿产仍深埋地下,资源优势远未发挥出应有的经济优势;矿业结构调整步履维艰;矿山生态环境问题较为突出等诸多问题。矿产资源的开发利用是扰动或破坏自然生态环境的一个十分重要的基础产业,因而加强六安市矿产资源开发的生态文明建设就显得十分的重要和迫切。更新观念,多渠道筹资发展矿业;实行矿产开采政策调整措施;严格执行矿山地质环境保护规定,落实矿山企业治理和恢复矿产开采中破坏的矿山地质环境义务。加强矿产资源保护及合理利用,坚持生态文明立市方针,当前应着力做好规范采矿权设置、加强矿权管理等六项基础工作。同时注重搞好霍邱铁矿开发利用的规划和管理,避免产生较大的矿山生态环境破坏隐患。     

六安膨润土资源作饲料添加剂的试验研究

项目在调查研究和试验的基础上，对六安膨润土矿产的理化性质进行了分析和测定，开展了膨润土作猪饲料添加剂 的基础饲料配制和喂养试验等工作。研究结果表明，六安膨润土适合作饲料添加剂的原料，在提高饲料转化率，改善产品品质和 节约喂养成本等方面具有明显的成效。本项目的研究为六安膨润土资源深加工产品的开发与应用指明了新的方向和途径。