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

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

基于符号执行的注入类安全漏洞的分析技术

采用符号值作为输入,模拟程序执行,提取执行路径上相应的约束条件,即安全约束、攻击约束以及防御约束,并构成可满足矩阵(SAT)以及不可满足矩阵(UNSAT)两个注入类漏洞安全分析与检测模型,矩阵模型的求解结果可映射为注入类安全漏洞的安全状态。对Web应用注入类漏洞的检测实验表明,与目前安全分析主流工具相比,该分析技术具有降低误报率、漏报率、能自动生成攻击向量等优点。

我国高校社会服务管理的核心问题探讨

社会服务是高校的重要职能,但国内各高校社会服务职能的管理模式,作为不同校情、文化、经济等综合影响的产物,则呈现出多元化、差异化的特点,是高校与社会复杂交互活动的典型表现。针对国内高校社会服务职能的管理特点、经验和规律,结合实践经验,总结归纳了十个高校社会服务管理核心问题,并进行了初步分析和探讨,为推动国内高校社会服务职能建设、推动管理发展及研究提供一定借鉴及参考意义。

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

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

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

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

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

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

多模态学习分析:走向计算教育时代的学习分析学

利用跨数据源分析教与学规律的研究已成为教育技术学演进的重要力量。基于对多模态学习分析本质的理解,构建冰山隐喻分析模型,以阐释多模态数据流、数据建模与学习状态输出之间的关系,进而构造循环推理框架。该框架以环状流动表征了多模态学习分析的流程,流程起始于涵盖学习行为的输入空间,通过数据空间的分配标注,并在同步空间进行时空匹配使数据得以对齐,进而在融合空间中实现对“数字-推理”区域的构造,最终实现反馈输出以及对学习行为进行引导与干预的目的。多模态学习分析的研究需要继续加强复杂计算模型构建,建立学术研究共同体与开源生物数据库,扩展当前的互操作性标准,加强共同学习的模态互补研究,并将伦理价值和准则内嵌于框架设计之中,从而支撑计算教育学的建立与下一代互联网教育创新。

加密数字货币与传统金融风险双向传导的趋势与启示

导语:加密数字货币金融活动的核心风险来自于无金融监管。从近年发展情况来看,传统金融市场与加密数字货币市场已经出现了风险双向耦合传导放大的现象。国外金融市场的情况和监管实践可以作为风险防范和监管政策借鉴研究和分析判断的重要参考,并能提供重要启示。

效能测评与路径选择:“团队式”对口支援模式探析

"团队式"对口支援模式自2010年开始启动,五年来该模式既展示出了组织结构整体设计与制度安排协同推进的优越性,也显示了较大的完善空间。文章以调查问卷收集定量和定性数据的方式为主,同时收集整理相关案例材料作为补充,对"团队式"对口支援模式的效能进行系统的分析评价。在上述研究基础上,从工作结构、重心、发展方向等方面提出路径选择的相关政策建议。