首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   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.
范迎春 《电子质量》2003,(4):146-147
本文介绍一种智能型、高精度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.
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.
推导了变压器二次负载电压的计算公式,建议由此公式代替以往原理书中惯用的近似公式。利用此公式绘制和分析了不同功率因数额定负载时的相量轨迹图。  相似文献   
8.
RT-AGVS是物流管理中十分重要的课题,车辆位置监测网是其重要的组成部分。本文详细介绍了一个基于单片机系统的车辆位置实时监测网,本监测网设计先进,性能价格比高,它的设计方法和技术对其他许多领域有借鉴作用。  相似文献   
9.
改善磁盘阵列性能的方法   总被引:5,自引:0,他引:5  
磁盘阵列是解决计算机I/O瓶颈问题的有效方法之一,通过对现有磁盘阵列结构的研究,提出了4种改善磁盘阵列性能的方法,即良分利用磁盘带宽,平衡多盘的负载,减少奇偶检验数据存取时间和磁盘阵列Cache技术等,分析结果表明:在事务处理应用领域,利用Cache来把小写转化为大写可大大改善目前一般情况下,以一道数据大小来作为磁盘的基本存取大小是合适的选择,磁盘阵列负载平衡设计不足是指正常模式下系统请求在多盘间  相似文献   
10.
10MW高温气冷实验堆(HTR-10)是一座球床堆,由燃料元件装卸系统实现燃料元件的装卸和循环,且不需要停堆,为保证HTR-10的正常运行,燃料元件装卸系统必须安全,可靠,为此,必须对燃料元件装卸系统进行周密,细致的调试试验和验证,本文介绍了燃料元件装卸系统冷调试的主要调试项目,调试方法和调试结果。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号