全文获取类型
收费全文 | 4448篇 |
免费 | 283篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 52篇 |
综合类 | 3篇 |
化学工业 | 1435篇 |
金属工艺 | 63篇 |
机械仪表 | 85篇 |
建筑科学 | 171篇 |
矿业工程 | 2篇 |
能源动力 | 128篇 |
轻工业 | 606篇 |
水利工程 | 31篇 |
石油天然气 | 8篇 |
无线电 | 317篇 |
一般工业技术 | 663篇 |
冶金工业 | 246篇 |
原子能技术 | 27篇 |
自动化技术 | 900篇 |
出版年
2024年 | 8篇 |
2023年 | 73篇 |
2022年 | 350篇 |
2021年 | 373篇 |
2020年 | 157篇 |
2019年 | 132篇 |
2018年 | 182篇 |
2017年 | 125篇 |
2016年 | 205篇 |
2015年 | 152篇 |
2014年 | 212篇 |
2013年 | 312篇 |
2012年 | 276篇 |
2011年 | 354篇 |
2010年 | 234篇 |
2009年 | 224篇 |
2008年 | 223篇 |
2007年 | 191篇 |
2006年 | 158篇 |
2005年 | 124篇 |
2004年 | 98篇 |
2003年 | 77篇 |
2002年 | 66篇 |
2001年 | 35篇 |
2000年 | 36篇 |
1999年 | 41篇 |
1998年 | 66篇 |
1997年 | 56篇 |
1996年 | 49篇 |
1995年 | 30篇 |
1994年 | 26篇 |
1993年 | 13篇 |
1992年 | 10篇 |
1991年 | 2篇 |
1990年 | 3篇 |
1989年 | 15篇 |
1988年 | 5篇 |
1985年 | 3篇 |
1983年 | 3篇 |
1982年 | 6篇 |
1981年 | 4篇 |
1980年 | 6篇 |
1979年 | 5篇 |
1977年 | 3篇 |
1976年 | 6篇 |
1974年 | 1篇 |
1973年 | 2篇 |
1972年 | 1篇 |
1969年 | 1篇 |
1965年 | 1篇 |
排序方式: 共有4737条查询结果,搜索用时 15 毫秒
61.
Michele Barletta Silvio Ranise Luca Vigan�� 《Service Oriented Computing and Applications》2011,5(2):105-137
The specification of distributed service-oriented applications spans several levels of abstraction, e.g., the protocol for
exchanging messages, the set of interface functionalities, the types of the manipulated data, the workflow, the access policy,
etc. Many (even executable) specification languages are available to describe each level in separation. However, these levels
may interact in subtle ways (for example, the control flow may depend on the values of some data variables) so that a precise
abstraction of the application amounts to more than the sum of its per level components. This problem is even more acute in
the design phase when automated analysis techniques may greatly help the difficult task of building “correct” applications
faced by designers. To alleviate this kind of problems, this paper introduces a framework for the formal specification and
automated analysis of distributed service-oriented applications in two levels: one for the workflow and one for the authorization
policies. The former allows one to precisely describe the control and data parts of an application with their mutual dependencies.
The latter focuses on the specification of the criteria for granting or denying third-party applications the possibility to
access shared resources or to execute certain interface functionalities. These levels can be seen as abstractions of one or
of several levels of specification mentioned above. The novelty of our proposal is the possibility to unambiguously specify
the—often subtle—interplay between the workflow and policy levels uniformly in the same framework. Additionally, our framework
allows us to define and investigate verification problems for service-oriented applications (such as executability and invariant
checking) and give sufficient conditions for their decidability. These results are non-trivial because their scope of applicability
goes well beyond the case of finite state spaces allowing for applications manipulating variables ranging over infinite domains.
As proof of concept, we show the suitability and flexibility of our approach on two quite different examples inspired by industrial
case studies. 相似文献
62.
Web 2.0 technologies, such as forums and wikis, are enabling an explosion of global knowledge sharing through distributed large-scale conversations, but they seem to be less successful at supporting collaborative deliberation around complex and controversial questions. In order to cope with this limitation, many scholars have proposed to adopt on-line argumentation platforms to improve information visualization, organization and reuse. However, such research has mostly focused on the design of adequate argument-based knowledge formalisms. Less attention has been paid to the empirical analysis of actual interactions mediated by argumentation technology with reasonably large user communities. In this paper, we present an in-depth analysis of the data obtained in the empirical test of an argumentation platform where a 160-member community created, in 3 weeks, what is to our knowledge the largest single online argument map ever built (around 5000 posts). Our results show that (i) users were able to quickly and comprehensively explore and map the debate on the selected discussion topic; (ii) substantial moderation was needed to ensure that the argument map was well-organized and users were confident with the argumentation formalism; (iii) considerable out-of-the map communication occurred, possibly as a way to allow for conversational flows inhibited by the argumentation formalism, (iv) formal rating of contributions favored exploration of the map, understanding the debate structure, and improving the quality of content. 相似文献
63.
Nordahl R Turchet L Serafin S 《IEEE transactions on visualization and computer graphics》2011,17(9):1234-1244
We propose a system that affords real-time sound synthesis of footsteps on different materials. The system is based on microphones, which detect real footstep sounds from subjects, from which the ground reaction force (GRF) is estimated. Such GRF is used to control a sound synthesis engine based on physical models. Two experiments were conducted. In the first experiment, the ability of subjects to recognize the surface they were exposed to was assessed. In the second experiment, the sound synthesis engine was enhanced with environmental sounds. Results show that, in some conditions, adding a soundscape significantly improves the recognition of the simulated environment. 相似文献
64.
We investigate the convergence of the price of anarchy after a limited number of moves in the classical multicast communication game when the underlying communication network is directed. Namely, a subset of nodes of the network are interested in receiving the transmission from a given source node and can share the cost of the used links according to fixed cost sharing methods. At each step, a single receiver is allowed to modify its communication strategy, that is to select a communication path from the source, and assuming a selfish or rational behavior, it will make a best response move, that is it will select a solution yielding the minimum possible payment or shared cost. We determine lower and upper bounds on the price of anarchy, that is the highest possible ratio among the overall cost of the links used by the receivers and the minimum possible cost realizing the required communications, after a limited number of moves under the fundamental Shapley cost sharing method. In particular, assuming that the initial set of connecting paths can be arbitrary, we show an $O(r\sqrt{r})We investigate the convergence of the price of anarchy after a limited number of moves in the classical multicast communication
game when the underlying communication network is directed. Namely, a subset of nodes of the network are interested in receiving
the transmission from a given source node and can share the cost of the used links according to fixed cost sharing methods.
At each step, a single receiver is allowed to modify its communication strategy, that is to select a communication path from
the source, and assuming a selfish or rational behavior, it will make a best response move, that is it will select a solution
yielding the minimum possible payment or shared cost. We determine lower and upper bounds on the price of anarchy, that is
the highest possible ratio among the overall cost of the links used by the receivers and the minimum possible cost realizing
the required communications, after a limited number of moves under the fundamental Shapley cost sharing method. In particular,
assuming that the initial set of connecting paths can be arbitrary, we show an
O(r?r)O(r\sqrt{r})
upper bound on the price of anarchy after 2 rounds, during each of which all the receivers move exactly once, and a matching
lower bound, that we also extend to
W(rk?{r})\Omega(r\sqrt[k]{r})
for any number k≥2 rounds, where r is the number of receivers. Similarly, exactly matching upper and lower bounds equal to r are determined for any number of rounds when starting from the empty state in which no path has been selected. Analogous
results are obtained also with respect to other three natural cost sharing methods considered in the literature, that is the
egalitarian, path-proportional and egalitarian-path proportional ones. Most results are also extended to the undirected case
in which the communication links are bidirectional. 相似文献
65.
We provide Stochastic Concurrent Constraint Programming (sCCP), a stochastic process algebra based on CCP, with a semantics in terms of hybrid automata. We associate with each sCCP program both a stochastic and a non-deterministic hybrid automaton. Then, we compare such automata with the standard stochastic semantics (given by a Continuous Time Markov Chain) and the one based on ordinary differential equations, obtained by a fluid-flow approximation technique. We discuss in detail two case studies: Repressilator and the Circadian Clock, with particular regard to the robustness exhibited by the different semantic models and to the effect of discreteness in dynamical evolution of such systems. 相似文献
66.
67.
Luca Bertelli Shivkumar Chandrasekaran Frédéric Gibou B. S. Manjunath 《International Journal of Computer Vision》2010,90(3):267-282
In this paper we introduce novel regularization techniques for level set segmentation that target specifically the problem
of multiphase segmentation. When the multiphase model is used to obtain a partitioning of the image in more than two regions,
a new set of issues arise with respect to the single phase case in terms of regularization strategies. For example, if smoothing
or shrinking each contour individually could be a good model in the single phase case, this is not necessarily true in the
multiphase scenario. 相似文献
68.
Maria Elena Bruni Francesca Guerriero 《International Transactions in Operational Research》2010,17(2):207-220
The aim of this paper is to investigate the use of heuristic information to efficiently solve to optimality the robust shortest path problem. Starting from the exact algorithm proposed by Murty and Her, we describe how this algorithm can be enhanced by using heuristic rules and evaluation functions to guide the search. The efficiency of the proposed enhanced approach is tested over a range of random generated instances. Our computational results indicate that the use of heuristic criteria is able to speed up considerably the search and that the enhanced exact solution method outperforms the state‐of‐the‐art algorithm proposed by Murty and Her in most of the instances. 相似文献
69.
70.