全文获取类型
收费全文 | 13469篇 |
免费 | 815篇 |
国内免费 | 814篇 |
专业分类
电工技术 | 866篇 |
技术理论 | 1篇 |
综合类 | 1723篇 |
化学工业 | 526篇 |
金属工艺 | 503篇 |
机械仪表 | 1061篇 |
建筑科学 | 1537篇 |
矿业工程 | 438篇 |
能源动力 | 239篇 |
轻工业 | 273篇 |
水利工程 | 397篇 |
石油天然气 | 557篇 |
武器工业 | 168篇 |
无线电 | 1032篇 |
一般工业技术 | 648篇 |
冶金工业 | 674篇 |
原子能技术 | 182篇 |
自动化技术 | 4273篇 |
出版年
2024年 | 30篇 |
2023年 | 73篇 |
2022年 | 149篇 |
2021年 | 213篇 |
2020年 | 199篇 |
2019年 | 163篇 |
2018年 | 152篇 |
2017年 | 216篇 |
2016年 | 277篇 |
2015年 | 329篇 |
2014年 | 809篇 |
2013年 | 657篇 |
2012年 | 944篇 |
2011年 | 1060篇 |
2010年 | 961篇 |
2009年 | 862篇 |
2008年 | 831篇 |
2007年 | 947篇 |
2006年 | 902篇 |
2005年 | 800篇 |
2004年 | 669篇 |
2003年 | 609篇 |
2002年 | 507篇 |
2001年 | 446篇 |
2000年 | 389篇 |
1999年 | 299篇 |
1998年 | 216篇 |
1997年 | 237篇 |
1996年 | 167篇 |
1995年 | 172篇 |
1994年 | 118篇 |
1993年 | 125篇 |
1992年 | 82篇 |
1991年 | 68篇 |
1990年 | 43篇 |
1989年 | 53篇 |
1988年 | 32篇 |
1987年 | 31篇 |
1986年 | 25篇 |
1985年 | 25篇 |
1984年 | 21篇 |
1982年 | 13篇 |
1981年 | 12篇 |
1980年 | 11篇 |
1979年 | 16篇 |
1974年 | 9篇 |
1973年 | 11篇 |
1966年 | 9篇 |
1965年 | 11篇 |
1959年 | 9篇 |
排序方式: 共有10000条查询结果,搜索用时 250 毫秒
1.
Fog computing has emerged to support the requirements of IoT applications that could not be met by today’s solutions. Different initiatives have been presented to drive the development of fog, and much work has been done to improve certain aspects. However, an in-depth analysis of the different solutions, detailing how they can be integrated and applied to meet specific requirements, is still required. In this work, we present a unified architectural model and a new taxonomy, by comparing a large number of solutions. Finally, we draw some conclusions and guidelines for the development of IoT applications based on fog. 相似文献
2.
Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization. 相似文献
3.
The next-generation systems are expected to be largely cyber–physical systems (CPSs) that autonomously control physical processes, through sensors and actuators typically in real-time feedback and cooperative control loops distributed among physical and cyber environments. The rapid technological advancements enhance the smartness of these CPSs, pushing their boundaries of performance and efficiency by embedding new information and communication technologies. However, to what extent CPSs should be smarter so that they do not compromise safety and security of safety critical systems? is an open research question. Towards this goal, the purpose of this study is to establish a grounded theory to analyse what makes these systems smart? and eventually, how to find a balance between smartness and safety risks? In this precinct, this article aims to develop a conceptual framework, define the dimensions and derive the characteristics that make CPSs smart. The proposed approach combines an automated informetric and systematic analysis of literature pertinent to the topic of smartness across anthropology, science, engineering and technology. The analysis of a case study building and the discussions presented herein support the connection between the existing understanding of CPSs and smartness offered by the building design approach in urban environment. 相似文献
4.
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动化验证操作系统内核的框架.该验证框架包括:(1)分别对C语言程序和混合语言程序(C语言和汇编语言)进行验证;(2)在混合语言程序验证中,为汇编程序建立抽象模型,并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型;(3)从规范中提取性质,基于该自动验证工具,对性质完成自动验证;(4)该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示:利用该框架在对两个不同的硬件平台上内核验证时,框架的可重复利用率很高,高达到88%,虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中,分别发现了10~12处缺陷.其中,在ARM平台上两处与硬件相关的问题被发现.实验表明,该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性. 相似文献
5.
从电焊机自身电气特点及建筑工地工作环境入手,探讨电焊机安全技术的实施方法。分析电焊机安全隐患及事故的分类以及电焊机在使用过程中产生危险的原因。介绍电焊机在安装以及作业过程中的安全措施。 相似文献
6.
Maqbool Ali Jamil Hussain Sungyoung Lee Byeong Ho Kang Kashif Sattar 《Expert Systems》2020,37(1):e12401
The case-based learning (CBL) approach has gained attention in medical education as an alternative to traditional learning methodology. However, current CBL systems do not facilitate and provide computer-based domain knowledge to medical students for solving real-world clinical cases during CBL practice. To automate CBL, clinical documents are beneficial for constructing domain knowledge. In the literature, most systems and methodologies require a knowledge engineer to construct machine-readable knowledge. Keeping in view these facts, we present a knowledge construction methodology (KCM-CD) to construct domain knowledge ontology (i.e., structured declarative knowledge) from unstructured text in a systematic way using artificial intelligence techniques, with minimum intervention from a knowledge engineer. To utilize the strength of humans and computers, and to realize the KCM-CD methodology, an interactive case-based learning system(iCBLS) was developed. Finally, the developed ontological model was evaluated to evaluate the quality of domain knowledge in terms of coherence measure. The results showed that the overall domain model has positive coherence values, indicating that all words in each branch of the domain ontology are correlated with each other and the quality of the developed model is acceptable. 相似文献
7.
8.
9.
10.
浅谈如何有效学习计算机软件知识 总被引:1,自引:0,他引:1
黄霞 《湖南工业职业技术学院学报》2003,3(2):79-80
计算机软件知识的学习并不是完全线性的,而是不断循环往复、迭代的过程。本对如何深入、广泛、有效地学习计算机软件知识做出了一些探讨。 相似文献