国家自然科学基金(40261009)
- 作品数：16 被引量：108H指数：6
- 相关作者：文传浩彭昱文静华石明奎张梅更多>>
- 相关机构：贵州财经大学重庆工商大学武汉大学更多>>
- 发文基金：国家自然科学基金贵州省教育厅自然科学研究项目博士科研启动基金更多>>
- 相关领域：经济管理环境科学与工程自动化与计算机技术文化科学更多>>
- 基于ATL的公平电子商务协议形式化分析被引量：9
- 2007年
- 针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击。
- 文静华李祥张焕国梁敏张梅
- 关键词：电子商务协议安全性形式化分析ATL
- 珠江上游少数民族农业区域生态安全预警研究——贵州境内22县实证分析被引量：20
- 2005年
- 区域生态安全是区域经济社会可持续发展的基础。珠江上游少数民族农业区域的生态安全形势严峻,其生态安全不仅事关本区域的经济社会可持续发展,而且影响珠江中下游地区(尤其是珠江三角洲地区)的经济社会可持续发展。本文以科学发展观为指导,建立珠江上游少数民族农业区域生态安全预警指标体系,并通过对贵州境内22县的样本分析,横向比较,作出珠江上游少数民族农业区域生态安全预警。
- 石明奎彭昱李恩东文传浩
- 关键词：珠江上游少数民族区域生态安全预警
- 珠江上游少数民族县域经济活动的累积环境效应研究——以贵州三都水族自治县为例被引量：6
- 2006年
- 为了探索珠江上游少数民族区域经济活动的累积环境效应与生态安全,我们选择三都水族自治县作为定位研究基地,对建国以来区域内经济活动变迁进行历史、现状研究和综合评估,揭示历史时期发展政策、发展模式、重大经济活动等人为扰动因素在区域生态环境系统退化过程中的作用,评估少数民族经济活动的累积环境效应与生态安全。
- 石明奎彭昱邱晓敏文传浩
- 关键词：珠江上游少数民族经济活动生态安全
- 珠江上游少数民族县域生态环境变迁及其安全预警研究--以关岭布依族苗族自治县为个案被引量：4
- 2008年
- 本文以珠江上游流域贵州省关岭布依族苗族自治县为研究对象,在建立了珠江上游流域县域生态安全预警指标体系基础上,利用数学模型和层次分析法(AHP),通过统计数据和调查问卷建立了生态安全预警评价数据库,在此基础上,探讨了1978年至2003年期间该区域经济、社会和生态环境变迁、现状及其发展态势。
- 文传浩彭昱
- 关键词：生态安全珠江上游少数民族
- 电子支付协议的博弈逻辑模型与形式化分析
- 提出用一种新的基于博弈逻辑ATL（Alternating-time Temporal Logic）的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点,可以成功地对电子商务中的对抗与合作...
- 文静华张梅张焕国
- 关键词：电子支付协议形式化分析ATL
- 文献传递
- 对“入世”后西部民族地区经济发展的几点思考被引量：1
- 2003年
- 西部民族地区是西部开发涉及省区的主体部分 ,在西部大开发战略实施中取得了一些成绩。面对加入世贸组织带来的影响 ,西部民族地区应树立机遇意识 ,理顺发展思路 ,找准优势 ,迎接挑战。
- 陈炳灿陈梅
- 关键词：入世西部民族地区产业结构贸易经济
- 珠江上游农业区域生态现状及生态安全预警系统的可行性研究被引量：14
- 2005年
- 珠江上游地区农业人口众多 ,对生态环境依赖和压力很大。本文通过对珠江上游农业区域的生态现状进行综述 ,阐明生态安全对可持续发展的重要性以及生态安全预警系统建立的必要性 ,进而对建立生态安全预警系统的可行性、原则、基本方法和步骤进行初步研究 ,为这一区域生态环境和可持续发展研究奠定基础。
- 石明奎覃伟怡文传浩
- 关键词：珠江上游农业区域生态现状石漠化生态安全预警系统
- 人类活动的环境效应及生态环境变迁研究述评被引量：5
- 2007年
- 生态环境变迁是指人类由于资源利用活动过程中对自然、社会、经济系统较长时期相互作用最终导致该区域生态环境在时间、空间上产生的累积环境效应。国际上生态环境变迁研究主要归属到侧重于自然科学的生态环境变化研究方面,尤其是关注近代工业革命以来由于全球气候变暖、温室效应、酸雨、臭氧层空洞等全球及区域性重大环境变迁的深入研究。在我国,生态环境变迁研究主要归属到环境史研究领域。主要涉及历史上的农业经济、土地利用与垦殖、草原与畜牧业发展、城镇经济、森林砍伐利用、沙漠化对生态环境变迁互动影响研究。本文在分析总结1994年以来有关生态环境变迁研究主要文献基础上,提出了至今为止我国生态环境变迁研究领域存在的一些主要并需尽快解决的研究热点和难点问题,以及今后该研究领域需要重点关注的研究领域。
- 文传浩
- 关键词：环境效应生态环境变迁
- 民族文化与生态环境的互动关系被引量：15
- 2005年
- 生态环境与民族文化有着密不可分的联系,这种联系主要表现为:文化的存在与发展总是与生态环境的发展变化相关。一方面,文化多元性是人们在生态多样性的环境下适应性反应的产物;另一方面,在趋同的生境状况下,由于生产力低下和外来文化影响等原因,多元的民族文化在某种程度上又呈现出同一性特征。乡土传统文化模式的重构推动着民族文化与生态环境良性互动发展。
- 杨忠实文传浩
- 关键词：民族文化生态环境互动影响
- 脆弱农业区域生态安全预警指标体系研究——以珠江上游流域为例被引量：23
- 2004年
- 我国脆弱农村区域如珠江上游流域生态持续恶化,出现了明显的生态赤字,亟需建立一个可度量生态安全的指标体系,选取与农业区域生态安全密切相关的综合指标体系,测量、搜集相应的数据,进而计算区域生态状况和动态变化趋势,揭示社会、经济、环境之间的相互关系和矛盾,为政府部门相关的宏观管理和决策提供信息支持,从而引导政府落实可持续发展的思想,督促生态环境保护规划的实施。
- 彭昱文传浩
- 关键词：生态持续农业区域预警指标体系生态安全生态赤字生态状况
