您的位置: 专家智库 > >

国家高技术研究发展计划(2007AA01Z178)

作品数:20 被引量:96H指数:5
相关作者:王志坚吕建陶先平马晓星李良明更多>>
相关机构:南京大学河海大学南京航空航天大学更多>>
发文基金:国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 20篇期刊文章
  • 2篇会议论文

领域

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

主题

  • 3篇用户
  • 3篇查询
  • 3篇WEB服务
  • 2篇语境
  • 2篇软件工程
  • 2篇最近邻
  • 2篇不确定数据
  • 1篇地表
  • 1篇动态语境
  • 1篇移动AGEN...
  • 1篇映射
  • 1篇用户模型
  • 1篇用户偏好
  • 1篇用户需求
  • 1篇邮件
  • 1篇邮件过滤
  • 1篇邮件过滤器
  • 1篇邮件过滤系统
  • 1篇有限自动机
  • 1篇语言

机构

  • 11篇南京大学
  • 10篇河海大学
  • 3篇南京航空航天...
  • 2篇南京邮电大学
  • 2篇计算机软件新...
  • 1篇华北水利水电...
  • 1篇河南理工大学
  • 1篇解放军理工大...
  • 1篇山东农业大学
  • 1篇武汉大学
  • 1篇南京晓庄学院
  • 1篇北京市电信工...

作者

  • 8篇王志坚
  • 7篇吕建
  • 4篇陶先平
  • 3篇李良明
  • 3篇张剡
  • 3篇马晓星
  • 2篇柏文阳
  • 2篇刘磊
  • 2篇曹春
  • 2篇李雯睿
  • 2篇许棣华
  • 1篇毛晓炜
  • 1篇娄渊胜
  • 1篇谭明金
  • 1篇黄卫东
  • 1篇吴晓
  • 1篇林巧民
  • 1篇杨种学
  • 1篇海燕
  • 1篇海燕

传媒

  • 4篇计算机应用研...
  • 3篇南京大学学报...
  • 2篇电子学报
  • 2篇小型微型计算...
  • 2篇计算机科学
  • 1篇南京航空航天...
  • 1篇计算机工程
  • 1篇高技术通讯
  • 1篇中国科学(E...
  • 1篇南京理工大学...
  • 1篇解放军理工大...
  • 1篇Scienc...

年份

  • 1篇2013
  • 5篇2011
  • 9篇2010
  • 4篇2009
  • 3篇2008
20 条 记 录,以下是 1-10
排序方式:
构件功能行为测试的研究被引量:5
2010年
由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型中生成简单运行序列并获得功能行为的算法,最后用一个实例对所提出的方法进行了说明并与相关方法进行了对比.文中介绍的方法在系统级别对构件整体行为进行测试,可自动生成测试序列,有利于构件的验证和测试.
李良明王志坚唐龙业
测试驱动的构件组装过程
2010年
提出一种测试驱动的构件组装过程,在组装时首先生成组装测试用例,然后通过不断的测试来保证构件组装的质量。文中首先分析了测试驱动开发的思想如何应用于构件的组装过程,然后针对不同的构件组装方式介绍了生成组装测试用例的方法,最后给出了该过程的算法描述并通过实例验证了该过程的有效性。所提出的方法使得构件组装过程中的每一步都有可以衡量的准则,有利于提高系统的开发质量和降低开发费用。
李良明王志坚刘磊
关键词:测试驱动开发测试用例
基于用户需求的构件行为测试
2010年
针对基于构件的软件开发过程中构件的使用者难以验证构件的动态行为这一问题,提出了一种基于用户需求的构件行为测试方法。用接口自动机为构件的行为建模,研究如何根据模型和用户需求对构件进行测试的问题。首先通过对行为模型的分析,确定出构件中不同接口之间的关系,进而用一组相关的接口序列来表示构件的动态行为;然后再根据用户在使用时的具体要求,确定出实际要运行的测试序列。文中介绍的方法能够从整体上检验构件的行为并且可以根据构件模型和使用要求自动生成测试序列,便于用户对构件的验证和测试。
李良明王志坚刘磊
一种支持Web服务QoS动态预测的方法被引量:3
2013年
为了在高度动态环境下准确地预测Web服务的服务质量(Quality of service,QoS),该文提出了一种基于半马尔可夫过程(Semi-Markov processes,SMP)和事例推理(Case-based reasoning,CBR)的QoS动态预测方法。该方法首先使用SMP预测Web服务在未来被调用时刻的忙闲状态,在此基础上,利用CBR技术预测Web服务处理具体任务时的QoS。实验结果表明:该预测方法能够大幅度提高Web服务QoS的准确度。研究结果为客观评价和成功选择Web服务提供了可靠的依据。
海燕海燕王志坚刘志中周晓峰
关键词:WEB服务服务质量半马尔可夫过程
On environment-driven software model for Internetware被引量:17
2008年
Internetware is envisioned as a general software paradigm for the application style of resources integration and sharing in the open, dynamic and uncertain platforms such as the Internet. Continuing the agent-based Internetware model presented in a previous paper, in this paper, after an analysis of the behavioral patterns and the technical challenges of environment-driven applications, a software-structuring model is proposed for environment-driven Internetware applications. A series of explorations on the enabling techniques for the model, especially the modeling, management and utilization of context information are presented. Several prototypical systems have also been built to prove the concepts and evaluate the techniques. These research efforts make a further step toward the Internetware paradigm by providing an initial framework for the construction of context-aware and self-adaptive software application systems in the open network environment.
Lǔ Jian MA XiaoXing TAO XianPing CAO Chun HUANG Yu YU Ping
关键词:软件工程语境
设备自动巡检逻辑的层级有限自动机建模与实现被引量:3
2009年
为了解决复杂巡检逻辑造成的软件实现困难这一问题,提出了一种层级有限自动机(HFA)的形式化模型,分析了设备自动巡检过程的行为特征,利用HFA对自动巡检过程实现了行为建模,抽象出了HFA的核心状态和辅助状态,并对主要核心态进行了深化分解及FA表示。给出了HFA向软件实现转化的基本框架。这种HFA模型能对设备自动巡检逻辑进行简洁清晰地刻画,为软件正确实现提供了保证。
杨启亮邢建春王平谭明金
关键词:有限自动机
基于uMSD的Web服务组合验证方法研究被引量:1
2011年
手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法。如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题。鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义。以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了uMSD的可行性。实验分析表明,该验证方法能够有效地检测组合服务中的逻辑错误。
王志坚李雯睿杨种学张鹏程
关键词:WEB服务组合
智能空间的资源管理及其应用研究被引量:8
2010年
资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地加入或离开由发现和加入协议、异步事件通知机制和租用机制等来完成;资源的映射和冲突调度由资源映射和资源仲裁机制完成.最后给出了一个智能空间的漫游打印应用及其实现情况,并与相关工作进行了比较.
张璟璟汪亮陶先平吕建
关键词:资源管理资源映射
基于不确定数据的top-k概率相互最近邻查询被引量:2
2011年
不确定数据上的概率相互最近邻查询具有重要的实际应用,针对目前关于这方面的研究尚少,提出了不确定数据上的概率相互最近邻的top-k查询算法。首先对问题进行描述与定义,其次总结可行的裁剪规则,从而裁剪查询对象中未计算的实例点。通过实验表明,该算法能有效地降低最近邻查询中的I/O开销,提高查询的响应速度。
梁瑜张剡周嵩柏文阳
关键词:空间查询不确定数据反向最近邻查询处理
基于模糊逻辑分类的WSN Sinkhole侦测被引量:1
2011年
分析无线传感器网络Sinkhole攻击侦测的监测特征、方法和侦测流程,设计并实现基于模糊逻辑分类的攻击侦测方案。仿真实验表明,该方案能较好地解决多因素集合的模糊信息问题,克服以往方案侦测模型复杂、误报率较高的不足,具有运算量小,易于实现、适用性好的特点。
高建斌娄渊胜
关键词:无线传感器网络模糊逻辑
共3页<123>
聚类工具0