全文获取类型
收费全文 | 3221篇 |
免费 | 192篇 |
国内免费 | 10篇 |
专业分类
电工技术 | 37篇 |
综合类 | 1篇 |
化学工业 | 840篇 |
金属工艺 | 32篇 |
机械仪表 | 81篇 |
建筑科学 | 167篇 |
矿业工程 | 6篇 |
能源动力 | 145篇 |
轻工业 | 418篇 |
水利工程 | 20篇 |
石油天然气 | 6篇 |
无线电 | 318篇 |
一般工业技术 | 517篇 |
冶金工业 | 162篇 |
原子能技术 | 25篇 |
自动化技术 | 648篇 |
出版年
2024年 | 6篇 |
2023年 | 40篇 |
2022年 | 112篇 |
2021年 | 178篇 |
2020年 | 89篇 |
2019年 | 94篇 |
2018年 | 108篇 |
2017年 | 112篇 |
2016年 | 129篇 |
2015年 | 90篇 |
2014年 | 141篇 |
2013年 | 256篇 |
2012年 | 209篇 |
2011年 | 220篇 |
2010年 | 151篇 |
2009年 | 144篇 |
2008年 | 165篇 |
2007年 | 142篇 |
2006年 | 115篇 |
2005年 | 100篇 |
2004年 | 89篇 |
2003年 | 90篇 |
2002年 | 78篇 |
2001年 | 53篇 |
2000年 | 31篇 |
1999年 | 36篇 |
1998年 | 34篇 |
1997年 | 36篇 |
1996年 | 37篇 |
1995年 | 34篇 |
1994年 | 23篇 |
1993年 | 30篇 |
1992年 | 15篇 |
1991年 | 15篇 |
1990年 | 13篇 |
1989年 | 18篇 |
1988年 | 15篇 |
1987年 | 21篇 |
1986年 | 12篇 |
1985年 | 8篇 |
1984年 | 12篇 |
1983年 | 13篇 |
1982年 | 12篇 |
1981年 | 11篇 |
1980年 | 10篇 |
1979年 | 15篇 |
1978年 | 9篇 |
1977年 | 6篇 |
1974年 | 11篇 |
1973年 | 9篇 |
排序方式: 共有3423条查询结果,搜索用时 13 毫秒
61.
Bruno R. de Araújo Tiago Guerreiro Manuel J. Fonseca Joaquim A. Jorge João M. Pereira Monica Bordegoni Francesco Ferrise Mario Covarrubias Michele Antolini 《Journal of Real-Time Image Processing》2010,5(2):73-90
Currently, the design of aesthetic products is a process that requires a set of activities where digital models and physical
mockups play a key role. Typically, these are modified (and built) several times before reaching the desired design, increasing
the development time and, consequently, the final product cost. In this paper, we present an innovative design environment
for computer-aided design (CAD) surface analysis. Our system relies on a direct visuo-haptic display system, which enables
users to visualize models using a stereoscopic view, and allows the evaluation of sectional curves using touch. Profile curves
are rendered using an haptic device that deforms a plastic strip, thanks to a set of actuators, to reproduce the curvature
of the shape co-located with the virtual model. By touching the strip, users are able to evaluate shape characteristics, such
as curvature or discontinuities (rendered using sound), and to assess the surface quality. We believe that future computer-aided
systems (CAS)/CAD systems based on our approach will contribute in improving the design process at industrial level. Moreover,
these will allow companies to reduce the product development time by reducing the number of physical mockups necessary for
the product design evaluation and by increasing the quality of the final product, allowing a wider exploration and comparative
evaluation of alternatives in the given time. 相似文献
62.
Nikolaus Correll Nikos Arechiga Adrienne Bolger Mario Bollini Ben Charrow Adam Clayton Felipe Dominguez Kenneth Donahue Samuel Dyar Luke Johnson Huan Liu Alexander Patrikalakis Timothy Robertson Jeremy Smith Daniel Soltero Melissa Tanner Lauren White Daniela Rus 《Intelligent Service Robotics》2010,3(4):219-232
This paper describes the architecture and implementation of a distributed autonomous gardening system with applications in urban/indoor precision agriculture. The garden is a mesh network of robots and plants. The gardening robots are mobile manipulators with an eye-in-hand camera. They are capable of locating plants in the garden, watering them, and locating and grasping fruit. The plants are potted cherry tomatoes enhanced with sensors and computation to monitor their well-being (e.g. soil humidity, state of fruits) and with networking to communicate servicing requests to the robots. By embedding sensing, computation, and communication into the pots, task allocation in the system is de-centrally coordinated, which makes the system scalable and robust against the failure of a centralized agent. We describe the architecture of this system and present experimental results for navigation, object recognition, and manipulation as well as challenges that lie ahead toward autonomous precision agriculture with multi-robot teams. 相似文献
63.
Mario Guajardo Mikael Rönnqvist 《International Transactions in Operational Research》2016,23(3):371-392
Collaboration in transportation between two or more agents is becoming an important approach to find efficient solutions or plans. Efficiency can be measured in, for example, lower cost or more flexibility. An important aspect of the collaboration is to decide on how to share the benefits—for example, cost, profit, or resources. There are many sharing mechanisms or cost allocations proposed in the literature. Some are based on simple proportional rules and others are based on theoretical concepts found in game theory. We provide a survey on cost allocation methods found in the literature on collaborative transportation, including problems on planning, vehicle routing, traveling salesman, distribution, and inventory. A total of 55 scientific articles compose the main part of the survey, most of them published between 2010 and 2015. We identify more than 40 cost allocation methods used in this stream of literature. We describe the theoretical basis for the main methods as well as the cases where they are used. We also report savings from the collaborations when they are based on industrial data. Some directions for future research are discussed. 相似文献
64.
Mario G. C. A. Cimino Filippo Palumbo Gigliola Vaglini Erina Ferro Nedo Celandroni Davide La Rosa 《Information Technology and Management》2017,18(3):223-239
A smart Information and Communication Technology (ICT) enables a synchronized interplay of different key factors, aligning infrastructures, consumers, and governmental policy-making needs. In the harbor’s logistics context, smart ICT has been driving a multi-year wave of growth. Although there is a standalone value in the technological innovation of a task, the impact of a new smart technology is unknown without quantitative analysis methods on the end-to-end process. In this paper, we first present a review of the smart ICT for marine container terminals, and then we propose to evaluate the impact of such smart ICT via business process model and notation (BPMN) modeling and simulation. The proposed approach is discussed in a real-world modeling and simulation analysis, made on a pilot terminal of the Port of Leghorn (Italy). 相似文献
65.
66.
Laura Sánchez-González Félix García Francisco Ruiz Mario Piattini 《Software and Systems Modeling》2017,16(3):759-788
Organizations are increasingly concerned about business process model improvement in their efforts to guarantee improved operational efficiency. Quality assurance of business process models should be addressed in the most objective manner, e.g., through the application of measures, but the assessment of measurement results is not a straightforward task and it requires the identification of relevant indicators and threshold values, which are able to distinguish different levels of process model quality. Furthermore, indicators must support the improvements of the models by using suitable guidelines. In this paper, we present a case study to evaluate the BPMIMA framework for BP model improvement. This framework is composed of empirically validated measures related to quality characteristics of the models, a set of indicators with validated thresholds associated with modeling guidelines and a prototype supporting tool. The obtained data suggest that the redesign by applying guidelines driven by the indicator results was successful, as the understandability and modifiability of the models were improved. In addition, the changes in the models according to guidelines were perceived as acceptable by the practitioners who participated in the case study. 相似文献
67.
Mario A. S. Lizi��r Marcelo F. Siqueira Joel Daniels II Claudio T. Silva L. Gustavo Nonato 《The Visual computer》2011,27(10):887-903
This paper describes a novel template-based meshing approach for generating good quality quadrilateral meshes from 2D digital
images. This approach builds upon an existing image-based mesh generation technique called Imeshp, which enables us to create a segmented triangle mesh from an image without the need for an image segmentation step. Our
approach generates a quadrilateral mesh using an indirect scheme, which converts the segmented triangle mesh created by the
initial steps of the Imesh technique into a quadrilateral one. The triangle-to-quadrilateral conversion makes use of template meshes of triangles. To
ensure good element quality, the conversion step is followed by a smoothing step, which is based on a new optimization-based
procedure. We show several examples of meshes generated by our approach, and present a thorough experimental evaluation of
the quality of the meshes given as examples. 相似文献
68.
In this work, we address some issues related to products of graphs and products of modal logics. Our main contribution is the presentation of a necessary and sufficient condition for a countable and connected graph to be a product, using a property called intransitivity. We then proceed to describe this property in a logical language. First, we show that intransitivity is not modally definable and also that no necessary and sufficient condition for a graph to be a product can be modally definable. Then, we exhibit a formula in a hybrid language that describes intransitivity. With this, we get a logical characterization of products of graphs of arbitrary dimensions. We then use this characterization to obtain two other interesting results. First, we determine that it is possible to test in polynomial time, using a model-checking algorithm, whether a finite connected graph is a product. This test has cubic complexity in the size of the graph and quadratic complexity in its number of dimensions. Finally, we use this characterization of countable connected products to provide sound and complete axiomatic systems for a large class of products of modal logics. This class contains the logics defined by product frames obtained from Kripke frames that satisfy connectivity, transitivity and symmetry plus any additional property that can be defined by a pure hybrid formula. Most sound and complete axiomatic systems presented in the literature are for products of a pair of modal logics, while we are able, using hybrid logics, to provide sound and complete axiomatizations for many products of arbitrary dimensions. 相似文献
69.
In the above-mentioned comment, the author points out a technical problem with the paper (Wang, Z. Q., & Sznaier, M. (1997). Automatica, 33(1), 85–90). As we show here, this technical problem can be easily solved. Moreover, it affects neither the main formulation nor the results, which remain valid. 相似文献
70.
Controlling the dynamics of a constrained manipulator includesposition tracking as well as stabilization of the contact wrench.In this paper we derive a control scheme, that makes it possible to treat position and force control independently.The approach is based on a mass-orthogonal splitting of the space of joint torques, allowing independent actuation and therefore independent specification of control laws. An appropriate definition of the reference wrenchmakes it possible to achieve independent stability of the position and force loop. 相似文献