全文获取类型
收费全文 | 790篇 |
免费 | 66篇 |
国内免费 | 27篇 |
专业分类
电工技术 | 82篇 |
综合类 | 70篇 |
化学工业 | 39篇 |
金属工艺 | 21篇 |
机械仪表 | 37篇 |
建筑科学 | 45篇 |
矿业工程 | 12篇 |
能源动力 | 106篇 |
轻工业 | 10篇 |
水利工程 | 6篇 |
石油天然气 | 10篇 |
武器工业 | 3篇 |
无线电 | 177篇 |
一般工业技术 | 54篇 |
冶金工业 | 16篇 |
原子能技术 | 2篇 |
自动化技术 | 193篇 |
出版年
2024年 | 3篇 |
2023年 | 16篇 |
2022年 | 35篇 |
2021年 | 22篇 |
2020年 | 22篇 |
2019年 | 15篇 |
2018年 | 14篇 |
2017年 | 21篇 |
2016年 | 33篇 |
2015年 | 32篇 |
2014年 | 40篇 |
2013年 | 49篇 |
2012年 | 50篇 |
2011年 | 61篇 |
2010年 | 48篇 |
2009年 | 55篇 |
2008年 | 51篇 |
2007年 | 40篇 |
2006年 | 44篇 |
2005年 | 44篇 |
2004年 | 30篇 |
2003年 | 30篇 |
2002年 | 20篇 |
2001年 | 19篇 |
2000年 | 20篇 |
1999年 | 12篇 |
1998年 | 10篇 |
1997年 | 9篇 |
1996年 | 6篇 |
1995年 | 8篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 1篇 |
1990年 | 3篇 |
1989年 | 3篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1984年 | 2篇 |
1983年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有883条查询结果,搜索用时 312 毫秒
1.
This paper proposes a thermoelectric-assisted vapor compression cycle (TVCC) for applications in air-source heat pump systems which could enhance the heating capacity of the system. Performances of TVCC are calculated and then compared with that of basic vapor compression cycle (BVCC). The simulation results show that when coefficients of performance (COPs) of the two cycles are almost equal, the TVCC under maximum COP condition of the thermoelectric modules still performs better than BVCC by 13.0% in heating capacity through selecting the appropriate intermediate temperature. In addition, the TVCC can also achieve an improvement of 16.4%–21.7% in both the heating COP and capacity when compared with the BVCC with an assistant electric heater that is provided with the equivalent power input of thermoelectric heat exchanger. Thus, the TVCC could be beneficial to the applications in small heat pumps if there is always need for auxiliary electric heat. 相似文献
2.
We present a two-sorted algebra, called aPeirce algebra, of relations and sets interacting with each other. In a Peirce algebra, sets can combine with each other as in a Boolean algebra, relations can combine with each other as in a relation algebra, and in addition we have both a set-forming operator on relations (the Peirce product of Boolean modules) and a relation-forming operator on sets (a cylindrification operation). Two applications of Peirce algebras are given. The first points out that Peirce algebras provide a natural algebraic framework for modelling certain programming constructs. The second shows that the so-calledterminological logics arising in knowledge representation have evolved a semantics best described as a calculus of relations interacting with sets. 相似文献
3.
4.
A new principle and arrangement for directly determining the angle of incidence of an optical beam on an object are proposed and demonstrated. The novelty of the approach lies in the realization of a ‘smart object’, which extracts a portion of the incident beam's power into an optical waveguide attached to the object's surface or embedded in its body for converting the angle of incidence into the position of a guided beam with finite lateral extent. This ‘integrated optical light pointer’ beam is accomplished by means of creating additional degrees of freedom on the target in two different ways. While a first type is based on introducing spatial variations of the waveguide thickness, a second type makes use of a chirp of the grating periodicity. The feasibility for practical applications has been experimentally demonstrated by a direct comparison with a commercial high-resolution encoder, resulting in an r.m.s. error of <30′'. Measurements have been performed for chips fabricated based on replicated polycarbonate substrates and with no external optics, showing the great potential of this approach for realizing low-cost yet high-performance miniature goniometers. 相似文献
5.
6.
We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system. 相似文献
7.
8.
9.
《Displays》2021
Semantic segmentation based on the complementary information from RGB and depth images has recently gained great popularity, but due to the difference between RGB and depth maps, how to effectively use RGB-D information is still a problem. In this paper, we propose a novel RGB-D semantic segmentation network named RAFNet, which can selectively gather features from the RGB and depth information. Specifically, we construct an architecture with three parallel branches and propose several complementary attention modules. This structure enables a fusion branch and we add the Bi-directional Multi-step Propagation (BMP) strategy to it, which can not only retain the feature streams of the original RGB and depth branches but also fully utilize the feature flow of the fusion branch. There are three kinds of complementary attention modules that we have constructed. The RGB-D fusion module can effectively extract important features from the RGB and depth branch streams. The refinement module can reduce the loss of semantic information and the context aggregation module can help propagate and integrate information better. We train and evaluate our model on NYUDv2 and SUN-RGBD datasets, and prove that our model achieves state-of-the-art performances. 相似文献
10.
随着社会生产力的不断发展,越来越多的企业认识到了财务工作的重要性。企业要利用现代高效的运作方式来开发和管理组织中最重要、最昂贵的资源,实现财务管理的精细化、自动化,提高财务资源的利用率,促进企业的发展。 相似文献