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

作品数：5被引量：16H指数：3
导出分析报告
相关作者：文静华李祥张梅梁敏张焕国更多>>
相关机构：贵州财经大学贵州大学武汉大学贵州电网公司更多>>
相关期刊：《农机化研究》《电力系统及其自动化学报》《通信学报》《电子与信息学报》更多>>
相关主题：ATL安全性公平电子商务协议CTI更多>>
相关领域：自动化与计算机技术农业科学电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于有限状态机的电力客户呼叫系统建模被引量：1
《电力信息化》2007年第8期75-77,共3页田建强 文静华 
贵州省科学技术基金项目(20052111);贵州省教育厅自然科学基金项目(2004219)
呼叫中心技术如今已经发展成为全球商业与服务业竞争的焦点,针对电力客户服务系统日益复杂的呼叫处理等业务流程,提出用有限状态机进行呼叫处理流程建模分析与设计,降低了电力客户服务系统的设计难度。通过对一个实际的电力客户呼叫处...
关键词：有限状态机 CTI 客户服务 电力系统 
基于ATL的公平电子商务协议形式化分析被引量：7
《电子与信息学报》2007年第4期901-905,共5页文静华 李祥 张焕国 梁敏 张梅 
国家自然科学基金(40261009);贵州省科学技术基金(20052111)资助课题
针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨...
关键词：电子商务协议 公平性 安全性 形式化分析 ATL 
分布式数据挖掘在电力客户系统中的应用被引量：4
《电力系统及其自动化学报》2007年第4期23-27,共5页杨滋荣 陈建中 文静华 田建强 
贵州省科学技术基金资助项目(20052111);贵州财经学院青年资助项目
针对电力客户系统分布式数据库的结构特点,引入一种基于软代理的并行/分布式数据挖掘(parallel data mining agents,PADMA)体系结构,应用软代理实现对局部数据的存取和分析。在此基础上应用(context-based meta-learning,CML)数据挖掘...
关键词：分布式数据挖掘 客户服务系统 体系结构 算法 
基于有限状态机的农业信息服务呼叫处理系统被引量：1
《农机化研究》2007年第1期126-128,132,共4页韩兴顺 林丽红 文静华 
国家社会科学基金资助(04XJY039);贵州省科学技术基金项目(20052111))
近年来,现代信息技术在农业中的应用越来越广泛,基于CTI技术的农业信息服务呼叫处理系统就是一个典型的例子。为此,引入有限状态机进行呼叫处理流程设计,通过农业信息服务呼叫处理系统的开发,提供一种比较便捷通用的板卡方式CTI呼叫处...
关键词：自动控制技术 有限状态机 设计 CTI 语音板卡 
基于博弈的电子商务协议分析被引量：6
《通信学报》2006年第3期73-78,共6页文静华 张梅 李祥 
贵州省科学技术基金资助项目(20052111);贵州省教育厅自然科学基金资助项目(2004219)~~
提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法...
关键词：电子商务协议 安全性 公平性 ATL 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部