全文获取类型
收费全文 | 6164篇 |
免费 | 190篇 |
国内免费 | 179篇 |
专业分类
电工技术 | 660篇 |
综合类 | 270篇 |
化学工业 | 170篇 |
金属工艺 | 246篇 |
机械仪表 | 637篇 |
建筑科学 | 556篇 |
矿业工程 | 89篇 |
能源动力 | 314篇 |
轻工业 | 68篇 |
水利工程 | 36篇 |
石油天然气 | 73篇 |
武器工业 | 47篇 |
无线电 | 472篇 |
一般工业技术 | 338篇 |
冶金工业 | 276篇 |
原子能技术 | 100篇 |
自动化技术 | 2181篇 |
出版年
2024年 | 5篇 |
2023年 | 41篇 |
2022年 | 57篇 |
2021年 | 104篇 |
2020年 | 87篇 |
2019年 | 92篇 |
2018年 | 93篇 |
2017年 | 142篇 |
2016年 | 170篇 |
2015年 | 206篇 |
2014年 | 279篇 |
2013年 | 262篇 |
2012年 | 334篇 |
2011年 | 444篇 |
2010年 | 325篇 |
2009年 | 348篇 |
2008年 | 319篇 |
2007年 | 410篇 |
2006年 | 398篇 |
2005年 | 377篇 |
2004年 | 317篇 |
2003年 | 307篇 |
2002年 | 222篇 |
2001年 | 169篇 |
2000年 | 148篇 |
1999年 | 171篇 |
1998年 | 157篇 |
1997年 | 104篇 |
1996年 | 94篇 |
1995年 | 71篇 |
1994年 | 61篇 |
1993年 | 42篇 |
1992年 | 37篇 |
1991年 | 39篇 |
1990年 | 14篇 |
1989年 | 19篇 |
1988年 | 17篇 |
1987年 | 7篇 |
1986年 | 8篇 |
1985年 | 4篇 |
1984年 | 10篇 |
1983年 | 5篇 |
1982年 | 6篇 |
1981年 | 4篇 |
1980年 | 3篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1977年 | 1篇 |
1973年 | 1篇 |
排序方式: 共有6533条查询结果,搜索用时 15 毫秒
1.
Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC+). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC+ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC+ model into an ARCTL model and CTLKC+ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC+ to another logic of action called GCTL1, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up. 相似文献
2.
Field Static Load Test on Kao-Ping-Hsi Cable-Stayed Bridge 总被引:1,自引:0,他引:1
Field load testing is an effective method for understanding the behavior and fundamental characteristics of a cable-stayed bridge. This paper presents the results of field static load tests on the Kao-Ping-Hsi cable-stayed bridge, the longest cable-stayed bridge in Taiwan, before it was open to traffic. A total of 40 loading cases, including the unit and distributed bending and torsion loading effects, were conducted to investigate the bridge behavior. The atmospheric temperature effect on the variations of the main girder deflections was also monitored. The results of static load testing include the main girder deflections, the flexural strains of the prestressed concrete girder, and the variations of the cable forces. A three-dimensional finite-element model was developed. The results show that the bridge under the planned load test conditions has linear superposition characteristics and the analytical model shows a very good agreement with the bridge responses. Further discussion of deflection and cable forces of the design specifications for a cable-stayed bridge is also presented. 相似文献
3.
本文介绍一种智能型、高精度PWR控制器SA4828,其控制实行全数字化产生三相脉宽调制波形.本文采用此器件设计大功率直流电源应用于22KW直流电机测试,对感性负载表现出具有纹波小,响应迅速、硬件电路简洁、控制简单易于编写的优点。 相似文献
4.
The focus of this paper lies in the practical aspects of voice over IP communication. VoIP configurations in the H.323 standard will be presented briefly. Following that, the fundamental protocol procedure of H.323 communication will be briefly explained. A further part of the paper will address the subject QoS (quality of service), and present the common measurement methods used in QoS. Results gained from experiments conducted in a VoIP environment will then follow. The investigations concentrate primarily on the load behavior of voice packets in relation to important parameters of this service. The results obtained are presented and evaluated in diagrams. The paper concludes with a summary. 相似文献
5.
基于流媒体技术的网上直播系统的原理和实现 总被引:2,自引:0,他引:2
概述了流媒体技术的概念和流式传输的工作原理,从硬件组成和软件系统方面介绍了一个具有较高性价比的基于流媒体技术的网上直播系统的实现。 相似文献
6.
Takeshi Shiofuku Norihiro Abe Yoshihiro Tabuchi Hirokazu Taki Shoujie He 《Artificial Life and Robotics》2008,13(1):290-293
This paper presents an approach of measuring in real-time the vector of finger that is pointing to an object. DSP is used
in the operation processing unit in order to do the real-time processing. The steps include the extraction of flesh-colored
regions from an image, the labeling of the flesh-colored regions, and the detection of two characteristic positions on the
finger so that the direction that the finger is pointing at will be calculated. The entire process takes about 29 msec, which
makes it possible to have the frame rate of 34 fps. With this frame rate, this measurement approach is considered real-time
and promising to be merged into other application systems.
This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January
31–February 2, 2008 相似文献
7.
蒋光祖 《上海电机学院学报》2003,6(4):9-10
推导了变压器二次负载电压的计算公式,建议由此公式代替以往原理书中惯用的近似公式。利用此公式绘制和分析了不同功率因数额定负载时的相量轨迹图。 相似文献
8.
RT-AGVS是物流管理中十分重要的课题,车辆位置监测网是其重要的组成部分。本文详细介绍了一个基于单片机系统的车辆位置实时监测网,本监测网设计先进,性能价格比高,它的设计方法和技术对其他许多领域有借鉴作用。 相似文献
9.
改善磁盘阵列性能的方法 总被引:5,自引:0,他引:5
磁盘阵列是解决计算机I/O瓶颈问题的有效方法之一,通过对现有磁盘阵列结构的研究,提出了4种改善磁盘阵列性能的方法,即良分利用磁盘带宽,平衡多盘的负载,减少奇偶检验数据存取时间和磁盘阵列Cache技术等,分析结果表明:在事务处理应用领域,利用Cache来把小写转化为大写可大大改善目前一般情况下,以一道数据大小来作为磁盘的基本存取大小是合适的选择,磁盘阵列负载平衡设计不足是指正常模式下系统请求在多盘间 相似文献
10.