全文获取类型
收费全文 | 5436篇 |
免费 | 246篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 43篇 |
综合类 | 4篇 |
化学工业 | 1094篇 |
金属工艺 | 90篇 |
机械仪表 | 103篇 |
建筑科学 | 196篇 |
矿业工程 | 30篇 |
能源动力 | 132篇 |
轻工业 | 360篇 |
水利工程 | 69篇 |
石油天然气 | 12篇 |
武器工业 | 1篇 |
无线电 | 446篇 |
一般工业技术 | 900篇 |
冶金工业 | 1323篇 |
原子能技术 | 34篇 |
自动化技术 | 848篇 |
出版年
2023年 | 31篇 |
2022年 | 49篇 |
2021年 | 93篇 |
2020年 | 72篇 |
2019年 | 81篇 |
2018年 | 86篇 |
2017年 | 86篇 |
2016年 | 118篇 |
2015年 | 112篇 |
2014年 | 167篇 |
2013年 | 293篇 |
2012年 | 264篇 |
2011年 | 379篇 |
2010年 | 271篇 |
2009年 | 288篇 |
2008年 | 312篇 |
2007年 | 316篇 |
2006年 | 251篇 |
2005年 | 199篇 |
2004年 | 188篇 |
2003年 | 178篇 |
2002年 | 158篇 |
2001年 | 118篇 |
2000年 | 121篇 |
1999年 | 107篇 |
1998年 | 120篇 |
1997年 | 106篇 |
1996年 | 100篇 |
1995年 | 80篇 |
1994年 | 78篇 |
1993年 | 86篇 |
1992年 | 55篇 |
1991年 | 46篇 |
1990年 | 55篇 |
1989年 | 65篇 |
1988年 | 56篇 |
1987年 | 45篇 |
1986年 | 40篇 |
1985年 | 53篇 |
1984年 | 50篇 |
1983年 | 32篇 |
1982年 | 30篇 |
1981年 | 43篇 |
1980年 | 23篇 |
1979年 | 20篇 |
1978年 | 37篇 |
1977年 | 26篇 |
1976年 | 27篇 |
1975年 | 15篇 |
1974年 | 18篇 |
排序方式: 共有5685条查询结果,搜索用时 0 毫秒
51.
Saurabh Srivastava Sumit Gulwani Jeffrey S. Foster 《International Journal on Software Tools for Technology Transfer (STTT)》2013,15(5-6):497-518
Program verification is the task of automatically generating proofs for a program’s compliance with a given specification. Program synthesis is the task of automatically generating a program that meets a given specification. Both program verification and program synthesis can be viewed as search problems, for proofs and programs, respectively. For these search problems, we present approaches based on user-provided insights in the form of templates. Templates are hints about the syntactic forms of the invariants and programs, and help guide the search for solutions. We show how to reduce the template-based search problem to satisfiability solving, which permits the use of off-the-shelf solvers to efficiently explore the search space. Template-based approaches have allowed us to verify and synthesize programs outside the abilities of previous verifiers and synthesizers. Our approach can verify and synthesize difficult algorithmic textbook programs (e.g., sorting and dynamic programming-based algorithms) and difficult arithmetic programs. 相似文献
52.
Stephen C. Riley Jacques Rinchard Mark P. Ebener Donald E. Tillitt Kelly R. Munkittrick Joanne L. Parrott Jeffrey D. Allen 《Journal of Great Lakes research》2011,37(4):732-737
Thiamine deficiency is responsible for reproductive impairment in several species of salmonines in the Great lakes, and is thought to be caused by the consumption of prey containing thiaminase, a thiamine-degrading enzyme. Because thiaminase levels are extremely high in dreissenid mussels, fish that prey on them may be susceptible to thiamine deficiency. We determined thiamine concentrations in lake whitefish Coregonus clupeaformis eggs from the upper Laurentian Great Lakes to assess the potential for thiamine deficiency and to determine if thiamine concentrations in lake whitefish eggs were related to maternal diet. Mean thiamine concentrations in lake whitefish eggs were highest in Lake Huron, intermediate in Lake Superior, and lowest in Lake Michigan. Some fish had thiamine concentrations below putative thresholds for lethal and sublethal effects in salmonines, suggesting that some larval lake whitefish may currently be at risk of at least sublethal effects of low thiamine concentrations, although thiamine thresholds are unknown for lake whitefish. Egg thiamine concentrations in lake whitefish eggs were statistically significantly related to isotopic carbon signatures, suggesting that egg thiamine levels were related to maternal diet, but low egg thiamine concentrations did not appear to be associated with a diet of dreissenids. Egg thiamine concentrations were not statistically significantly related to multifunction oxidase induction, suggesting that lower egg thiamine concentrations in lake whitefish were not related to contaminant exposure. 相似文献
53.
This paper considers the theory of database queries on the complex value data model with external functions. Motivated by concerns regarding query evaluation, we first identify recursive sets of formulas, called embedded allowed, which is a class with desirable properties of “reasonable” queries.We then show that all embedded allowed calculus (or fix-point) queries are domain independent and continuous. An algorithm for translating embedded allowed queries into equivalent algebraic expressions as a basis for evaluating safe queries in all calculus-based query classes has been developed.Finally we discuss the topic of “domain independent query programs”, compare the expressive power of the various complex value query languages and their embedded allowed versions, and discuss the relationship between safety, embedded allowed, and domain independence in the various calculus-based queries. 相似文献
54.
Validation of GOES and MODIS active fire detection products using ASTER and ETM+ data 总被引:2,自引:0,他引:2
Wilfrid Schroeder Elaine Prins Louis Giglio Ivan Csiszar Christopher Schmidt Jeffrey Morisette Douglas Morton 《Remote sensing of environment》2008,112(5):2711-2726
In this study we implemented a comprehensive analysis to validate the MODIS and GOES satellite active fire detection products (MOD14 and WFABBA, respectively) and characterize their major sources of omission and commission errors which have important implications for a large community of fire data users. Our analyses were primarily based on the use of 30 m resolution ASTER and ETM+ imagery as our validation data. We found that at the 50% true positive detection probability mark, WFABBA requires four times more active fire area than is necessary for MOD14 to achieve the same probability of detection, despite the 16× factor separating the nominal spatial resolutions of the two products. Approximately 75% and 95% of all fires sampled were omitted by the MOD14 and WFABBA instantaneous products, respectively; whereas an omission error of 38% was obtained for WFABBA when considering the 30-minute interval of the GOES data. Commission errors for MOD14 and WFABBA were found to be similar and highly dependent on the vegetation conditions of the areas imaged, with the larger commission errors (approximately 35%) estimated over regions of active deforestation. Nonetheless, the vast majority (> 80%) of the commission errors were indeed associated with recent burning activity where scars could be visually confirmed in the higher resolution data. Differences in thermal dynamics of vegetated and non-vegetated areas were found to produce a reduction of approximately 50% in the commission errors estimated towards the hours of maximum fire activity (i.e., early-afternoon hours) which coincided with the MODIS/Aqua overpass. Lastly, we demonstrate the potential use of temporal metrics applied to the mid-infrared bands of MODIS and GOES data to reduce the commission errors found with the validation analyses. 相似文献
55.
Use of a dark object concept and support vector machines to automate forest cover change analysis 总被引:5,自引:0,他引:5
Chengquan Huang Kuan Song Sunghee Kim Paul Davis Jeffrey G. Masek 《Remote sensing of environment》2008,112(3):970-985
An automated method was developed for mapping forest cover change using satellite remote sensing data sets. This multi-temporal classification method consists of a training data automation (TDA) procedure and uses the advanced support vector machines (SVM) algorithm. The TDA procedure automatically generates training data using input satellite images and existing land cover products. The derived high quality training data allow the SVM to produce reliable forest cover change products. This approach was tested in 19 study areas selected from major forest biomes across the globe. In each area a forest cover change map was produced using a pair of Landsat images acquired around 1990 and 2000. High resolution IKONOS images and independently developed reference data sets were available for evaluating the derived change products in 7 of those areas. The overall accuracy values were over 90% for 5 areas, and were 89.4% and 89.6% for the remaining two areas. The user's and producer's accuracies of the forest loss class were over 80% for all 7 study areas, demonstrating that this method is especially effective for mapping major disturbances with low commission errors. IKONOS images were also available in the remaining 12 study areas but they were either located in non-forest areas or in forest areas that did not experience forest cover change between 1990 and 2000. For those areas the IKONOS images were used to assist visual interpretation of the Landsat images in assessing the derived change products. This visual assessment revealed that for most of those areas the derived change products likely were as reliable as those in the 7 areas where accuracy assessment was conducted. The results also suggest that images acquired during leaf-off seasons should not be used in forest cover change analysis in areas where deciduous forests exist. Being highly automatic and with demonstrated capability to produce reliable change products, the TDA-SVM method should be especially useful for quantifying forest cover change over large areas. 相似文献
56.
We introduce a general discrete time dynamic framework to value pilot project investments that reduce idiosyncratic uncertainty with respect to the final cost of a project. The model generalizes different settings introduced previously in the literature by incorporating both market and technical uncertainty and differentiating between the commercial phase and the pilot phase of a project. In our model, the pilot phase requires N stages of investment for completion. With this distinction we are able to frame the problem as a compound perpetual Bermudan option. We work in an incomplete markets setting where market uncertainty is spanned by tradable assets and technical uncertainty is idiosyncratic to the firm. The value of the option to invest as well as the optimal exercise policy are solved by an approximate dynamic programming algorithm that relies on the independence of the state variables increments. We prove the convergence of our algorithm and derive a theoretical bound on how the errors compound as the number of stages of the pilot phase is increased. We implement the algorithm for a simplified version of the model where revenues are fixed, providing an economic interpretation of the effects of the main parameters driving the model. In particular, we explore how the value of the investment opportunity and the optimal investment threshold are affected by changes in market volatility, technical volatility, the learning coefficient, the drift rate of costs and the time to completion of a pilot stage. 相似文献
57.
Cylindrical fibre actuators have been constructed by a coextrusion method using a thermoplastic polyurethane wall and a conductive grease filler. These actuators may be operated as single fibres or bundled together as actuating ropes. Key results include the validation of Carpi’s wall pressure model [F. Carpi, D.D. Rossi, Dielectric elastomer cylindrical actuators: electromechanical modelling and experimental evaluation, Mater. Sci. Eng. C-Biomimetic Supramol. Syst. 24 (2004) 555–562] and the proof-of-concept demonstration of a technique that can be used for producing inexpensive dielectric elastomer actuators on an industrial scale. 相似文献
58.
A dynamic workflow framework for mass customization using web service and autonomous agent techniques 总被引:3,自引:1,他引:2
Daniel J. Karpowitz Jordan J. Cox Jeffrey C. Humpherys Sean C. Warnick 《Journal of Intelligent Manufacturing》2008,19(5):537-552
Custom software development and maintenance is one of the key expenses associated with developing automated systems for mass
customization. This paper presents a method for reducing the risk associated with this expense by developing a flexible environment
for determining and executing dynamic workflow paths. Strategies for developing an autonomous agent-based framework and for
identifying and creating web services for specific process tasks are presented. The proposed methods are outlined in two different
case studies to illustrate the approach for both a generic process with complex workflow paths and a more specific sequential
engineering process. 相似文献
59.
This paper describes the implementation and benchmarking of a parallel version of the LISFLOOD-FP hydraulic model based on the OpenMP Application Programming Interface. The motivation behind the study was that reducing model run time through parallelisation would increase the utility of such models by expanding the domains over which they can be practically implemented, allowing previously inaccessible scientific questions to be addressed. Parallel speedup was calculated for 13 models distributed over seven study sites and implemented on one, two, four and in selected cases eight processor cores. The models represent a range of previous applications from large area, coarse resolution models of the Amazon, to fine resolution models of urban areas, to orders of magnitude smaller models of rural floodplains. Parallel speedups were greater for larger model domains, especially for models with over 0.2–0.4 million cells where parallel efficiencies of up to 0.75 on four and eight cores were achieved. A key advantage of using OpenMP and an explicit rather than implicit model was the ease of implementation and minimal code changes required to run simulations in parallel. 相似文献
60.
Yoram Bachrach Ariel Parnes Ariel D. Procaccia Jeffrey S. Rosenschein 《Autonomous Agents and Multi-Agent Systems》2009,19(2):153-172
Decentralized Reputation Systems have recently emerged as a prominent method of establishing trust among self-interested agents
in online environments. A key issue is the efficient aggregation of data in the system; several approaches have been proposed,
but they are plagued by major shortcomings. We put forward a novel, decentralized data management scheme grounded in gossip-based
algorithms. Rumor mongering is known to possess algorithmic advantages, and indeed, our framework inherits many of their salient
features: scalability, robustness, a global perspective, and simplicity. We demonstrate that our scheme motivates agents to
maintain a very high reputation, by showing that the higher an agent’s reputation is above the threshold set by its peers,
the more transactions it would be able to complete within a certain time unit. We analyze the relation between the amount
by which an agent’s average reputation exceeds the threshold and the time required to close a deal. This analysis is carried
out both theoretically, and empirically through a simulation system called GossipTrustSim. Finally, we show that our approach is inherently impervious to certain kinds of attacks.
A preliminary version of this article appeared in the proceedings of IJCAI 2007. 相似文献