一种基于Petri网的RFID事件检测的形式化方法

无线射频识别(RFID)采用唯一的电子标签识别物理对象,可高速收集大量目标数据.为向各类应用提供语义信息,RFID系统需从收集的数据中检测用户自定义的复合事件.通过提出一种基于Petri网的RFID事件检测方法,引入形式化的ED-net模型描述复合事件语义,并以此为基础实现一种事件检测方法.ED-net模型是对传统Petri网的一种扩展,提供了描述用户自定义类型、函数及表达式的能力,可精确描述RFID复合事件的属性及时域、非时域、参数化等约束条件.通过对RFID事件形式化描述,各种RFID事件可以统一在ED-net模型,并可自动化进行检测处理,避免了不同复合事件间公共子事件重复检测的问题.最后,经过实验测试和分析,验证了该形式化方法的有效性及其优势.     

证券及相关金融工具分类标准研究

现代金融业如果缺少稳定统一的金融工具分类方法,就会造成监管者或交易者缺乏有效交流和理解金融工具的能力。因此,制定金融工具统一的分类标准是现代全球金融业健康发展的核心要件之一,也是我国制定标准的重要原因。本文通过对国际金融工具分类标准的现状进行初步探讨,分析了我国制定证券及相关金融工具分类标准的重要性和紧迫性,阐述了我国制定相关标准的基本原则与方法,着重介绍了分类原则和示例,最后对拟颁布的标准作了分析展望。     

基于拥塞博弈的微服务运行时资源管理方法

随着云计算技术的不断发展,微服务体系结构逐渐成为一种广泛应用的软件设计风格.在基于微服务的应用系统中,微服务数量众多、相互依赖关系复杂、持续在线演化等特征使得微服务运行时资源的有效管理面临新的挑战.本文充分考虑微服务之间的关系特征,提出了一种基于拥塞博弈理论的运行时资源管理方法.首先,对微服务之间的复杂依赖关系进行建模,给出了带权有向无环图描述的微服务调用关系模型;然后,基于微服务关系调用模型对各个微服务的请求到达频率进行计算,并用排队论中的M/G/1队列刻画微服务处理请求的过程,进而设计了一种以服务等级协议（Service Level Agreement）满足程度为衡量标准的服务收益函数;最后利用拥塞博弈模型刻画对计算资源的竞争关系,给出了求解博弈的纳什均衡状态的多项式算法.实验表明,该方法在计算资源有限的场景下可以有效地提高微服务应用的整体性能.     

Agent技术在矿井管理决策中的应用

简要分析了传统的矿井决策模拟系统SIMBERG存在的主要问题 ,然后介绍了Agent技术 ,构建了基于Agent的矿井管理决策系统的体系结构 ,并描述了其决策和实现过程。