国家自然科学基金(61370051)
- 作品数：11 被引量：40H指数：4
- 相关作者：赵会群毛立志孙晶江燕敏韩兵更多>>
- 相关机构：北方工业大学北京航空航天大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种RFID复杂事件语义分析方法研究被引量：1
- 2016年
- 现有的RFID复杂事件处理模型,如基于Petri网的模型、基于树的模型、基于图的模型、基于自动机的模型,并不能十分有效地解决复杂的RFID应用问题,具体地说,RFID复杂事件的语义分析方面缺乏进一步的研究。针对上述问题,提出了一种RFID复杂事件语义分析方法。该方法借鉴编译原理中的语义分析技术,为事件增添定义了继承属性和综合属性,同时按照事件之间的关系定义了三种语义模式,最后通过一个语义解析算法解析出特定模式组合的语义信息。实验证实该方法取得了比较理想的效果。
- 赵会群毛立志
- 关键词：射频识别技术语义分析
- SOA下服务演化的方法研究被引量：2
- 2018年
- 在验证网构软件模型代数性质等价的理论基础上,为了进一步优化代数性质的性能,针对SOA下BPEL程序结构的自动演化方法进行了研究。通过网构软件分析BPEL结构的等价演化代数性质,提出一种BPEL等价自动演化算法。结合编译技术对BPEL结构进行分析,验证该算法的可靠性。运用形式化描述语言LOTOS,对演化前后的BPEL结构进行仿真验证与模型检测,验证该演化方法的可行性。
- 孙晶王欣悦
- 关键词：网构软件
- 基于数据链的软件故障定位方法被引量：9
- 2015年
- 软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,利用该模型对程序中数据流故障进行定位.经过实验验证,所提出的基于数据链的故障定位方法的定位结果与基于定义-使用对、基于程序切片、基于概率依赖图和基于语句覆盖这4种典型的故障定位方法进行了对比,取得了更好的定位效果.
- 杨波吴际刘超
- 关键词：故障定位数据流数据链软件测试
- 基于JDBC的数据访问优化技术被引量：14
- 2017年
- 为使Web应用系统能够有效、快速地访问数据,分析当前Web系统三层框架有关数据缓存和访问优化的技术,通过对JDBC接口原理及实现技术的深入研究,提出基于JDBC的数据自主识别、前置驻留与快速访问的策略和实现方案。使用key-value存储机制,通过客户端-应用层的快照数据快速访问机制提升Web系统综合性能。测试结果表明,该方案能够有效提高Web系统在数据访问的响应速度,实现多客户端的数据共享,具有一定的普适性和推广价值。
- 韩兵江燕敏方英兰
- 关键词：JAVA数据库连接数据识别
- 基于JDBC数据管理与查询优化的研究被引量：5
- 2018年
- 在大多数Web应用系统中,当用户浏览数据时,每次都向数据库发送查询请求的做法会使系统性能下降,查询速度降低,而利用缓存技术将部分数据缓存在Web应用服务中可以减少对数据库的查询操作,提高数据的利用率和检索效率。JDBC是应用程序与数据库进行交互的桥梁,通过对JDBC中类和接口进行修改和扩展,设计了一个基于JDBC数据管理的模型,其中重点研究了缓存置换机制。根据系统对缓存项访问的频率、时间间隔以及缓存项占用存储空间的大小等特性,结合最近最少使用算法,提出了一种基于价值函数的缓存置换算法,选择价值最小的缓存项进行置换,并设计模拟实验进行验证。实验结果表明,在JDBC管理的缓存空间中利用该算法可以取得较高的缓存命中率,服务器的响应速度也得到了提高。
- 韩兵李晶晶方英兰
- 关键词：JDBCWEB应用命中率
- 基本路径测试用例自动生成的方法研究被引量：2
- 2018年
- 基本路径测试是一个传统的代码分析与测试技术,被广泛地应用到复杂软件分析和大型软件逻辑覆盖测试活动中。传统的基本路径测试方法是采用选取满足规约的随机数作为测试用例,没有考虑规约自动提取和规约组合优化。提出一种基于编译技术的条件规约自动提取技术和规约组合优化自动生成测试用例技术,并给出相应的算法。实验结果证明了提出算法的有效性。
- 孙晶李硕赵会群
- 关键词：基本路径测试测试用例生成
- 物联网中RFID识读器非集中管理模型的实现
- 2015年
- 随着物联网应用的越来越广泛,物联网应用系统的传感器节点数量越来越大、种类越来越多,传感器节点的管理越来越复杂。具体到RFID识读器系统管理,现在采用最广泛的是集中管理模型,管理中心要管理系统内各个地点的识读器,由于识读器数量持续增大,管理中心的工作变得越来困难。针对上述问题,设计实现了RFID识读器的非集中管理模型,识读器由本地终端服务器直接管理,管理中心通过和终端服务器进行通信,间接控制识读器完成工作,管理中心只接收终端服务器处理好的数据。这样把识读器的管理工作分布到终端服务器上,管理中心只负责和终端服务器通信,不再负责具体的识读器管理工作,系统内识读器由各个终端服务器进行非集中管理,可以根据具体管理的识读器的个数调节终端服务器的个数,该模型能够完成大量识读器的管理工作。
- 刘帅飞赵会群
- 关键词：物联网射频识别识读器
- 一种BPEL结构演化算法研究被引量：1
- 2016年
- 针对BPEL并发同步引发的数据竞争、流程阻塞等问题,提出了一种BPEL结构演化算法。该算法的基本思想是利用BPEL基于XML编写的事实,使用XML解析工具对BPEL的结构进行调整,达到规避失败的同步过程,删除冗余link结构的目的。利用自主开发的转换工具实现BPEL到形式化描述语言LOTOS的转换,通过对演化前后的BPEL流程作模型检测,来验证该演化方法的可行性。实验结果表明,BPEL结构演化算法能够有效缓解BPEL并发同步带来的数据竞争、流程阻塞问题。
- 孙晶李东方
- 关键词：并发
- 复杂事件模式检测与CEP测试数据生成算法研究被引量：6
- 2017年
- 随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件处理(Complex Event Processing,CEP)技术被认为是一种有希望征服大数据挑战的技术之一.然而,当事件流成为大数据时,目前的CEP模型、事件模式检测和CEP系统测试数据生成的方法和技术都存在很多不足.文章针对这一问题讨论了复杂事件建模、模式检测与测试数据的生成方法.提出一种CEP代数模型,用多种事件算子来表达事件之间的关系和事件流模型.在这里,一个创新的思想是把CEP代数模型表达式解释成算术文法产生式,从而可以用词法分析技术解决复杂事件模式检测问题.为了有效地测试复杂事件模式检测的算法,基于CEP代数模型,提出了一个用于支持上述CEP模式检测的大数据事件集的生成算法.并由此生成了不同量级的测试数据,测试了一个RFID物联网中CEP模式检测引擎.实验结果表明了提出的事件模式检测算法和CEP系统测试大数据事件集生成算法的有效性.
- 赵会群孙晶杨岩坤毛立志
- 关键词：复杂事件处理测试数据生成大数据代数模型
- Technology research of publish service with reliable property
- In order to guarantee the reliability of services composition, the author puts forward a few Trustworthy Norma...
- J.SunN.N.LuoN.Shen
