国家重点基础研究发展计划(2009CB320702)
- 作品数：22 被引量：141H指数：7
- 相关作者：吕建马晓星宋巍胡昊高阳更多>>
- 相关机构：南京大学南京理工大学华东师范大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向网构软件的环境显式化技术被引量：3
- 2013年
- 网构化软件处于开放、动态、难控的环境之中,需能感知并适应环境的变化,以持续提供用户满意的服务.传统软件构造技术缺乏对环境感知和适应的系统支持.本文在前期工作基础上,提出一种面向网构软件的软件结构,通过为软件系统配备先验的环境模型和环境规约来实现环境处理的显式化.进而,介绍了我们使用这种方式来处理开放环境之分布异步性、感知信息的不一致性以及环境中人类用户行为特性等的若干具体技术进展.而后,讨论了一种先验环境模型及环境规约的开发方法原理,给出了相应的环境驱动逻辑的静态表达与运行实现机制.该方法和机制可较好地支持环境处理与应用业务逻辑间的关注分离.
- 吕建马晓星陶先平黄宇余萍许畅
- 关键词：网构软件分布性一致性自适应
- 静动态结合的Java程序不变性分析方法被引量：10
- 2010年
- 程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态分析技术各自的优缺点后,提出了一种静动态结合的混合分析技术.首先通过对程序进行静态分析,即对程序进行分析测试和验证,来获得初步的程序不变性信息,然后对静态分析的结果中不确定的部分再进行动态分析,即通过观察程序运行时各个对象的状态变化进行分析,同时还将动态分析用于对静态分析结果的验证.静动态结合的分析技术比单纯的静态分析提高了分析结果的精度,同时也比单纯的动态分析降低了开销,提高了效率.
- 于利前王林章雷斌赵建华李宣东
- 关键词：不变性
- SSXCS:半监督学习分类系统被引量：7
- 2013年
- 学习分类系统作为一种自适应的机器学习技术,已经被成功地运用于解决多种学习问题.传统的学习分类系统的工作主要关注监督学习(分类)和无监督学习(聚类)环境下的研究,而学习分类系统在半监督学习环境下的效果不得而知.因此提出一种新的半监督学习分类系统(SSXCS),目的是研究学习分类系统是否能够在已知少量的已标记数据的情况下利用大量的未标记数据来提高学习性能.SSXCS先通过更新与进化得到对应的已标记规则集与无标记规则集,然后利用新提出的规则标记算法对无标记规则集进行标记,约简规则后生成最终的分类系统.实验结果表明,SSXCS能够有效地利用提供的无标记数据来提高分类器性能,同时相比较于一般的半监督学习算法,SSXCS能够取得更好或者相当的分类性能.
- 俞亚君霍静史颖欢高阳张剡
- 关键词：半监督学习
- 基于形式化测试的实时系统变更后安全性验证被引量：1
- 2014年
- 变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.
- 孙海英刘静陈小红杜德慧周庭梁
- 关键词：软件工程实时系统形式化方法软件测试安全性测试
- 一种基于后继任务的过程挖掘算法被引量：3
- 2012年
- 过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志,但只有很少一部分的事件日志被应用于分析流程。提出一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任务中挖掘出因果依赖关系,而且能够挖掘出潜在并发关系。其中,因果依赖关系包括显式依赖和隐式依赖(由非自由选择结构产生)两种。另外,χ-算法能够正确地挖掘SWF网、大部分带隐式依赖的非SWF网、一些非良好处理的工作流网和一些含有隐式库所的工作流网。因为χ-算法所使用的事件日志多出了一种新的事件类型——后继任务,所以χ-算法能够处理范围更广的工作流网。
- 王栋毅葛季栋过晓波胡昊骆斌朱明
- 关键词：工作流
- 基于集合的上下文建模和操作
- 上下文感知是普适计算的最主要特征之一,它要求系统能够依据当前的上下文调节自身的行为。现今关于上下文相关的形式化工作主要集中在两个方面:上下文表示以及系统行为建模;而在关于如何对"上下文进行操作"这一方面的形式化工作却很少...
- 马骏曹建农马超陶先平
- 关键词：上下文感知上下文建模普适计算集合论
- 文献传递
- Web服务组合动态演化的实例可迁移性被引量：32
- 2009年
- 组合网络上既有Web服务以构造新的增值服务正逐渐成为一种主流软件形态.而Web服务组合常需进行修改演化以优化服务组合的内部业务流程,适应开放的工作环境.在服务组合演化时,为让尽可能多的执行中的服务组合实例享受到新业务流程带来的好处,应尽可能地将其动态地迁移到新流程下继续执行.同时为避免实例迁移到新流程后引发死锁等动态演化错误,需对这些迁移实例加以约束.文中提出了一个服务组合动态演化过程框架,在此框架下形式化地定义了一种新的实例可迁移性标准,并给出了相应的判定算法.与已有的可迁移性标准相比,该标准在确保不会产生动态演化错误的同时,可允许更多的实例迁移.最后,通过一个旅行代理的服务组合案例,说明了文中工作的有效性和可行性.
- 宋巍马晓星吕建
- 关键词：PETRI网
- 基于分层过程模型的过程演化技术
- 2013年
- 为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型下的过程演化,并给出相应的系统实现。通过实例验证了所设计系统的正确性。
- 徐刚胡昊余萍葛季栋吕建
- 关键词：WEB服务业务过程执行语言
- 基于核方法的连续动作Actor-Critic学习被引量：8
- 2014年
- 强化学习算法通常要处理连续状态及连续动作空间问题以实现精确控制.就此文中结合Actor-Critic方法在处理连续动作空间的优点及核方法在处理连续状态空间的优势,提出一种基于核方法的连续动作Actor-Critic学习算法(KCACL).该算法中,Actor根据奖赏不作为原则更新动作概率,Critic采用基于核方法的在线选择时间差分算法学习状态值函数.对比实验验证该算法的有效性.
- 陈兴国高阳范顺国俞亚君
- 关键词：函数估计核方法
- 基于环境的多形态时间需求建模方法被引量：3
- 2013年
- 时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该问题提供解决方案.文中构建了支持这个方法的多形态时间需求模型,在环境因素的基础上增加了多形态时间描述,并提出该需求模型制导的需求建模过程,帮助需求分析员在功能性需求的基础上建模时间需求.文中还给出了从多样的环境时间描述得到软件时间需求规约的步骤,指导需求分析人员抽取时间需求规约.
- 陈小红刘静
- 关键词：嵌入式系统
