全文获取类型
收费全文 | 34050篇 |
免费 | 4630篇 |
国内免费 | 2930篇 |
专业分类
电工技术 | 3177篇 |
综合类 | 3797篇 |
化学工业 | 3707篇 |
金属工艺 | 2259篇 |
机械仪表 | 2479篇 |
建筑科学 | 2920篇 |
矿业工程 | 1518篇 |
能源动力 | 920篇 |
轻工业 | 4186篇 |
水利工程 | 1420篇 |
石油天然气 | 1247篇 |
武器工业 | 376篇 |
无线电 | 3639篇 |
一般工业技术 | 2791篇 |
冶金工业 | 1441篇 |
原子能技术 | 692篇 |
自动化技术 | 5041篇 |
出版年
2024年 | 247篇 |
2023年 | 707篇 |
2022年 | 1473篇 |
2021年 | 1885篇 |
2020年 | 1331篇 |
2019年 | 894篇 |
2018年 | 997篇 |
2017年 | 1130篇 |
2016年 | 1042篇 |
2015年 | 1624篇 |
2014年 | 2029篇 |
2013年 | 2376篇 |
2012年 | 2968篇 |
2011年 | 3074篇 |
2010年 | 2833篇 |
2009年 | 2654篇 |
2008年 | 2776篇 |
2007年 | 2736篇 |
2006年 | 2239篇 |
2005年 | 1793篇 |
2004年 | 1222篇 |
2003年 | 816篇 |
2002年 | 760篇 |
2001年 | 784篇 |
2000年 | 552篇 |
1999年 | 221篇 |
1998年 | 65篇 |
1997年 | 54篇 |
1996年 | 56篇 |
1995年 | 39篇 |
1994年 | 32篇 |
1993年 | 24篇 |
1992年 | 19篇 |
1991年 | 19篇 |
1990年 | 15篇 |
1989年 | 19篇 |
1988年 | 8篇 |
1987年 | 7篇 |
1986年 | 6篇 |
1985年 | 4篇 |
1983年 | 7篇 |
1982年 | 4篇 |
1981年 | 7篇 |
1980年 | 18篇 |
1979年 | 5篇 |
1978年 | 4篇 |
1977年 | 4篇 |
1976年 | 2篇 |
1959年 | 14篇 |
1951年 | 10篇 |
排序方式: 共有10000条查询结果,搜索用时 31 毫秒
91.
92.
How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively. 相似文献
93.
本文关于贝加莱ACOPOSmulti伺服系统和机器人软件库在奇瑞6关节机器人研发中的应用。介绍了机器人机械系统的组成和性能参数,重点描述了以APC820工控机和ACOPOSmuhi伺服驱动器为核心。基于EthernetPOWERLINK工业实时以太网和AutomationStudio集成软件开发平台的机器人控制系统,并讨论了通过MATLAB/Simulink的代码自动生成技术、ACOPOSmuhi驱动系统的负载惯量前馈技术等关键技术环节。 相似文献
94.
95.
96.
介绍一种用VBA技术实现对Word文档操作的自动判卷系统。学生答题完后计算机可自动批阅并显示分数和正确解,根据得分情况给出相应的学习建议。该系统具有较高的判卷准确性,可以成为学习者平时练习和模拟考试的辅助工具。 相似文献
97.
邓洪斌 《电脑编程技巧与维护》2012,(10):154-155
从学生学习计算机编程时能力的重要性出发,介绍了教师在进行编程教学时必须注重学生几种能力的培养,并阐述了教学过程中可以采用的几种教学方法。 相似文献
98.
计算机公共课作为非计算机专业本科学生的公共基础课程核心之一,在教学组织、教学内容、教学方法、实践环节等方面还存在很多亟待解决的问题。针对目前存在的问题,结合相关的指导性文件,探讨解决的思路及对策。 相似文献
99.
Gan Zhihua Bi Jianqiang Ding Wenke Chai Xiuli 《Neural computing & applications》2021,33(19):12845-12867
Neural Computing and Applications - Compared to 1D compressed sensing (CS), 2D CS is more efficient for compressing the plaintext image from two directions, but security level of current 2D... 相似文献
100.