您的位置： 专家智库 > >

贵州省科学技术基金(20052111)

作品数：5 被引量：22H指数：3
相关作者：文静华李祥张梅梁敏张焕国更多>>
相关机构：贵州财经大学贵州大学武汉大学更多>>
发文基金：贵州省科学技术基金贵州省教育厅自然科学研究项目国家自然科学基金更多>>
相关领域：自动化与计算机技术农业科学电子电信更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 4篇自动化与计算...
  • 1篇电子电信
  • 1篇农业科学

主题

  • 2篇电力
  • 2篇电子商务
  • 2篇电子商务协议
  • 2篇有限状态机
  • 2篇商务
  • 2篇状态机
  • 2篇客户服务
  • 2篇公平
  • 2篇安全性
  • 2篇ATL
  • 2篇CTI
  • 1篇电力系统
  • 1篇信息服务
  • 1篇形式化
  • 1篇形式化分析
  • 1篇数据挖掘
  • 1篇体系结构
  • 1篇农业
  • 1篇农业信息
  • 1篇农业信息服务

机构

  • 5篇贵州财经大学
  • 2篇贵州大学
  • 1篇武汉大学
  • 1篇贵州电网公司

作者

  • 5篇文静华
  • 2篇张梅
  • 2篇李祥
  • 1篇韩兴顺
  • 1篇张焕国
  • 1篇梁敏
  • 1篇杨滋荣
  • 1篇陈建中
  • 1篇田建强

传媒

  • 1篇电子与信息学...
  • 1篇通信学报
  • 1篇农机化研究
  • 1篇电力系统及其...
  • 1篇电力信息化

年份

  • 4篇2007
  • 1篇2006
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于有限状态机的农业信息服务呼叫处理系统被引量：1
2007年
近年来,现代信息技术在农业中的应用越来越广泛,基于CTI技术的农业信息服务呼叫处理系统就是一个典型的例子。为此,引入有限状态机进行呼叫处理流程设计,通过农业信息服务呼叫处理系统的开发,提供一种比较便捷通用的板卡方式CTI呼叫处理系统开发模式,同时对现代信息技术在农业中的应用也提供了一个典型案例。
韩兴顺林丽红文静华
关键词：自动控制技术有限状态机CTI
基于ATL的公平电子商务协议形式化分析被引量：9
2007年
针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击。
文静华李祥张焕国梁敏张梅
关键词：电子商务协议安全性形式化分析ATL
基于有限状态机的电力客户呼叫系统建模被引量：1
2007年
呼叫中心技术如今已经发展成为全球商业与服务业竞争的焦点,针对电力客户服务系统日益复杂的呼叫处理等业务流程,提出用有限状态机进行呼叫处理流程建模分析与设计,降低了电力客户服务系统的设计难度。通过对一个实际的电力客户呼叫处理系统的应用,验证了该方法的简便性和可靠性,同时提供了一种比较便捷通用的CTI呼叫处理系统开发模式。这些工作表明有限状态机比传统的方法更适合于呼叫处理流程建模.
田建强文静华
关键词：有限状态机CTI客户服务电力系统
基于博弈的电子商务协议分析被引量：8
2006年
提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析。结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。
文静华张梅李祥
关键词：电子商务协议安全性ATL
分布式数据挖掘在电力客户系统中的应用被引量：8
2007年
针对电力客户系统分布式数据库的结构特点,引入一种基于软代理的并行/分布式数据挖掘(parallel data mining agents,PADMA)体系结构,应用软代理实现对局部数据的存取和分析。在此基础上应用(context-based meta-learning,CML)数据挖掘实现算法,处理分布式数据库中部分数据存在异质性的挖掘问题,并提出一种基于电力客户服务系统的分布式数据挖掘体系结构及实现的新方法。
杨滋荣陈建中文静华田建强
关键词：分布式数据挖掘客户服务系统体系结构
全选 清除 导出
共1页<1>
聚类工具0