您的位置: 专家智库 > >

国家自然科学基金(60773105)

作品数:8 被引量:33H指数:4
相关作者:李必信杨全胜孙小兵陶传奇沈海嘉更多>>
相关机构:东南大学更多>>
发文基金:国家自然科学基金国家高技术研究发展计划教育部“新世纪优秀人才支持计划”更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 8篇期刊文章
  • 3篇会议论文

领域

  • 11篇自动化与计算...

主题

  • 4篇WEB服务
  • 2篇总线
  • 2篇FPGA
  • 1篇语法树
  • 1篇体系结构
  • 1篇通用模糊控制...
  • 1篇切片
  • 1篇子系统
  • 1篇总线模块
  • 1篇总线时序
  • 1篇网络
  • 1篇无线传感
  • 1篇无线传感器
  • 1篇无线传感器网
  • 1篇无线传感器网...
  • 1篇模糊控制
  • 1篇模糊控制器
  • 1篇模糊控制器设...
  • 1篇距离函数
  • 1篇可靠性

机构

  • 11篇东南大学

作者

  • 7篇李必信
  • 4篇杨全胜
  • 2篇蒋玉婷
  • 2篇陶传奇
  • 2篇孙小兵
  • 1篇王晓蔚
  • 1篇邱栋
  • 1篇吉顺慧
  • 1篇苏志勇
  • 1篇张重峰
  • 1篇沈海嘉
  • 1篇张鹏程
  • 1篇刘俊
  • 1篇张功源
  • 1篇孙明杰
  • 1篇曹硕
  • 1篇崔涛
  • 1篇许高阳

传媒

  • 4篇计算机技术与...
  • 3篇东南大学学报...
  • 1篇Journa...

年份

  • 1篇2011
  • 4篇2010
  • 5篇2009
  • 1篇2008
8 条 记 录,以下是 1-10
排序方式:
基于变异思想测试OWL-S工作流
Web服务因其强大的集成能力而受到广泛重视.单个Web服务提供的功能通常是有限的,因此实际应用中需要对网络上分布的Web服务进行组合以满足用户需求,这种组合的方法为Web服务测试带来了新的挑战.本文采取变异的思想对Web...
蒋玉婷李必信
关键词:WEB服务OWL-S
文献传递
基于体系结构的Web服务可靠性建模
针对基于SOA的Web服务应用系统建立可靠性模型。首先分析了Web系统的运行过程,并提出服务依赖图的概念。基于WS-BPEL构造Web系统及其服务依赖图。Web服务分为3种类型的基本服务和5种体系结构风格的组合服务,分别...
苏志勇李必信
关键词:WEB服务可靠性WS-BPEL
文献传递
基于切片度量的重构对象识别被引量:3
2010年
为了提高识别重构对象的效率和正确性,提出一种自动化识别重构对象的技术.首先,在程序切片的基础上,构造一种度量函数来量化元素间的依赖程度.然后,利用度量结果识别出在原程序的位置和从属关系不合理的元素,从而自动识别出程序中的"坏味道".与以往的手动识别相比,该方法可以自动地分析源代码,指出程序中不合理的地方,从而提高重构识别的效率,并建议使用相应的重构手段对"坏味道"实施更改,使代码更加合理、易于维护.最后,利用3个重构实例显示该方法能够识别出一些重构对象,从而验证了该方法的可行性.
张重峰李必信孙小兵陶传奇
关键词:程序切片距离函数
基于FPGA技术的通用模糊控制器设计被引量:1
2009年
由于模糊控制应用领域广泛、算法多变的特点,传统缺乏重构性的硬件电路无法支持通用模糊控制器的设计。因此,目前模糊控制主要是基于通用PC机或单片机的指令驱动。通过分析模糊控制的主要流程,采用模块化的设计思想,设计出一个通用模糊控制器的结构模型,并且基于FPGA技术,实现各模块的重用性和可定制性,既克服了传统硬件无法重构的缺陷,同时也弥补了软件实现时在实时性和稳定性方面的不足。
崔涛杨全胜
关键词:FPGA可重构性通用模糊控制器
一种基于并发的BPEL控制流模型的分析及验证
为了更好地对组合服务的控制流进行分析及验证,本文提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给...
张功源李必信邱栋吉顺慧
关键词:WEB服务并发
文献传递
一种基于层次切片的软件错误定位方法被引量:7
2010年
提出了一种基于层次切片模型适合面向对象语言的错误定位方法.首先分别在包层、类层、方法层删去通过测试的包、类和方法,缩小软件错误存在的范围;其次,在语句层将删减后的程序按抽象语法树划分成若干模块,统计模块内变量使用的数目;通过动态分析,选取一组测试用例计算其执行历史;根据模块内使用变量数目的规模,采用逐步求精算法,计算产生错误测试用例的程序执行历史与静态分析过程中所产生模块的交集及交集的后向切片,直至实现错误定位.实验数据表明:该方法能够查出前期定位程序中绝大部分错误的位置,尤其适用在方法调用比较少的程序中.在方法调用比较频繁的程序中,由于在调用语句处迭代调用逐步求精算法,效率会降低.
许高阳李必信孙小兵陶传奇
关键词:抽象语法树
Novel technique for cost reduction in mutation testing被引量:1
2011年
Aimed at the problem of expensive costs in mutation testing which has hampered its wide use,a technique of introducing a test case selection into the process of mutation testing is proposed.For each mutant,a fixed number of test cases are selected to constrain the maximum allowable executions so as to reduce useless work.Test case selection largely depends on the degree of mutation.The mutation distance is an index describing the semantic difference between the original program and the mutated program.It represents the percentage of effective test cases in a test set,so it can be used to guide the selection of test cases.The bigger the mutation distance is,the easier it is that the mutant will be killed,so the corresponding number of effective test cases for this mutant is greater.Experimental results suggest that the technique can remarkably reduce execution costs without a significant loss of test effectiveness.
蒋玉婷李必信
一种基于监控需求的Web服务运行时监控方法被引量:6
2009年
提出了一种基于用户监控需求的Web服务运行时监控方法,给出了一个端到端的监控实施原型框架.首先采用WS-Policy对用户的多样性监控需求进行表达;然后生成AOP监控逻辑,获取服务运行时重要信息;最后使用特殊检测算法,基于MREG分析得出监控结果.研究发现:WS-Policy能较好地以统一的方式表达用户监控需求;旅行预定服务实例模拟监控实验表明,由WS-Policy导出的AOP监控逻辑能有效地实行动态服务监控,提高监控执行效率,降低对原服务系统的影响.监控方法能对灵活地实现服务的运行时监控和改善服务质量状况起到积极作用.
孙明杰李必信张鹏程
关键词:WEB服务
一种基于定位应用的无线传感器网络MAC层方案被引量:4
2009年
媒体接入控制协议(MAC)是影响无线传感器网络能量效率的重要方面,S-MAC是其中具有代表性的方案。但S-MAC无法实现时间调度表的全网同步,只能形成多个在局部范围内同步的簇,簇间边界节点相对于内部节点能量消耗要快。针对这一问题提出了一种改进的MAC方案,利用定位应用中所需的节点间距离信息逐步合并各个簇,消除边界节点,提高能量效率,改善网络连通性,延长网络使用寿命。
刘俊杨全胜
关键词:WSNMAC
基于ARM和VxWorks的PC104总线模块检测系统被引量:1
2009年
PC104总线在嵌入式系统中应用十分广泛,近年来,ARM微控制器凭借其强大的功能,逐渐占据了市场的大部分份额。文中针对利用ARM微控制器控制PC104模块,提出了一套软硬件解决方案;在硬件设计中,FPGA在不同时序的转换中起到了关键性的作用;基于VxWorks操作系统实现了PC104模块的通用驱动设计和库的设计;针对网络应用,实现了基于双缓冲队列的多任务程序设计。
曹硕王晓蔚杨全胜
关键词:PC104FPGAI/O子系统
共2页<12>
聚类工具0