全文获取类型
收费全文 | 3184篇 |
免费 | 158篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 35篇 |
综合类 | 3篇 |
化学工业 | 839篇 |
金属工艺 | 58篇 |
机械仪表 | 79篇 |
建筑科学 | 96篇 |
矿业工程 | 35篇 |
能源动力 | 151篇 |
轻工业 | 390篇 |
水利工程 | 29篇 |
石油天然气 | 8篇 |
无线电 | 259篇 |
一般工业技术 | 437篇 |
冶金工业 | 354篇 |
原子能技术 | 31篇 |
自动化技术 | 542篇 |
出版年
2024年 | 10篇 |
2023年 | 42篇 |
2022年 | 104篇 |
2021年 | 150篇 |
2020年 | 98篇 |
2019年 | 82篇 |
2018年 | 103篇 |
2017年 | 90篇 |
2016年 | 108篇 |
2015年 | 79篇 |
2014年 | 148篇 |
2013年 | 211篇 |
2012年 | 207篇 |
2011年 | 212篇 |
2010年 | 167篇 |
2009年 | 130篇 |
2008年 | 162篇 |
2007年 | 131篇 |
2006年 | 92篇 |
2005年 | 84篇 |
2004年 | 63篇 |
2003年 | 46篇 |
2002年 | 52篇 |
2001年 | 45篇 |
2000年 | 41篇 |
1999年 | 37篇 |
1998年 | 61篇 |
1997年 | 44篇 |
1996年 | 45篇 |
1995年 | 45篇 |
1994年 | 29篇 |
1993年 | 39篇 |
1992年 | 20篇 |
1991年 | 26篇 |
1990年 | 14篇 |
1989年 | 14篇 |
1988年 | 15篇 |
1987年 | 15篇 |
1986年 | 14篇 |
1985年 | 18篇 |
1984年 | 17篇 |
1983年 | 13篇 |
1982年 | 21篇 |
1981年 | 15篇 |
1980年 | 11篇 |
1979年 | 11篇 |
1977年 | 16篇 |
1972年 | 11篇 |
1944年 | 10篇 |
1943年 | 21篇 |
排序方式: 共有3346条查询结果,搜索用时 15 毫秒
61.
Modeling and visualizing molecular surfaces is an important and challenging task in bioinformatics. Such surfaces play an essential role in better understanding the chemical and physical properties of molecules. However, constructing and displaying molecular surfaces requires complex algorithms. In this article we introduce MetaMol, a new program that generates high-quality images in interactive time. In contrast with existing software that discretizes the surface with triangles or grids, our program is based on a GPU accelerated ray-casting algorithm that directly uses the piecewise-defined algebraic equation of the molecular skin surface. As a result, both better performances and higher quality are obtained. 相似文献
62.
Operations on basic data structures such as queues, priority queues, stacks, and counters can dominate the execution time
of a parallel program due to both their frequency and their coordination and contention overheads. There are considerable
performance payoffs in developing highly optimized, asynchronous, distributed, cache-conscious, parallel implementations of
such data structures. Such implementations may employ a variety of tricks to reduce latencies and avoid serial bottlenecks,
as long as the semantics of the data structure are preserved. The complexity of the implementation and the difficulty in reasoning
about asynchronous systems increases concerns regarding possible bugs in the implementation.
In this paper we consider postmortem, black-box procedures for testing whether a parallel data structure behaved correctly. We present the first systematic study of algorithms
and hardness results for such testing procedures, focusing on queues, priority queues, stacks, and counters, under various
important scenarios. Our results demonstrate the importance of selecting test data such that distinct values are inserted
into the data structure (as appropriate). In such cases we present an O(n) time algorithm for testing linearizable queues, an O(n log n) time algorithm for testing linearizable priority queues, and an O( np
2
) time algorithm for testing sequentially consistent queues, where n is the number of data structure operations and p is the number of processors. In contrast, we show that testing such data structures for executions with arbitrary input
values is NP-complete. Our results also help clarify the thresholds between scenarios that admit polynomial time solutions
and those that are NP-complete. Our algorithms are the first nontrivial algorithms for these problems. 相似文献
63.
Multimodal support to group dynamics 总被引:1,自引:1,他引:0
Fabio Pianesi Massimo Zancanaro Elena Not Chiara Leonardi Vera Falcon Bruno Lepri 《Personal and Ubiquitous Computing》2008,12(3):181-195
The complexity of group dynamics occurring in small group interactions often hinders the performance of teams. The availability
of rich multimodal information about what is going on during the meeting makes it possible to explore the possibility of providing
support to dysfunctional teams from facilitation to training sessions addressing both the individuals and the group as a whole.
A necessary step in this direction is that of capturing and understanding group dynamics. In this paper, we discuss a particular
scenario, in which meeting participants receive multimedia feedback on their relational behaviour, as a first step towards
increasing self-awareness. We describe the background and the motivation for a coding scheme for annotating meeting recordings
partially inspired by the Bales’ Interaction Process Analysis. This coding scheme was aimed at identifying suitable observable
behavioural sequences. The study is complemented with an experimental investigation on the acceptability of such a service.
相似文献
Fabio Pianesi (Corresponding author)Email: |
Massimo ZancanaroEmail: |
Elena NotEmail: |
Chiara LeonardiEmail: |
Vera FalconEmail: |
Bruno LepriEmail: |
64.
Basic algorithms have been proposed in the field of low-power (Yao, F., et al. in Proceedings of lEEE annual foundations of
computer science, pp. 374–382, 1995) which compute the minimum energy-schedule for a set of non-recurrent tasks (or jobs) scheduled under EDF on a dynamically
variable voltage processor. In this study, we propose improvements upon existing algorithms with lower average and worst-case
complexities. They are based on a new EDF feasibility test that helps to identify the “critical intervals”. The complexity
of this feasibility test depends on structural characteristics of the set of jobs. More precisely, it depends on how tasks
are included one in the other. The first step of the algorithm is to construct the Hasse diagram of the set of tasks where
the partial order is defined by the inclusion relation on the tasks. Then, the algorithm constructs the shortest path in a
geometrical representation at each level of the Hasse diagram. The optimal processor speed is chosen according to the maximal
slope of each path.
相似文献
Nicolas NavetEmail: |
65.
Bruno Juliá-Díaz Joseph M. Burdis Frank Tabakin 《Computer Physics Communications》2006,174(11):914-934
This Mathematica 5.2 package1 is a simulation of a Quantum Computer. The program provides a modular, instructive approach for generating the basic elements that make up a quantum circuit. The main emphasis is on using the density matrix, although an approach using state vectors is also implemented in the package. The package commands are defined in Qdensity.m which contains the tools needed in quantum circuits, e.g., multiqubit kets, projectors, gates, etc. Selected examples of the basic commands are presented here and a tutorial notebook, Tutorial.nb is provided with the package (available on our website) that serves as a full guide to the package. Finally, application is made to a variety of relevant cases, including Teleportation, Quantum Fourier transform, Grover's search and Shor's algorithm, in separate notebooks: QFT.nb, Teleportation.nb, Grover.nb and Shor.nb where each algorithm is explained in detail. Finally, two examples of the construction and manipulation of cluster states, which are part of “one way computing” ideas, are included as an additional tool in the notebook Cluster.nb. A Mathematica palette containing most commands in QDENSITY is also included: QDENSpalette.nb.
Program summary
Title of program: QDENSITYCatalogue identifier: ADXH_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADXH_v1_0Program available from: CPC Program Library, Queen's University of Belfast, N. IrelandOperating systems: Any which supports Mathematica; tested under Microsoft Windows XP, Macintosh OS X, and Linux FC4Programming language used: Mathematica 5.2No. of bytes in distributed program, including test data, etc.: 180 581No. of lines in distributed program, including test data, etc.: 19 382Distribution format: tar.gzMethod of solution: A Mathematica package is provided which contains commands to create and analyze quantum circuits. Several Mathematica notebooks containing relevant examples: Teleportation, Shor's Algorithm and Grover's search are explained in detail. A tutorial, Tutorial.nb is also enclosed. 相似文献66.
Jean Mayrand Jean-François Patenaude Ettore Merlo Michel Dagenais Bruno Laguë 《Annals of Software Engineering》2000,9(1-2):117-141
This paper presents an assessment method to evaluate the quality of object oriented software systems. The assessment method is based on source code abstraction, object–oriented metrics and graphical representation. The metrics used and the underlying model representing the software are presented. The assessment method experiment is part of an industrial research effort with the Bell Canada Quality Engineering and Research Group. It helps evaluators assess the quality and risks associated with software by identifying code fragments presenting unusual characteristics. The assessment method evaluates object–oriented software systems at three levels of granularity: system level, class level and method level. One large C++ and eight Java software systems, for a total of over one million lines of code, are presented as case studies. A critical analysis of the results is presented comparing the systems and the two languages. 相似文献
67.
Alves RM Pereira BF Pitol DL Senhorini JA Rocha Rde C Caetano FH 《Microscopy research and technique》2012,75(5):615-619
The adipose fin is small, nonpared, and usually located medially between the dorsal and caudal fin. Its taxonomic occurrence is very restrict; thus, it represents an important trace for taxon distinction. As it does not play a known vital physiological roll and it is easily removed, it is commonly used in marking and recapture studies. The present study characterizes the adipose fin of Prochilodus lineatus, as it is poorly explored by the literature. The adipose fin consists basically of a loose connective core, covered by a stratified epithelium supported by collagen fibers. At the epithelium, pigmented cells and alarm substance cells are found. Despite the name, adipocytes or lipid droplets are not observed on the structure of the fin. 相似文献
68.
Antonio Vasilijevic Bruno Borovic Zoran Vukic 《Journal of Intelligent and Robotic Systems》2012,68(3-4):373-386
Rapid development of underwater technology during the last two decades yielded more affordable sensors and underwater vehicles, and, as a result, expanded their use from exclusively offshore industry towards smaller interdisciplinary research groups. Regardless of application, knowing the location of the vehicle operating underwater is crucial. Relatively inexpensive solution is sensor fusion based on a dynamic model of the vehicle aided by a Doppler Velocity Log and a Ultra-Short Base Line position system. Raw data from the sensors are highly asynchronous and susceptible to outliers, especially in shallow water environment. This paper presents detailed sensor analysis based on experimental data gathered in shallow waters, identifies outliers, presents an intuitive and simple sensor fusion algorithm and finally, discusses outlier rejection. The approach has been experimentally verified on medium size remotely operated vehicle. 相似文献
69.
We provide a Mathematica code for decomposing strongly correlated quantum states described by a first-quantized, analytical wave function into many-body Fock states. Within them, the single-particle occupations refer to the subset of Fock–Darwin functions with no nodes. Such states, commonly appearing in two-dimensional systems subjected to gauge fields, were first discussed in the context of quantum Hall physics and are nowadays very relevant in the field of ultracold quantum gases. As important examples, we explicitly apply our decomposition scheme to the prominent Laughlin and Pfaffian states. This allows for easily calculating the overlap between arbitrary states with these highly correlated test states, and thus provides a useful tool to classify correlated quantum systems. Furthermore, we can directly read off the angular momentum distribution of a state from its decomposition. Finally we make use of our code to calculate the normalization factors for Laughlin?s famous quasi-particle/quasi-hole excitations, from which we gain insight into the intriguing fractional behavior of these excitations.Program summaryProgram title: StrongdecoCatalogue identifier: AELA_v1_0Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AELA_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.: 5475No. of bytes in distributed program, including test data, etc.: 31 071Distribution format: tar.gzProgramming language: MathematicaComputer: Any computer on which Mathematica can be installedOperating system: Linux, Windows, MacClassification: 2.9Nature of problem: Analysis of strongly correlated quantum states.Solution method: The program makes use of the tools developed in Mathematica to deal with multivariate polynomials to decompose analytical strongly correlated states of bosons and fermions into a standard many-body basis. Operations with polynomials, determinants and permanents are the basic tools.Running time: The distributed notebook takes a couple of minutes to run. 相似文献
70.
Model predictive control (MPC) applications in the process industry usually deal with process systems that show time delays (dead times) between the system inputs and outputs. Also, in many industrial applications of MPC, integrating outputs resulting from liquid level control or recycle streams need to be considered as controlled outputs. Conventional MPC packages can be applied to time-delay systems but stability of the closed loop system will depend on the tuning parameters of the controller and cannot be guaranteed even in the nominal case. In this work, a state space model based on the analytical step response model is extended to the case of integrating time systems with time delays. This model is applied to the development of two versions of a nominally stable MPC, which is designed to the practical scenario in which one has targets for some of the inputs and/or outputs that may be unreachable and zone control (or interval tracking) for the remaining outputs. The controller is tested through simulation of a multivariable industrial reactor system. 相似文献