您的位置： 专家智库 > >

刘秀娟

作品数：2 被引量：3H指数：1
供职机构：湖州职业技术学院更多>>
发文基金：浙江省自然科学基金嘉兴市科技计划项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇代数
  • 1篇形式化
  • 1篇形式化验证
  • 1篇企业
  • 1篇MV-代数
  • 1篇PETRI
  • 1篇WEB服务组...
  • 1篇HTTPS
  • 1篇PETRI网
  • 1篇WEB服务

机构

  • 2篇湖州职业技术...
  • 1篇嘉兴学院

作者

  • 2篇刘秀娟
  • 1篇杜卫锋
  • 1篇滕姿

传媒

  • 1篇计算机工程与...
  • 1篇信息与电脑（...

年份

  • 1篇2014
  • 1篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
软集合和软MV-代数被引量：3
2012年
通过将Molodtsov在1999年提出的软集合理论应用于MV-代数理论,提出了软MV-代数和软MV-子代数的概念,并且得到了相关的一些性质。
杜卫锋滕姿刘秀娟
关键词：MV-代数
基于petri网的Web服务组合相关技术研究
2014年
近年来,Web服务作为一种基于XML和HTTPS的一种服务,已经普遍被学术界和工业界所重视。Web服务组合具有动态与适应性、层次性和课扩展性的特点,Web服务组合的出现有效地提高了组合与交易过程的自动化程度,提高了软件的生产率。Web服务组合主要是针对两个方面的问题进行研究——组合Web服务的形式化验证和自动Web服务组合。下面主要是以petri网为研究的理论基础,深入探究Web服务组合的相关技术问题,从而有效提高Web服务组合的实际利用率。
刘秀娟
关键词：PETRI形式化验证HTTPS企业
全选 清除 导出
共1页<1>
聚类工具0