全文获取类型
收费全文 | 1616篇 |
免费 | 92篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 27篇 |
综合类 | 1篇 |
化学工业 | 618篇 |
金属工艺 | 23篇 |
机械仪表 | 24篇 |
建筑科学 | 45篇 |
矿业工程 | 8篇 |
能源动力 | 68篇 |
轻工业 | 179篇 |
水利工程 | 6篇 |
石油天然气 | 6篇 |
无线电 | 102篇 |
一般工业技术 | 252篇 |
冶金工业 | 67篇 |
原子能技术 | 3篇 |
自动化技术 | 280篇 |
出版年
2024年 | 5篇 |
2023年 | 14篇 |
2022年 | 120篇 |
2021年 | 168篇 |
2020年 | 58篇 |
2019年 | 59篇 |
2018年 | 74篇 |
2017年 | 64篇 |
2016年 | 93篇 |
2015年 | 54篇 |
2014年 | 105篇 |
2013年 | 119篇 |
2012年 | 73篇 |
2011年 | 82篇 |
2010年 | 62篇 |
2009年 | 66篇 |
2008年 | 73篇 |
2007年 | 60篇 |
2006年 | 43篇 |
2005年 | 37篇 |
2004年 | 44篇 |
2003年 | 30篇 |
2002年 | 27篇 |
2001年 | 17篇 |
2000年 | 15篇 |
1999年 | 13篇 |
1998年 | 9篇 |
1997年 | 13篇 |
1996年 | 7篇 |
1995年 | 12篇 |
1994年 | 6篇 |
1993年 | 7篇 |
1992年 | 6篇 |
1991年 | 10篇 |
1990年 | 6篇 |
1989年 | 4篇 |
1987年 | 6篇 |
1986年 | 3篇 |
1985年 | 8篇 |
1984年 | 2篇 |
1983年 | 4篇 |
1982年 | 7篇 |
1981年 | 7篇 |
1980年 | 6篇 |
1979年 | 4篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1970年 | 1篇 |
排序方式: 共有1709条查询结果,搜索用时 15 毫秒
21.
Paweł Jankowski Dominika Ogończyk Ladislav Derzsi Wojciech Lisowski Piotr Garstecki 《Microfluidics and nanofluidics》2013,14(5):767-774
Modification of the surfaces of polycarbonate (PC) with the use of a solution of tin (II) chloride renders them hydrophilic. The surface draping is stable against exposure to water and to alcohols. Exposure to alkanes reduces but does not diminish the effect. The method is compatible—in using the same solvent and temperature—with the hydrophobic modification of PC Jankowski et al. ( Lab Chip 11:748–752, 2011). The combination of these methods makes it possible to generate single and multiple monodisperse emulsions with the use of flow-focusing junctions in systems made in PC—material that is suitable for fabrication of multilayer, high throughput microfluidic devices. 相似文献
22.
Piotr Zieliński 《Distributed Computing》2008,20(6):435-450
The Atomic Broadcast algorithm described in this paper can deliver messages in two communication steps, even if multiple processes
broadcast at the same time. It tags all broadcast messages with the local real time, and delivers all messages in the order
of these timestamps. Both positive and negative statements are used: “m broadcast at time 51” vs. “no messages broadcast between times 31 and 51”. To prevent crashed processes from blocking the
system, the -elected leader broadcasts negative statements on behalf of the processes it suspects () to have crashed. A new cheap Generic Broadcast algorithm is used to ensure consistency between conflicting statements. It
requires only a majority of correct processes (n > 2f) and, in failure-free runs, delivers all non-conflicting messages in two steps. The main algorithm satisfies several new
lower bounds, which are proved in this paper. 相似文献
23.
Karol MalechaAuthor Vitae Dorota G. PijanowskaAuthor VitaeLeszek J. GolonkaAuthor Vitae Piotr KurekAuthor Vitae 《Sensors and actuators. B, Chemical》2011,155(2):923-929
This article presents design, fabrication and testing of a miniature ceramic-based biosensor which is destined for continuous glucose monitoring. It is fabricated using well known LTCC (low temperature co-fired ceramics) technology. The biosensor consists of a microreaction chamber, three thick-film electrodes and a microdialysis tube. The detection process is based on oxidation of glucose by molecular oxygen in the presence of enzyme - glucose oxidase, GOx. One of the reaction products is a hydrogen peroxide which is detected amperometrically during its oxidation at a working electrode. Computational fluid dynamics (CFD) analysis was used for optimization of the biosensor geometry and considerations of the influence of operating conditions (flow rate) on mass transfer (diffusion) of the glucose within the microreaction chamber. Tests of the developed LTCC-based biosensor indicate its linear response to glucose concentration up to 9 mM with a relatively high sensitivity of about 147 nA/mM. Moreover, the properties of the presented ceramic biosensor are compared with properties of a similar device made in silicon/glass and in Perspex®. 相似文献
24.
Ab initio predictions of secondary structures in proteins have to combine local predictions, based on short fragments of the
protein sequence, with consistency restrictions, as not all locally plausible predictions may be simultaneously true.
We use the fact that secondary structures are patterns of hydrogen bonds and that a single residue can participate in hydrogen
bonds of at most one secondary structure. Consistency of fixed-sized pieces of secondary structures is the easiest to approximate
and we formalize it as 1-2 matching problem. Consistency of entire secondary structures is a version of set packing. We also
investigate how to form a simple problem if we add the requirement that the secondary structure and the loops that connect
them fit together in a metric space.
Every problem that we investigated is MAX-SNP hard and it has a constant factor approximation. Computational experience suggests
that in biological instances, we can find nearly optimal solutions using heuristics. 相似文献
25.
Marc Baboulin Alfredo Buttari Jack Dongarra Jakub Kurzak Julie Langou Julien Langou Piotr Luszczek Stanimire Tomov 《Computer Physics Communications》2009,180(12):2526-2533
On modern architectures, the performance of 32-bit operations is often at least twice as fast as the performance of 64-bit operations. By using a combination of 32-bit and 64-bit floating point arithmetic, the performance of many dense and sparse linear algebra algorithms can be significantly enhanced while maintaining the 64-bit accuracy of the resulting solution. The approach presented here can apply not only to conventional processors but also to other technologies such as Field Programmable Gate Arrays (FPGA), Graphical Processing Units (GPU), and the STI Cell BE processor. Results on modern processor architectures and the STI Cell BE are presented.
Program summary
Program title: ITER-REFCatalogue identifier: AECO_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AECO_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 7211No. of bytes in distributed program, including test data, etc.: 41 862Distribution format: tar.gzProgramming language: FORTRAN 77Computer: desktop, serverOperating system: Unix/LinuxRAM: 512 MbytesClassification: 4.8External routines: BLAS (optional)Nature of problem: On modern architectures, the performance of 32-bit operations is often at least twice as fast as the performance of 64-bit operations. By using a combination of 32-bit and 64-bit floating point arithmetic, the performance of many dense and sparse linear algebra algorithms can be significantly enhanced while maintaining the 64-bit accuracy of the resulting solution.Solution method: Mixed precision algorithms stem from the observation that, in many cases, a single precision solution of a problem can be refined to the point where double precision accuracy is achieved. A common approach to the solution of linear systems, either dense or sparse, is to perform the LU factorization of the coefficient matrix using Gaussian elimination. First, the coefficient matrix A is factored into the product of a lower triangular matrix L and an upper triangular matrix U. Partial row pivoting is in general used to improve numerical stability resulting in a factorization PA=LU, where P is a permutation matrix. The solution for the system is achieved by first solving Ly=Pb (forward substitution) and then solving Ux=y (backward substitution). Due to round-off errors, the computed solution, x, carries a numerical error magnified by the condition number of the coefficient matrix A. In order to improve the computed solution, an iterative process can be applied, which produces a correction to the computed solution at each iteration, which then yields the method that is commonly known as the iterative refinement algorithm. Provided that the system is not too ill-conditioned, the algorithm produces a solution correct to the working precision.Running time: seconds/minutes 相似文献26.
Demanding the compatibility of semi-Lagrangian trajectory schemes with the fundamental Euler expansion formula leads to the Monge-Ampère (MA) nonlinear second-order partial differential equation. Given standard estimates of the departure points of flow trajectories, solving the associated MA problem provides a corrected solution satisfying a discrete Lagrangian form of the mass continuity equation to round-off error. The impact of the MA enhancement is discussed in two diverse limits of fluid dynamics applications: passive tracer advection in a steady cellular flow and in fully developed turbulence. Improvements of the overall accuracy of simulations depend on the problem and can be substantial. 相似文献
27.
In this paper, we discuss the importance of information systems in modeling interactive computations performed on (complex) granules and we propose a formal approach to interactive computations based on generalized information systems and rough sets which can be combined with other soft computing paradigms such as fuzzy sets or evolutionary computing, but also with machine learning and data mining techniques. Information systems are treated as dynamic granules used for representing the results of the interaction of attributes with the environment. Two kinds of attributes are distinguished, namely, the perception attributes, including sensory attributes, and the action attributes. Sensory attributes are the basic perception attributes, other perception attributes are constructed on the basis of the sensory ones. Actions are activated when their guards, being often complex and vague concepts, are satisfied to a satisfactory degree. The guards can be approximated on the basis of measurements performed by sensory attributes rather than defined exactly. Satisfiability degrees for guards are results of reasoning called the adaptive judgment. The approximations are induced using hierarchical modeling. We show that information systems can be used for modeling more advanced forms of interactions in hierarchical modeling. The role of hierarchical interactions is emphasized in the modeling of interactive computations. Some illustrative examples of interactions used in the ACT-R 6.0 system are reported. ACT-R 6.0 is based on a cognitive architecture and can be treated as an example of a highly interactive complex granule which can be involved in hierarchical interactions. For modeling of interactive computations, we propose much more general information systems than the studied dynamic information systems (see, e.g., Ciucci (2010) [8] and Pa?asiński and Pancerz (2010) [32]). For example, the dynamic information systems are making it possible to consider incremental changes in information systems. However, they do not contain the perception and action attributes necessary for modeling interactive computations, in particular for modeling intrastep interactions. 相似文献
28.
We present the first fully dynamic algorithm for computing the characteristic polynomial of a matrix. In the generic symmetric case, our algorithm supports rank-one updates in O(n2logn) randomized time and queries in constant time, whereas in the general case the algorithm works in O(n2klogn) randomized time, where k is the number of invariant factors of the matrix. The algorithm is based on the first dynamic algorithm for computing normal forms of a matrix such as the Frobenius normal form or the tridiagonal symmetric form. The algorithm can be extended to solve the matrix eigenproblem with relative error 2−b in additional O(nlog2nlogb) time. Furthermore, it can be used to dynamically maintain the singular value decomposition (SVD) of a generic matrix. Together with the algorithm, the hardness of the problem is studied. For the symmetric case, we present an Ω(n2) lower bound for rank-one updates and an Ω(n) lower bound for element updates. 相似文献
29.
Piotr Sankowski 《Theory of Computing Systems》2008,42(1):73-90
In this paper we consider the problem of finding perfect matchings in parallel. We present a RNC algorithm with almost optimal
work with respect to sequential algorithms, i.e., it uses O(n
ω
) processors, where ω is the matrix multiplication exponent. Our algorithm is based on an RNC algorithm for computing determinant of a degree one
polynomial matrix which is of independent interest.
Research supported by KBN grant 1P03A01830. 相似文献
30.
Shang L Jasiobedzki P Greenspan M 《IEEE transactions on pattern analysis and machine intelligence》2007,29(6):976-989
A method is presented for tracking 3D objects as they transform rigidly in space within a sparse range image sequence. The method operates in discrete space and exploits the coherence across image frames that results from the relationship between known bounds on the object's velocity and the sensor frame rate. These motion bounds allow the interframe transformation space to be reduced to a reasonable and indeed tiny size, comprising only tens or hundreds of possible states. The tracking problem is in this way cast into a classification framework, effectively trading off localization precision for runtime efficiency and robustness. The method has been implemented and tested extensively on a variety of freeform objects within a sparse range data stream comprising only a few hundred points per image. It has been shown to compare favorably against continuous domain iterative closest point (ICP) tracking methods, performing both more efficiently and more robustly. A hybrid method has also been implemented that executes a small number of ICP iterations following the initial discrete classification phase. This hybrid method is both more efficient than the ICP alone and more robust than either the discrete classification method or the ICP separately 相似文献