聚类工具

0
网站首页网站地图
访问手机版
关于我们
注册
帮助 本站公告
全部文献 媒体文章 报刊论文 会议论文 学位论文 出版专著 研究报告 课题成果 特色专题
高级检索
您现在所在的位置：网站首页 > 知识中心 > 检索结果
全选 题录导出
排序：
期刊文章 基于时序逻辑的面向实现的协议规范语言
出处：小型微型计算机系统 2004年第5期 847-850,共4页
摘要：在多种形式化描述语言和时序逻辑原理的研究之上;针对通讯协议的特点提出一个协议模型思想,并设计了实现此... 显示全部
关键词： 协议规范语言 面向实现 时序逻辑
在线阅读 下载全文
期刊文章 基于时序逻辑的HTTP-NG协议分析
出处：计算机应用研究 2004年第11期 78-80,共3页
摘要：形式化方法由于其简练、无二义性,在协议工程中有着重要的地位.首先对下一代超文本传输协议(HTTP- NG)作了... 显示全部
关键词： 形式化 时序逻辑 下一代超文本传输协议 会话
期刊文章 基于时序逻辑的业务过程约束建模及验证
出处：计算机应用研究 2009年第4期 1342-1344,1356,共4页
摘要：提出一种可视化的约束规则建模语言（visual constraint modeling language，VCML），采用XYZ／E语言作为逻... 显示全部
关键词： 业务约束 时序逻辑 业务建模
在线阅读 下载全文
期刊文章 随机时序逻辑的模糊时间扩展方法
出处：计算机工程与应用 2006年第1期 61-63,共3页
摘要：基于随机时序逻辑（SQTL），通过扩展模糊时间来表达系统的模糊时间关系。并实现一种表达能力更强的时序逻... 显示全部
关键词： 时序逻辑 模糊时间 实时系统 可能性
期刊文章 电信业务特性集成的时序着色Petri网模型(英文)
出处：华南理工大学学报(自然科学版) 2002年第1期
摘要：提出了一个电信系统业务特性集成的建模和检验方法 .根据这个方法 ,现有的系统和新的业务特性分别表述为一... 显示全部
关键词： 着色 网 特性集成 不变量 软件检验 电信系统 时序逻辑
期刊文章 应用时序逻辑分析密钥分配协议
出处：小型微型计算机系统 2002年第11期 1340-1343,共4页
摘要：文中,在密码系统状态间的关联性和时序逻辑的可达性间建立联系,探讨了一种基于时序逻辑的密钥分配协议的描... 显示全部
关键词： 时序逻辑 密钥分配协议 协议分析 密码系统
在线阅读 下载全文
期刊文章 基于时序逻辑的加密协议分析
出处：计算机学报 2002年第10期 1083-1089,共7页
摘要：形式化方法由于其精炼、简洁和无二义性,逐步成为分析加密协议的一条可靠和准确的途径,但是加密协议的形式... 显示全部
关键词： 时序逻辑 加密协议分析 形式化方法 密码学 单钥加密系统
在线阅读 下载全文
期刊文章 多主体间的协作过程研究
出处：计算机研究与发展 2000年第8期 904-911,共8页
摘要：多主体间的协作是多主体系统与其它相关研究领域区别开来的关键性概念之一，也是保证多个智能系统在一起共... 显示全部
关键词： 多主体 时序逻辑 协作过程 分布式人工智能
在线阅读 下载全文
找到8条结果

联系方式

电 话：020-38800179

邮 箱：gdtheory@126.com

地 址：广州市天河区天河北路618号广东社会科学中心

邮 编：510635

友情链接

扫一扫 手机浏览

广东省社会科学院·广东省哲学社会科学数据库·广东智库 版权所有 Copyright©2012 gdtheory.cn All Rights Reserved.

违法和不良信息举报中心举报邮箱：jubao@cqvip.com 粤ICP备10080020号-3

`