首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   12篇
  国内免费   1篇
  完全免费   36篇
  自动化技术   49篇
  2020年   1篇
  2018年   1篇
  2017年   1篇
  2016年   1篇
  2015年   3篇
  2014年   1篇
  2013年   2篇
  2012年   6篇
  2011年   2篇
  2010年   9篇
  2009年   6篇
  2008年   4篇
  2007年   2篇
  2006年   3篇
  2005年   2篇
  1996年   2篇
  1995年   1篇
  1992年   1篇
  1988年   1篇
排序方式: 共有49条查询结果,搜索用时 15 毫秒
1.
Haskell语言的列表内涵特性及其应用   总被引:7,自引:1,他引:6  
Haskell语言的列表内涵特性使笔者在开发软件时的代码编写量成倍缩减,但如何充分利用这一特性,讨论的文章非常少。该文介绍Haskell语言的列表内涵特性,并通过几个相关的例子,阐述如何利用Haskell语言的列表内涵特性来编写功能强大但却简短优美的程序。  相似文献
2.
Haskell语言的高阶特性及其应用   总被引:6,自引:2,他引:4       下载免费PDF全文
Haskell语言的高阶特性使笔者在开发软件时受益匪浅,但很遗憾,目前国内同行应用这一语言的人非常少。本文介绍Haskell语言的高阶特性,并通过几个与树相关的例子,阐述如何利用Haskell语言的高阶特性来编写功能强大但却简短漂亮的程序。  相似文献
3.
基于可疑行为识别的PE病毒检测方法   总被引:3,自引:1,他引:2       下载免费PDF全文
王成  庞建民  赵荣彩  王强 《计算机工程》2009,35(15):132-134
针对当前PE病毒难以防范及查杀的现象,对PE病毒关键技术进行分析,提取病毒典型特征的可疑行为,在此基础上提出一种Windows平台下的静态检测方法。该方法在对程序反编译处理的基础上,以指令序列与控制流图的分析为行为识别依据,完成基于可疑行为识别的病毒检测方法的设计。实验结果证明,该检测方法能有效检测混淆变换病毒。  相似文献
4.
Haskell语言的惰性计算特性及其应用   总被引:2,自引:0,他引:2  
Haskell的惰性计算特性使笔者在开发软件时解决了其它语言很难解决的一些问题,但如何在实际编程中充分利用这一特性,讨论的文章较少。该文详细介绍Haskell的惰性计算特性,并通过几个相关的简单例子,阐述如何利用惰性计算特性来编写简洁优美且功能强大的程序。  相似文献
5.
直觉主义逻辑、类型理论与软件形式化开发   总被引:1,自引:1,他引:0  
本文介绍了直觉主义的基本思想、直觉主义逻辑、类型理论和直觉主义类型理论,在此基础上讨论了直觉主义类型理论作为规范语言(Specification Language)、作为程序设计语言、作为程序设计逻辑等各个方面,从而体现了直觉主义类型理论对软件形式化开发中规范(Specification)、构造(construction)和验证(verification)一体化的支持。我们相信,以类型理论作为基础的开发途径将会以其特有的风格吸引广大软件工作者。  相似文献
6.
动态可重构技术研究综述   总被引:1,自引:0,他引:1  
动态可重构技术可使硬件设备在运行时根据不同的计算任务实现不同的功能,在发挥应用程序效率的同时,又能充分利用系统软硬件资源。根据固定器件与可重构器件的关系,可以将可重构系统划分为不同的结构。适应各自结构的特点,将任务合理的分解为软件部分和硬件部分,是高效完成计算任务的基础。当硬件任务较多时,系统需要一个良好的算法来进行调度。最后,可重构系统应该为用户提供一个结构透明的开发平台,使用户可以方便的利用可重构计算的强大能力。  相似文献
7.
SIMD自动向量化编译优化概述   总被引:1,自引:0,他引:1       下载免费PDF全文
高伟  赵荣彩  韩林  庞建民  丁锐 《软件学报》2015,26(6):1265-1284
SIMD扩展部件是集成到通用处理器中的加速部件,旨在发掘多媒体程序和科学计算程序的数据级并行.首先介绍SIMD扩展部件的背景和研究现状,然后从发掘方法、数据布局、多平台向量化这3个角度介绍了SIMD自动向量化的研究问题、困难和最新研究成果,最后展望了SIMD编译优化未来的研究方向.  相似文献
8.
基于排队网络的VoIP信令解析系统性能分析   总被引:1,自引:1,他引:0       下载免费PDF全文
基于软件性能模型的软件性能评估可以应用在软件研发周期的早期阶段,以便对软件系统的行为进行定量分析。该文给出一种应用排队网络模型对VoIP信令解析软件体系结构性能的评估方法。该方法的基本思想是:从基于UML描述的活动图导出多类排队网络性能模型,通过统计分析将得出的性能参数反馈给UML软件体系结构模型,不断完善体系结构设计。模型提供的统计性能评估方法克服了受限估计离散事件分析的局限性。  相似文献
9.
正确合理地使用开发工具是开发大型应用系统的关键,本文介绍在使用Sybase开发应用的各个阶段有哪些主要的支持工具,各个工具的功能和特点。  相似文献
10.
软件流水是一种开发循环程序指令级并行性的技术, 它通过并行执行连续的多个迭代来加快循环的执行速度。而在逆向工程中,软件流水却为逆向翻译带来了困难。为此,基于IA-64平台,提出了一种反流水算法,针对循环中包含软件流水的汇编代码进行处理,将其反向转换成语义等价的串行代码,并通过实验验证了该算法的有效性,为在二进制翻译中处理软件流水代码奠定了基础。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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