2024年8月23日
星期五
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
刘秀娟
作品数:
2
被引量:3
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张