首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   153篇
  国内免费   7篇
  完全免费   41篇
  自动化技术   201篇
  2005年   1篇
  2004年   1篇
  2003年   3篇
  2002年   6篇
  2001年   1篇
  2000年   3篇
  1999年   7篇
  1998年   8篇
  1997年   6篇
  1996年   12篇
  1995年   12篇
  1994年   13篇
  1993年   23篇
  1992年   29篇
  1991年   21篇
  1990年   20篇
  1989年   13篇
  1988年   5篇
  1987年   6篇
  1986年   8篇
  1985年   1篇
  1982年   1篇
  1980年   1篇
排序方式: 共有201条查询结果,搜索用时 218 毫秒
1.
B语言和方法与Z、VDM的比较   总被引:23,自引:0,他引:23       下载免费PDF全文
邹盛荣  郑国梁 《计算机科学》2002,29(10):136-138
1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:  相似文献
2.
一种混合型多概念获取算法HMCAP及其应用   总被引:12,自引:1,他引:11  
陈兆乾  刘宏 《计算机学报》1996,19(10):753-761
本文提出了一处混合型多概念获取算法的HMCAP,它将符号学习CAP算法的主要和BP神经网络有机结合,以状态在实例空间出现的概率为启发信息,以提供的混合实例集为分类依据,并具有增量学习能力。HMCAP所依据的实例集既可具有离散属性又可有连续属性,并且能根据用户的要求得晃同精度的结合BP网的二叉多分类判定树。  相似文献
3.
智能决策支持系统的发展与展望   总被引:12,自引:0,他引:12  
4.
使用CORBA实现各种分布式应用系统的策略   总被引:10,自引:0,他引:10       下载免费PDF全文
1 引言随着计算机网络应用的不断深入和普及,大规模的计算机网络将不断增加。在这种计算机网络中,不仅硬件设备型号、种类、规模相异,而且操作系统平台、程序设计环境及应用也各不相同,这就是大规模计算机网络的重要特征——异构性。人们迫切希望在这种计算机网络上共享信息、设备和软件,这就要求支撑这种应用的分布式系统具有良好的互操作性、可迁移性和可重用性,集成各组件产生一个连贯的可操作的异构系统。然而,处理分布计算环境中的异构性是很不容易的,特别是开发支撑并有效地利用异构的网络系统的应用软件和组件是非常棘手的。目前有许多程序设计接口和软件包能减轻单一  相似文献
5.
应用桌面GIS开发方法探讨   总被引:9,自引:0,他引:9  
王文  韩圣君 《遥感信息》1998,(3):15-16,26
随着地理信息系统(GIS)应用领域的不断扩展,应用型GIS的开发工作日显重要,应用桌面GIS主要有三种开发方式;不依赖任何GIS工具软件的独立开发,完全借助于GIS工具软件提供的开发语言进行的单纯二次开发和利用GIS工具软件与面向对象的可视化编程软件进行的集成二次开发,在这三种方式中,集成二次开发集中可视化编程软件与地理信息系统工具软件之优点,正成为应用GIS开发的主流方向,而Dephi与MapI  相似文献
6.
基于PVM的分布计算的研究   总被引:9,自引:1,他引:8  
周笑波  汲化 《计算机学报》1997,20(6):551-555
本文讨论了PVM的计算模型,分析了其支持客户机/服务器(Client/Server)分布计算的不足,设计和实现了一个可以提供较好透明性的,静态和动态调用接口的RPC机制,并获得较好的结果。  相似文献
7.
1 引言自从计算机科学与技术学科专业教育诞生之日起,学术界就开始了长期的、连续的教材创作工作,陆续推出了各式各样的教材。在中国,伴随着高等学校学科专业教育的兴起,采用翻译、编译、编写、编著、引进、创作等多种形式,大量专业教材不断地进入这个领域。众所周知,无论是国内还是国外,长期以来学科专业教材的建设确实为培养一大批专业人才做出了巨大的贡献。然而,当人类进入21世纪,高等教育面临着学科不断深化和社会深刻变化带来的各种挑战时,如果我们怀着创新的冲动和理性的心态,带着冷峻的目光和挑剔的眼神审视高等学校学科专业办学现状和过去业已出版的大量教材,期望冲破高等学校学科专业教育现有的模式,通向自由、  相似文献
8.
一种解旅行商问题的并行模拟退火算法   总被引:8,自引:0,他引:8  
本基于模拟退火思想,提出一种解旅行商问题的并行算法,并在Transputer多处理机系统上实现,该算法具有较高的优化程度和较快的运算速度。  相似文献
9.
CEIP:用于电脑刺绣的图象预处理系统   总被引:6,自引:2,他引:4       下载免费PDF全文
本文描述了用于电脑刺绣编程系统的图象预处理系统CEIP的设计方法和实现技术,CEIP系统采用平板扫描仪输入刺绣画稿,经过图象预处理系统的识别和处理,成适合刺绣的画稿,本系统所使用的图象处理算法和技术,明显地提高了刺绣样板的生产效率和绣品质量。  相似文献
10.
超立方体上路径算法的无死锁性   总被引:6,自引:1,他引:5  
周建强  谢立 《计算机学报》1995,18(6):431-437
本文对超立方体上路径算法的无死锁性问题进行了研究,提出了超立方体上的两类最小无死锁受限条件,证明了路径算法的无死锁和对称性两者之间关系。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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