全文获取类型
收费全文 | 394篇 |
免费 | 9篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 2篇 |
化学工业 | 45篇 |
金属工艺 | 5篇 |
机械仪表 | 12篇 |
建筑科学 | 17篇 |
能源动力 | 16篇 |
轻工业 | 50篇 |
水利工程 | 1篇 |
石油天然气 | 4篇 |
无线电 | 23篇 |
一般工业技术 | 45篇 |
冶金工业 | 109篇 |
原子能技术 | 4篇 |
自动化技术 | 71篇 |
出版年
2021年 | 8篇 |
2020年 | 3篇 |
2019年 | 11篇 |
2018年 | 3篇 |
2017年 | 5篇 |
2016年 | 8篇 |
2015年 | 5篇 |
2014年 | 9篇 |
2013年 | 20篇 |
2012年 | 19篇 |
2011年 | 18篇 |
2010年 | 12篇 |
2009年 | 14篇 |
2008年 | 15篇 |
2007年 | 19篇 |
2006年 | 13篇 |
2005年 | 8篇 |
2004年 | 14篇 |
2003年 | 6篇 |
2002年 | 3篇 |
2001年 | 6篇 |
2000年 | 4篇 |
1999年 | 2篇 |
1998年 | 19篇 |
1997年 | 8篇 |
1996年 | 12篇 |
1995年 | 12篇 |
1994年 | 15篇 |
1993年 | 10篇 |
1992年 | 5篇 |
1991年 | 8篇 |
1990年 | 5篇 |
1989年 | 10篇 |
1988年 | 7篇 |
1987年 | 2篇 |
1986年 | 4篇 |
1985年 | 9篇 |
1984年 | 8篇 |
1983年 | 2篇 |
1982年 | 2篇 |
1981年 | 3篇 |
1980年 | 6篇 |
1979年 | 4篇 |
1977年 | 7篇 |
1976年 | 4篇 |
1975年 | 3篇 |
1974年 | 4篇 |
1971年 | 2篇 |
1944年 | 1篇 |
1926年 | 1篇 |
排序方式: 共有404条查询结果,搜索用时 31 毫秒
1.
Ivonne Sgura Amos S. Lawless Benedetto Bozzini 《Inverse Problems in Science & Engineering》2019,27(5):618-647
The process of electrodeposition can be described in terms of a reaction-diffusion partial differential equation (PDE) system that models the dynamics of the morphology profile and the chemical composition. Here we fit such a model to the different patterns present in a range of electrodeposited and electrochemically modified alloys using PDE constrained optimization. Experiments with simulated data show how the parameter space of the model can be divided into zones corresponding to the different physical patterns by examining the structure of an appropriate cost function. We then use real data to demonstrate how numerical optimization of the cost function can allow the model to fit the rich variety of patterns arising in experiments. The computational technique developed provides a potential tool for tuning experimental parameters to produce desired patterns. 相似文献
2.
PeterG. Amos 《Sealing Technology》1996,1996(28):10-12
‘Shrinking government’ and ‘Empowerment” really mean something in the standards business. New US government policies will sharply curtail the use of “MIL” specifications and standards. This dramatic move offers industry a more active role by creating new ‘performance-based’ standards. This article reviews the US department of Defence (DoD) decision and its expected consequences in the context of Aerospace Fluid Power. 相似文献
3.
van Gelderen Amos; Schoonen Rob; de Glopper Kees; Hulstijn Jan; Simis Annegien; Snellings Patrick; Stevenson Marie 《Canadian Metallurgical Quarterly》2004,96(1):19
The authors report results of a study into the role of components of first-language (L1; Dutch) and second-language (L2; English) reading comprehension. Differences in the contributions of components of L1 and L2 reading comprehension are analyzed, in particular processing speed in L1 and L2. Findings indicate that regression weights of the L1 and L2 components are different. Although correlations between most processing speed components and reading comprehension are substantial, there are no unique contributions to the explanation of either L1 or L2 reading comprehension when linguistic and metacognitive knowledge are accounted for. In addition, L1 reading comprehension is shown to have a large contribution to L2 reading comprehension, supporting theories of L1-L2 transfer of reading skills. Results are discussed from a developmental perspective. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
4.
Development of adolescent reading comprehension in language 1 and language 2: A longitudinal analysis of constituent components. 总被引:1,自引:0,他引:1
van Gelderen Amos; Schoonen Rob; Stoel Reinoud D.; de Glopper Kees; Hulstijn Jan 《Canadian Metallurgical Quarterly》2007,99(3):477
This study investigated the relationship between reading comprehension development of 389 adolescents in their dominant language (Language 1 [L1], Dutch) and a foreign language (Language 2 [L2], English). In each consecutive year from Grades 8 through 10, a number of measurements were taken. Students' reading comprehension, their linguistic knowledge (vocabulary and grammar knowledge) and processing efficiency (speed of word recognition and sentence comprehension) in both languages, and their metacognitive knowledge about reading were assessed. The relative strengths of the effects of these components of reading were analyzed to distinguish among 3 hypotheses about the relationship between L1 and L2 reading comprehension: the transfer hypothesis, the threshold hypothesis, and the processing efficiency hypothesis. The transfer hypothesis predicts a strong relationship between L1 and L2 reading comprehension and a strong effect of metacognitive knowledge on L2 reading comprehension, whereas the threshold and processing efficiency hypotheses predict a more important role of language-specific knowledge and processing skills. Results support the transfer hypothesis, although language-specific knowledge and fluency also contribute to L2 reading performance. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
5.
This paper presents an efficient scheme maintaining a separator decomposition representation in dynamic trees using asymptotically optimal labels. In order to maintain the short labels, the scheme uses relatively low
message complexity. In particular, if the initial dynamic tree contains only the root, then the scheme incurs an O(log4
n) amortized message complexity per topology change, where n is the current number of vertices in the tree. As a separator decomposition is a fundamental decomposition of trees used
extensively as a component in many static graph algorithms, our dynamic scheme for separator decomposition may be used for
constructing dynamic versions to these algorithms. The paper then shows how to use our dynamic separator decomposition to
construct efficient labeling schemes on dynamic trees, using the same message complexity as our dynamic separator scheme.
Specifically, we construct efficient routing schemes on dynamic trees, for both the designer and the adversary port models,
which maintain optimal labels, up to a multiplicative factor of O(log log n). In addition, it is shown how to use our dynamic separator decomposition scheme to construct dynamic labeling schemes supporting
the ancestry and NCA relations using asymptotically optimal labels, as well as to extend a known result on dynamic distance
labeling schemes.
Supported in part at the Technion by an Aly Kaufman fellowship.
Supported in part by a grant from the Israel Science Foundation. 相似文献
6.
This paper presents an industrial application of simulation-based optimization (SBO) in the scheduling and real-time rescheduling of a complex machining line in an automotive manufacturer in Sweden. Apart from generating schedules that are robust and adaptive, the scheduler must be able to carry out rescheduling in real time in order to cope with the system uncertainty effectively. A real-time scheduling system is therefore needed to support not only the work of the production planner but also the operators on the shop floor by re-generating feasible schedules when required. This paper describes such a real-time scheduling system, which is in essence a SBO system integrated with the shop floor database system. The scheduling system, called OPTIMISE scheduling system (OSS), uses real-time data from the production line and sends back expert suggestions directly to the operators through Personal Digital Assistants (PDAs). The user interface helps in generating new schedules and enables the users to easily monitor the production progress through visualization of production status and allows them to forecast and display target performance measures. Initial results from this industrial application have shown that such a novel scheduling system can help both in improving the line throughput efficiently and simultaneously supporting real-time decision making. 相似文献
7.
8.
This paper deals with compact label-based representations for trees. Consider an n-node undirected connected graph G with a predefined numbering on the ports of each node. The all-ports tree labeling ℒ
all
gives each node v of G a label containing the port numbers of all the tree edges incident to v. The upward tree labeling ℒ
up
labels each node v by the number of the port leading from v to its parent in the tree. Our measure of interest is the worst case and total length of the labels used by the scheme, denoted
M
up
(T) and S
up
(T) for ℒ
up
and M
all
(T) and S
all
(T) for ℒ
all
. The problem studied in this paper is the following: Given a graph G and a predefined port labeling for it, with the ports of each node v numbered by 0,…,deg (v)−1, select a rooted spanning tree for G minimizing (one of) these measures. We show that the problem is polynomial for M
up
(T), S
up
(T) and S
all
(T) but NP-hard for M
all
(T) (even for 3-regular planar graphs). We show that for every graph G and port labeling there exists a spanning tree T for which S
up
(T)=O(nlog log n). We give a tight bound of O(n) in the cases of complete graphs with arbitrary labeling and arbitrary graphs with symmetric port labeling. We conclude by
discussing some applications for our tree representation schemes.
A preliminary version of this paper has appeared in the proceedings of the 7th International Workshop on Distributed Computing
(IWDC), Kharagpur, India, December 27–30, 2005, as part of Cohen, R. et al.: Labeling schemes for tree representation. In:
Proceedings of 7th International Workshop on Distributed Computing (IWDC), Lecture Notes of Computer Science, vol. 3741, pp. 13–24
(2005).
R. Cohen supported by the Pacific Theaters Foundation.
P. Fraigniaud and D. Ilcinkas supported by the project “PairAPair” of the ACI Masses de Données, the project “Fragile” of
the ACI Sécurité et Informatique, and by the project “Grand Large” of INRIA.
A. Korman supported in part by an Aly Kaufman fellowship.
D. Peleg supported in part by a grant from the Israel Science Foundation. 相似文献
9.
10.
Amos Korman 《Distributed Computing》2007,20(3):179-193
Let F be a function on pairs of vertices. An F-labeling scheme is composed of a marker algorithm for labeling the vertices of a graph with short labels, coupled with a decoder algorithm allowing one to compute F(u, v) for any two vertices u and v directly from their labels. As applications for labeling schemes concern mainly large and dynamically changing networks,
it is of interest to study distributed dynamic labeling schemes. This paper investigates labeling schemes for dynamic trees. We consider two dynamic tree models, namely,
the leaf-dynamic tree model in which at each step a leaf can be added to or removed from the tree and the leaf-increasing tree model in which the only topological event that may occur is that a leaf joins the tree. A general method for constructing
labeling schemes for dynamic trees (under the above mentioned dynamic tree models) was previously developed in Korman et al.
(Theory Comput Syst 37:49–75, 2004). This method is based on extending an existing static tree labeling scheme to the dynamic setting. This approach fits many natural functions on trees, such as distance, separation
level, ancestry relation, routing (in both the adversary and the designer port models), nearest common ancestor etc.. Their
resulting dynamic schemes incur overheads (over the static scheme) on the label size and on the communication complexity.
In particular, all their schemes yield a multiplicative overhead factor of Ω(log n) on the label sizes of the static schemes. Following (Korman et al., Theory Comput Syst 37:49–75, 2004), we develop a different
general method for extending static labeling schemes to the dynamic tree settings. Our method fits the same class of tree
functions. In contrast to the above paper, our trade-off is designed to minimize the label size, sometimes at the expense
of communication. Informally, for any function k(n) and any static F-labeling scheme on trees, we present an F-labeling scheme on dynamic trees incurring multiplicative overhead factors (over the static scheme) of on the label size and on the amortized message complexity. In particular, by setting for any , we obtain dynamic labeling schemes with asymptotically optimal label sizes and sublinear amortized message complexity for
the ancestry relation, the id-based and label-based nearest common ancestor relation and the routing function.
Supported in part at the Technion by an Aly Kaufman fellowship. 相似文献