全文获取类型
收费全文 | 2175篇 |
免费 | 129篇 |
国内免费 | 7篇 |
专业分类
电工技术 | 22篇 |
综合类 | 2篇 |
化学工业 | 571篇 |
金属工艺 | 43篇 |
机械仪表 | 39篇 |
建筑科学 | 83篇 |
矿业工程 | 1篇 |
能源动力 | 89篇 |
轻工业 | 200篇 |
水利工程 | 13篇 |
石油天然气 | 5篇 |
无线电 | 166篇 |
一般工业技术 | 360篇 |
冶金工业 | 180篇 |
原子能技术 | 27篇 |
自动化技术 | 510篇 |
出版年
2024年 | 6篇 |
2023年 | 23篇 |
2022年 | 86篇 |
2021年 | 126篇 |
2020年 | 57篇 |
2019年 | 95篇 |
2018年 | 74篇 |
2017年 | 77篇 |
2016年 | 92篇 |
2015年 | 72篇 |
2014年 | 89篇 |
2013年 | 144篇 |
2012年 | 138篇 |
2011年 | 159篇 |
2010年 | 127篇 |
2009年 | 122篇 |
2008年 | 108篇 |
2007年 | 80篇 |
2006年 | 80篇 |
2005年 | 56篇 |
2004年 | 55篇 |
2003年 | 39篇 |
2002年 | 26篇 |
2001年 | 23篇 |
2000年 | 25篇 |
1999年 | 24篇 |
1998年 | 47篇 |
1997年 | 40篇 |
1996年 | 30篇 |
1995年 | 29篇 |
1994年 | 14篇 |
1993年 | 16篇 |
1992年 | 5篇 |
1991年 | 10篇 |
1990年 | 11篇 |
1989年 | 7篇 |
1988年 | 12篇 |
1987年 | 7篇 |
1986年 | 11篇 |
1985年 | 9篇 |
1984年 | 3篇 |
1983年 | 6篇 |
1981年 | 5篇 |
1980年 | 7篇 |
1979年 | 6篇 |
1978年 | 8篇 |
1977年 | 6篇 |
1976年 | 5篇 |
1975年 | 3篇 |
1974年 | 4篇 |
排序方式: 共有2311条查询结果,搜索用时 15 毫秒
51.
In this paper we study the problem of estimating the possibly non-homogeneous material coefficients inside a physical system, from transient excitations and measurements made in a few points on the boundary. We assume there is available an adequate Finite Element (FEM) model of the system, whose distributed physical parameters must be estimated from the experimental data.We propose a space–time localization approach that gives a better conditioned estimation problem, without the need of an expensive regularization. Some experimental results obtained on an elastic system with random coefficients are given. 相似文献
52.
Words that appear as constrained subsequences in a text-string are considered as possible indicators of the host string structure, hence also as a possible means of sequence comparison and classification. The constraint consists of imposing a bound on the number ω of positions in the text that may intervene between any two consecutive characters of a subsequence. A subset of such ω-sequences is then characterized that consists, in intuitive terms, of sequences that could not be enriched with more characters without losing some occurrence in the text. A compact spatial representation is then proposed for these representative sequences, within which a number of parameters can be defined and measured. In the final part of the paper, such parameters are empirically analyzed on a small collection of text-strings endowed with various degrees of structure. 相似文献
53.
Vittorio Ghini Stefano Ferretti Fabio PanzieriAuthor vitae 《Journal of Systems and Software》2011,84(11):1827-1851
This paper presents a distributed architecture for the provision of seamless and responsive mobile multimedia services. This architecture allows its user applications to use concurrently all the wireless network interface cards (NICs) a mobile terminal is equipped with. In particular, as mobile multimedia services are usually implemented using the UDP protocol, our architecture enables the transmission of each UDP datagram through the “most suitable” (e.g. most responsive, least loaded) NIC among those available at the time a datagram is transmitted. We term this operating mode of our architecture Always Best Packet Switching (ABPS). ABPS enables the use of policies for load balancing and recovery purposes. In essence, the architecture we propose consists of the following two principal components: (i) a fixed proxy server, which acts as a relay for the mobile node and enables communications from/to this node regardless of possible firewalls and NAT systems, and (ii) a proxy client running in the mobile node responsible for maintaining a multi-path tunnel, constructed out of all the node's NICs, with the above mentioned fixed proxy server. We show how the architecture supports multimedia applications based on the SIP and RTP/RTCP protocols, and avoids the typical delays introduced by the two way message/response handshake of the SIP signaling protocol. Experimental results originated from the implementation of a VoIP application on top of the architecture we propose show the effectiveness of our approach. 相似文献
54.
In this paper, the problem of robust relative positioning between a 6-DOF robot camera and an object of interest is considered. Assuming weak perspective camera model and local linear approximation of visible object's surface, an image-based state space representation of robot camera–object interaction model is derived, based on the matrix of 2-D affine transformations. Dynamic extension of the visual model permits to estimate 3-D parameters directly as functions of state variables. The proposed nonlinear robust control law ensures asymptotic stability but at image singularities, assuming exact model and state measurements. In the presence of bounded uncertainties, under appropriate choice of control gains, ultimate boundedness of the state error is also formally proved. Simulation results validate the theoretical framework both in terms of system convergence and control robustness. 相似文献
55.
This paper deals with four solvers for combinatorial problems: the commercial state-of-the-art solver ILOG oplstudio, and the research answer set programming (ASP) systems dlv, smodels and cmodels. The first goal of this research is to evaluate the relative performance of such systems when used in a purely declarative
way, using a reproducible and extensible experimental methodology. In particular, we consider a third-party problem library,
i.e., the CSPLib, and uniform rules for modelling and instance selection. The second goal is to analyze the marginal effects
of popular reformulation techniques on the various solving technologies. In particular, we consider structural symmetry breaking,
the adoption of global constraints, and the addition of auxiliary predicates. Finally, we evaluate, on a subset of the problems,
the impact of numbers and arithmetic constraints on the different solving technologies. Results show that there is not a single
solver winning on all problems, and that reformulation is almost always beneficial: symmetry-breaking may be a good choice,
but its complexity has to be carefully chosen, by taking into account also the particular solver used. Global constraints
often, but not always, help opl, and the addition of auxiliary predicates is usually worth, especially when dealing with ASP solvers. Moreover, interesting
synergies among the various modelling techniques exist. 相似文献
56.
Multimodal support to group dynamics 总被引:1,自引:1,他引:0
Fabio Pianesi Massimo Zancanaro Elena Not Chiara Leonardi Vera Falcon Bruno Lepri 《Personal and Ubiquitous Computing》2008,12(3):181-195
The complexity of group dynamics occurring in small group interactions often hinders the performance of teams. The availability
of rich multimodal information about what is going on during the meeting makes it possible to explore the possibility of providing
support to dysfunctional teams from facilitation to training sessions addressing both the individuals and the group as a whole.
A necessary step in this direction is that of capturing and understanding group dynamics. In this paper, we discuss a particular
scenario, in which meeting participants receive multimedia feedback on their relational behaviour, as a first step towards
increasing self-awareness. We describe the background and the motivation for a coding scheme for annotating meeting recordings
partially inspired by the Bales’ Interaction Process Analysis. This coding scheme was aimed at identifying suitable observable
behavioural sequences. The study is complemented with an experimental investigation on the acceptability of such a service.
相似文献
Fabio Pianesi (Corresponding author)Email: |
Massimo ZancanaroEmail: |
Elena NotEmail: |
Chiara LeonardiEmail: |
Vera FalconEmail: |
Bruno LepriEmail: |
57.
Modeling and Managing Interactions among Business Processes 总被引:3,自引:0,他引:3
Most workflow management systems (WfMSs) only support the separate andindependent execution of business processes. However, processes often needto interact with each other, in order to synchronize the execution of theiractivities, to exchange process data, to request execution of services, orto notify progresses in process execution. Recent market trends also raisethe need for cooperation and interaction between processes executed in differentorganizations, posing additional challenges. In fact, in order to reduce costsand provide better services, companies are pushed to increase cooperation and toform virtual enterprises, where business processes span across organizationalboundaries and are composed of cooperating workflows executed in differentorganizations. Workflow interaction in a cross-organizational environment iscomplicated by the heterogeneity of workflow management platforms on top ofwhich workflows are defined and executed and by the different and possiblycompeting business policies and business goals that drive process executionin each organization.In this paper we propose a model and system that enable interactionbetween workflows executed in the same or in different organizations. Weextend traditional workflow models by allowing workflows to publish andsubscribe to events, and by enabling the definition of points in the processexecution where events should be sent or received. Event notifications aremanaged by a suitable event service that is capable of filtering andcorrelating events, and of dispatching them to the appropriate targetworkflow instances. The extended model can be easily mapped onto anyworkflow model, since event specific constructs can be specified by means ofordinary workflow activities, for which we provide the implementation. Inaddition, the event service is easily portable to different platforms, anddoes not require integration with the WfMS that supports the cooperatingworkflows. Therefore, the proposed approach is applicable in virtually anyenvironment and is independent on the specific platform adopted 相似文献
58.
Paolo Baldan Fabio Gadducci Ugo Montanari 《Electronic Notes in Theoretical Computer Science》2007,176(1):85
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to be quite useful for modelling purposes, but, at the same time, problematic for the development of a satisfactory partial order concurrent semantics for rewrites. Rewriting over graphs with equivalences, i.e., (typed hyper)-graphs equipped with an equivalence over nodes provides a technically convenient replacement of graph rewriting with coalescing rules, for which a truly concurrent semantics can be easily defined. The expressivity of such a formalism is tested in a setting where coalescing rules typically play a basic role: the encoding of calculi with name passing as graph rewriting systems. Specifically, we show how the (monadic fragment) of the solo calculus, one of the dialect of those calculi whose distinctive feature is name fusion, can be encoded as a rewriting system over graph with equivalences. 相似文献
59.
Fabio Fioravanti Alberto Pettorossi Maurizio Proietti 《Electronic Notes in Theoretical Computer Science》2000,30(2)
We address the problem of specializing a constraint logic program w.r.t. a constrained atom which specifies the context of use of the program. We follow an approach based on transformation rules and strategies. We introduce a novel transformation rule, called contextual constraint replacement, to be combined with variants of the traditional unfolding and folding rules. We present a general Partial Evaluation Strategy for automating the application of these rules, and two additional strategies: the Context Propagation Strategy which is instrumental for the application of our contextual constraint replacement rule, and the Invariant Promotion Strategy for taking advantage of invariance properties of the computation. We show through some examples the power of our method and we compare it with existing methods for partial deduction of constraint logic programs based on extensions of Lloyd and Shepherdson's approach. 相似文献
60.
Krüger A McAlpine P Borrani F Edelmann-Nusser J 《Proceedings of the Institution of Mechanical Engineers. Part H, Journal of engineering in medicine》2012,226(2):170-175
In the biomechanical literature only a few studies are available focusing on the determination of joint loading within the lower extremities in snowboarding. These studies are limited to analysis in a restricted capture volume due to the use of optical video-based systems. To overcome this restriction the aim of the present study was to develop a method to determine net joint moments within the lower extremities in snowboarding for complete measurement runs. An experienced snowboarder performed several runs equipped with two custom-made force plates as well as a full-body inertial measurement system. A rigid, multi-segment model was developed to describe the motion and loads within the lower extremities. This model is based on an existing lower-body model and designed to be run by the OpenSim software package. Measured kinetic and kinematic data were imported into the OpenSim program and inverse dynamic calculations were performed. The results illustrate the potential of the developed method for the determination of joint loadings within the lower extremities for complete measurement runs in a real snowboarding environment. The calculated net joint moments of force are reasonable in comparison to the data presented in the literature. A good reliability of the method seems to be indicated by the low data variation between different turns. Due to the unknown accuracy of this method the application for inter-individual studies as well as studies of injury mechanisms may be limited. For intra-individual studies comparing different snowboarding techniques as well as different snowboard equipment the method seems to be beneficial. The validity of the method needs to be studied further. 相似文献