朱稷涵
- 作品数：5 被引量：10H指数：3
- 供职机构：苏州大学更多>>
- 发文基金：国家大学生创新性实验计划江苏省高校自然科学研究项目国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于非参函数逼近的强化学习算法研究
- 强化学习主要通过与环境交互的方式获得输入信息，继而对策略进行改进。近年来，强化学习受到了学术界的广泛关注，已经成为机器学习领域的一个重要分支。传统的强化学习在大规模状态空间下通常采用带参的函数逼近器来表示值函数，但是无法...
- 朱稷涵
- 关键词：核函数高斯过程策略迭代
- 文献传递
- 基于XYZ/ADL的异步Web服务组合描述与验证被引量：3
- 2011年
- 以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAAL规约的时间异步通信模型TACM;最后,实现了XYZ/RE通信命令到TACM的映射,利用UPPAAL验证了服务组合系统异步通信行为的正确性。
- 石慧娟戎玫张广泉朱稷涵
- 关键词：WEB服务组合XYZ/ADL异步通信
- 带时间约束的Web服务组合建模与分析
- 2012年
- 如何将现有的Web服务进行组合、实现服务的增值是目前服务计算领域的一个研究热点.针对目前服务组合研究中缺乏对时间属性分析的不足,提出了一种基于时间服务模型(TSM)的Web服务组合模型检测方法.该方法首先将BPEL描述的Web服务行为文档建模为TSM,并转化为UPPAAL规约,然后用分支时序逻辑CTL表示服务组合的性质,最后采用模型检测工具UPPAAL验证服务组合的性质,并结合实例分析了该方法的可行性.
- 吴剑峰朱稷涵张广泉
- 关键词：BPELUPPAAL
- 基于有色Petri网的Web服务组合建模与分析被引量：3
- 2010年
- 形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。
- 张侃朱稷涵张广泉
- 关键词：有色PETRI网WEB服务组合可达性分析
- 数据和时间感知的Web服务组合模型检测被引量：3
- 2011年
- 为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将BPEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型,然后将该模型映射至UPPAAL规约,最后应用模型检测工具UPPAAL实现了Web服务组合的正确性验证。
- 狄浩军戎玫张广泉朱稷涵
- 关键词：WEB服务组合数据属性BPEL
