云南高校图书馆联盟文献共享服务平台- 梅晓勇

梅晓勇: 作品数：27被引量：96H指数：4; 导出分析报告; 供职机构：华南师范大学教育信息技术学院更多>>; 发文主题：事务高校WEB考试系统排课系统更多>>; 发文领域：自动化与计算机技术文化科学天文地球电子电信更多>>; 发文期刊：《计算机研究与发展》《系统工程与电子技术》《计算机工程与设计》《湖南文理学院学报（自然科学版）》更多>>; 所获基金：湖南省教育厅科研基金国家自然科学基金广东省自然科学基金国家科技支撑计划更多>>

基于语义扩展类型论的云服务替换性判定研究被引量：1: 《通信学报》2016年第2期20-30,共11页王先清黄昌勤罗旋聂瑞华汤庸梅晓勇; 国家自然科学基金资助项目(No.61370229;No.61370178);国家科技支撑计划基金资助项目(No.2013BAH72B01);教育部-中国移动基金资助项目(No.MCM20130651);广东省自然科学基金资助项目(No.S2013010015178);广东省科技计划基金资助项目(No.2014B010103004;No.2014B010117007;No.2015A030401087;No.2015B010110002);广东省教育厅科技创新基金资助项目(No.2012KJCX0037);广州市科技基金资助项目(No.2014Y2-00006)~~; 云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法,该方法首先对会话类型论进行语义扩展以建模云服务行为,设计了典型云服务QoS类型实现...; 关键词：云服务类型理论会话类型服务替换

学习云空间支持下的研究性学习研究与实践被引量：19: 《中国电化教育》2015年第8期21-28,共8页黄昌勤王希哲张冬冬梅晓勇周宇文; 国家科技支撑计划子课题"基于教育云空间的学习赋能技术研究"(课题编号:2013BAH72B01)资助; 研究性学习对于培养创新精神和实践能力至关重要,空间化设置的虚拟学习云环境能在学习资源与服务的动态供给、便捷交互上提供支持,为研究性学习实践提供了新的途径。以促进研究性学习与学习云空间深度融合为目标,对学习云空间支持下研...; 关键词：学习云空间研究性学习语义WEB 思维发散与聚集

移动计算环境下不确定性组合服务的事务建模与执行分析被引量：1: 《中国科学：信息科学》2015年第1期70-96,共27页黄昌勤梅晓勇赵淦森吴吉义汤庸王会进郑小林; 国家自然科学基金(批准号:61370229,61370178,61272067);国家科技支撑计划(批准号:2013BAH72B01);广东省自然科学基金(批准号:S2013010015178);广东省科技计划(批准号:2012A032200018);中国博士后科学基金(批准号:2014M562188);广东省教育厅科技创新(批准号:2012KJCX0037)资助项目; 移动计算环境中,服务面临资源受限与连接波动,同时存在越区切换和弱一致性需求等事务性挑战.为了确保移动环境下组合服务的事务有效性,本文以服务的不确定性和事务属性为基础,提出了一种基于Markov链的移动组合事务模型.首先通过形式化...; 关键词：组合服务不确定性依赖 MARKOV链事务执行分析

基于量子连续变量EPR态的经典消息匿名通信方案: 《中南大学学报（自然科学版）》2014年第9期3043-3048,共6页娄小平陈志刚邓小鸿李贤梅晓勇; 中南大学中央高校基本科研业务费专项资金资助项目(2012zzts022);国家自然科学基金资助项目(61073186);湖南省教育厅基金资助项目(12C0820);国家留学基金资助项目(201306370086);常德市科学技术局技术研究与开发资金资助项目(2012BS01); 针对目前已提出的量子匿名通信协议都只建立在参与者是非自适应的基础上,而实际操作过程中参与者的自适应性是不可忽略的因素,合并信息传输和信道检测这2个过程到同一次编码中,对多方安全计算的匿名通信模型进行优化。方案使用N+1对量...; 关键词：匿名通信量子纠缠私密性 EPR态

基于失败恢复策略的Web组合事务QoS估算: 《计算机研究与发展》2012年第11期2464-2480,共17页梅晓勇李师贤黄昌勤郑小林; 国家科技支撑计划基金项目(2008BAH24B03);国家自然科学基金项目(60673122;60940033);中国博士后科学基金项目(20080440121);广东省自然科学基金项目(06017089);湖南省自然科学基金项目(10JJ6100);湖南省科技计划基金项目(2010GK3020);湖南省教育厅优秀青年项目(12B092); 由于组合应用需求超越了传统事务,为了保证组合服务事务的性质,不可避免地需要合适的失败恢复机制,以提供持续的和可靠的执行语义.提出一种组合事务恢复模型,采用向前、向后和替代恢复的综合事务恢复策略实现失败恢复的动态编程,将失败...; 关键词：Web组合事务失败恢复策略松弛ACID QoS性能估算 QoS估算算法

一种支持组合事务的执行语义分析方法被引量：2: 《电子学报》2012年第7期1386-1396,共11页梅晓勇李师贤黄昌勤郑小林; 国家科技攻关计划(No.2008BAH24B03);国家自然科学基金(No.60673122;No.60940033);中国博士后科学基金(No.20080440121);广东省自然科学基金(No.06017089;No.10JJ6100);广东省科技计划基金(No.2010GK3020); 为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终...; 关键词：组合事务失败恢复机制执行语义分析扩展PETRI网

面向网络工程专业的教师工作室创新人才培养模式的探索与实践被引量：2: 《湖南文理学院学报（自然科学版）》2012年第2期82-85,共4页梅晓勇范轶彦; 面向应用型本科院校网络工程专业的教师工作室创新人才培养模式是一种新的人才培养模式的探索与实践.该模式以教师工作室培养学生创新能力为主线,以创新项目开发与实现为导向,培养学生解决实际问题的能力,团队协作能力,创新思维能力和...; 关键词：网络工程专业教师工作室创新人才培养工学结合创新实践

支持LRT的失败恢复算法及其事务性质分析被引量：1: 《通信学报》2012年第4期31-41,共11页梅晓勇黄昌勤郑小林陈德人李师贤; 国家科技支撑计划基金资助项目(2008BAH24B03);国家自然科学基金资助项目(60673122;60940033);中国博士后基金资助项目(20080440121);湖南省自然科学基金资助项目(06017089;10JJ6100;10151063101000046);湖南省科技计划基金资助项目(2010GK3020)~~; 研究人员已经致力于组合事务的恢复问题研究,但是大多数成果集中通过向后恢复来维持事务的一致性,补偿是向后恢复通常使用的一种手段,但是向后恢复的最大缺陷就是导致代价相当高,且向后恢复策略不能完全满足各种不同恢复需求。提出一种...; 关键词：组合事务基于范围恢复失败恢复算法松弛ACID

支持组合事务的失败恢复验证: 《系统工程与电子技术》2012年第1期191-198,共8页梅晓勇李师贤黄昌勤郑小林明仲; 国家自然科学基金(61170077;60940033);国家科技攻关计划(2008BAH24B03);中国博士后科学基金(20080440121);广东省自然科学基金(06017089);湖南省自然科学基金(10JJ6100);湖南省科技计划基金(2010GK3020)资助课题; 组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢...; 关键词：组合事务形式化验证与确认失败恢复策略流程验证

缺陷需求分析与管理模型被引量：5: 《计算机科学》2009年第4期140-144,共5页严玉清李师贤梅晓勇; 广东省自然科学基金项目(No.06017089,8151030007000002)资助; 需求管理是软件过程改进的重要活动,需求缺陷管理是需求管理的重要组成部分,其目的在于检测、分析、解决和预防需求缺陷。从社会因素和技术因素两大方面分析了需求工程阶段缺陷产生的原因,对缺陷进行了分类。建立了需求(模型)缺陷列表...; 关键词：缺陷原因缺陷类型需求缺陷列表需求演化

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

梅晓勇

检索结果分析

署名顺序

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

梅晓勇

检索结果分析

署名顺序

下载全文

用户登录

高级检索检索式检索