全文获取类型
收费全文 | 1167篇 |
免费 | 121篇 |
专业分类
电工技术 | 12篇 |
综合类 | 2篇 |
化学工业 | 317篇 |
金属工艺 | 8篇 |
机械仪表 | 21篇 |
建筑科学 | 66篇 |
矿业工程 | 1篇 |
能源动力 | 32篇 |
轻工业 | 260篇 |
水利工程 | 9篇 |
石油天然气 | 1篇 |
无线电 | 46篇 |
一般工业技术 | 197篇 |
冶金工业 | 38篇 |
原子能技术 | 1篇 |
自动化技术 | 277篇 |
出版年
2024年 | 5篇 |
2023年 | 12篇 |
2022年 | 21篇 |
2021年 | 48篇 |
2020年 | 43篇 |
2019年 | 38篇 |
2018年 | 66篇 |
2017年 | 56篇 |
2016年 | 63篇 |
2015年 | 47篇 |
2014年 | 73篇 |
2013年 | 123篇 |
2012年 | 104篇 |
2011年 | 100篇 |
2010年 | 63篇 |
2009年 | 71篇 |
2008年 | 58篇 |
2007年 | 75篇 |
2006年 | 42篇 |
2005年 | 37篇 |
2004年 | 35篇 |
2003年 | 40篇 |
2002年 | 15篇 |
2001年 | 6篇 |
2000年 | 5篇 |
1999年 | 5篇 |
1998年 | 4篇 |
1997年 | 5篇 |
1996年 | 5篇 |
1995年 | 2篇 |
1994年 | 4篇 |
1993年 | 1篇 |
1992年 | 3篇 |
1991年 | 2篇 |
1990年 | 1篇 |
1989年 | 2篇 |
1986年 | 1篇 |
1984年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1976年 | 2篇 |
排序方式: 共有1288条查询结果,搜索用时 62 毫秒
31.
Francisco Jes��s Mart��n-Mateos Jos�� Luis Ruiz-Reina Jos�� Antonio Alonso Mar��a Jos�� Hidalgo 《Journal of Automated Reasoning》2011,47(3):229-250
Higman??s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. In this paper we present a formalization and proof of Higman??s Lemma in the ACL2 theorem prover. Our formalization is based on a proof by Murthy and Russell, where the key termination argument is justified by the multiset relation induced by a well-founded relation. To our knowledge, this is the first mechanization of this proof. 相似文献
32.
Rosa Filgueira Jesús Carretero David E. Singh Alejandro Calderón Alberto Núñez 《The Journal of supercomputing》2012,59(1):361-391
This work presents an optimization of MPI communications, called Dynamic-CoMPI, which uses two techniques in order to reduce the impact of communications and non-contiguous I/O requests in parallel applications.
These techniques are independent of the application and complementaries to each other. The first technique is an optimization
of the Two-Phase collective I/O technique from ROMIO, called Locality aware strategy for Two-Phase I/O (LA-Two-Phase I/O). In order to increase the locality of the file accesses, LA-Two-Phase I/O employs the Linear Assignment Problem (LAP) for finding an optimal I/O data communication schedule. The main purpose of this
technique is the reduction of the number of communications involved in the I/O collective operation. The second technique,
called Adaptive-CoMPI, is based on run-time compression of MPI messages exchanged by applications. Both techniques can be applied on every application,
because both of them are transparent for the users. Dynamic-CoMPI has been validated by using several MPI benchmarks and real HPC applications. The results show that, for many of the considered
scenarios, important reductions in the execution time are achieved by reducing the size and the number of the messages. Additional
benefits of our approach are the reduction of the total communication time and the network contention, thus enhancing, not
only performance, but also scalability. 相似文献
33.
34.
Francesco Carbone Jesús Contreras Josefa Z. Hernández Jose Manuel Gomez-Perez 《Expert systems with applications》2012,39(10):8929-8939
Nowadays, especially after the recent financial downturn, companies are looking for much more efficient and creative business processes. They need to place better solutions in the market in a less time with less cost. There is a general intuition that communication and collaboration, especially mixed with Web 2.0 approach within companies and ecosystems, can boost the innovation process with positive impacts on business indicators. Open Innovation within an Enterprise 2.0 context is a one of the most chosen paradigm for improving the innovation processes of enterprises, based on the collaborative creation and development of ideas and products. The key feature of this new paradigm is that the knowledge is exploited in a collaborative way flowing not only among internal sources, i.e. R&D departments, but also among external ones as other employees, customers, partners, etc. In this paper we show how an ontology-based analysis of plain text can provide a semantic contextualization of content support tasks, such as finding semantic distance between contents, and can help in creating relations between people with shared knowledge and interests. Along this paper we will present the results obtained by the adoption of this technology in a large corporate environment like Bankinter, a financial institution, Telefonica I+D, an international telecommunication firm and Repsol, a major oil company in Spain. 相似文献
35.
Sexual selection and mating systems profoundly influence the behavior and psychology of animals. Using their own studies of green anacondas (Eunectes murinus) and reviewing other recent studies, the authors conclude that incomplete data derived from a few well-studied snake species have led to general acceptance of polygyny as the dominant mating system in snakes. New data on behavior, paternity, and life history in a diverse taxonomic array of snakes support the view that polyandry is not only common in snakes but may have been the ancestral mating system. This interpretation helps to explain many seemingly paradoxical behavioral differences between lizards and snakes, such as the lack of territorial systems in most snakes and their frequent female-biased sexual size dimorphism. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
36.
Video transmission with general-purpose PCs poses a number of requirements that radically differ from those of high-end dedicated video servers. We analyze the scenario of an Ethernet local area network in which a number of PCs are transmitting video streams, while other TCP/IP applications are also running concurrently. Our findings show that since the operating system clock resolution cannot cope with the transmission timing requirements the following holds: if the video transmission is performed with exact timing accuracy to maintain a constant rate then CPU load grows to 100%, thus blocking the PC for other user applications; on the other hand, if transmission is performed in a bursty manner, i.e. with sleep system calls, then CPU load decreases dramatically but the increased burstiness of the video stream has a negative impact on network performance (for example, capture effect in the Ethernet). Furthermore, the impact of video transmission over the rest of TCP/IP applications running on the same network depends heavily on the packet size. We provide an integrated analysis of operating system and network parameters to achieve video broadcasting while preserving timing requirements and minimizing the impact on other applications. 相似文献
37.
38.
39.
Francisco Liébana-Cabanillas Francisco Muñoz-Leiva Juan Sánchez-Fernández María I. Viedma-del Jesús 《Information Systems and E-Business Management》2016,14(1):141-165
The aim of this paper is to contribute to the field of satisfaction research from the perspective of electronic banking users—a topic of great interest to financial institutions as they formulate business strategies. In this context, we analyze the possible moderating effect of user experience with the products of a specific institution. A comprehensive review of the scientific literature justified the development of a behavioral model that explains satisfaction using a set of constructs or endogenous variables and the moderating effect of experience. Data was collected from a self-administered Web survey in the authenticated section of the electronic banking service of a prestigious Spanish National financial institution. The analysis tests the relationship between the proposed variables (ease of access, trust, ease of use and usefulness) and demonstrates the moderating effect of electronic banking experience on them. The study was limited to the data of a single financial institution. Caution should therefore be exercised in generalizing the results. The research results provide a number of valuable conclusions for financial institutions. This paper is a pioneer study of satisfaction with electronic banking, especially with regard to the causal relationships between satisfaction and its main determinants. 相似文献
40.
Jesús García‐Parra Rebeca Contador Jonathan Delgado‐Adámez Francisco González‐Cebrino Rosario Ramírez 《International Journal of Food Science & Technology》2014,49(4):1203-1214
A nectarine purée was manufactured with different pretreatments (thermal blanching or ascorbic acid – AA – addition), and then, the purée was processed by high‐pressure treatment to evaluate the effect of the initial manufacture conditions in the stability of the processed purées. A thermal treatment was also carried out to compare the effect with the high‐pressure processing (HPP). All applied processes were effective to ensure the microbiological safety of the purées. However, the pretreatment (thermal blanching or AA addition) applied during the manufacture affected the final quality of the processed purées. Initially, the AA addition had a protective effect on colour degradation during the manufacture of the purées; however, when these purées were treated by HPP showed less colour stability during storage, lower bioactive compounds content, and antioxidant activity. In contrast, purées with an initial thermal blanching maintained better the quality after HPP and during storage. 相似文献