高昕

作品数：3被引量：9H指数：2
导出分析报告
供职机构：北京大学更多>>
发文主题：WEB服务组合形式化模型分析PETRI网RFID更多>>
发文领域：自动化与计算机技术一般工业技术经济管理更多>>
发文期刊：《计算机科学与探索》《电子学报》《计算机工程与科学》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于时间序列的RFID供应链数据分析方法被引量：6
《电子学报》2010年第B02期26-32,共7页高昕 赵文 叶蔚 张世琨 王立福 
国家高技术研究发展计划(863)(No.2006AA04A119,No.2006AA04A121);国家重点基础研究发展计划(973)(No.2009CB320706);国家自然科学基金(No.60803014)
通过挖掘海量RFID（Radio Frequency Identification）数据来优化供应链已经成为一个研究热点.本文针对供应链流通中出现的若干周转异常并且难以发现的问题，提出了一种基于时间序列的RFID供应链数据分析方法.将供应链的RFID数据统一成...
关键词：无线射频识别(RFID) RFID数据集 供应链 时间序列 
O-表达式的性质定义与规范(英文)被引量：3
《计算机科学与探索》2010年第1期20-28,共9页袁崇义 赵文 高昕 黄雨 
The National Natural Science Foundation of China under Grant No.60803014;the National High-Tech Researchand Development Plan of China under Grant No.2006AA01Z160;the National Research Foundationfor Doctoral Program of Higher Education of China under Grant No.200800011017~~
在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式。给出了此类表达式(O-表达式)的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式。具有明确运行目标的O-表达式称为独...
关键词：O-表达式 独立O-表达式 安全性 进展性 不变性 程序规范 
基于Petri网的WSCI形式化模型分析
《计算机工程与科学》2009年第10期60-63,158,共5页黄雨 胡文蕙 高昕 王捍贫 
国家自然科学基金资助项目(60803014;60803061);国家863计划资助项目(2006AA01Z160);国家973计划资助项目(2009CB320701);教育部博士点基金资助项目(200800011017)
WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出...
关键词：WSCI PETRI NETS WEB服务组合 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部