全文获取类型
收费全文 | 9258篇 |
免费 | 485篇 |
国内免费 | 527篇 |
专业分类
电工技术 | 573篇 |
技术理论 | 1篇 |
综合类 | 1271篇 |
化学工业 | 358篇 |
金属工艺 | 301篇 |
机械仪表 | 730篇 |
建筑科学 | 1103篇 |
矿业工程 | 346篇 |
能源动力 | 170篇 |
轻工业 | 172篇 |
水利工程 | 198篇 |
石油天然气 | 457篇 |
武器工业 | 99篇 |
无线电 | 771篇 |
一般工业技术 | 285篇 |
冶金工业 | 526篇 |
原子能技术 | 169篇 |
自动化技术 | 2740篇 |
出版年
2023年 | 39篇 |
2022年 | 79篇 |
2021年 | 114篇 |
2020年 | 98篇 |
2019年 | 90篇 |
2018年 | 69篇 |
2017年 | 128篇 |
2016年 | 143篇 |
2015年 | 177篇 |
2014年 | 523篇 |
2013年 | 385篇 |
2012年 | 634篇 |
2011年 | 691篇 |
2010年 | 653篇 |
2009年 | 537篇 |
2008年 | 541篇 |
2007年 | 657篇 |
2006年 | 602篇 |
2005年 | 570篇 |
2004年 | 459篇 |
2003年 | 455篇 |
2002年 | 369篇 |
2001年 | 346篇 |
2000年 | 318篇 |
1999年 | 243篇 |
1998年 | 172篇 |
1997年 | 196篇 |
1996年 | 143篇 |
1995年 | 143篇 |
1994年 | 92篇 |
1993年 | 96篇 |
1992年 | 69篇 |
1991年 | 57篇 |
1990年 | 33篇 |
1989年 | 48篇 |
1988年 | 30篇 |
1987年 | 29篇 |
1986年 | 24篇 |
1985年 | 24篇 |
1984年 | 17篇 |
1982年 | 10篇 |
1981年 | 11篇 |
1980年 | 9篇 |
1979年 | 15篇 |
1975年 | 9篇 |
1974年 | 8篇 |
1973年 | 11篇 |
1966年 | 9篇 |
1965年 | 9篇 |
1959年 | 8篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
71.
Philippe Meunier Robert Bruce Findler Paul Steckler Mitchell Wand 《Higher-Order and Symbolic Computation》2005,18(3-4):245-269
A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving
the system of constraints produces a conservative approximation to the program's runtime flow of values.
Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example,
if the analysis needs to determine the possible return values of a procedure, it uses the appropriate selector to extract
the relevant component from the abstract representation of the procedure.
In this paper, we show that this selector-based approach complicates the constraint solving phase of the analysis too much
and thus fails to scale up to realistic programming languages. We demonstrate this claim with a full-fledged value flow analysis
for case-lambda, a multi-branched version of lambda. We show how both the theoretical underpinnings and the practical implementation become
too complex. In response, we present a variant of set-based closure analysis that computes equivalent results in a much more
efficient manner. 相似文献
72.
利用UNIX的词法、语法分析器的自动生成工具lex、yace,方便地构造了编译器的前端,同时提供了修改前端的便利。并还定义了面向测试图形的描述性中间语言,以此作为移植的基础上。 相似文献
73.
74.
75.
并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可达图,生成以程序状态和语句二元组为节点的并发程序依赖图,实现了基于程序可达图的并发程序切片原型系统。初步实验结果表明,与传统的切片方法相比,采用基于程序可达图的并发程序切片方法,可有效地解决依赖关系不可传递问题,获得高精度的并发程序切片。 相似文献
76.
针对在煤气回收和放散调试过程中发现的问题,通过改进转炉煤气回收和放散控制系统,增加气动三通阀控制联锁信号,保证放散的高度可靠性和煤气自动回收的高度安全性。 相似文献
77.
《中国科学:信息科学(英文版)》2012,(1):149-164
It is significant to automatically detect and resolve the incompliance in security policy.Most existing works in this field focus on compliance verification,and few of them provide approaches to automatically correct the incompliant security policies.This paper proposes a novel approach to automatically transform a given security policy into a compliant one.Given security policy Π and delegation policy M declared by logic programs,the approach automatically rewrites Π into a new one ΠM which is compliant with M and is readable by the humans.We prove that the algorithm is sound and complete under noninterference assumption.Formally,we show that the security policy query evaluation algorithm with conflict and unsettlement resolution still works very well on ΠM.The approach is automatic,so it doesn’t require a administrator with excess abilities.In this sense,our proposal can help us to save much manpower resource in security management and improves the security assurance abilities. 相似文献
78.
交互式多媒体课件具有:虚拟现实、动态模拟、过程演示、人机交互等特点,其在教学过程中发挥出的独特优势是传统PPT课件无法替代的。文章讨论了利用FLASH动画制作功能和其提供的ActionScript2.0编程平台,制作"数字电路——二进制异步计数器"教学演示课件的方法和实现过程中的问题。主要介绍了本课件的设计方法,所要完成的功能和开发的过程,设计的重点、设计思想、难点技术和解决方案。 相似文献
79.
《International Journal of Parallel, Emergent and Distributed Systems》2012,27(1-3):21-56
Data flow analysis has been used by compilers in diverse contexts, from optimization to register allocation. Traditional analysis of sequential programs has centered on scalar variables. More recently, several researchers have investigated analysis of array sections for optimizations on modern architectures. This information has been used to distribute data, optimize data movement and vectorize or parallelize programs. As multiprocessors become more common-place. we believe there will be considerable interest in explicitly parallel programming languages. In this paper, we extend traditional analysis to array section analysis for parallel languages which include additional control and synchronization structures. We show how to compute array section data flow information, i.e., Communication Sets, for a class of parallel programs. To illustrate its use, we show how this information can be applied in compile-time program partitioning. Information about array accesses can also be used to improve estimates of program execution time used to direct runtime thread scheduling. 相似文献
80.