侯贵宾

作品数：2被引量：3H指数：1
导出分析报告
供职机构：燕山大学信息科学与工程学院更多>>
发文主题：形式化分析持续时间建模方法逻辑分析电子商务协议更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《小型微型计算机系统》《河北科技大学学报》更多>>
所获基金：河北省自然科学基金河北省重大技术创新项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
有穷机和逻辑结合的电子商务协议分析方法被引量：1
《小型微型计算机系统》2013年第3期492-497,共6页刘文远 马生 司亚利 侯贵宾 
河北省重大技术创新项目(09213562Z)资助;河北省自然科学基金青年科学(G2011203195)资助
提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平性和时限性.该方法结合了模型检测和逻辑分析两种形式化分析方法的优点,可以准确形象地描述协议的具体运...
关键词：电子商务协议 形式化分析 有穷自动机 逻辑分析 
一种面向自然语言表达的不确定时态数据的建模方法被引量：2
《河北科技大学学报》2010年第5期463-467,共5页侯贵宾 曹卫东 
在医疗信息系统中,含自然语言表达式的时态信息起着关键性作用。如何处理基于自然语言的不确定时态信息问题一直没有得到很好地解决。针对医疗信息系统的需求,在此对时态数据模型的研究现状以及一些经典的不确定时态医疗信息数据模型进...
关键词：时态不确定性 时态原语 NLTM模型 持续时间 时态元素 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部