全文获取类型
收费全文 | 2713篇 |
免费 | 134篇 |
国内免费 | 12篇 |
专业分类
电工技术 | 34篇 |
化学工业 | 821篇 |
金属工艺 | 56篇 |
机械仪表 | 80篇 |
建筑科学 | 93篇 |
矿业工程 | 21篇 |
能源动力 | 91篇 |
轻工业 | 194篇 |
水利工程 | 18篇 |
石油天然气 | 8篇 |
武器工业 | 1篇 |
无线电 | 232篇 |
一般工业技术 | 521篇 |
冶金工业 | 161篇 |
原子能技术 | 33篇 |
自动化技术 | 495篇 |
出版年
2023年 | 31篇 |
2022年 | 121篇 |
2021年 | 117篇 |
2020年 | 88篇 |
2019年 | 65篇 |
2018年 | 97篇 |
2017年 | 100篇 |
2016年 | 97篇 |
2015年 | 94篇 |
2014年 | 129篇 |
2013年 | 210篇 |
2012年 | 155篇 |
2011年 | 184篇 |
2010年 | 132篇 |
2009年 | 125篇 |
2008年 | 134篇 |
2007年 | 102篇 |
2006年 | 95篇 |
2005年 | 83篇 |
2004年 | 61篇 |
2003年 | 58篇 |
2002年 | 50篇 |
2001年 | 30篇 |
2000年 | 27篇 |
1999年 | 30篇 |
1998年 | 40篇 |
1997年 | 23篇 |
1996年 | 22篇 |
1995年 | 26篇 |
1994年 | 25篇 |
1993年 | 22篇 |
1992年 | 17篇 |
1991年 | 16篇 |
1990年 | 12篇 |
1989年 | 17篇 |
1988年 | 11篇 |
1987年 | 25篇 |
1986年 | 15篇 |
1985年 | 16篇 |
1984年 | 13篇 |
1983年 | 9篇 |
1982年 | 16篇 |
1981年 | 9篇 |
1980年 | 8篇 |
1979年 | 11篇 |
1976年 | 7篇 |
1975年 | 9篇 |
1974年 | 7篇 |
1973年 | 13篇 |
1972年 | 8篇 |
排序方式: 共有2859条查询结果,搜索用时 15 毫秒
41.
Matjaz B. Juric Author Vitae Ana Sasa Author Vitae Author Vitae Ivan Rozman Author Vitae 《Journal of Systems and Software》2009,82(8):1326-1343
Versioning is an important aspect of web service development, which has not been adequately addressed so far. In this article, we propose extensions to WSDL and UDDI to support versioning of web service interfaces at development-time and run-time. We address service-level and operation-level versioning, service endpoint mapping, and version sequencing. We also propose annotation extensions for developing versioned web services in Java. We have tested the proposed solution for versioning in two real-world environments and identified considerable improvements in service development and maintenance efficiency, improved service reuse, and simplified governance. 相似文献
42.
In the present article, we continue the study of the propertiesof the spectra of structures as sets of degrees initiated in[11]. Here, we consider the relationships between the spectraand the jump spectra. Our first result is that every jump spectrumis also a spectrum. The main result sounds like a Jump inversiontheorem. Namely, we show that if a spectrum is contained inthe set of the jumps of the degrees in some spectrum then thereexists a spectrum such that and is equal to the set of thejumps of the degrees in . 相似文献
43.
A comprehensive quality model for service-oriented systems 总被引:2,自引:0,他引:2
In a service-oriented system, a quality (or Quality of Service) model is used (i) by service requesters to specify the expected
quality levels of service delivery; (ii) by service providers to advertise quality levels that their services achieve; and
(iii) by service composers when selecting among alternative services those that are to participate in a service composition.
Expressive quality models are needed to let requesters specify quality expectations, providers advertise service qualities,
and composers finely compare alternative services. Having observed many similarities between various quality models proposed
in the literature, we review these and integrate them into a single quality model, called QVDP. We highlight the need for
integration of priority and dependency information within any quality model for services and propose precise submodels for
doing so. Our intention is for the proposed model to serve as a reference point for further developments in quality models
for service-oriented systems. To this aim, we extend the part of the UML metamodel specialized for Quality of Service with
QVDP concepts unavailable in UML.
Ivan J. Jureta has, after graduating, summa cum laude, received the Master in Management and Master of International Management, respectively, at the Université de Louvain, Belgium, and the London School of Economics, both in 2005. He is currently completing his Ph.D. thesis at the University of Namur, Belgium, under Prof. Stéphane Faulkner’s supervision. His thesis focuses on quality management of adaptable and open service-oriented systems enabling the Semantic Web. Caroline Herssens received a Master Degree in Computer Science in 2005 at the Université de Louvain. In 2006, she graduated a Master in Business and Administration from the University of Louvain, with a supply chain management orientation. She is currently a teaching and research assistant and has started a Ph.D. thesis at the information systems research unit at Université de Louvain. Her research interests comprise service-oriented computing, conceptual modeling and information systems engineering. Stéphane Faulkner is an Associate Professor in Technologies and Information Systems at the University of Namur (FUNDP) and an Invited Professor at the Louvain School of Management of the Université de Louvain (UCL). His current research interests revolve around requirements engineering and the development of modeling notations, systematic methods and tool support for the development of multi-agent systems, database and information systems. 相似文献
Stéphane FaulknerEmail: |
Ivan J. Jureta has, after graduating, summa cum laude, received the Master in Management and Master of International Management, respectively, at the Université de Louvain, Belgium, and the London School of Economics, both in 2005. He is currently completing his Ph.D. thesis at the University of Namur, Belgium, under Prof. Stéphane Faulkner’s supervision. His thesis focuses on quality management of adaptable and open service-oriented systems enabling the Semantic Web. Caroline Herssens received a Master Degree in Computer Science in 2005 at the Université de Louvain. In 2006, she graduated a Master in Business and Administration from the University of Louvain, with a supply chain management orientation. She is currently a teaching and research assistant and has started a Ph.D. thesis at the information systems research unit at Université de Louvain. Her research interests comprise service-oriented computing, conceptual modeling and information systems engineering. Stéphane Faulkner is an Associate Professor in Technologies and Information Systems at the University of Namur (FUNDP) and an Invited Professor at the Louvain School of Management of the Université de Louvain (UCL). His current research interests revolve around requirements engineering and the development of modeling notations, systematic methods and tool support for the development of multi-agent systems, database and information systems. 相似文献
44.
45.
During financial crises investors manage portfolios with low liquidity, where the paper-value of an asset differs from the price proposed by the buyer. We consider an optimization problem for a portfolio with an illiquid, a risky and a risk-free asset. We work in the Merton's optimal consumption framework with continuous time. The liquid part of the investment is described by a standard Black–Scholes market. The illiquid asset is sold at a random moment with prescribed distribution and generates additional liquid wealth dependent on its paper-value. The investor has a hyperbolic absolute risk aversion also denoted as HARA-type utility function, in particular, the logarithmic utility function as a limit case. We study two different distributions of the liquidation time of the illiquid asset – a classical exponential distribution and a more practically relevant Weibull distribution. Under certain conditions we show the smoothness of the viscosity solution and obtain closed formulae relevant for numerics. 相似文献
46.
47.
Michal Mereš Ivan Melo Boris Tomášik Vladimír Balek Vladimír ?erný 《Computer Physics Communications》2011,182(12):2561-2566
We propose a novel algorithm, called REGGAE, for the generation of momenta of a given sample of particle masses, evenly distributed in Lorentz-invariant phase space and obeying energy and momentum conservation. In comparison to other existing algorithms, REGGAE is designed for the use in multiparticle production in hadronic and nuclear collisions where many hadrons are produced and a large part of the available energy is stored in the form of their masses. The algorithm uses a loop simulating multiple collisions which lead to production of configurations with reasonably large weights.
Program summary
Program title: REGGAE (REscattering-after-Genbod GenerAtor of Events)Catalogue identifier: AEJR_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEJR_v1_0.htmlProgram obtainable from: CPC Program Library, Queen?s University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 1523No. of bytes in distributed program, including test data, etc.: 9608Distribution format: tar.gzProgramming language: C++Computer: PC Pentium 4, though no particular tuning for this machine was performed.Operating system: Originally designed on Linux PC with g++, but it has been compiled and ran successfully on OS X with g++ and MS Windows with Microsoft Visual C++ 2008 Express Edition, as well.RAM: This depends on the number of particles which are generated. For 10 particles like in the attached example it requires about 120 kB.Classification: 11.2Nature of problem: The task is to generate momenta of a sample of particles with given masses which obey energy and momentum conservation. Generated samples should be evenly distributed in the available Lorentz-invariant phase space.Solution method: In general, the algorithm works in two steps. First, all momenta are generated with the GENBOD algorithm. There, particle production is modeled as a sequence of two-body decays of heavy resonances. After all momenta are generated this way, they are reshuffled. Each particle undergoes a collision with some other partner such that in the pair center of mass system the new directions of momenta are distributed isotropically. After each particle collides only a few times, the momenta are distributed evenly across the whole available phase space. Starting with GENBOD is not essential for the procedure but it improves the performance.Running time: This depends on the number of particles and number of events one wants to generate. On a LINUX PC with 2 GHz processor, generation of 1000 events with 10 particles each takes about 3 s. 相似文献48.
Security under man-in-the-middle attacks is extremely important when protocols are executed on asynchronous networks, as the Internet. Focusing on interactive proof systems, one would like also to achieve unconditional soundness, so that proving a false statement is not possible even for a computationally unbounded adversarial prover. Motivated by such requirements, in this paper we address the problem of designing constant-round protocols in the plain model that enjoy simultaneously non-malleability (i.e., security against man-in-the-middle attacks) and unconditional soundness (i.e., they are proof systems).We first give a construction of a constant-round one-many (i.e., one honest prover, many honest verifiers) concurrent non-malleable zero-knowledge proof (in contrast to argument) system for every NP language in the plain model. We then give a construction of a constant-round concurrent non-malleable witness-indistinguishable proof system for every NP language. Compared with previous results, our constructions are the first constant-round proof systems that in the plain model guarantee simultaneously security against some non-trivial concurrent man-in-the-middle attacks and against unbounded malicious provers. 相似文献
49.
Hao WangAuthor VitaeJens B. SchmittAuthor Vitae Ivan MartinovicAuthor Vitae 《Performance Evaluation》2011,68(2):201-219
During the last two decades, starting with the seminal work by Cruz, network calculus has evolved as a new theory for the performance analysis of networked systems. In contrast to classical queueing theory, it deals with performance bounds instead of average values and thus has been the theoretical basis of quality of service proposals such as the IETF’s Integrated and Differentiated Services architectures. Besides these it has, however, recently seen many other application scenarios as, for example, wireless sensor networks, switched Ethernets, avionic networks, Systems-on-Chip, or even to speed-up simulations, to name a few.In this article, we extend network calculus by adding a new versatile modeling element: a demultiplexer. Conventionally, demultiplexing has been either neglected or assumed to be static, i.e., fixed at the setup time of a network. This is restrictive for many potential applications of network calculus. For example, a load balancing based on current link loads in a network could not be modeled with conventional network calculus means. Our demultiplexing element is based on stochastic scaling. Stochastic scaling allows one to put probabilistic bounds on how a flow is split inside the network. Fundamental results on network calculus with stochastic scaling are therefore derived in this work. We illustrate the benefits of the demultiplexer in a sample application of uncertain load balancing. 相似文献
50.
In the area of membrane computing, time-freeness has been defined as the ability for a timed membrane system to produce always
the same result, independently of the execution times associated to the rules. In this paper, we use a similar idea in the
framework of spiking neural P systems, a model inspired by the structure and the functioning of neural cells. In particular,
we introduce stochastic spiking neural P systems where the time of firing for an enabled spiking rule is probabilistically
chosen and we investigate when, and how, these probabilities can influence the ability of the systems to simulate, in a reliable
way, universal machines, such as register machines. 相似文献