全文获取类型
收费全文 | 1231篇 |
免费 | 104篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 18篇 |
化学工业 | 349篇 |
金属工艺 | 25篇 |
机械仪表 | 39篇 |
建筑科学 | 29篇 |
矿业工程 | 1篇 |
能源动力 | 64篇 |
轻工业 | 143篇 |
水利工程 | 8篇 |
石油天然气 | 3篇 |
无线电 | 99篇 |
一般工业技术 | 225篇 |
冶金工业 | 52篇 |
原子能技术 | 4篇 |
自动化技术 | 278篇 |
出版年
2024年 | 1篇 |
2023年 | 18篇 |
2022年 | 79篇 |
2021年 | 78篇 |
2020年 | 38篇 |
2019年 | 66篇 |
2018年 | 55篇 |
2017年 | 61篇 |
2016年 | 64篇 |
2015年 | 48篇 |
2014年 | 47篇 |
2013年 | 84篇 |
2012年 | 93篇 |
2011年 | 103篇 |
2010年 | 77篇 |
2009年 | 77篇 |
2008年 | 66篇 |
2007年 | 65篇 |
2006年 | 32篇 |
2005年 | 29篇 |
2004年 | 28篇 |
2003年 | 16篇 |
2002年 | 14篇 |
2001年 | 11篇 |
2000年 | 3篇 |
1999年 | 10篇 |
1998年 | 13篇 |
1997年 | 5篇 |
1996年 | 11篇 |
1995年 | 4篇 |
1994年 | 3篇 |
1993年 | 5篇 |
1992年 | 4篇 |
1990年 | 2篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1986年 | 2篇 |
1985年 | 1篇 |
1984年 | 4篇 |
1982年 | 3篇 |
1981年 | 3篇 |
1979年 | 2篇 |
1976年 | 3篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1973年 | 1篇 |
1972年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有1337条查询结果,搜索用时 15 毫秒
81.
Guido?BoellaEmail author Leonardo?Lesmo Rossana?Damiano 《Artificial Intelligence and Law》2004,12(4):317-357
This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is
grounded on the concept of agency. Since a legal system aims at regulating a society, then its goal can be achieved only by affecting the behaviour of the
members of the society. We assume that a society is made up of agents (which can be individuals, institutions, software programs, etc.), that agents have beliefs, goals and preferences, and that
they commit to intentions in order to choose a line of behaviour. The role of norms, within a legal system, is to specify
how and when the chosen behaviour agrees with the basic principles of the legal system. In this article, we show how a model
based on plans can be the basis for the ontological representation of norms, which are expressed as constraints on the possible
plans an agent may choose to guide its behaviour. Moreover, the paper describes how the proposed model can be linked to the
upper level of a philosophically well-founded ontology (DOLCE); in this way, the model is set in a wider perspective, which
opens the way to further developments. 相似文献
82.
Surface-enhanced Raman scattering substrate based on a self-assembled monolayer for use in gene diagnostics 总被引:3,自引:0,他引:3
The development of surface-enhanced Raman scattering (SERS)-active substrates for cancer gene detection is described. The detection method uses Raman active dye-labeled DNA gene probes, self-assembled monolayers, and nanostructured metallic substrates as SERS-active platforms. The mercaptohexane-labeled single-stranded DNA (SH-(CH(2))(6)-ssDNA)/6-mercapto-1-hexanol system formed on a silver surface is characterized by atomic force microscopy. The surface-enhanced Raman gene (SERGen) probes developed in this study can be used to detect DNA targets via hybridization to complementary DNA probes. The probes do not require the use of radioactive labels and have a great potential to provide both sensitivity and selectivity. The effectiveness of this approach and its application in cancer gene diagnostics (BRCA1 breast cancer gene) are investigated. 相似文献
83.
Acquafresca A Biagi E Masotti L Menichelli D 《IEEE transactions on ultrasonics, ferroelectrics, and frequency control》2003,50(10):1325-1335
The present generation of devices based on opto-acoustic and acousto-optic conversion lets us foresee the possibility of realizing complete miniaturized transmitting-receiving transducers, able to generate and detect wideband ultrasounds by laser light. In the present paper, a miniaturized ultrasonic transducer entirely based on fiber optic technology is proposed. Such a device springs from the conjunction between our research, which has produced a highly efficient fiber optic opto-acoustic source, with the results obtained by other researchers concerning the realization of an ultrasonic receiver based on optical interferometry. Making use of the thermo-elastic effect for ultrasound generation, a source of ultrasound can be obtained by coupling a fiber optic to pulsed laser, if a film capable of absorbing laser light is placed onto fiber end. Starting from these remarks, we propose an efficient opto-acoustic source, able to generate pressure pulses with amplitude of the order of 10(4) Pa and bandwidth extending up to 40 MHz and beyond by using graphite materials as absorbing film. This solution makes use of a low-power pulsed laser as optical source possible. An ultrasonic receiving element was realized placing a Fabry-Perot cavity over the tip of a fiber optic. The cavity thickness modulation induced by ultrasonic beam is detected by an interferometer optical technique. We have realized a prototype of a receiving device that exhibits a sensitivity comparable with that of piezoelectric devices (10-100 nV/Pa) and an almost flat bandwidth extending up to 20 MHz or more. The extreme miniaturization of the resulting ultrasonic transducer, together with its wide ultrasonic frequency bandwidth, is the first step toward ultrasonic tissue biopsy. In this paper, before discussing the problem of constructing a complete ultrasonic transducer composed by a transmitter and receiver, the results carried out in these fields during the last decade are reviewed. 相似文献
84.
Leonardo B. Trindade José Ernesto A. Nadalon Antǒnio C. F. Vilela Marco T. M. B. Vilhena Rodrigo B. Soares 《国际钢铁研究》2007,78(9):708-713
To investigate the inclusion removal in billets cast under electromagnetic stirring (EMS) influence, a numerical model has been developed to compute the magnetic field, the Lorentz force, the steel flow velocities, and the particle transport within the liquid pool. The electromagnetic field was described by the Maxwell equations and the finite element method was applied using a commercial package. The turbulent fluid flow was described by the Navier‐Stokes equation and by the Reynolds Stress model and the finite volume method was applied using another numerical package. The time average of the Lorentz force was calculated in each element center and this value was applied as a body force in the Navier‐Stokes equation. The magnetic flux density profile was compared with the data obtained in the stirrer of the steel plant. The particle transport model includes the drag force, the buoyancy force and the random walk model, to include the turbulence effects on the particle trajectory. The inclusion removal was calculated and analysed in function of casting speed and stirring current for one size section of mold. The inclusions considered in the calculations have a fixed density and four values of diameter. The numerical results of the electromagnetic model are in agreement with the experimental measurements. A good relationship between the electromagnetic model and the fluid flow model could be shown. An interesting effect is the break of the rotation motion due to the EMS by the jet from the nozzle. The fraction of inclusions removed by the top surface of the mold was improved due to the EMS. 相似文献
85.
Leonardo Augusto dos Santos Vieira Sergio Fernando Mayerle Carolina Luisa dos Santos Vieira Mônica Maria Mendes Luna 《Optimization and Engineering》2016,17(4):761-780
Available productive capacity is determinant of a company’s success once it allows meeting the current and future demand. This article proposes a quantitative model for determining long-term productive capacity in competitive oligopolistic markets, based on the Nash Equilibrium formulated as a Variational Inequality problem. Numerical examples enable an analytical evaluation of the economic equilibrium’s sensitivity to marginal costs, investment costs, hurdle rate, and market saturation. Results show that, in order to achieve a greater market share, it is important to adopt strategies that reduce marginal costs. On the other hand, variations in the hurdle rate may or may not reinforce the position of a competitor in the market and his interest in investing in capacity expansion. Additionally, market saturation may be achieved, beyond which investment becomes unattractive. Each of these is a positive outcome for society, triggering diversified investments and competition in economic sectors where competition is low and profits are high. 相似文献
86.
87.
Autonomous market environments have been proposed in the literature as the future of electronic markets. The ability to delegate complex negotiation processes and obtain similar or better results than their human counterparts has generated a great interest in agent-based markets. More recently, such a paradigm has been applied in the field of knowledge management and, more specifically, to knowledge sharing and exchange; however, most of the knowledge market proposals in the literature fail to give details on a key component of their models: knowledge quality. This article presents a new proposal for an agent-based market environment that aims at filling the previously mentioned gap in research. The main contribution of our research is the integration of formal mechanisms for knowledge quality and quantity measurement and the use of these values to set a price for knowledge and select the most suitable agent for negotiation. 相似文献
88.
Christoph M. Wintersteiger Youssef Hamadi Leonardo de Moura 《Formal Methods in System Design》2013,42(1):3-23
In recent years, bit-precise reasoning has gained importance in hardware and software verification. Of renewed interest is the use of symbolic reasoning for synthesising loop invariants, ranking functions, or whole program fragments and hardware circuits. Solvers for the quantifier-free fragment of bit-vector logic exist and often rely on SAT solvers for efficiency. However, many techniques require quantifiers in bit-vector formulas to avoid an exponential blow-up during construction. Solvers for quantified formulas usually flatten the input to obtain a quantified Boolean formula, losing much of the word-level information in the formula. We present a new approach based on a set of effective word-level simplifications that are traditionally employed in automated theorem proving, heuristic quantifier instantiation methods used in SMT solvers, and model finding techniques based on skeletons/templates. Experimental results on two different types of benchmarks indicate that our method outperforms the traditional flattening approach by multiple orders of magnitude of runtime. 相似文献
89.
Leonardo Dallegrave Afonso Viviana Cocco Mariani Leandro dos Santos Coelho 《Expert systems with applications》2013,40(9):3794-3802
System reliability analysis and optimization are important to efficiently utilize available resources and to develop an optimal system design architecture. System reliability optimization has been solved by using optimization techniques including meta-heuristics. Meanwhile, the development of meta-heuristics has been an active research field of the reliability optimization wherein the redundancy, the component reliability, or both are to be determined. In recent years, a broad class of stochastic meta-heuristics, such as simulated annealing, genetic algorithm, tabu search, ant colony, and particle swarm optimization paradigms, has been developed for reliability-redundancy optimization of systems. Recently, a new kind of evolutionary algorithm called Imperialist Competitive Algorithm (ICA) was proposed. The ICA is based on imperialistic competition where the populations are represented by countries, which are classified as imperialists or colonies. However, the trade-off between the exploration (i.e. the global search) and the exploitation (i.e. the local search) of the search space is critical to the success of the classical ICA approach. An improvement in the ICA by implementing an attraction and repulsion concept during the search for better solutions, the AR-ICA approach, is proposed in this paper. Simulations results demonstrates the AR-ICA is an efficient optimization technique, since it obtained promising solutions for the reliability redundancy allocation problem when compared with the previously best-known results of four different benchmarks for the reliability-redundancy allocation problem presented in the literature. 相似文献
90.
Henrique Rocha Cesar Couto Cristiano Maffort Rogel Garcia Clarisse Simoes Leonardo Passos Marco Tulio Valente 《Software Quality Journal》2013,21(4):529-549
Despite the relevance of the software evolution phase, there are few characterization studies on recurrent evolution growth patterns and on their impact on software properties, such as coupling and cohesion. In this paper, we report a study designed to investigate whether the software evolution categories proposed by Lanza can be used to explain not only the growth of a system in terms of lines of code (LOC), but also in terms of metrics from the Chidamber and Kemerer (CK) object-oriented metrics suite. Our results show that high levels of recall (ranging on average from 52 to 72 %) are achieved when using LOC to predict the evolution of coupling and size. For cohesion, we have achieved smaller recall rates (<27 % on average). 相似文献