全文获取类型
收费全文 | 3992篇 |
免费 | 282篇 |
国内免费 | 342篇 |
专业分类
电工技术 | 244篇 |
综合类 | 1849篇 |
化学工业 | 49篇 |
金属工艺 | 19篇 |
机械仪表 | 137篇 |
建筑科学 | 175篇 |
矿业工程 | 61篇 |
能源动力 | 20篇 |
轻工业 | 119篇 |
水利工程 | 63篇 |
石油天然气 | 23篇 |
武器工业 | 36篇 |
无线电 | 510篇 |
一般工业技术 | 328篇 |
冶金工业 | 52篇 |
原子能技术 | 8篇 |
自动化技术 | 923篇 |
出版年
2024年 | 22篇 |
2023年 | 53篇 |
2022年 | 68篇 |
2021年 | 79篇 |
2020年 | 67篇 |
2019年 | 86篇 |
2018年 | 42篇 |
2017年 | 67篇 |
2016年 | 88篇 |
2015年 | 113篇 |
2014年 | 171篇 |
2013年 | 176篇 |
2012年 | 187篇 |
2011年 | 243篇 |
2010年 | 207篇 |
2009年 | 214篇 |
2008年 | 234篇 |
2007年 | 189篇 |
2006年 | 183篇 |
2005年 | 152篇 |
2004年 | 141篇 |
2003年 | 153篇 |
2002年 | 142篇 |
2001年 | 158篇 |
2000年 | 169篇 |
1999年 | 119篇 |
1998年 | 126篇 |
1997年 | 120篇 |
1996年 | 103篇 |
1995年 | 133篇 |
1994年 | 128篇 |
1993年 | 96篇 |
1992年 | 90篇 |
1991年 | 86篇 |
1990年 | 79篇 |
1989年 | 90篇 |
1988年 | 16篇 |
1987年 | 16篇 |
1986年 | 4篇 |
1985年 | 2篇 |
1984年 | 2篇 |
1983年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有4616条查询结果,搜索用时 15 毫秒
51.
麦克斯韦方程组是描述宏观电磁现象普遍规律的基本方程,给出恰当的定解条件才能确保麦克斯韦方程组有解且唯一。本文从确定矢量场唯一解的亥姆霍兹定理出发,提出电磁场基本方程的构成,并基于时变电磁场和静态电磁场的特性给出定解条件。这为各种电磁场问题求解方法提供了依据,也为解的正确性提供了判据。 相似文献
52.
编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性带来隐患.现有的编译器缺陷大部分是由优化阶段引起的.传统的编译优化正确性研究大部分只关注优化算法的正确性,但是只有该算法被正确的实现了才能确保实际运行的优化过程是正确的.本文提出一种基于模拟关系的方法来验证编译优化实现的正确性.在每次优化结束后,我们通过建立优化前代码和优化后代码之间的模拟关系生成优化正确应满足的逻辑条件,然后验证逻辑条件是否成立从而判定编译优化的实现是否正确性.以优化编译中的常量折叠优化和变量替换的验证作为示例显示了本方法的有效性和可靠性. 相似文献
53.
54.
论文将Fermat素性检验的思想运用于不可约多项式的判断,给出了一个对于不可约判断问题的Monte Carlo 算法,分析了该算法的计算复杂度问题,并且给出了次数在200以内的检验结果。 相似文献
55.
近几十年来,对分数阶电路的研究逐渐深入,但对其中电路定理的分析较少,因此针对分数阶电路需要进一步探究其规律,将一些经典的电路定理推广到分数阶电路中,使得在以后的分析过程中能直接使用。本文在整数阶电路定理的基础上,运用基尔霍夫定律在分数阶电路中证明了叠加定理、替代定理、等效电源定理和互易定理,并进行了应用分析。 相似文献
56.
基于中心极限定理的累加法,提出了一种新的产生高斯白噪声的方法.首先分析了高斯白噪声的特点,用均匀分布随机序列累加产生高斯分布随机序列,分析其时域和频域特征,并与用 Matlab 里的 randn 函数产生的高斯分布随机序列进行对比.最后用2χ检验法对由累加法产生的高斯分布随机序列进行检验.实验结果表明,累加法产生的随机数十分近似于高斯分布白噪声. 相似文献
57.
58.
用单粒子方法推导出了Shlomo Pinhas提出的一种新型摆动器-磁场与Z轴无关的摆动器自由电子激光中的Madey定理。结果表明:在这种摆动器自由电子激光中,Madey定理第一部分形式不变;第二部分相差一个因子M0,它说明新型摆动器自由电子激光比普通摆动器自由电子激光有更高的能量转换效率。 相似文献
59.
以Nevanlinna第二基本定理的一种推广形式为基本工具,对涉及慢增长函数的亚纯函数唯一性问题进行了研究,改进了R.Nevanlinna、仪洪勋及杨力等人的几个唯一性定理.结果表明,亚纯函数可由其与几个慢增长函数同值的、重级不超过3的点所唯一确定. 相似文献
60.
针对类Java的面向对象语言mJava到类Dalvik的寄存器架构虚拟机Micro-Dalvik的编译验证,给出了mJava语言和Micro-Dalvik的操作语义.从mJava语言程序到Micro-Dalvik虚拟机指令的编译分为两步,首先将mJava语言程序中的本地变量名转换为相应的序号,得到一个中间语言程序,再将该中间语言程序翻译成Micro-Dalvik虚拟机指令程序.在给出中间语言的操作语义后,构造了mJava语言程序与编译后的中间语言程序的语义保持定理并证明,以及构造了中间语言程序的语义与编译后的Micro-Dalvik虚拟机程序的语义保持定理并证明.整个形式化编译验证在定理证明助手Isabelle/HOL中进行了机器检测.mJava语言和Micro-Dalvik虚拟机分别对Java语言和Dalvik虚拟机进行了抽象,是我们兼顾语言的真实性和形式化的清晰性的结果.但是,所有形式化的语义严格遵从语言规范中的定义,并与Dalvik VM的实现保持一致,从这种意义上讲,该编译器并不是一个实验性质的假想编译器,而是有其实用意义的. 相似文献