全文获取类型
收费全文 | 980篇 |
免费 | 32篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 9篇 |
化学工业 | 263篇 |
金属工艺 | 11篇 |
机械仪表 | 21篇 |
建筑科学 | 41篇 |
矿业工程 | 3篇 |
能源动力 | 37篇 |
轻工业 | 75篇 |
水利工程 | 4篇 |
石油天然气 | 3篇 |
无线电 | 116篇 |
一般工业技术 | 176篇 |
冶金工业 | 59篇 |
原子能技术 | 2篇 |
自动化技术 | 194篇 |
出版年
2023年 | 6篇 |
2022年 | 16篇 |
2021年 | 17篇 |
2020年 | 10篇 |
2019年 | 21篇 |
2018年 | 20篇 |
2017年 | 9篇 |
2016年 | 24篇 |
2015年 | 20篇 |
2014年 | 37篇 |
2013年 | 58篇 |
2012年 | 61篇 |
2011年 | 95篇 |
2010年 | 55篇 |
2009年 | 43篇 |
2008年 | 69篇 |
2007年 | 55篇 |
2006年 | 55篇 |
2005年 | 51篇 |
2004年 | 34篇 |
2003年 | 21篇 |
2002年 | 33篇 |
2001年 | 11篇 |
2000年 | 10篇 |
1999年 | 14篇 |
1998年 | 17篇 |
1997年 | 12篇 |
1996年 | 13篇 |
1995年 | 8篇 |
1994年 | 12篇 |
1993年 | 9篇 |
1992年 | 8篇 |
1991年 | 7篇 |
1990年 | 4篇 |
1989年 | 7篇 |
1988年 | 5篇 |
1987年 | 8篇 |
1986年 | 4篇 |
1985年 | 9篇 |
1984年 | 3篇 |
1983年 | 4篇 |
1982年 | 12篇 |
1981年 | 5篇 |
1980年 | 6篇 |
1979年 | 7篇 |
1978年 | 2篇 |
1976年 | 2篇 |
1974年 | 2篇 |
1968年 | 1篇 |
1955年 | 1篇 |
排序方式: 共有1014条查询结果,搜索用时 0 毫秒
81.
Axel Schairer Serge Autexier Dieter Hutter 《Electronic Notes in Theoretical Computer Science》2001,58(2)
In interactive theorem proving, tactics and tacticals have been introduced to automate proof search. In this scenario, user interaction traditionally is restricted to the mode in which the user decides which tactic to apply on the top-level, without being able to interact with the tactic once it has begun running.We propose a technique to allow the implementation of derivational analogy in tactical theorem proving. Instead of replaying tactics including backtracked dead ends our framework makes choice points in tactics explicit and thus avoids dead ends when reusing tactics. Additionally users can override choices a tactic has made or add additional steps to a derivation without terminating the tactic. The technique depends on an efficient replay of tactic executions without repeating search that the original computation may have involved. 相似文献
82.
David A. Palandro Serge Andréfouët Chuanmin Hu Pamela Hallock Frank E. Müller-Karger Phillip Dustan Michael K. Callahan Christine Kranenburg Carl R. Beaver 《Remote sensing of environment》2008,112(8):3388-3399
The loss of coral reef habitats has been witnessed at a global scale including in the Florida Keys and the Caribbean. In addition to field surveys that can be spatially limited, remote sensing can provide a synoptic view of the changes occurring on coral reef habitats. Here, we utilize an 18-year time series of Landsat 5/TM and 7/ETM+ images to assess changes in eight coral reef sites in the Florida Keys National Marine Sanctuary, namely Carysfort Reef, Grecian Rocks, Molasses Reef, Conch Reef, Sombrero Reef, Looe Key Reef, Western Sambo and Sand Key Reef. Twenty-eight Landsat images (1984–2002) were used, with imagery gathered every 2 years during spring, and every 6 years during fall. The image dataset was georectified, calibrated to remote sensing reflectance and corrected for atmospheric and water-column effects. A Mahalanobis distance classification was trained for four habitat classes (‘coral’, ‘sand’, ‘bare hardbottom’ and ‘covered hardbottom’) using in situ ground-truthing data collected in 2003–2004 and using the spectral statistics from a 2002 image. The red band was considered useful only for benthic habitats in depths less than 6 m. Overall mean coral habitat loss for all sites classified by Landsat was 61% (3.4%/year), from a percentage habitat cover of 19% (1984) down to 7.6% (2002). The classification results for the eight different sites were critically reviewed. A detailed pixel by pixel examination of the spatial patterns across time suggests that the results range from ecologically plausible to unreliable due to spatial inconsistencies and/or improbable ecological successions. In situ monitoring data acquired by the Coral Reef Evaluation and Monitoring Project (CREMP) for the eight reef sites between 1996 and 2002 showed a loss in coral cover of 52% (8.7%/year), whereas the Landsat-derived coral habitat areas decreased by 37% (6.2%/year). A direct trend comparison between the entire CREMP percent coral cover data set (1996–2004) and the entire Landsat-derived coral habitat areas showed no significant difference between the two time series (ANCOVA; F-test, p = 0.303, n = 32), despite the different scales of measurements. 相似文献
83.
Studied the causal interpretations of wage disparities among linguistic groups in Québec, assessed the effects of these interpretations on intergroup relations, and examined social and cultural dimensions of causal attributions. Human subjects: 36 male and female French-Canadian adults (university students). 36 male and female English-Canadian adults (university students). Ss' mean age was 21.7 yrs. Ss were given a questionnaire soliciting information on demographic factors and opinions on the importance of various factors in explaining the wage disparity between French-speaking and English-speaking Canadians. Two questionnaire forms were used, 1 containing an information sheet on the economic disadvantages of French-speaking Canadians, and 1 without the information sheet. Interpretations of the causes of the economic gap between French-speaking and English-speaking Canadians were evaluated using an analysis of variance (ANOVA) according to language and whether or not the Ss had received the information sheet. (English abstract) (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
84.
The shielding effectiveness of multishielded coaxial cables is determinated through the concept of the equivalent transfer impedance. The transfer impedance is computed from the main parameters of the coaxial structure. We describe in this paper the theoretical formulation to evaluate the amplitude of the disturbing voltage at the end of the cable flowed by the disturbing current. This result is used for the computation of the equivalent transfer impedance when the cable is made of various shields for exemple: homogeneous screens or braids. A comparison with the experimental results is also described. 相似文献
85.
86.
Size effects on the DC characteristics and low frequency noise of double polysilicon NPN bipolar transistors 总被引:1,自引:0,他引:1
Nicolas Valdaperez Jean-Marc Routoure Daniel Bloyet Rgis Carin Serge Bardy 《Microelectronics Reliability》2005,45(7-8):1167-1173
DC and low frequency noise measurements have been carried out for double polysilicon NPN bipolar transistors. Our experiments have highlighted unexpected geometrical dependencies for the base saturation current density and low frequency noise. A model, taking into account a variation of the interfacial oxide thickness at the periphery of the emitter has been proposed and it has been successfully applied to the experimental results. 相似文献
87.
Gwenael Jouet Eric W.H. Hutton James P.M. Syvitski Serge Berné 《Computers & Geosciences》2008,34(10):1338-1357
Passive continental margin subsidence is initiated by the synrift mechanical stretching of the lithospheric upper brittle layer and continues during the postrift phase; the thermal cooling and contraction of the upwelled asthenosphere forces the margin to subside in addition to the overloads from sea water and sediments. Therefore, the total subsidence in stretched basins includes fault-controlled initial sinking, thermal subsidence and flexural isostatic compensations. Decoupling and estimating the different components of this subsidence from stratigraphic analysis and restricted geophysical and sedimentological databases remains problematic. In particular, backstripping the sediment layers requires a well-constrained geological framework. A method is proposed here to investigate the subsidence history of a margin based on forward stratigraphic modelling. Using the Sedflux model, several experiments are done using generally agreed upon assumptions on the parameters describing lithospheric rheology and isostatic behaviour of a margin. The stratigraphic modelling of the Rhône deltaic margin during the last climatic cycle (125 kyr) provides an assessment of these parameter estimates and their influence on geohistory (tectonic/thermal subsidence and sediment loading). The model results confirm the important impact of water loading on vertical deflection along the platform between glacial low sea-level and interglacial high sea-level. Based on Gulf of Lions (NW Mediterranean) observations, a conceptual method that uses the stratigraphic simulations is produced in order to evaluate the different components of the total subsidence of a margin, and, in particular, the relative impact of tectonic subsidence and sediment load. 相似文献
88.
Larivée Serge; Tremblay Richard E.; Charlebois Pierre; Gagnon Claude 《Canadian Metallurgical Quarterly》1989,21(1):16
Studied the association among paternal dogmatism, socioeconomic status (SES), and cognitive development using Piagetian tasks. Human subjects: 98 male and female French-Canadian schoolage children and adolescents (aged 144–171 mo) (1st class of students in the secondary school). 98 male French-Canadian adults (aged 32–62 yrs). All Ss were from 2-parent families and consisted of 50 father–daughter and 48 father–son dyads. Paternal dogmatism was measured using the French-Canadian version of the Rokeach Scale by M. Rokeach (1960). Cognitive levels were evaluated using Piaget and Inhelder"s Permutations Test (1951). Ss" SES was measured using B. R. Blishen and H. A. McRobert"s Socioeconomic Index (1976). The results of the cognitive performance tests were analyzed statistically according to age, sex, dogmatism, and SES, using an analysis of variance (ANOVA). (English abstract) (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
89.
90.
In this note, we prove that the complexity of scattering in an oriented ring of p processors is (p - 1) (β + Lτ) where L is the length of the messages, β the communication startup, and τ the elemental propagation time. 相似文献