论文部分内容阅读
用模型检测技术分析了工业生产中计算机通讯的一个死锁故障。根据技术人员的分析，建立了该通讯过程的Promela语言模型，并使用SPIN进行检测，找出了发生死锁的原因，其检测结果与技术人员的分析一致。
炼焦过程控制计算机故障的分析与模型检测
【摘 要】
：
用模型检测技术分析了工业生产中计算机通讯的一个死锁故障。根据技术人员的分析，建立了该通讯过程的Promela语言模型，并使用SPIN进行检测，找出了发生死锁的原因，其检测结果与技
【机 构】
：
贵州大学计算机软件与理论研究所
【出 处】
：
计算机与数字工程
【发表日期】
：
2010年1期
其他文献
本文通过分析目前窃电现象形成的原因、当前窃电的主体和主要形式、手段，根据本人从事用电检查和业扩管理工作的体会，谈谈在业扩管理工作中应采取防范窃电行为的措施。
根据嵌入式实时系统的需求及应用领域中任务的特点,提出一种针对两种常见的不同类型任务,进行自适应调度算法ERTAS（Real-Time Embedded Adaptive Scheduling Algorithm,并提出
本刊讯(记者别昊)2019年12月19日,由精功眼镜和蔡司光学联合主办的2020精功与蔡司全国战略联盟峰会暨精功2020年新品上市与模特大赛发布会在广州举办。中国眼镜科技杂志、广
在讨论有界模型检测及其转换公式的基础上,对有界模型检测转换公式[[M,f]]k中的[[M]]k进行优化。通过在LTL有界模型检测中引入Stuttering等价技术,对状态转换路径优化,避免了
文章分析和研究了当前针对内存数据库的存储结构,提出了索引与记录相结合的存储结构,通过索引与记录数据的结合存储,以提高内存数据库存储空间利用率和操作的效率。
“档案资产评估”献疑杭州大学陈作明在当前的国营企业财产评估活动中，档案界提出了“档案资产评估”的问题，并巨进行了探讨，这无疑是有益的。然而，笔者对此也萌发出一个疑问，觉得
沙坪坝区位于重庆市主城区西部,东滨嘉陵江、中驻中梁山、西抵缙云山。东与江北区、渝北区毗邻,东南与渝中区接壤,东北与北碚区相连,南与九龙坡区相靠,西接璧山区。全区土地
文章根据油藏研究工作的实际要求,按照业务驱动和协同工作的设计理念,采用面向服务架构（SOA）、多Agent等技术,提出和建立了油藏研究支持平台系统框架、油藏研究数据的统一存储
介绍了一种新型的翻边结构及设计思路,并分析了常规的翻边结构,可为翻边模具设计提供参考。该新型翻边结构可以改善制件翻边后的面品问题,缩短模具调试周期,提高生产效率。
回首“八五”（之一）──发展是档案事业的主题本刊特约记者杨继波“档案”这个词儿在今天已不陌生。世界上任何国家都有档案和档案工作，也都离不开档案和档案工作。各国都按照自