韩维
- 作品数：11 被引量：0H指数：0
- 供职机构：浙江理工大学科学计算与软件工程实验室更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于Petri网的安全协议的分析
- Petri网是一种常用的对安全协议建模和分析的方法。本文首先采用Petri网对安全协议进行建模,为了对安全协议进一步的分析,提出将Petri网模型转换为Promela模型的方法,并详细描述了转换规则。采用线性逻辑语言(L...
- 刘凤丽韩维江明月
- 关键词：安全协议PETRI网线性时序逻辑
- 文献传递
- 时间自动机的状态约减改进方法
- 时间自动机是用来描述实时系统的有力工具,而时间自动机的可达性可以用来验证实时系统的安全性。为了分析可达性,我们将传统的符号状态扩充,得到新的时钟域分类方法,再构造出域自动机。再对域自动机的前趋后继进行遍历,判断与给定的状...
- 谭娟周永华韩维
- 关键词：时间自动机可达性
- 文献传递
- 遗产系统用例模型的恢复
- 用例模型从用户的角度描述了软件系统的需求,对遗产系统重新建立系统用例模型,能使系统维护者更好的理解遗产系统,本文提出了一种恢复目标系统用例模型的方法,首先根据系统的使用情况得系统的部分用例,根据得到的用例执行系统并且记录...
- 刘忠山韩维包小安
- 关键词：用例模型遗产系统
- 文献传递
- 一个Web服务相似度的计算方法
- 本文基于OWL-S/UDDI匹配算法和本体概念相似度的Web服务匹配算法,用实例指出两种算法查准率和查全率不高的问题,并提出一种改进算法。构建一个比较完善的Web服务本体,将Web服务抽象成一个统一的模型,基于此模型计算...
- 韩维楼冬琴丁佐华
- 关键词：WEB服务
- 文献传递
- 基于Petri网的安全协议的分析
- Petri网是一种常用的对安全协议建模和分析的方法。本文首先采用Petri网对安全协议进行建模,为了对安全协议进一步的分析,提出将Petri网模型转换为Promela模型的方法,并详细描述了转换规则。采用线性逻辑语言（L...
- 刘凤丽韩维江明月
- 关键词：安全协议PETRI网线性时序逻辑
- 文献传递
- 基于Markov模型用户浏览行为预测分析
- 根据基本Markov浏览预测模型,以某公司网站Log File为例用程序处理相应字段并建立状态图且构建Markov链模型。研究此模型应用的学习训练与预测方法,对用户浏览行为进行预测。再用部分数据检验预测结果比较分析模型预...
- 韩维柳陈英丁佐华
- 关键词：马尔科夫链马尔科夫模型
- 基于Markov模型用户浏览行为预测分析
- 根据基本Markov浏览预测模型,以某公司网站LogFile为例用程序处理相应字段并建立状态图且构建Markov链模型。研究此模型应用的学习训练与预测方法,对用户浏览行为进行预测。再用部分数据检验预测结果比较分析模型预测...
- 韩维柳陈英丁佐华
- 关键词：马尔科夫链马尔科夫模型
- 文献传递
- 时间自动机的状态约减改进方法
- 时间自动机是用来描述实时系统的有力工具,而时间自动机的可达性可以用来验证实时系统的安全性。为了分析可达性,我们将传统的符号状态扩充,得到新的时钟域分类方法,再构造出域自动机。再对域自动机的前趋后继进行遍历,判断与给定的状...
- 谭娟周永华韩维
- 关键词：时间自动机可达性
- 文献传递
- 复模糊微分方程的初始值问题
- 2014年
- 复模糊微分方程的初始值问题是近年来研究的热点问题。首先证明了复模糊域上的牛顿-莱布尼茨公式,并建立了微分和积分之间的关系,然后定义了复模糊微分方程的初始值问题,最后给出了基于经典的不动点定理和基于Zadeh在复数域上的扩展原理两种初始值问题存在的结论。然后在此基础上对初始值进行求解。
- 吴丹韩维樊太和
- 关键词：初始值问题牛顿-莱布尼茨公式
- 一个Web服务相似度的计算方法
- 本文基于OWL-S/UDDI匹配算法和本体概念相似度的Web服务匹配算法,用实例指出两种算法查准率和查全率不高的问题,并提出一种改进算法。构建一个比较完善的Web服务本体,将Web服务抽象成一个统一的模型,基于此模型计算...
- 韩维楼冬琴丁佐华
- 关键词：WEB服务
- 文献传递
