全文获取类型
收费全文 | 2521篇 |
免费 | 94篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 22篇 |
综合类 | 2篇 |
化学工业 | 407篇 |
金属工艺 | 43篇 |
机械仪表 | 49篇 |
建筑科学 | 190篇 |
矿业工程 | 7篇 |
能源动力 | 67篇 |
轻工业 | 235篇 |
水利工程 | 44篇 |
石油天然气 | 9篇 |
武器工业 | 1篇 |
无线电 | 140篇 |
一般工业技术 | 458篇 |
冶金工业 | 510篇 |
原子能技术 | 31篇 |
自动化技术 | 401篇 |
出版年
2022年 | 11篇 |
2021年 | 53篇 |
2020年 | 30篇 |
2019年 | 45篇 |
2018年 | 49篇 |
2017年 | 51篇 |
2016年 | 67篇 |
2015年 | 59篇 |
2014年 | 75篇 |
2013年 | 183篇 |
2012年 | 127篇 |
2011年 | 149篇 |
2010年 | 125篇 |
2009年 | 115篇 |
2008年 | 146篇 |
2007年 | 121篇 |
2006年 | 95篇 |
2005年 | 92篇 |
2004年 | 66篇 |
2003年 | 74篇 |
2002年 | 66篇 |
2001年 | 33篇 |
2000年 | 39篇 |
1999年 | 42篇 |
1998年 | 77篇 |
1997年 | 60篇 |
1996年 | 36篇 |
1995年 | 38篇 |
1994年 | 40篇 |
1993年 | 30篇 |
1992年 | 16篇 |
1991年 | 17篇 |
1990年 | 20篇 |
1989年 | 22篇 |
1988年 | 27篇 |
1987年 | 12篇 |
1986年 | 16篇 |
1985年 | 24篇 |
1984年 | 35篇 |
1983年 | 21篇 |
1982年 | 25篇 |
1981年 | 16篇 |
1980年 | 17篇 |
1979年 | 11篇 |
1978年 | 19篇 |
1977年 | 13篇 |
1976年 | 24篇 |
1975年 | 15篇 |
1974年 | 17篇 |
1972年 | 11篇 |
排序方式: 共有2616条查询结果,搜索用时 263 毫秒
51.
Ryan N. Smith Mac Schwager Stephen L. Smith Burton H. Jones Daniela Rus Gaurav S. Sukhatme 《野外机器人技术杂志》2011,28(5):714-741
Ocean processes are dynamic and complex and occur on multiple spatial and temporal scales. To obtain a synoptic view of such processes, ocean scientists collect data over long time periods. Historically, measurements were continually provided by fixed sensors, e.g., moorings, or gathered from ships. Recently, an increase in the utilization of autonomous underwater vehicles has enabled a more dynamic data acquisition approach. However, we still do not utilize the full capabilities of these vehicles. Here we present algorithms that produce persistent monitoring missions for underwater vehicles by balancing path following accuracy and sampling resolution for a given region of interest, which addresses a pressing need among ocean scientists to efficiently and effectively collect high‐value data. More specifically, this paper proposes a path planning algorithm and a speed control algorithm for underwater gliders, which together give informative trajectories for the glider to persistently monitor a patch of ocean. We optimize a cost function that blends two competing factors: maximize the information value along the path while minimizing deviation from the planned path due to ocean currents. Speed is controlled along the planned path by adjusting the pitch angle of the underwater glider, so that higher resolution samples are collected in areas of higher information value. The resulting paths are closed circuits that can be repeatedly traversed to collect long‐term ocean data in dynamic environments. The algorithms were tested during sea trials on an underwater glider operating off the coast of southern California, as well as in Monterey Bay, California. The experimental results show improvements in both data resolution and path reliability compared to previously executed sampling paths used in the respective regions. © 2011 Wiley Periodicals, Inc. 相似文献
52.
Partitioning large networks without breaking communities 总被引:1,自引:1,他引:0
Anand Narasimhamurthy Derek Greene Neil Hurley Pádraig Cunningham 《Knowledge and Information Systems》2010,25(2):345-369
The identification of cohesive communities is a key process in social network analysis. However, the algorithms that are effective
for finding communities do not scale well to very large problems, as their time complexity is worse than linear in the number
of edges in the graph. This is an important issue for those interested in applying social network analysis techniques to very
large networks, such as networks of mobile phone subscribers. In this respect, the contributions of this paper are twofold.
First, we demonstrate these scaling issues using a prominent community-finding algorithm as a case study. Then, we show that
a two-stage process, whereby the network is first decomposed into manageable subnetworks using a multilevel graph partitioning
procedure, is effective in finding communities in networks with more than 106 nodes. 相似文献
53.
Efficient monitoring of parametric context-free patterns 总被引:1,自引:0,他引:1
Patrick O’Neil Meredith Dongyun Jin Feng Chen Grigore Roşu 《Automated Software Engineering》2010,17(2):149-180
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications
can be efficiently monitored against large programs. However, these logics reduce to ordinary finite automata, limiting their
expressivity. For example, neither can specify structured properties that refer to the call stack of the program. While context-free
grammars (CFGs) are expressive and well-understood, existing techniques for monitoring CFGs generate large runtime overhead
in real-life applications. This paper demonstrates that monitoring parametric CFGs is practical (with overhead on the order of 12% or lower in most cases). We present a monitor synthesis algorithm for CFGs based on an
LR(1) parsing algorithm, modified to account for good prefix matching. In addition, a logic-independent mechanism is introduced
to support matching against the suffixes of execution traces. 相似文献
54.
Jesús P. Mena-Chalco Ives Macêdo Luiz Velho Roberto M. Cesar Jr. 《The Visual computer》2009,25(10):899-909
In this paper, we present a 3D face photography system based on a facial expression training dataset, composed of both facial range images (3D geometry) and facial texture (2D photography). The proposed system allows one to obtain a 3D geometry representation of a given face provided as a 2D photography, which undergoes a series of transformations through the texture and geometry spaces estimated. In the training phase of the system, the facial landmarks are obtained by an active shape model (ASM) extracted from the 2D gray-level photography. Principal components analysis (PCA) is then used to represent the face dataset, thus defining an orthonormal basis of texture and another of geometry. In the reconstruction phase, an input is given by a face image to which the ASM is matched. The extracted facial landmarks and the face image are fed to the PCA basis transform, and a 3D version of the 2D input image is built. Experimental tests using a new dataset of 70 facial expressions belonging to ten subjects as training set show rapid reconstructed 3D faces which maintain spatial coherence similar to the human perception, thus corroborating the efficiency and the applicability of the proposed system. 相似文献
55.
Neil D. Christensen 《Computer Physics Communications》2009,180(9):1614-1641
In this paper we present FeynRules, a new Mathematica package that facilitates the implementation of new particle physics models. After the user implements the basic model information (e.g., particle content, parameters and Lagrangian), FeynRules derives the Feynman rules and stores them in a generic form suitable for translation to any Feynman diagram calculation program. The model can then be translated to the format specific to a particular Feynman diagram calculator via FeynRules translation interfaces. Such interfaces have been written for CalcHEP/CompHEP, FeynArts/FormCalc, MadGraph/MadEvent and Sherpa, making it possible to write a new model once and have it work in all of these programs. In this paper, we describe how to implement a new model, generate the Feynman rules, use a generic translation interface, and write a new translation interface. We also discuss the details of the FeynRules code.
Program summary
Program title: FeynRulesCatalogue identifier: AEDI_v1_0Program summary URL::http://cpc.cs.qub.ac.uk/summaries/AEDI_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.: 15 980No. of bytes in distributed program, including test data, etc.: 137 383Distribution format: tar.gzProgramming language: MathematicaComputer: Platforms on which Mathematica is availableOperating system: Operating systems on which Mathematica is availableClassification: 11.1, 11.2, 11.6Nature of problem: Automatic derivation of Feynman rules from a Lagrangian. Implementation of new models into Monte Carlo event generators and FeynArts.Solution method: FeynRules works in two steps:1. derivation of the Feynman rules directly form the Lagrangian using canonical commutation relations among fields and creation operators. 2. implementation of the new physics model into FeynArts as well as various Monte Carlo programs via interfaces. - Full-size table
56.
Mehdi Dastani Leendert van der Torre Neil Yorke-Smith 《Autonomous Agents and Multi-Agent Systems》2017,31(2):207-249
In an organisational setting such as an online marketplace, an entity called the ‘organisation’ or ‘institution’ defines interaction protocols, monitors agent interaction, and intervenes to enforce the interaction protocols. The organisation might be a software system that thus regulates the marketplace, for example. In this article we abstract over application-specific protocols and consider commitment lifecycles as generic interaction protocols. We model interaction protocols by explicitly-represented norms, such that we can operationalise the enforcement of protocols by means of norm enforcement, and we can analyse the protocols by a logical analysis of the norms. We adopt insights and methods from commitment-based approaches to agent interaction as well as from norm-based approaches to agent behaviour governance. First, we show how to use explicitly-represented norms to model commitment dynamics (lifecycles). Second, we introduce an operational semantics to operationalise norm enforcement. Third, we show how to logically analyse interaction protocols by means of commitment dynamics and norm enforcement. The model, semantics, and analysis are illustrated by a running example from a vehicle insurance domain. 相似文献
57.
Constructing plans that can handle multiple problem instances is a longstanding open problem in AI. We present a framework for generalized planning that captures the notion of algorithm-like plans and unifies various approaches developed for addressing this problem. Using this framework, and building on the TVLA system for static analysis of programs, we develop a novel approach for computing generalizations of classical plans by identifying sequences of actions that will make measurable progress when placed in a loop. In a wide class of problems that we characterize formally in the paper, these methods allow us to find generalized plans with loops for solving problem instances of unbounded sizes and also to determine the correctness and applicability of the computed generalized plans. We demonstrate the scope and scalability of the proposed approach on a wide range of planning problems. 相似文献
58.
59.
Consider the robust network design problem of finding a minimum cost network with enough capacity to route all traffic demand
matrices in a given polytope. We investigate the impact of different routing models in this robust setting: in particular,
we compare oblivious routing, where the routing between each terminal pair must be fixed in advance, to dynamic routing, where routings may depend arbitrarily on the current demand. Our main result is a construction that shows that the
optimal cost of such a network based on oblivious routing (fractional or integral) may be a factor of Ω(log n) more than the cost required when using dynamic routing. This is true even in the important special case of the asymmetric
hose model. This answers a question in (Chekuri, SIGACT News 38(3):106–128, 2007), and is tight up to constant factors. Our proof technique builds on a connection between expander graphs and robust design
for single-sink traffic patterns (Chekuri et al., Networks 50(1):50–54, 2007). 相似文献
60.