刘凤丽
- 作品数：7 被引量：1H指数：1
- 供职机构：浙江理工大学信息电子学院更多>>
- 发文基金：浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 智能web服务组合的建模与分析
- 随着网络的快速发展,单个web服务功能已经不能满足用户需求,需要将多个web服务组合起来,以提供更为强大的功能。目前web服务组合的研究已经取得一定的进展,但还缺乏一个通用的实现框架对web服务的自动操作、自主交互及动态...
- 刘凤丽
- 关键词：移动AGENT技术
- 文献传递
- 基于Petri网的安全协议的分析
- Petri网是一种常用的对安全协议建模和分析的方法。本文首先采用Petri网对安全协议进行建模,为了对安全协议进一步的分析,提出将Petri网模型转换为Promela模型的方法,并详细描述了转换规则。采用线性逻辑语言(L...
- 刘凤丽韩维江明月
- 关键词：安全协议PETRI网线性时序逻辑
- 文献传递
- 基于Petri网的安全协议的分析
- Petri网是一种常用的对安全协议建模和分析的方法。本文首先采用Petri网对安全协议进行建模,为了对安全协议进一步的分析,提出将Petri网模型转换为Promela模型的方法,并详细描述了转换规则。采用线性逻辑语言（L...
- 刘凤丽韩维江明月
- 关键词：安全协议PETRI网线性时序逻辑
- 文献传递
- 基于模糊微分Petri网的混合系统表示
- 2011年
- 为了描述连续部分为模糊的混合系统,提出了基于模糊微分Petri网的混合系统表示方法。该方法的切换规则由时间来控制并由离散变迁来监督管理,而连续部分则由模糊微分方程描述,通过模糊微分库所和模糊微分变迁来建模。最后通过实例来展示我们的Petri网对混合系统的表示能力。
- 谭娟李阳刘凤丽
- 关键词：PETRI网
- 基于移动Agent的服务组合的建模
- 2012年
- 采用形式化描述Web服务组合,从很大程度上推动了Web服务组合技术的实际应用。但现有的Web服务组合形式化建模方法在利用形式化工具时,均未很好地解决建模的层次性问题。为解决上述问题,提出了将Web服务组合问题映射为一个基于移动Agent的层次化服务组合模型,系统模型分为系统服务层和Agent层。模型设计充分体现了移动Agent的移动性、自主性以及系统层(移动Agent运行环境)的控制性。最后给出实例说明该方法。
- 刘凤丽刘忠山
- 关键词：WEB服务组合移动AGENTPETRI网
- Web服务组合的性能评价与优化
- 2012年
- Web服务组合能够利用互联网上分布的Web服务构建出功能更加强大的服务,然而不同的组合方式,组合的系统的性能不一样,性能分析能帮助我们组合性能更好的系统,通过SPN计算系统的性能,并利用计算系统性能指标的公式找出性能优化的方案。
- 刘忠山刘凤丽
- 关键词：WEB服务SPN性能分析
- 基于模糊控制的自适应系统研究被引量：1
- 2012年
- 当系统完成以后,我们希望该系统能够根据环境和需求的改变而自我调节来适应这些变化。2009年Agus提出了一种生成动态模糊规则的自适应算法,实现了系统的自适应功能。改进了该算法,改进的算法保证了模糊规则库的纯度,提高了系统响应的准确率,并降低了构造系统的复杂性。
- 李阳刘凤丽刘忠山谭娟
- 关键词：动态自适应模糊规则
