谭煌

作品数:5被引量:10H指数:2
导出分析报告
供职机构:湖南师范大学数学与计算机科学学院更多>>
发文主题:执行引擎WEB服务距离函数电子商务BLP模型更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算技术与自动化》《计算机工程与应用》《电脑知识与技术》《计算机工程》更多>>
所获基金:长沙市科技计划项目湖南省重点学科建设项目湖南省教育厅科研基金国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-5
视图:
排序:
BLP改进模型的形式化描述及自动化验证被引量:3
《计算机工程》2013年第12期130-135,共6页徐亮 谭煌 
国家自然科学基金资助项目(60903168);湖南省科技计划基金资助项目(2012FJ6012);湖南省重点学科建设基金资助项目(湘教发[2011]76号);湖南省教育厅科学研究基金资助项目(13C527);长沙市科技计划基金资助项目(K1109020-11)
在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性BLP模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满...
关键词:BLP模型 安全策略 形式化方法 自动化验证 定理证明 安全操作系统 
一种针对云计算的ETL流程创建及优化方法被引量:2
《电脑知识与技术》2012年第6期3775-3777,3788,共4页谭煌 
湖南师范大学青年基金(60802);长沙市科技计划(K1109020-11)
该文针对现有ETL工作流程的创建和执行过程中的不足,提出了一种基于逻辑模型的ETL工作流程优化方法,并针对云计算模式对ETL工作流程的执行进行进一步优化,通过测试这种两阶段优化方法可以大大提高ETL工作流程的执行效率。
关键词:数据抽取 转换 加载 云计算 MAPREDUCE 逻辑模型 流程优化 
基于反馈控制的服务组合引擎的设计与实现被引量:1
《计算机工程》2008年第8期93-95,116,共4页谭煌 高春鸣 
遵循SOA,提出服务组和执行引擎WebJetFlow的实现框架。将反馈控制机制应用于执行引擎中,在流程执行管理器和服务代理中,设计带有反馈控制环的流程执行结构,以保障不同等级的服务请求的服务响应时间。在执行模块中,将流程执行与对服务的...
关键词:WEB Services组合 执行引擎 反馈控制 
基于异步PI演算的Web服务长事务协议性质分析
《计算机工程与应用》2008年第11期80-85,共6页谭煌 高春鸣 袁勇福 
湖南省重点科技攻关项目(No.05GK2002);湖南省重大科技攻关项目(No.2006GK4034)
根据WS-Business Activity规范提出一个扩展的长事务协议BAPC,该协议较为详细和更接近于软件实现。BAPC协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质。因此在BAPC协议的软件实施中,迫切需要对BAPC协议进行形...
关键词:WEB服务 长时间事务 异步PI演算 
网上电子交易中的谈判协商模型被引量:4
《计算技术与自动化》2004年第1期53-55,共3页谭煌 高春鸣 
湖南师范大学"十五"教学改革研究项目资助
本文讨论网上交易中买卖双方的谈判协商模型。详细研究了电子商务的谈判协商模型中的商品多属性量化模型和报价函数。提出了进行买卖双方商品需求匹配的距离函数,并讨论了一个为达到利益最大化而得到最佳报价的方法。
关键词:电子商务 谈判协商模型 距离函数 报价函数 动态协商决策模型 
检索报告 对象比较 聚类工具 使用帮助 返回顶部