切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
硬件系统SystemCFL模型的SPIN验证
硬件系统SystemCFL模型的SPIN验证
来源 :2006年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:ycf0319
【摘 要】
:
本文对硬件系统SystemCFL模型的SPIN验证进行了研究。文章围绕SPIN模型检测器及Promela语言、SystemCFL模型、硬件系统的SystemCFL模型转换成Promela模型等进行了论述。
【作 者】
:
李彩虹
李廉
章超
孙守卿
吴孝军
陈波
【机 构】
:
兰州大学信息科学与工程学院ICCM实验室,兰州,730000
【出 处】
:
2006年全国理论计算机科学学术年会
【发表日期】
:
2006年期
【关键词】
:
硬件系统
模型
检测器
转换
语言
验证
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对硬件系统SystemCFL模型的SPIN验证进行了研究。文章围绕SPIN模型检测器及Promela语言、SystemCFL模型、硬件系统的SystemCFL模型转换成Promela模型等进行了论述。
其他文献
番茄红素的抗大鼠脑缺血活性及线粒体保护作用
目的:考察番茄红素的抗大鼠脑缺血活性,探讨其线粒体作用机制。方法:100只雄性Wistar大鼠随机分为假手术组、模型组、番茄红素低、中、高剂量组(50,100和200 mg.kg-1),各组均
期刊
番茄红素
脑
缺血再灌注
线粒体膜电位
呼吸链复合酶IV
替比培南匹伏酯侧链的合成
目的:合成替比培南匹伏酯侧链1-(4,5-二氢-2-噻唑啉基)-3-巯基吖丁啶盐酸盐。方法:以2-甲硫基-2-噻唑啉为原料,经与3-羟基吖丁啶盐酸盐,甲烷磺酰氯,硫代乙酸钾以及水解4步反
期刊
替比培南匹伏酯
1-(4
5-二氢-2-噻唑啉基)-3-巯基吖丁啶盐酸盐
合成
JXTA协议下汇聚对等体自组织机制研究
本文对JXTA网络汇聚对等体数目不受控制问题进行了研究,提出了汇聚对等体自组织机制,使一定区域内汇聚对等体数目经过一段时间达到平衡状态,保证了网络查询效率。
会议
协议
对等体
自组织
组织机制
网络
平衡状态
控制问题
查询效率
区域
内汇
面向内容检索的纹理图像分割
稳健有效的图像自动分割是面向图像检索中的一个重要问题,适应内容检索的需要,提出了一种通过提取纹理特征,采用特征聚类的分割新算法.该算法提取纹理的一致性和反差性等特征
会议
图像检索
纹理特征
最大期望值法
重叠区域分割法
图像分割
内容检索
逻辑程序设计语言G(o)del中等词的研究及实现简报
本文对逻辑程序设计语言G(o)del中等词的实现进行了研究。文章围绕含等词的逻辑程序一致匹配算法、G(o)del语言的类型系统机制、 G(o)del语言含等词的SLDE-反驳消解实现等进
会议
逻辑程序设计语言
系统机制
匹配算法
G(o)del语言编译中多态多类类型的实现技术简报
本文对G(o)del语言编译中多态多类类型的实现进行了研究。文章针对类型系统的实现,介绍了语义分析中的静态类型检查和实现一致匹配时的动态类型检查等关键技术。
会议
语言编译
类类型
实现技术
类型检查
语义分析
一致匹配
类型系统
关键技术
一种基于DWFC的面向对象类内聚度量方法
本文利用图理论,提出一种独立于具体实现语言的基于类内部方法、属性间依赖性分析的内聚度量模型。该模型采用有向带权伪图DW-FC来客观定义类内部属性以及一般方法间的联结关
会议
面向对象
类内聚
联结关系
依赖性分析
内部属性
度量模型
方法
图理论
语言
权值
维生素A修饰的阿霉素隐形脂质体对肝星状细胞的靶向性
目的:制备维生素A(VA)修饰的阿霉素隐形脂质体,考察其对肝星状细胞(HSC)的靶向性。方法:采用前插法和后插法优化VA修饰的阿霉素隐形脂质体的处方和工艺;采用流式细胞术对所得
期刊
stealth liposomes
vitamin A
hepatic stellate cell
doxorubicin
操作剖面与软件可靠性
本文对操作剖面与软件可靠性进行了探讨。文章围绕软件可靠性测试的特点、Musa的可靠性测试方法、Markov链模型、操作剖面的构建方法等进行了论述。
会议
操作剖面
软件可靠性测试
可靠性测试方法
构建方法
链模型
Hedgehog通路抑制剂vismodegib的合成
目的:合成Hh通路抑制剂vismodegib.方法:以2-氯-5-硝基苯胺为起始原料通过4步反应合成了Hh通路抑制剂vismodegib(2-氯-N-(4-氯-3-(吡啶-2-基)苯基)-4-(甲磺酰基)苯甲酰胺).结
期刊
Hedgehog signaling pathway inhibitors
vismodegib
synthesis
与本文相关的学术论文