全文获取类型
收费全文 | 96篇 |
免费 | 7篇 |
国内免费 | 14篇 |
专业分类
电工技术 | 9篇 |
化学工业 | 8篇 |
机械仪表 | 1篇 |
建筑科学 | 3篇 |
无线电 | 1篇 |
一般工业技术 | 1篇 |
自动化技术 | 94篇 |
出版年
2014年 | 2篇 |
2013年 | 1篇 |
2012年 | 2篇 |
2011年 | 4篇 |
2010年 | 1篇 |
2009年 | 1篇 |
2008年 | 5篇 |
2007年 | 7篇 |
2006年 | 9篇 |
2005年 | 10篇 |
2004年 | 15篇 |
2003年 | 13篇 |
2002年 | 11篇 |
2001年 | 1篇 |
2000年 | 6篇 |
1999年 | 8篇 |
1998年 | 3篇 |
1996年 | 2篇 |
1995年 | 5篇 |
1994年 | 2篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1988年 | 1篇 |
1982年 | 1篇 |
1981年 | 3篇 |
1979年 | 1篇 |
排序方式: 共有117条查询结果,搜索用时 15 毫秒
1.
基于传播引擎的指针引用错误检测 总被引:1,自引:0,他引:1
指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测.在开放源码编译器Open64中实现了其原型系统Propagator.以空指针引用错误检测为实例研究内容,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例.与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12s,误报率平均仅为13%,远低于对比工具,且没有发现漏报已知错误.上述结果表明,Propagator既提高了检测精度又保证了可扩展性,具有很好的实用前景. 相似文献
2.
3.
本文介绍了在FORTRAN ANSI X3.9-1978(也作为国际标准ISO 1539-1980)基础之上扩充了向量成份的语言系统中编译程序的循环优化。探讨了向量头、向量增量和向量长度的计算以及DO语句目标代码的向量化方法。 相似文献
4.
实用数据依赖分析方法 总被引:2,自引:1,他引:1
数据依赖分析是检测程序循环级并行的基本步骤,基于数组下标对分类,本文提出了一个实用,有效的数据依赖分析方案。现有的依赖测试算法,都有循环正规化的假设,由于它存在某些弊端,我们抛弃这一假设,允许循环增量是任意整表达式,为此,本文对有关依赖的定义做了适当修改,并重新推导了某些重要结论,为处理循环增量为变量或表达式的情形,给出了弱形式下的GCD和Banerjee测试,该方案已在PORT中实现。 相似文献
5.
含数组引用的过程间数据流分析 总被引:1,自引:0,他引:1
并行重构是发挥多处理机高计算性能的重要手段,但是许多并行重构系统,往往不作过程间数据流分析,因而限制了含调用语句的DO循环的并行。本以中国科学院计算技术研究所并行编组研制的PORT系统为背景,给出含数组引用的精确的过程间数据流分析的设计思想,着急诼其在并行化,优化方面的应用。 相似文献
6.
7.
8.
循环不变量外提是一种传统的优化算法。在现代编译嚣中。循环不变量通常在编译器的中端中被删除或外提。中端的中间表示是目标处理机无关的,而编译器的后端的中间表示是目标处理机相关的。尽管中端的优化十分有效,但是从中端的中间表示向后端的中间表示转化的过程中会引入许多循环不变量。因此,有必要在后端再进行循环不变量外提。由于在指令调度的过程能够比较容易地决定一个循环不变量是否需要外提,我们将这一个阶段集成到指令调度中。为了降低指令调度的复杂性,我们把循环不变量的识别和外提区分开来。“识别”独立进行,而决定是否“外提”并实施“外提”则集成到指令调度阶段中。我们在开放源码编译器ORC的代码生成模块中具体实现了本文所介绍的算法。实验结果显示,在代码生成阶段的循环不变量外提能够提高目标代码1%的性能。我们的代价模型避免了78%的循环不变量不必要地外提到循环之外。 相似文献
9.
Cobol到Java翻译中的数据类型转换方法 总被引:2,自引:0,他引:2
将Cobol代码迁移到新的平台,如Java是减轻Cobol代码维护负担的一个有效方法.怎样将Cobol数据平滑迁移到新平台则是必须解决的基本问题之一.以前的大部分研究工作都直接将Cob01数据映射到现代程序设计语言中的基本数据类型,比如int,float等.但是,这种简单映射并不能保持原来的Cobol语义,从而导致目标码并不能与原来的代码运行一致.首先利用数据抽象技术对Cobol数据进行初步建模,在此基础上进一步提出了一个纯Java的功能等价的封装方法,可以有效地将Cobol数据描述映射到Java类型系统.该方法已经在一个Cobol2Java翻译系统——C2J翻译器中得到实现,并且应用于一个近400万行的真实银行商用系统.实验结果表明,此方法可以在保持功能等价的情况下,将Cobol数据无需手工干预地迁移到Java平台. 相似文献
10.
以Fe_3O_4微粉和超顺磁性微粉为载体(磁种),用高梯度磁分离(HGMS)技术从污水或发酵废液中分离细菌和酵母,通过磁分离器一次的分离率多数可以达到99%以上。本文报导了分离原理和方法,以及我们得到的试验结果。 相似文献