全文获取类型
收费全文 | 4865篇 |
免费 | 516篇 |
国内免费 | 362篇 |
专业分类
电工技术 | 205篇 |
综合类 | 642篇 |
化学工业 | 410篇 |
金属工艺 | 163篇 |
机械仪表 | 130篇 |
建筑科学 | 1373篇 |
矿业工程 | 293篇 |
能源动力 | 68篇 |
轻工业 | 144篇 |
水利工程 | 368篇 |
石油天然气 | 264篇 |
武器工业 | 43篇 |
无线电 | 267篇 |
一般工业技术 | 485篇 |
冶金工业 | 286篇 |
原子能技术 | 21篇 |
自动化技术 | 581篇 |
出版年
2024年 | 24篇 |
2023年 | 61篇 |
2022年 | 93篇 |
2021年 | 116篇 |
2020年 | 146篇 |
2019年 | 112篇 |
2018年 | 141篇 |
2017年 | 148篇 |
2016年 | 158篇 |
2015年 | 157篇 |
2014年 | 336篇 |
2013年 | 301篇 |
2012年 | 387篇 |
2011年 | 397篇 |
2010年 | 375篇 |
2009年 | 313篇 |
2008年 | 332篇 |
2007年 | 315篇 |
2006年 | 279篇 |
2005年 | 254篇 |
2004年 | 231篇 |
2003年 | 210篇 |
2002年 | 161篇 |
2001年 | 109篇 |
2000年 | 133篇 |
1999年 | 63篇 |
1998年 | 62篇 |
1997年 | 56篇 |
1996年 | 43篇 |
1995年 | 43篇 |
1994年 | 34篇 |
1993年 | 35篇 |
1992年 | 26篇 |
1991年 | 20篇 |
1990年 | 21篇 |
1989年 | 12篇 |
1988年 | 5篇 |
1987年 | 4篇 |
1986年 | 5篇 |
1985年 | 4篇 |
1984年 | 1篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1981年 | 3篇 |
1980年 | 3篇 |
1979年 | 6篇 |
1977年 | 1篇 |
1974年 | 1篇 |
1951年 | 1篇 |
排序方式: 共有5743条查询结果,搜索用时 31 毫秒
81.
采用瞬变电磁法勘探到的信号中包含大量的强干扰信号,如不剔除强干扰信号,反演得到的计算结果误差较大。针对该问题,提出了一种基于LabVIEW的瞬变电磁数据采集及预处理系统的设计方案。该系统采用数据采集卡USB2089采集二次涡流场信号,并将其转换为计算机能处理的数字信号,然后通过LabVIEW平台的功能流程、功能算法剔除数字信号中的强干扰信号,从而实现对瞬变电磁数据的有效采集。仿真结果表明,该系统可剔除瞬变电磁数据中的强干扰信号,保证了数据采集的准确性。 相似文献
82.
针对目前市场上采用电磁式电流互感器作为电流传感器的三相智能电能表计量精度普遍易受外部强磁场干扰的不足,采用美信半导体公司提出的MAXQ3108+DS8102芯片组,解决方案设计了一款采用锰铜分流器作为电流传感器的三相智能电能表,解决了锰铜分流器采样电流方式下各相电压、电流信号与数据采集MCU电气隔离的技术瓶颈,并详细阐述了信号采集与测量的过程;样机测试结果表明:文中设计的三相智能电表能够有效抑制外部强磁场干扰,有功电能计量精度满足IEC62053标准中有功0.5S级相关技术指标要求。 相似文献
83.
84.
行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型. 相似文献
85.
对比分析了常见的移动Agent强迁移与弱迁移,提出一种基于Java实现移动Agent强迁移的方法.该方法基于IBMJikesRvm(Jikes research virtual machine(RVM))提供的RVM,利用OSR(on-stack replacement)捕捉运行堆栈的状态,实现了移动Agent强迁移.该方法不需要对源代码或字节码进行预处理,也不需要改变JVNI,具有很好的系统扩展性. 相似文献
86.
87.
Pengfei HeXiaolong Xin 《Computers & Mathematics with Applications》2011,62(12):4682-4690
In this paper, we introduce the notion of fuzzy hyperlattices and establish connections between fuzzy hyperlattices and hyperlattices. Then we discuss the relations between the weak homomorphism of fuzzy hyperlattices and the weak homomorphism of corresponding hyperlattices. Moreover, we define and analyze the hypercongruence on hyperlattices and the fuzzy (strong) hypercongruence on fuzzy hyperlattices. And we study the interrelation between the (fuzzy) hypercongruence on (fuzzy) hyperlattices and the homomorphism of (fuzzy) hyperlattices. Also, a relation between the fuzzy hypercongruence on fuzzy hyperlattices and the hypercongruence on corresponding hyperlattices is obtained. Finally, we apply the hypercongruence and the fuzzy strong hypercongruence to construct quotient structures of hyperlattices and fuzzy hyperlattices, respectively. 相似文献
88.
基于完备抽象解释的模型检验CTL公式研究 总被引:1,自引:0,他引:1
在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的. 相似文献
89.
Bae Jun Young 《Information Sciences》2009,179(24):4284-1770
The idea of (faithful) intuitionistic fuzzy transformation semigroup, intuitionistic admissible relation, and intuitionistic (strong) homomorphism are introduced and their basic properties are examined. 相似文献
90.
针对标准容积卡尔曼滤波(CKF)在组合导航系统模型不确定情况下滤波精度下降甚至发散的问题,将奇异值分解(SVD)与CKF算法相结合,并引入强跟踪滤波(STF)理论,提出一种改进的强跟踪SVD-CKF算法.为提高数值计算的稳定性,采用SVD代替标准CKF中的Cholesky分解;引入STF理论框架,通过渐消因子对预测误差协方差阵进行在线修正,在系统模型不确定或系统发生大的突变时,能够提高系统的强鲁棒性.通过仿真结果验证了改进算法的有效性. 相似文献