全文获取类型
收费全文 | 2164篇 |
免费 | 162篇 |
国内免费 | 82篇 |
专业分类
电工技术 | 148篇 |
技术理论 | 1篇 |
综合类 | 138篇 |
化学工业 | 81篇 |
金属工艺 | 46篇 |
机械仪表 | 110篇 |
建筑科学 | 285篇 |
矿业工程 | 42篇 |
能源动力 | 147篇 |
轻工业 | 78篇 |
水利工程 | 103篇 |
石油天然气 | 21篇 |
武器工业 | 25篇 |
无线电 | 185篇 |
一般工业技术 | 191篇 |
冶金工业 | 72篇 |
原子能技术 | 25篇 |
自动化技术 | 710篇 |
出版年
2024年 | 4篇 |
2023年 | 34篇 |
2022年 | 54篇 |
2021年 | 77篇 |
2020年 | 84篇 |
2019年 | 39篇 |
2018年 | 50篇 |
2017年 | 62篇 |
2016年 | 64篇 |
2015年 | 71篇 |
2014年 | 164篇 |
2013年 | 177篇 |
2012年 | 140篇 |
2011年 | 182篇 |
2010年 | 133篇 |
2009年 | 150篇 |
2008年 | 117篇 |
2007年 | 140篇 |
2006年 | 103篇 |
2005年 | 81篇 |
2004年 | 74篇 |
2003年 | 68篇 |
2002年 | 59篇 |
2001年 | 34篇 |
2000年 | 32篇 |
1999年 | 27篇 |
1998年 | 23篇 |
1997年 | 23篇 |
1996年 | 18篇 |
1995年 | 12篇 |
1994年 | 11篇 |
1993年 | 14篇 |
1992年 | 3篇 |
1991年 | 9篇 |
1990年 | 5篇 |
1989年 | 4篇 |
1988年 | 8篇 |
1987年 | 3篇 |
1986年 | 4篇 |
1985年 | 3篇 |
1984年 | 5篇 |
1983年 | 7篇 |
1982年 | 3篇 |
1963年 | 3篇 |
1961年 | 2篇 |
1960年 | 2篇 |
1959年 | 2篇 |
1956年 | 3篇 |
1955年 | 3篇 |
1954年 | 3篇 |
排序方式: 共有2408条查询结果,搜索用时 17 毫秒
1.
轨道交通区域控制器(ZC)是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统(CBTC)的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握,使得形式化方法很难应用到安全需求的验证中去.针对这些问题,提出一种安全需求的自动验证方法,使用半形式化的问题框架方法(PF)来建模和分解安全需求,根据需求模型自动生成安全需求的验证模型和验证性质,在此基础上自动生成验证模型的Scade语言实现,并通过Design Verifier验证器对需求进行组合验证.最后,使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究,实验结果证明了该方法的可行性与有效性,它能自动地将安全需求模型进行组合验证,改善了验证的效率. 相似文献
2.
AbstractA system methodology for modeling and optimizing social systems is presented. It allows constructing dynamical models formulated stochastically, i.e., their results are given by confidence intervals. The models provide optimal intervention ways to reach the stated objectives. Two optimization methods are used: (1) to test strategies and scenarios and (2) to optimize with a genetic algorithm. The application case presented is a small nonformal education Spanish business. First, the model is validated in the 2008–2012 period, and subsequently, the optimal way to obtain a maximum profit in the 2013–2025 period is obtained using the two methods. 相似文献
3.
The present paper provides an extended analysis of a microgrid energy management framework based on Robust Optimization (RO). Uncertainties in wind power generation and energy consumption are described in the form of Prediction Intervals (PIs), estimated by a Non-dominated Sorting Genetic Algorithm (NSGA-II) – trained Neural Network (NN). The framework is tested and exemplified in a microgrid formed by a middle-size train station (TS) with integrated photovoltaic power production system (PV), an urban wind power plant (WPP) and a surrounding residential district (D). The system is described by Agent-Based Modelling (ABM): each stakeholder is modeled as an individual agent, which aims at a specific goal, either of decreasing its expenses from power purchasing or increasing its revenues from power selling. The aim of this paper is to identify which is the uncertainty level associated to the “extreme” conditions upon which robust management decisions perform better than a microgrid management based on expected values. This work shows how the probability of occurrence of some specific uncertain events, e.g., failures of electrical lines and electricity demand and price peaks, highly conditions the reliability and performance indicators of the microgrid under the two optimization approaches: (i) RO based on the PIs of the uncertain parameters and (ii) optimization based on expected values. 相似文献
4.
《Journal of dairy science》2022,105(3):2708-2717
Each cow in a group has different nutritional requirements even if the group is formed by cows of similar age, number of lactations, and lactation stage. Common dairy farm management setup does not support formulating a diet that accurately matches individual nutritional requirements for each cow; therefore, a proportion of cows in the group will be overfed and another proportion underfed. Overfeeding and underfeeding cows increases the risk of metabolic diseases, decreases milk production, and increases nutrient waste. Consequently, profitability of dairy farms and the environment are negatively affected. Nutritional grouping is a management strategy that aims to allocate lactating cows homogeneously according to their nutritional requirements. Groups of cows with more uniform nutritional requirements facilitates the formulation of more accurate diets for the group. Current availability of large data streams on dairy farms facilitates the design of algorithms to implement nutritional grouping. Our review summarizes important factors to consider when grouping cows, describes nutritional grouping approaches, and summarizes benefits of implementing nutritional grouping in dairy farms. 相似文献
5.
我国非煤矿山安全生产发展历程与技术需求 总被引:2,自引:0,他引:2
对我国非煤矿山安全生产的发展历程与现状进行了综述与分析,论述了目前安全生产技术发展的思路。在此基础上,详细讨论了适应目前我国非煤矿山安全生产发展的技术需求。 相似文献
6.
介绍了鸡西矿业集团信息化网络系统工程设计组网要求、原则、功能以及组网方式等。该组网方案为鸡西矿业集团信息化网络系统工程建设提供了强有力的依据。 相似文献
7.
8.
Solid desiccant air-conditioning systems present a promising solution, in terms of performance level and environmental protection, pointing out their potential to be coupled with thermal solar or waste heat energy source. Nevertheless, these systems are characterized by constraints to the load they can satisfy, through the trade-off between the dehumidification cooling capacity and the latent load of the conditioned space. On that level, one has to note that, for steady environmental conditions, the conditioned space does not present unique value of load, but range of load, corresponding to an array of acceptable temperature and (usually relative) humidity values. In this work a methodology is proposed for the definition of the system's achievable working range under specific set of space (comfort) requirements. Through this approach, the systems present greater potential for covering the space requirements, thus presenting more possibilities on a design basis, and more flexible control strategies, as well. The proposed methodology is presented and discussed through the case study of a solar desiccant air-conditioning system coupled to a typical residential building. 相似文献
9.
10.