期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于有色Petri网的一种密码协议的描述和分析
被引量：
1
1
作者
罗志宏
王常吉
朱思铭
《计算机工程与应用》
CSCD
北大核心
2006年第23期106-108,共3页
Petri网作为一种数学工具,已被广泛应用于过程的描述、分析和验证。文章使用有色Petri网对文献[1]中提到的一种密码协议进行描述和分析,发现并验证该协议的安全缺陷。
关键词
有色PETRI网
密码协议
描述和分析
在线阅读
下载PDF
职称材料
远程UUV指挥控制流程分层Petri网建模及延时分析
2
作者
刘海光
张源原
李厚全
《舰船科学技术》
北大核心
2017年第4期106-110,115,共6页
对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题,传统建模方法往往难于对其进行详细描述和分析。文中建立远程UUV指挥控制流程分层延时Petri网模型,采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力,...
对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题,传统建模方法往往难于对其进行详细描述和分析。文中建立远程UUV指挥控制流程分层延时Petri网模型,采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力,将变迁引入时间参数,使模型具备对时间的描述和分析能力,并给出不同结构的延时计算方法。仿真结果表明所建模型可用于对远程UUV指挥控制流程进行分析和计算,分析方法正确、适用性好,可为远程UUV指挥控制系统评价及完善提供参考和技术支持。
展开更多
关键词
远程UUV
分层Petri网
指挥控制流程
描述和分析
在线阅读
下载PDF
职称材料
题名
基于有色Petri网的一种密码协议的描述和分析
被引量：
1
1
作者
罗志宏
王常吉
朱思铭
机构
中山大学计算机系
中山大学数学系
出处
《计算机工程与应用》
CSCD
北大核心
2006年第23期106-108,共3页
基金
国家自然科学基金资助项目(编号:60503005)
文摘
Petri网作为一种数学工具,已被广泛应用于过程的描述、分析和验证。文章使用有色Petri网对文献[1]中提到的一种密码协议进行描述和分析,发现并验证该协议的安全缺陷。
关键词
有色PETRI网
密码协议
描述和分析
Keywords
coloured Petri nets,cryptographic protocol,specification and analysis
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
远程UUV指挥控制流程分层Petri网建模及延时分析
2
作者
刘海光
张源原
李厚全
机构
海军航空工程学院青岛分院
海军潜艇学院
出处
《舰船科学技术》
北大核心
2017年第4期106-110,115,共6页
基金
中国博士后基金资助项目(2014M552658)
文摘
对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题,传统建模方法往往难于对其进行详细描述和分析。文中建立远程UUV指挥控制流程分层延时Petri网模型,采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力,将变迁引入时间参数,使模型具备对时间的描述和分析能力,并给出不同结构的延时计算方法。仿真结果表明所建模型可用于对远程UUV指挥控制流程进行分析和计算,分析方法正确、适用性好,可为远程UUV指挥控制系统评价及完善提供参考和技术支持。
关键词
远程UUV
分层Petri网
指挥控制流程
描述和分析
Keywords
remote UUV
hierarchical Petri net
command and control process
description and analysis
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于有色Petri网的一种密码协议的描述和分析
罗志宏
王常吉
朱思铭
《计算机工程与应用》
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
2
远程UUV指挥控制流程分层Petri网建模及延时分析
刘海光
张源原
李厚全
《舰船科学技术》
北大核心
2017
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
