首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   13篇
  免费   6篇
  国内免费   7篇
综合类   1篇
化学工业   2篇
无线电   1篇
自动化技术   22篇
  2018年   1篇
  2007年   1篇
  2005年   1篇
  2004年   1篇
  2003年   3篇
  2002年   4篇
  2001年   1篇
  2000年   2篇
  1999年   3篇
  1998年   1篇
  1997年   1篇
  1996年   1篇
  1995年   2篇
  1990年   1篇
  1986年   1篇
  1985年   1篇
  1983年   1篇
排序方式: 共有26条查询结果,搜索用时 46 毫秒
1.
固体硫磺受存放、运输等因素影响,经常出现杂质、水质含量过高现象,给硫磺制酸的原料以预处理带来困难。针对原来过滤介质的不足而研制开发的刚性提结金属丝网多孔材料,具有强度高、刚性好、孔道均匀稳定、阻力小、反流再生性能好,用其制造的液硫过滤器采用多罐并联切换操作,可实现连续化、自动化生产,使用证实其性能稳定、操作简便,效果好。  相似文献   
2.
带赋值符号迁移图的局部优化算法   总被引:2,自引:1,他引:1  
带赋值符号迁移图(STGA)是刻画一般传值进程的抽象计算模型,在STGA上可以用“on-the-fly”实例化算法来验证传值进程之间的互模拟等价。由于STGAA的一个结点对应于具体迁移图的许多结点,在STGA上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。  相似文献   
3.
林惠民 《软件学报》1997,8(5):321-326
本文提出消除π-演算中无卫递归的公理,证明了将该公理加入到正则π-演算受卫递归子集上的证明系统后,所得到的证明系统在π-演算全体正则子集上关于互模拟等价的可靠性和完备性.  相似文献   
4.
南化公司将新建20万吨/年以硫精砂为原料的制酸装置,焙烧部分引进联邦德国鲁奇公司的基础设计,并向该公司引进电除尘器设备。为此,我公司于1985年1月份派出设计联络组在鲁奇公司工作了一个月。在此期间,对方安排联络组参观了由该公司设计并承建的西班牙福莱特(Foret)公司帕洛斯(Palos)硫酸厂和南斯拉夫左尔卡(ZORAK)化学公司硫酸车间以及一些设备制造厂和该公司的试验工场,并同该公司的技术人员进行了座谈。通过参观和座谈,对该公司的焙烧技术有了进一步了解。现简介如下。  相似文献   
5.
本提出数据传送进程的符号迁移语义,引入符号互模拟的概念,证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟。我穷域上的数据传送进程的传统迁移图是无穷的而其中相当的一部分的符号迁移图是有穷的,章的结果为在有穷时间和空间内判定这类进程的互模拟关系开辟了可能性。  相似文献   
6.
本文介绍一种从一程序的入口和出口断言中所含逻辑常量出现的情况,推断该程序的逻辑结构,再加上人的参与综合出该程序的方法。这方法的出发点与Dijkstra的“最弱前置条件程序推导”的基本思想颇为相近,但我们着重讨论了断言中出现的存在量词和受囿量词与相应的程序的关系。此外,我们采用的形式表示方式也与WP不同。我们曾用实例为据比较过这两种方法,感到有些用Dijkstra方法不易推导的程序,比如具有嵌套循环结构的程序,用本文的方法处理起来较为方便。  相似文献   
7.
刘剑  林惠民 《软件学报》2003,14(10):1672-1680
模态图是谓词μ演算的一种有效的图形表示形式.证明了谓词μ演算和模态图的语义一致性,详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法.  相似文献   
8.
模型检测:理论、方法与应用   总被引:60,自引:6,他引:60       下载免费PDF全文
林惠民  张文辉 《电子学报》2002,30(Z1):1907-1912
随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注目.模型检测的研究大致涵盖以下内容:模态/时序逻辑、模型检测算法及其时空效率(特别是空间效率)的改进以及支撑工具的研制.这几个方面之间有着密切的内在联系.不同模态/时序逻辑的模型检测算法的复杂性不一样,优化算法往往是针对某些特定类型的逻辑公式.本文将就这几个方面分别加以阐述,最后介绍该领域的新进展.  相似文献   
9.
模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性.  相似文献   
10.
提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成。缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集。这说明了TLCE作为测试目的描述的有效性。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号