全文获取类型
收费全文 | 1862篇 |
免费 | 234篇 |
国内免费 | 235篇 |
专业分类
电工技术 | 74篇 |
综合类 | 190篇 |
化学工业 | 41篇 |
金属工艺 | 56篇 |
机械仪表 | 70篇 |
建筑科学 | 39篇 |
矿业工程 | 14篇 |
能源动力 | 11篇 |
轻工业 | 50篇 |
水利工程 | 8篇 |
石油天然气 | 8篇 |
武器工业 | 12篇 |
无线电 | 190篇 |
一般工业技术 | 91篇 |
冶金工业 | 17篇 |
原子能技术 | 2篇 |
自动化技术 | 1458篇 |
出版年
2024年 | 7篇 |
2023年 | 22篇 |
2022年 | 25篇 |
2021年 | 33篇 |
2020年 | 49篇 |
2019年 | 47篇 |
2018年 | 44篇 |
2017年 | 49篇 |
2016年 | 58篇 |
2015年 | 74篇 |
2014年 | 95篇 |
2013年 | 127篇 |
2012年 | 150篇 |
2011年 | 155篇 |
2010年 | 128篇 |
2009年 | 147篇 |
2008年 | 154篇 |
2007年 | 145篇 |
2006年 | 159篇 |
2005年 | 110篇 |
2004年 | 86篇 |
2003年 | 78篇 |
2002年 | 63篇 |
2001年 | 48篇 |
2000年 | 40篇 |
1999年 | 20篇 |
1998年 | 25篇 |
1997年 | 26篇 |
1996年 | 20篇 |
1995年 | 26篇 |
1994年 | 14篇 |
1993年 | 18篇 |
1992年 | 9篇 |
1991年 | 7篇 |
1990年 | 5篇 |
1989年 | 4篇 |
1987年 | 2篇 |
1986年 | 2篇 |
1985年 | 2篇 |
1984年 | 10篇 |
1983年 | 2篇 |
1982年 | 8篇 |
1981年 | 6篇 |
1980年 | 6篇 |
1979年 | 4篇 |
1978年 | 3篇 |
1977年 | 5篇 |
1975年 | 5篇 |
1974年 | 4篇 |
1973年 | 2篇 |
排序方式: 共有2331条查询结果,搜索用时 15 毫秒
61.
Finite automata theory with membership values in lattices 总被引:1,自引:0,他引:1
Yongming Li 《Information Sciences》2011,181(5):1003-139
In this paper, we study finite automata with membership values in a lattice, which are called lattice-valued finite automata. The extended subset construction of lattice-valued finite automata is introduced, then the equivalences between lattice-valued finite automata, lattice-valued deterministic finite automata and lattice-valued finite automata with ε-moves are proved. A simple characterization of lattice-valued languages recognized by lattice-valued finite automata is given, then it is proved that the Kleene theorem holds in the frame of lattice-setting. A minimization algorithm of lattice-valued deterministic finite automata is presented. In particular, the role of the distributive law for the truth valued domain of finite automata is analyzed: the distributive law is not necessary to many constructions of lattice-valued finite automata, but it indeed provides some convenience in simply processing lattice-valued finite automata. 相似文献
62.
In arid and semiarid areas of northern China, one of the most vulnerable regional environments, water resources are a key constraint on socioeconomic development. We constructed a simulation model for land-use patterns under a drought transition (i.e., the increased frequency and duration of drought since the late 1970s in the Yongding River Basin study area) to account for the complexity of both the driving factors behind land-use change and the micro-level changes in land-use patterns. This model was a combination of the “top-down” system dynamics model, the “bottom-up” cellular automaton model, and the artificial neural network model. In this model, we considered the socioeconomic development and water resource restrictions, as well as the balance between the land-use requirements and the land supply. We then verified the model through a case study. The results demonstrated the value of constructing a simulation model driven by water resource constraints under the influence of drought. The spatial distribution of land uses in future scenarios will help support decision-making for sustainable regional development. 相似文献
63.
N. Beneš L. Brim B. Buhnova I. ?erná J. Sochor P. Va?eková 《Science of Computer Programming》2011,76(10):877-890
Software systems assembled from a large number of autonomous components become an interesting target for formal verification due to the issue of correct interplay in component interaction. State/event LTL (Chaki et al. (2004, 2005) [1] and [2]) incorporates both states and events to express important properties of component-based software systems.The main contribution of this paper is a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of stuttering equivalence which we call state/event stuttering equivalence. The positive attribute of the equivalence is that it can be resolved with existing methods for partial order reduction. State/event LTL properties are, in general, not preserved under state/event stuttering equivalence. To this end we define a new logic, called weak state/event LTL, which is invariant under the new equivalence.To bring some evidence of the method’s efficiency, we present some of the results obtained by employing the partial order reduction technique within our tool for verification of component-based systems modelled using the formalism of component-interaction automata (Brim et al. (2005) [3]). 相似文献
64.
Urban growth modeling of Kathmandu metropolitan region, Nepal 总被引:6,自引:0,他引:6
The complexity of urban system requires integrated tools and techniques to understand the spatial process of urban development and project the future scenarios. This research aims to simulate urban growth patterns in Kathmandu metropolitan region in Nepal. The region, surrounded by complex mountainous terrain, has very limited land resources for new developments. As similar to many cities of the developing world, it has been facing rapid population growth and daunting environmental problems. Three time series land use maps in a fine-scale (30 m resolution), derived from satellite remote sensing, for the last three decades of the 20th century were used to clarify the spatial process of urbanization. Based on the historical experiences of the land use transitions, we adopted weight of evidence method integrated in cellular automata framework for predicting the future spatial patterns of urban growth. We extrapolated urban development patterns to 2010 and 2020 under the current scenario across the metropolitan region. Depending on local characteristics and land cover transition rates, this model produced noticeable spatial pattern of changes in the region. Based on the extrapolated spatial patterns, the urban development in the Kathmandu valley will continue through both in-filling in existing urban areas and outward rapid expansion toward the east and south directions. Overall development will be greatly affected by the existing urban space, transportation network, and topographic complexity. 相似文献
65.
66.
In this paper the nodes of the hexagonal grid are used as points. There are three types of neighbours on this grid, therefore neighbourhood sequences contain values 1, 2, 3. The grid is coordinatized by three coordinates in a symmetric way. Digital circles are classified based on digital distances using neighbourhood sequences. They can be triangle, hexagon, enneagon and dodecagon. Their corners and side-lengths are computed, such as their perimeters and areas. The radius of a digital disk is usually not well-defined, i.e., the same disk can have various radii according to the neighbourhood sequence used. Therefore the non-compactness ratio is used to measure the quality of approximation of the Euclidean circles. The best approximating neighbourhood sequence is presented. It is shown that the approximation can be improved using two neighbourhood sequences in parallel. Comparisons to other approximations are also shown. 相似文献
67.
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a standard timed automaton. In both cases, we show that simulation checking is Exptime-hard, and for the case of a non-flat implementation, the result holds even if there is no synchronization between the parallel components and their alphabets of actions are pairwise disjoint. Moreover, we show that the considered problems become Pspace-complete when the specification is assumed to be deterministic. Additionally, we establish that comparing a synchronous non-flat system with no hiding and a flat system is Pspace-hard for any relation between trace containment and bisimulation equivalence, even if the flat system is assumed to be fixed. 相似文献
68.
Changwook Kim 《Theoretical computer science》2011,412(48):6720-6735
A pushdown automaton (PDA) is quasi-rocking if it preserves the stack height for no more than a bounded number of consecutive moves. Every PDA can be transformed into an equivalent one that is quasi-rocking and real-time and every finite-turn (one-turn) PDA can be transformed into an equivalent one that is quasi-rocking or real-time. The quasi-rocking [quasi-rocking in the increasing mode, and quasi-rocking in the decreasing mode] real-time restriction in finite-turn (one-turn) PDAs coincides with the double Greibach [reverse Greibach, and Greibach] form in nonterminal-bounded (linear) context-free grammars. This provides complete grammatical characterizations of quasi-rocking and/or real-time (finite-turn and one-turn) PDAs and, together with known relations and other relations proved in the present paper, yields an extended hierarchy of PDA languages. Basic decision properties for PDAs can be stated in stronger forms by using the quasi-rocking and real-time restrictions and their undecidability/decidability status rests on the way PDAs quasi-rock. 相似文献
69.
P.-C. Héam 《Theoretical computer science》2011,412(41):5808-5813
Profinite topology is used in the classification of rational languages. In particular, several important decidability problems, related to the Malcev product, reduce to the computation of the closure of a rational language in the profinite topology. It is known that, given a rational language by a deterministic automaton, computing a deterministic automaton accepting its profinite closure can be done with an exponential upper bound. This paper is dedicated the study of a lower bound for this problem: we prove that, in some cases, if the alphabet contains at least three letters, it requires an exponential time. 相似文献
70.