全文获取类型
收费全文 | 3188篇 |
免费 | 194篇 |
国内免费 | 10篇 |
专业分类
电工技术 | 36篇 |
综合类 | 1篇 |
化学工业 | 805篇 |
金属工艺 | 32篇 |
机械仪表 | 81篇 |
建筑科学 | 167篇 |
矿业工程 | 6篇 |
能源动力 | 145篇 |
轻工业 | 418篇 |
水利工程 | 20篇 |
石油天然气 | 6篇 |
无线电 | 321篇 |
一般工业技术 | 516篇 |
冶金工业 | 162篇 |
原子能技术 | 25篇 |
自动化技术 | 651篇 |
出版年
2024年 | 6篇 |
2023年 | 34篇 |
2022年 | 82篇 |
2021年 | 177篇 |
2020年 | 89篇 |
2019年 | 94篇 |
2018年 | 108篇 |
2017年 | 113篇 |
2016年 | 129篇 |
2015年 | 90篇 |
2014年 | 141篇 |
2013年 | 256篇 |
2012年 | 209篇 |
2011年 | 221篇 |
2010年 | 151篇 |
2009年 | 144篇 |
2008年 | 165篇 |
2007年 | 144篇 |
2006年 | 116篇 |
2005年 | 100篇 |
2004年 | 90篇 |
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篇 |
排序方式: 共有3392条查询结果,搜索用时 171 毫秒
81.
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). 相似文献
82.
83.
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. 相似文献
84.
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. 相似文献
85.
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. 相似文献
86.
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. 相似文献
87.
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. 相似文献
88.
Discussions about the achievements and limitations of the various approaches to the development of intelligent systems can have an essential impact on empirically based research, and with that also on the future development of computer technologies. However, such discussions are often based on vague concepts and assumptions. In this context, we claim that the proposed `three-world ontology' offers the most appropriate conceptual framework in which the basic problems concerned with cognition and computation can be suitably expressed and discussed, although the solutions of some of these problems seem to lie beyond the horizon of our current understanding. We stress the necessity to differentiate between authentic and functional cognitive abilities; although computation is not a plausible way towards authentic intelligence, we claim that computational systems do offer virtually unlimited possibilities to replicate and surpass human cognitive abilities on the functional level. 相似文献
89.
Matković K Gracanin D Jelović M Hauser H 《IEEE transactions on visualization and computer graphics》2008,14(6):1699-1706
Interactive steering with visualization has been a common goal of the visualization research community for twenty years, but it is rarely ever realized in practice. In this paper we describe a successful realization of a tightly coupled steering loop, integrating new simulation technology and interactive visual analysis in a prototyping environment for automotive industry system design. Due to increasing pressure on car manufacturers to meet new emission regulations, to improve efficiency, and to reduce noise, both simulation and visualization are pushed to their limits. Automotive system components, such as the powertrain system or the injection system have an increasing number of parameters, and new design approaches are required. It is no longer possible to optimize such a system solely based on experience or forward optimization. By coupling interactive visualization with the simulation back-end (computational steering), it is now possible to quickly prototype a new system, starting from a non-optimized initial prototype and the corresponding simulation model. The prototyping continues through the refinement of the simulation model, of the simulation parameters and through trial-and-error attempts to an optimized solution. The ability to early see the first results from a multidimensional simulation space--thousands of simulations are run for a multidimensional variety of input parameters--and to quickly go back into the simulation and request more runs in particular parameter regions of interest significantly improves the prototyping process and provides a deeper understanding of the system behavior. The excellent results which we achieved for the common rail injection system strongly suggest that our approach has a great potential of being generalized to other, similar scenarios. 相似文献
90.
Databases are the core of Information Systems (IS). It is, therefore, necessary to ensure the quality of the databases in order to ensure the quality of the IS. Metrics are useful mechanisms for controlling database quality. This paper presents two metrics related to referential integrity, number of foreign keys (NFK) and depth of the referential tree (DRT) for controlling the quality of a relational database. However, to ascertain the practical utility of the metrics, experimental validation is necessary. This validation can be carried out through controlled experiments or through case studies. The controlled experiments must also be replicated in order to obtain firm conclusions. With this objective in mind, we have undertaken different empirical work with metrics for relational databases. As a part of this empirical work, we have conducted a case study with some metrics for relational databases and a controlled experiment with two metrics presented in this paper. The detailed experiment described in this paper is a replication of the later one. The experiment was replicated in order to confirm the results obtained from the first experiment.
As a result of all the experimental works, we can conclude that the NFK metric is a good indicator of relational database complexity. However, we cannot draw such firm conclusions regarding the DRT metric. 相似文献