切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
炼焦过程控制计算机故障的分析与模型检测
炼焦过程控制计算机故障的分析与模型检测
来源 :计算机与数字工程 | 被引量 : 0次 | 上传用户:Phoenix164
【摘 要】
:
用模型检测技术分析了工业生产中计算机通讯的一个死锁故障。根据技术人员的分析,建立了该通讯过程的Promela语言模型,并使用SPIN进行检测,找出了发生死锁的原因,其检测结果与技
【作 者】
:
李元
唐郑熠
李祥
【机 构】
:
贵州大学计算机软件与理论研究所
【出 处】
:
计算机与数字工程
【发表日期】
:
2010年1期
【关键词】
:
模型检测
SPIN
Promela通讯
死锁
model checking
SPIN
promela
communication
deadlock
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
用模型检测技术分析了工业生产中计算机通讯的一个死锁故障。根据技术人员的分析,建立了该通讯过程的Promela语言模型,并使用SPIN进行检测,找出了发生死锁的原因,其检测结果与技术人员的分析一致。
其他文献
浅谈业扩管理工作如何防止偷窃电
本文通过分析目前窃电现象形成的原因、当前窃电的主体和主要形式、手段,根据本人从事用电检查和业扩管理工作的体会,谈谈在业扩管理工作中应采取防范窃电行为的措施。
期刊
窃电现状
业扩管理
防范措施
一种嵌入式自适应调度算法的设计
根据嵌入式实时系统的需求及应用领域中任务的特点,提出一种针对两种常见的不同类型任务,进行自适应调度算法ERTAS(Real-Time Embedded Adaptive Scheduling Algorithm,并提出
期刊
嵌入式实时系统
自适应调度算法
μC/OS-Ⅱ内核
embedded real-time system
self-adaptive scheduling al
2020精功与蔡司全国战略联盟峰会暨精功新品上市与模特大赛发布会在粤举办
本刊讯(记者别昊)2019年12月19日,由精功眼镜和蔡司光学联合主办的2020精功与蔡司全国战略联盟峰会暨精功2020年新品上市与模特大赛发布会在广州举办。中国眼镜科技杂志、广
期刊
新品上市
战略联盟
科技杂志
羊城晚报
广州日报
新华网
模特大赛
眼镜
基于Stuttering等价技术的有界模型检测的优化
在讨论有界模型检测及其转换公式的基础上,对有界模型检测转换公式[[M,f]]k中的[[M]]k进行优化。通过在LTL有界模型检测中引入Stuttering等价技术,对状态转换路径优化,避免了
期刊
有界模型检测
转换公式
Stuttering等价
优化
bounded model checking conversion formula Stuttering
内存数据库一种紧凑的存储结构
文章分析和研究了当前针对内存数据库的存储结构,提出了索引与记录相结合的存储结构,通过索引与记录数据的结合存储,以提高内存数据库存储空间利用率和操作的效率。
期刊
内存数据库
存储管理
cachDB
存储结构
main memory database
storage management
cachDB
strorag
“档案资产评估”献疑
“档案资产评估”献疑杭州大学陈作明在当前的国营企业财产评估活动中,档案界提出了“档案资产评估”的问题,并巨进行了探讨,这无疑是有益的。然而,笔者对此也萌发出一个疑问,觉得
期刊
档案资产
评估
档案工作
企业
沙坪坝区休闲渔业发展基本情况
沙坪坝区位于重庆市主城区西部,东滨嘉陵江、中驻中梁山、西抵缙云山。东与江北区、渝北区毗邻,东南与渝中区接壤,东北与北碚区相连,南与九龙坡区相靠,西接璧山区。全区土地
期刊
重庆市主城区
九龙坡区
北碚区
沙坪坝区
渝北区
渝中区
缙云山
江北区
基于多Agent的油藏工作协同平台研究
文章根据油藏研究工作的实际要求,按照业务驱动和协同工作的设计理念,采用面向服务架构(SOA)、多Agent等技术,提出和建立了油藏研究支持平台系统框架、油藏研究数据的统一存储
期刊
多代理
油藏
多学科
面向服务架构
multi-agent reservoir multi-discipline service-oriented archit
一种新型翻边结构
介绍了一种新型的翻边结构及设计思路,并分析了常规的翻边结构,可为翻边模具设计提供参考。该新型翻边结构可以改善制件翻边后的面品问题,缩短模具调试周期,提高生产效率。
期刊
翻边结构
面品改善
生产效率
flanging structureflour improvementproduction efficiency
回首“八五”(之一):——发展是档案事业的主题
回首“八五”(之一)──发展是档案事业的主题本刊特约记者杨继波“档案”这个词儿在今天已不陌生。世界上任何国家都有档案和档案工作,也都离不开档案和档案工作。各国都按照自
期刊
档案事业
发展
中国
与本文相关的学术论文