首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   57篇
  国内免费   1篇
  完全免费   33篇
  自动化技术   91篇
  2017年   1篇
  2016年   1篇
  2015年   1篇
  2014年   2篇
  2013年   3篇
  2012年   2篇
  2011年   2篇
  2010年   5篇
  2009年   6篇
  2008年   14篇
  2007年   14篇
  2006年   11篇
  2005年   2篇
  2004年   2篇
  2003年   3篇
  2002年   6篇
  2001年   4篇
  2000年   1篇
  1999年   1篇
  1998年   1篇
  1997年   3篇
  1996年   2篇
  1995年   1篇
  1993年   1篇
  1991年   1篇
  1984年   1篇
排序方式: 共有91条查询结果,搜索用时 15 毫秒
1.
2.
形式化方法B及其程序规约机理   总被引:12,自引:1,他引:11  
肖美华  薛锦云 《计算机工程》2004,30(16):16-18,50
用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键。文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述。  相似文献
3.
若干新的可重用程序部件模式   总被引:9,自引:1,他引:8  
本文给出了可重用程序部件的定义,提出并用Ada语言实现了若干基于这一定义的新的可重用程序部件模式。它们是基于部分实现理论的模式,基于代数结构的模式和基于算法设计思想的模式。用这些模式构造的程序部件有效率高,可重用性好,使用方便等优点。  相似文献
4.
基于SPIN/Promela的并发系统验证   总被引:9,自引:1,他引:8       下载免费PDF全文
并发系统安全性分析是当前计算机科学中一个重要的研究领域。模型检测是最成功的自动验证技术之一,其成功应用归功于有效验证工具的支持。SPIN是一种著名的分析验证并发系统逻辑一致性的工具。本文在阐述SPIN工作机理的基础上,详细分析了基于SPIN的系统建模语言Promela中通道操作、基本数据结构及其功能,并设计了SPIN形式化验证软件系统的基本算法,最后运用SPIN对一个并发系统实例进行验证,得出了相应验证输出图。  相似文献
5.
一种基于设计模式的三阶段并行程序设计方法   总被引:8,自引:1,他引:7  
并行程序的可编程性是并行计算的难点之一,使用传统的方法对非数值问题进行并行求解则更加困难。通过对设计模式概念的扩展,定义了算法模式与结构模式,以此为基础提出了一种基于设计模式的三阶段并行程序设计方法,并通过算法模式库与结构模式库实现对该方法的系统支持,该方法不仅可有于一般的数值问题求解,而且在处理复杂的非数值问题时与传统方法相比要简单得多,通过一个简单的数值问题和一个复杂非数值问题作为实例说明了使用这一方法进行问题并行求解与并行程序设计的过程。  相似文献
6.
循环不变式开发新策略及其应用   总被引:6,自引:0,他引:6  
循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用。而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题。文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索。  相似文献
7.
遗传算法机理的研究及应用   总被引:5,自引:0,他引:5  
肖美华  薛锦云 《计算机工程》2003,29(20):137-139
在介绍遗传算法的基本理论及主要特点的基础上,针对遗传算法的设计机理和步骤,从设计遗传算法的基本原则、设计遗传算法的基本步骤、常用的编码表示方案、适应性的度量、选择策略及控制参数的选取等诸方面进行了阐述和分析,并结合计算机布局问题,提出了一个基于模拟退火算法的混合遗传算法,结合实例进行了计算机仿真,验证了该算法的有效性。  相似文献
8.
使用规范匹配实现设计模式的自动获取   总被引:5,自引:0,他引:5  
设计模式是设计级的软件重用 .由于缺乏比较成熟的设计模式规范描述和规范匹配方法 ,设计模式的获取和使用基本上是手工方式 ,依赖于用户自身的知识和经验 〔5〕.随着设计模式的不断开发 ,这一现状必将限制设计模式的应用 .本文提出了一种使用规范匹配进行设计模式自动获取的方法 ,该方法使用规范语言对设计模式的数据、结构、行为和功能进行形式化的描述 ,使用其功能规范的匹配来对设计模式进行获取 .这一方法为设计模式获取和使用的自动化提供了一种简单有效的途径  相似文献
9.
Java多线程机制及其应用   总被引:5,自引:0,他引:5  
在分析现有进程概念局限性的基础上,阐述了引入线程概念的必要性,进而给出了线程的确切定义和主要特征.最后描述了支持Java多线程程序设计的语言机制和方法,并指出了线程实际应用领域.  相似文献
10.
基于集合与序列的Ada可复用部件及应用   总被引:5,自引:1,他引:4  
分析了集合与序列部件的基本特征,对基于集合与序列的Ada可复用部件的开发和正确性进行了介绍和讨论。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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