首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   150篇
  完全免费   36篇
  自动化技术   186篇
  2020年   1篇
  2018年   2篇
  2017年   3篇
  2016年   3篇
  2015年   4篇
  2014年   5篇
  2013年   2篇
  2012年   6篇
  2011年   11篇
  2010年   7篇
  2009年   3篇
  2008年   5篇
  2007年   16篇
  2006年   18篇
  2005年   20篇
  2004年   9篇
  2003年   18篇
  2002年   9篇
  2001年   8篇
  2000年   10篇
  1999年   1篇
  1998年   5篇
  1997年   5篇
  1996年   6篇
  1995年   1篇
  1994年   5篇
  1993年   2篇
  1992年   1篇
排序方式: 共有186条查询结果,搜索用时 15 毫秒
1.
2.
计算机科学中的共代数方法的研究综述   总被引:5,自引:1,他引:4       下载免费PDF全文
周晓聪  舒忠梅 《软件学报》2003,14(10):1661-1671
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从"构造"的角度研究数据类型,而共代数则从"观察"的角度考察系统及其性质.共代数方法对研究基于状态的系统有独特的优越性,可以对系统的行为等价、不确定性等从数学上进行深入的探讨.目前,共代数理论已经逐步应用在自动机理论、并发程序的语义、面向对象程序的规范等领域.对共代数的基本概念、范畴理论基础、共代数逻辑及应用等方面的最新研究成果进行了介绍,以引起国内相关研究领域的学者对计算机科学中的共代数方法的关注.  相似文献
3.
4.
概率信息流安全属性分析   总被引:3,自引:0,他引:3  
赵保华  陈波  陆超 《计算机学报》2006,29(8):1447-1452
以进程代数作为分析信息流安全属性的工具,将安全进程代数(SPA)扩展到概率系统,形成概率安全进程代数.使用概率安全进程代数对概率系统建模,在弱概率互拟等价的基础上,讨论了概率信息流安全属性,提出了P_PBNDC,S_PBNDC,CP_PBNDC等基于复合的不可演绎的属性,分析了这些安全属性之间的关系,并给出了一个实际的概率系统的例子.  相似文献
5.
传值系统的互模拟与谓词等式系   总被引:3,自引:0,他引:3  
林惠民 《计算机学报》1998,21(2):97-102
本文引入描述传值并系统的新模型“带赋值符号迁移图(STGA)”推广了Hennessy和Lin提出的“符号迁移图”的概念,允许迁移上带有赋值,从而能将更大的一类传值系统表示为有穷状态图,STGA的中车优点是在并行运算不封闭,文中给给STGA的操作语义,在此基础上定义了STGA的互模拟等价关系,为了刻划STGA的互模拟,以谓词等式系的形式在一阶逻辑的正子集中扩充了最大和最小不动点,并设计了一个算法将S  相似文献
6.
Verilog操作语义研究   总被引:3,自引:1,他引:2       下载免费PDF全文
李勇坚  何积丰  孙永强 《软件学报》2002,13(10):2021-2030
提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础.  相似文献
7.
时间符号迁移图及其互模拟判定   总被引:2,自引:1,他引:1  
陈靖  林惠民 《计算机学报》2002,25(2):113-121
引入时间符号迁移图的概念,作为既涉及通讯又具有实时性的并发系统的模型,该文给出了这种迁移图时间互模拟的算法,并证明了该算法的正确性。  相似文献
8.
带赋值符号迁移图的局部优化算法   总被引:2,自引:1,他引:1  
带赋值符号迁移图(STGA)是刻画一般传值进程的抽象计算模型,在STGA上可以用“on-the-fly”实例化算法来验证传值进程之间的互模拟等价。由于STGAA的一个结点对应于具体迁移图的许多结点,在STGA上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。  相似文献
9.
Symmetric π-Calculus   总被引:2,自引:0,他引:2       下载免费PDF全文
An alternative presentation of the π-calculus is given.This version of the π-calculus is symmetric in the sense that communications are symmetric and there is no difference between input and output prefixes.The point of the symmetric π-calculus is that it has no abstract names.The set of closed names is therefore homogeneous.The π-calculus can be fully embedded into the symmetric π-calculus.The symmetry changes the emphasis of the communication mechanism of the π-calculus and opens up possibility for further variations.  相似文献
10.
We present a method for thecompositional construction of theminimal transition system that represents the semantics of a given distributed system. Our aim is to control thestate explosion caused by the interleavings of actions of communicating parallel components byreduction steps that exploitglobal communication constraints given in terms ofinterface specifications. Theeffect of the method, which is developed forbisimulation semantics here, depends on the structure of the distributed system under consideration, and theaccuracy of the interface specifications. However, itscorrectness is independent of the correctness of the interface specifications provided by the program designer.A preliminary version appeared inProceedings of CAV'90 — Second International Workshop on Computer-Aided Verification, Vol. 531Lecture Notes in Computer Science, Springer, pp. 186–196, June 1990.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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