切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
时间符号迁移图上的可达性分析
时间符号迁移图上的可达性分析
来源 :计算机学报 | 被引量 : 0次 | 上传用户:qncypt
【摘 要】
:
提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法,并给出了算法的正确性证明.该算法可被用于硬件设计和通信协议验证等领域.
【作 者】
:
陈靖
【机 构】
:
中国科学民计算机科学重点实验室
【出 处】
:
计算机学报
【发表日期】
:
2003年1期
【关键词】
:
时间符号迁移图
可达性分析
模型检测算法
计算机
Algorithms
Computer simulation
Mathematical models
Netw
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法,并给出了算法的正确性证明.该算法可被用于硬件设计和通信协议验证等领域.
其他文献
组织进化算法求解SAT问题
基于组织的概念设计了一种新的进化算法--求解SAT问题的组织进化算法(Organizational Evolutionary Algorithm for SAT problem,OEASAT).OEASAT将SAT问题分解成若干子问题,然
期刊
组织
进化算法
SAT问题
0EASAT
自学习算子
分裂算子
合取范式可满足性问题
人工智能
evolutionary algorithms
organiz
伶牙俐齿 安东尼澳BT50蓝牙适配器和BT60蓝牙AP
期刊
安东尼澳公司
BT50
蓝牙适配器
BT60
蓝牙AP
是打火机,还是随身听?——索尼Network Walkman NW—E3
期刊
音响
索尼NW-E3
网络随身听
二阶卡尔曼滤波分布估计算法
分布估计算法由于其较强的理论基础已成为进化计算研究的新热点.从卡尔曼滤波的角度来看,它的作用实际上是一个递归滤波器,但作用在一个种群上的分布估计算法相当于只有一个
期刊
进化计算
卡尔曼滤波
分布估计算法
信息融合
evolutionary computation
Kalman filter
estimation of di
Palm中的贵族——Palm Vx试用手记
期刊
PAlmVx
掌上电脑
微机
来自双线性配对的新的代理多签名、多代理签名和多代理多签名体制
作者提出三类新的来自双线性配对的涉及多个签名人的代理签名体制.第一类称为代理多签名体制,它允许一组原始签名人授权给一个代理签名人来代表他们;第二类称为多代理签名体
期刊
代理签名
多签名
身份密码
双线性配对
短签名体制
密钥
验证
Data privacy
Security of data
基于偏微分方程的隐式曲面光顺方法
提出隐式曲面的光顺问题 .针对该问题 ,给出刻画隐式曲面光顺程度的能量模型 ,并将能量解释为关于隐函数的泛函 .基于变分原理 ,构造出隐函数关于时间的偏微分方程 ,通过求解该方程得到隐函数序列 ,使得光顺能量逐渐变小 ,从而达到光顺隐式曲面的目的 .另外 ,针对光顺问题提出的其它约束条件 ,如尽可能保持面积不变 ,保持原有的形状特征等 ,对模型进行修正 .最后 ,给出方程的实用解法及实验结果 ,并
期刊
隐式曲面
光顺
变分原理
偏微分方程数值解
Mathematical models
Numerical methods
Partial differential
面向网格的协作式网络计算平台
互联网资源的利用率无论在时间上,还是空间上都存在极度的不均.在不干扰用户工作的前提下,充分利用互联网上闲置的资源,解决大规模的科学计算,具有极其重要的意义.文章在前期
期刊
网络计算
协作式资源管理
集群
虚拟服务器
network computing
collaborative resource management
clus
稳定是关键——数码相机脚架选购
期刊
数码相机
脚架
选购
一种网络协议的自适应控制方法
网络服务器过载问题已经成为日益关注的问题,过载会引起服务器系统性能急剧下降,客户请求长时间得不到响应.国内外已经提出很多有关网络服务器过载的解决方案,其中,比较有效
期刊
网络协议
自适应控制方法
中断控制
操作系统
network protocol
self-adaptive control method
interrupt
与本文相关的学术论文