首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   53篇
  国内免费   4篇
  完全免费   37篇
  自动化技术   94篇
  2020年   1篇
  2018年   1篇
  2017年   1篇
  2016年   2篇
  2015年   6篇
  2014年   9篇
  2013年   9篇
  2012年   3篇
  2011年   8篇
  2010年   5篇
  2009年   5篇
  2008年   9篇
  2007年   11篇
  2006年   8篇
  2005年   1篇
  2003年   2篇
  2002年   2篇
  2001年   2篇
  2000年   5篇
  1999年   1篇
  1996年   1篇
  1994年   1篇
  1990年   1篇
排序方式: 共有94条查询结果,搜索用时 31 毫秒
1.
随机Petri网模型的精化设计   总被引:11,自引:2,他引:9       下载免费PDF全文
林闯 《软件学报》2000,11(1):104-109
随机Petri网的模型技术有多种不同的方法.简单地使用模型技术去模拟复杂的系统,势必造成状态空间的爆炸,而无法分析系统性能.模型精化技术可以开发出紧凑的模型,暴露出原模型中子模型的独立性和相互依存关系,为模型的分解求解奠定基础.该文以多服务器多队列系统模型的精化设计为例,展示利用变迁可实施谓词和随机开关进行模型精化的方法.文章还讨论了多服务器多任务系统的调度、选择控制方案,并提供了这些方案的随机Petri网模型.  相似文献
2.
一种新的多分辨率模型表示方法   总被引:7,自引:1,他引:6  
提出了一种简洁高效的多分辨率模型表示方法MRM,该方法能对网格简化或精化过程进行编码,并在此基础上实现了一个多分辨率造型与编辑系统。该系统能为给定的模型生成多分辨率表示,并支持对模型的分辨率进行编辑,统一地完成有选择地精化和简化操作。  相似文献
3.
XYZ/E面向对象程序语义概述   总被引:4,自引:0,他引:4       下载免费PDF全文
郭亮  唐稚松 《软件学报》2003,14(3):356-361
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.  相似文献
4.
一种从Z规约到并行程序的精化方法   总被引:3,自引:0,他引:3       下载免费PDF全文
万剑怡  孙永强  薛锦云 《软件学报》2002,13(11):2106-2111
提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述.  相似文献
5.
基于领域模型的需求获取方法*   总被引:3,自引:0,他引:3       下载免费PDF全文
运用领域工程的思想,提出了基于领域模型的系统需求获取方法。该方法可识别应用系统中的共同特征,并抽象这些特征形成领域模型。通过领域模型,引导用户给出完整的系统需求。  相似文献
6.
一种从Z到精化演算的软件开发方法   总被引:3,自引:0,他引:3       下载免费PDF全文
一、引言形式化方法的研究和应用已有二十多年的历史,源于Dijkstra和Hoare的程序验证以及Scott、stratchey等人的程序语义研究,指为保证复杂系统的可靠性,以数学为基础对其进行精确描述和验证的语言、技术和工具。形式化方法的关键在于形式规约语言。通过语法和语义有严格数学定义的形式规约语言对系统及其各方面性能的描述,产生系统的形式规约,可以帮助开发者获得对所描述系统的深刻理解,并通  相似文献
7.
层次结构的Petri网   总被引:3,自引:1,他引:2       下载免费PDF全文
Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。  相似文献
8.
并发反应式系统的组合模型检验与组合精化检验   总被引:3,自引:2,他引:1       下载免费PDF全文
文艳军  王戟  齐治昌 《软件学报》2007,18(6):1270-1281
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检验和综合推理导出整个系统的性质.在一个统一的框架下对组合模型检验和组合精化检验作了系统的分析和归纳,从模块检验的角度阐述了上述两种组合验证方法的原理及其相应的组合验证策略.同时总结了各类问题的复杂性,并对上述两种方法作了比较分析,揭示了它们之间的内在联系.最后展望了组合模型检验与组合精化检验的发展方向.  相似文献
9.
精化UML模型   总被引:3,自引:0,他引:3       下载免费PDF全文
本文通过融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型和设计模型,给出了需求模型和设计模型的协调性条件及精化规则。这样,我们可以从软件开发的需求分析和设计阶段检查模型的协调性,通过协调地精化模型后生成代码。用这种方法,我们可在软件设计的早期阶段发现不协调问题,减少生成代码后除错所产生的代价。  相似文献
10.
对象演算Ⅱ   总被引:2,自引:0,他引:2  
黄涛  钱军  王栩 《软件学报》1999,10(9):941-951
文章应用Goguen等人的结论证明并得到了几个结构化对象演算的基本定理.一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理.另一方面,文章还讨论了基于封装性的对象精化.于是得到一个结构化的对象演算系统.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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