国家自然科学基金(40261009)

作品数：16被引量：87H指数：6
导出分析报告
相关作者：文传浩彭昱文静华石明奎张梅更多>>
相关机构：贵州财经大学重庆工商大学武汉大学贵州大学更多>>
相关期刊：《古今农业》《思想战线》《安徽农业科学》《贵州社会科学》更多>>
相关主题：珠江上游少数民族环境效应ATL形式化分析更多>>
相关领域：经济管理环境科学与工程自动化与计算机技术文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
构建基于网格技术的农业信息共享平台被引量：4
《安徽农业科学》2010年第3期1590-1592,共3页文静华 陈建中 
国家自然科学基金资助项目(40261009);贵州省高层次人才特助项目;贵州省信产厅资助项目
阐述了网格技术的概念及特点、网格计算,提出构建基于服务网格的农业信息化服务共享平台,以贵州省为例给出了实现涉农网络信息资源全面共享的实施方案。
关键词：农业信息化 网格 共享 
珠江上游流域环境退化及生态重建的社会工程途径分析
《贵州财经学院学报》2009年第3期70-74,共5页文传浩 周杰 铁燕 杨春宇 
国家自然科学基金(40261009);国家社科基金项目(08XMZ030)资助
珠江上游地区是西南少数民族主要聚居中心之一,是珠江流域最重要的生态屏障区,同时也是我国喀斯特发育中心区和西部地区国家级、省级重点扶贫开发区。由于人口激增,人地矛盾突出,森林覆盖率锐减,加剧了水土流失及土壤侵蚀,垦殖率高居不...
关键词：珠江上游流域 环境退化 生态重建 少数民族 社会工程 生态旅游 
农业面源污染环境效应及其对新农村建设耦合影响分析被引量：6
《贵州社会科学》2008年第4期91-96,共6页文传浩 张丹 铁燕 
国家自然科学基金“珠江上游少数民族农业区域生态安全监控预警系统研究”(40261009);重庆工商大学高层次人才引进基金资助(2007)
我国提出建设社会主义新农村的长远目标。然而,农业面源污染由于其污染物的广域性、分散性、相对微量性,污染物运移途径的无序性,机理模糊,潜伏周期长,危害大等特点,导致农业面源污染成为目前国内外环境污染治理的难点领域,也成为我国...
关键词：农业环境 面源污染 环境效应 新农村建设 耦合 
基于ATL方法的电子商务协议FONRP分析被引量：3
《计算机工程》2008年第3期151-153,共3页张梅 文静华 张焕国 
国家自然科学基金资助项目(40261009);贵州省科技基金资助项目(2005-2111)
研究ATL逻辑及其在电子商务协议形式化分析中的应用,对Kremer提出的方法进行扩展,使之在考虑公平等特性的同时能够分析协议的安全性。用该方法对周明天等人提出的FNORP协议及其变种进行了严格的形式化分析,结果表明基于博弈的ATL逻辑比...
关键词：电子商务协议 公平性 安全性 形式化分析 ATL逻辑 
珠江上游少数民族县域生态环境变迁及其安全预警研究--以关岭布依族苗族自治县为个案被引量：4
《贵州民族研究》2008年第1期107-112,139,共7页文传浩 彭昱 
国家自然科学基金“珠江上游少数民族农业区域生态安全监控预警系统研究”(40261009);重庆工商大学高层次人才引进基金项目(2007)
本文以珠江上游流域贵州省关岭布依族苗族自治县为研究对象,在建立了珠江上游流域县域生态安全预警指标体系基础上,利用数学模型和层次分析法(AHP),通过统计数据和调查问卷建立了生态安全预警评价数据库,在此基础上,探讨了1978年至2003...
关键词：生态安全 珠江上游 少数民族 关岭布依族苗族自治县 
人类活动的环境效应及生态环境变迁研究述评被引量：3
《重庆工商大学学报（西部论坛）》2007年第6期57-62,共6页文传浩 
国家自然科学基金(40261009);重庆工商大学高层次人才引进基金项目(2007)
生态环境变迁是指人类由于资源利用活动过程中对自然、社会、经济系统较长时期相互作用最终导致该区域生态环境在时间、空间上产生的累积环境效应。国际上生态环境变迁研究主要归属到侧重于自然科学的生态环境变化研究方面,尤其是关注...
关键词：人类活动 环境效应 生态环境变迁 述评 
电子支付协议的博弈逻辑模型与形式化分析被引量：1
《微电子学与计算机》2007年第9期113-115,共3页文静华 张梅 张焕国 
国家自然科学基金项目(40261009);贵阳市科学技术发展基金项目(20072111)
提出用一种新的基于博弈逻辑ATL(Alternating-time Temporal Logic)的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点,可以成功地对电子商务中的对抗与合作行为进行描述。利用新方法对Bolignan...
关键词：电子支付协议 公平性 形式化分析 ATL 
农业面源污染环境效应及其对新农村建设耦合影响分析被引量：3
《贵州科学》2007年第B05期525-532,共8页文传浩 张丹 铁燕 
国家自然科学基金(40261009);贵州省教育厅重点培育项目(2006);贵州省委组织部特别人才资助项目(2004);贵州省欠发达经济研究中心招标项目(2006)资助
2005年,我国提出建设社会主义新农村的长远目标.然而,农业面源污染由于其污染物的广域性、分散性、相对微量性和污染物运移途径的无序性,而具有机理模糊、潜伏周期长、危害大等特点,从而导致农业面源污染成为目前国内外环境污染治理的...
关键词：农业环境 面源污染 环境效应 新农村建设 耦合 
基于ATL的公平电子商务协议形式化分析被引量：7
《电子与信息学报》2007年第4期901-905,共5页文静华 李祥 张焕国 梁敏 张梅 
国家自然科学基金(40261009);贵州省科学技术基金(20052111)资助课题
针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨...
关键词：电子商务协议 公平性 安全性 形式化分析 ATL 
水族的传统农耕文化被引量：7
《古今农业》2006年第1期32-44,共13页韩荣培 文传浩 
国家自然科学基金项目(40261009)阶段性成果
孕育于百越母体中的水族稻作农业文明,在水族迁居黔桂边境之后,通过适时的文化调适,不但延续了原先“火耕水耨”的文化传统,更创造了“畲山为田”的梯田开发模式,劳动生产工具和耕作技术体现了历史上他们与百越民族(骆越)的渊源关系,对...
关键词：水族传统农耕 火耕水耨 畲山为田 文化认同感 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部