全文获取类型
收费全文 | 7672篇 |
免费 | 801篇 |
国内免费 | 269篇 |
专业分类
电工技术 | 464篇 |
技术理论 | 1篇 |
综合类 | 374篇 |
化学工业 | 747篇 |
金属工艺 | 291篇 |
机械仪表 | 220篇 |
建筑科学 | 157篇 |
矿业工程 | 89篇 |
能源动力 | 181篇 |
轻工业 | 381篇 |
水利工程 | 31篇 |
石油天然气 | 100篇 |
武器工业 | 26篇 |
无线电 | 3430篇 |
一般工业技术 | 394篇 |
冶金工业 | 150篇 |
原子能技术 | 109篇 |
自动化技术 | 1597篇 |
出版年
2024年 | 40篇 |
2023年 | 145篇 |
2022年 | 382篇 |
2021年 | 512篇 |
2020年 | 496篇 |
2019年 | 233篇 |
2018年 | 154篇 |
2017年 | 211篇 |
2016年 | 201篇 |
2015年 | 239篇 |
2014年 | 472篇 |
2013年 | 398篇 |
2012年 | 454篇 |
2011年 | 633篇 |
2010年 | 519篇 |
2009年 | 558篇 |
2008年 | 397篇 |
2007年 | 499篇 |
2006年 | 480篇 |
2005年 | 384篇 |
2004年 | 244篇 |
2003年 | 267篇 |
2002年 | 227篇 |
2001年 | 171篇 |
2000年 | 125篇 |
1999年 | 49篇 |
1998年 | 40篇 |
1997年 | 43篇 |
1996年 | 29篇 |
1995年 | 22篇 |
1994年 | 18篇 |
1993年 | 15篇 |
1992年 | 17篇 |
1991年 | 7篇 |
1990年 | 6篇 |
1989年 | 6篇 |
1988年 | 2篇 |
1987年 | 3篇 |
1986年 | 3篇 |
1985年 | 7篇 |
1984年 | 6篇 |
1983年 | 10篇 |
1982年 | 3篇 |
1981年 | 4篇 |
1980年 | 3篇 |
1973年 | 1篇 |
1963年 | 1篇 |
1962年 | 1篇 |
1961年 | 1篇 |
1960年 | 1篇 |
排序方式: 共有8742条查询结果,搜索用时 8 毫秒
101.
102.
Robert F. Hadley 《Minds and Machines》2008,18(1):1-15
It is well understood and appreciated that Gödel’s Incompleteness Theorems apply to sufficiently strong, formal deductive systems. In particular, the theorems apply to systems which are adequate for conventional number theory. Less well known is that there exist algorithms which can be applied to such a system to generate a gödel-sentence for that system. Although the generation of a sentence is not equivalent to proving its truth, the present paper argues that the existence of these algorithms, when conjoined with Gödel’s results and accepted theorems of recursion theory, does provide the basis for an apparent paradox. The difficulty arises when such an algorithm is embedded within a computer program of sufficient arithmetic power. The required computer program (an AI system) is described herein, and the paradox is derived. A solution to the paradox is proposed, which, it is argued, illuminates the truth status of axioms in formal models of programs and Turing machines. 相似文献
103.
Ho Woo Lee Sahng Hoon Cheon Se Won Lee Jung Woo Baek 《Discrete Event Dynamic Systems》2008,18(4):537-562
This paper studies the steady-state queue length process of the MAP/G/1 queue under the dyadic control of the D-policy and multiple server vacations. We derive the probability generating function of the queue length and the mean queue
length. We then present computational experiences and compare the MAP queue with the Poisson queue.
相似文献
Ho Woo LeeEmail: |
104.
Virpi Oksman Ville Ollikainen Elina Noppari Carlos Herrero Antti Tammela 《Multimedia Systems》2008,14(2):105-114
Recently, mobile TV has been launched in several countries. While mobile TV integrates television contents into mobile phones,
the most personal of communication devices, it becomes interesting to know how this feature will be used throughout the day
and in varying contexts of everyday life. This paper presents empirical results on the use of mobile TV with different delivery
mechanisms and both quantitative and qualitative results on how end-users prefer to use mobile TV contents in different situations.
The data is based on ongoing empirical research in Finland in 2006 and 2007. The mobile TV services under study included both
news and entertainment contents, and were tested in 3G, DVB-H and Wi-Fi networks using different delivery paradigms: broadcast,
on-demand and download. To explore the use of different delivery methods and content consumption, we have developed a mobile
TV service protoype, called Podracing. The analysis shows that users appreciated up-to-date information and information-rich
media forms and contents especially for mobile news delivery. There was high demand for only the latest news on mobiles. The
real-time property was considered important. Most of the users looked at the headlines or followed the news several times
a day – much more often than the traditional TV and news prime times would allow. 相似文献
105.
本文简述3G(第三代移动通信系统)的含义及3G技术的基本特点;从3G技术在通信类业务、娱乐类业务、资讯类业务、互联网业务等方面的应用,介绍其发展现状;分析3G技术在培育用户、建立行业联盟、建设流媒体平台、提高内容质量方面的发展策略。 相似文献
106.
在深入分析μC/OS-Ⅱ移植的基础上,提出了一种新的μC/OS-Ⅱ移植方法。该方法的特点是:将任务的缺省模式设计为用户模式,并且任务级的任务切换OS_TASK_SW()采用ARM处理器的软中断指令SWI来实现。 相似文献
107.
在现在的手机终端中,由于视频、音频的编解码需要占用大量的CPU时间,因此在3G终端中再增加一个CPU来进行多媒体信息的处理成为必然,通过主CPU上运行多媒体块所要解决的核心问题.通过主从CPU之间约定特定的消息来实现主CPU对从CUP的控制,而从CPU对主CPU的定时和携带数据满住固定大小这两种反馈机制有效解决了双CPU间的通讯问题. 相似文献
108.
庞国明 《电脑编程技巧与维护》2009,(21):68-72
在PC机的3D和智能设备应用上,碰撞检测始终是程序开发的难点,甚至可以用碰撞检测作为衡量3D引擎是否完善的标准。现有许多3D碰撞检测算法,其中AABB碰撞检测是一种卓有成效而又经典的检测算法,本文详细论述了AABB碰撞检测的技术。 相似文献
109.
Garmin1000系统(以下简称G1000系统)是Garmin公司生产的,集成了通讯、导航、GPS等航空电子设备并配备大屏幕、高分辨率的显示器的一套综合航空电子系统。现已广泛应用于各类通用航空飞机上。为了更好地使用和维护好该系统,本文重点介绍其原理、结构、功能和主要维护方法。 相似文献
110.