全文获取类型
收费全文 | 97535篇 |
免费 | 11099篇 |
国内免费 | 7476篇 |
专业分类
电工技术 | 9048篇 |
技术理论 | 4篇 |
综合类 | 8898篇 |
化学工业 | 11966篇 |
金属工艺 | 6367篇 |
机械仪表 | 6948篇 |
建筑科学 | 7592篇 |
矿业工程 | 3522篇 |
能源动力 | 2786篇 |
轻工业 | 9042篇 |
水利工程 | 3121篇 |
石油天然气 | 4337篇 |
武器工业 | 1394篇 |
无线电 | 11153篇 |
一般工业技术 | 8717篇 |
冶金工业 | 3939篇 |
原子能技术 | 1792篇 |
自动化技术 | 15484篇 |
出版年
2024年 | 579篇 |
2023年 | 1630篇 |
2022年 | 3468篇 |
2021年 | 4664篇 |
2020年 | 3476篇 |
2019年 | 2570篇 |
2018年 | 2938篇 |
2017年 | 3320篇 |
2016年 | 2952篇 |
2015年 | 4593篇 |
2014年 | 5578篇 |
2013年 | 6704篇 |
2012年 | 8022篇 |
2011年 | 8506篇 |
2010年 | 7820篇 |
2009年 | 7424篇 |
2008年 | 7608篇 |
2007年 | 7457篇 |
2006年 | 6414篇 |
2005年 | 5206篇 |
2004年 | 3735篇 |
2003年 | 2467篇 |
2002年 | 2212篇 |
2001年 | 1972篇 |
2000年 | 1596篇 |
1999年 | 919篇 |
1998年 | 458篇 |
1997年 | 346篇 |
1996年 | 301篇 |
1995年 | 284篇 |
1994年 | 213篇 |
1993年 | 140篇 |
1992年 | 122篇 |
1991年 | 79篇 |
1990年 | 62篇 |
1989年 | 47篇 |
1988年 | 30篇 |
1987年 | 39篇 |
1986年 | 29篇 |
1985年 | 12篇 |
1984年 | 11篇 |
1983年 | 13篇 |
1982年 | 6篇 |
1981年 | 10篇 |
1980年 | 29篇 |
1979年 | 16篇 |
1977年 | 1篇 |
1974年 | 1篇 |
1959年 | 15篇 |
1951年 | 16篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
961.
962.
963.
UML状态机到B形式化规约的转换 总被引:4,自引:1,他引:4
文章研究在高可信软件工程中集成形式化方法。以软件设计的UML状态机模型为起点.将其转换为B形式化模型,然后在B工具环境中遵循B方法的精化原则和正确性验证方法,开发出可靠的实现模型。提出一套从UML状态机到B形式化规约的转换规则,涵盖UML基本状态图、分层状态图和并发状态图。实例分析表明.这套转换规则行之有效。 相似文献
964.
965.
Internet tomography 总被引:5,自引:0,他引:5
Today's Internet is a massive, distributed network which continues to explode in size as e-commerce and related activities grow. The heterogeneous and largely unregulated structure of the Internet renders tasks such as dynamic routing, optimized service provision, service-level verification, and detection of anomalous/malicious behavior increasingly challenging tasks. The problem is compounded by the fact that one cannot rely on the cooperation of individual servers and routers to aid in the collection of network traffic measurements vital for these tasks. In many ways, network monitoring and inference problems bear a strong resemblance to other "inverse problems" in which key aspects of a system are not directly observable. Familiar signal processing problems such as tomographic image reconstruction, system identification, and array processing all have interesting interpretations in the networking context. This article introduces the new field of network tomography, a field which we believe will benefit greatly from the wealth of signal processing theory and algorithms 相似文献
966.
967.
968.
969.
智能交通系统蓝牙车载电话的嵌入式实现 总被引:1,自引:0,他引:1
完善的智能交通系统应具备与公交车无线通信的能力,以灵活掌握公交车的运营情况,进行合理的调度。给出智能交通系统蓝牙车载电话(Hands Free Set)在嵌入式系统下的解决方案,包括HFP/PAP的工作原理、工作流程,软件结构,硬件设计与设计实例。 相似文献
970.
FFT算法的一种FPGA实现 总被引:6,自引:0,他引:6
FFT运算在OFDM系统中起调制和解调的作用。针对OFDM系统中FFT运算的要求,研究了一种易于FPGA实现的FFT处理器的硬件结构。接收单元采用乒乓RAM结构,扩大了数据吞吐量。中间数据缓存单元采用双口RAM,减少了访问RAM的时钟消耗。计算单元采用基2算法,流水线结构,可在4个时钟后连续输出运算结果。各个单元协调一致的并行工作,提高了系统时钟频率,达到了高速处理。采用块浮点机制,动态扩大数据范围,在速度和精度之间得到折衷。模块化设计,易于实现更多点数的FFT运算。 相似文献