全文获取类型
收费全文 | 853篇 |
免费 | 52篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 11篇 |
综合类 | 2篇 |
化学工业 | 222篇 |
金属工艺 | 21篇 |
机械仪表 | 23篇 |
建筑科学 | 43篇 |
矿业工程 | 7篇 |
能源动力 | 32篇 |
轻工业 | 75篇 |
水利工程 | 10篇 |
石油天然气 | 5篇 |
无线电 | 96篇 |
一般工业技术 | 169篇 |
冶金工业 | 70篇 |
原子能技术 | 5篇 |
自动化技术 | 118篇 |
出版年
2024年 | 3篇 |
2023年 | 9篇 |
2022年 | 22篇 |
2021年 | 27篇 |
2020年 | 27篇 |
2019年 | 24篇 |
2018年 | 27篇 |
2017年 | 31篇 |
2016年 | 29篇 |
2015年 | 31篇 |
2014年 | 32篇 |
2013年 | 62篇 |
2012年 | 45篇 |
2011年 | 66篇 |
2010年 | 40篇 |
2009年 | 37篇 |
2008年 | 35篇 |
2007年 | 40篇 |
2006年 | 34篇 |
2005年 | 23篇 |
2004年 | 13篇 |
2003年 | 24篇 |
2002年 | 17篇 |
2001年 | 14篇 |
2000年 | 7篇 |
1999年 | 15篇 |
1998年 | 19篇 |
1997年 | 17篇 |
1996年 | 10篇 |
1995年 | 9篇 |
1994年 | 10篇 |
1993年 | 6篇 |
1992年 | 7篇 |
1991年 | 6篇 |
1990年 | 9篇 |
1989年 | 5篇 |
1988年 | 5篇 |
1987年 | 10篇 |
1986年 | 3篇 |
1985年 | 6篇 |
1983年 | 4篇 |
1982年 | 4篇 |
1980年 | 4篇 |
1979年 | 5篇 |
1976年 | 8篇 |
1973年 | 4篇 |
1972年 | 5篇 |
1970年 | 2篇 |
1968年 | 2篇 |
1966年 | 2篇 |
排序方式: 共有909条查询结果,搜索用时 31 毫秒
21.
Comparison of the identification performance of conventional FEM updating and integrated DIC 下载免费PDF全文
Andre P. Ruybalid Johan P. M. Hoefnagels Olaf van der Sluis Marc G. D. Geers 《International journal for numerical methods in engineering》2016,106(4):298-320
Full‐field identification methods are increasingly used to adequately identify constitutive parameters to describe the mechanical behavior of materials. This paper investigates the more recently introduced one‐step method of integrated digital image correlation (IDIC) with respect to the most commonly used two‐step method of finite element model updating (FEMU), which uses a subset‐based DIC algorithm. To make the comparison as objective as possible, both methods are implemented in the most equivalent manner and use the same FE model. Various virtual test cases are studied to assess the performance of both methods when subjected to different error sources: (1) systematic errors, (2) poor initial guesses for the constitutive parameters, (3) image noise, (4) constitutive model errors, and (5) experimental errors. Results show that, despite the mathematical similarity of both methods, IDIC produces less erroneous and more reliable results than FEMU, particularly for more challenging test cases exhibiting small displacements, complex kinematics, misalignment of the specimen, and image noise. Copyright © 2015 John Wiley & Sons, Ltd. 相似文献
22.
Max I. Kanovich Mitsuhiro Okada Andre Scedrov 《Electronic Notes in Theoretical Computer Science》1998,16(1):42-59
Abstract
Real-time finite-state systems may be specified in linear logic by means of linear implications between conjunctions of fixed finite length. In this setting, where time is treated as a dense linear ordering, safety properties may be expressed as certain provability problems. These provability problems are shown to be in pspace. They are solvable, with some guidance, by finite proof search in concurrent logic programming environments based on linear logic and acting as sort of model-checkers. One advantage of our approach is that either it provides unsafe runs or it actually establishes safety. 相似文献23.
Derrick K. Rollins Nidhi Bhandari Jim Kleinedler Kaylee Kotz Amber Strohbehn Lindsay Boland Megan Murphy Dave Andre Nisarg Vyas Greg Welk Warren E. Franke 《Journal of Process Control》2010,20(1):95-107
The goal of this work is to present a causation modeling methodology with the ability to accurately infer blood glucose levels using a large set of highly correlated noninvasive input variables over an extended period of time. These models can provide insight to improve glucose monitoring, and glucose regulation through advanced model-based control technologies. The efficacy of this approach is demonstrated using real data from a type 2 diabetic (T2D) subject collected under free-living conditions over a period of 25 consecutive days. The model was identified and tested using eleven variables that included three food variables as well as several activity and stress variables. The model was trained using 20 days of data and validated using 5 days of data. This gave a fitted correlation coefficient of 0.70 and an average absolute error (AAE) (i.e., the average of the absolute values for the measured glucose concentration minus modeled glucose concentration) of 13.3 mg/dL for the validation data. This AAE result was significantly better than the subject’s personal glucose meter AAE of 15.3 mg/dL for replicated measurements. 相似文献
24.
Holger Maune Mohsen Sazegar Yuliang Zheng Xianghui Zhou Andre Giere Patrick Scheele Florian Paul Joachim R. Binder Rolf Jakoby 《Microsystem Technologies》2011,17(2):213-224
The research on materials and systems for tunable microwave devices has gained attraction within the last years. The radio
frequency characterization and the component design of tunable microwave components based on dielectric ceramics especially
barium-strontium-titanate (BST) are presented in this second part, whereas the basic material properties are discussed in
detail in the first part. After a short introduction to the processing technology used for the fabrication of tunable components
based on a BST thick film, the relations between microwave properties and material properties as well as the microstructure
are presented in detail. The design process for tunable microwave components based on BST thick films is described. Especially
the considerations related to micro- and macrostructure and their connection are highlighted. The paper closes with two different
application examples: a reconfigurable array antenna for satellite communication and varactors for high power applications. 相似文献
25.
Jose Andre Morales Peter J. Clarke Yi Deng B. M. Golam Kibria 《Journal in Computer Virology》2008,4(3):221-234
New viruses spread faster than ever and current signature based detection do not protect against these unknown viruses. Behavior
based detection is the currently preferred defense against unknown viruses. The drawback of behavior based detection is the
ability only to detect specific classes of viruses or have successful detection under certain conditions plus false positives.
This paper presents a characterization of virus replication which is the only virus characteristic guaranteed to be consistently
present in all viruses. Two detection models based on virus replication are developed, one using operation sequence matching
and the other using frequency measures. Regression analysis was generated for both models. A safe list is used to minimize
false positives. In our testing using operation sequence matching, over 250 viruses were detected with 43 subsequences. There
were minimal false negatives. The replication sequence of just one virus detected 130 viruses, 45% of all tested viruses.
Our testing using frequency measures detected all test viruses with no false negatives. The paper shows that virus replication
can be identified and used to detect known and unknown viruses. 相似文献
26.
Formal Analysis of Multiparty Contract Signing 总被引:1,自引:0,他引:1
We analyze the multiparty contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, Mocha, which allows specification of protocol properties in a branching-time temporal logic with game semantics. While our analysis does not reveal any errors in the BW protocol, in the GM protocol we discover serious problems with fairness for four signers and an oversight regarding abuse-freeness for three signers. We propose a complete revision of the GM subprotocols in order to restore fairness. 相似文献
27.
28.
Annick Bricaud Andre Morel Vittorio Barale 《International journal of remote sensing》2013,34(9):1757-1769
The interest of space observations of ocean colour for determining variations in phytoplankton distribution and for deriving primary production (via models) has been largely demonstrated by the Coastal Zone Color Scanner (CZCS) which operated from 1978 to 1986. The capabilities of this pioneer sensor, however, were limited both in spectral resolution and radiometric accuracy. The next generation of ocean colour sensors will benefit from major improvements. The Medium Resolution Imaging Spectrometer (MERIS), planned by the European Space Agency (ESA) for the Envisat platform, has been designed to measure radiances in 15 visible and infrared channels. Three infrared channels will allow aerosol characterization, and therefore accurate atmospheric corrections, to be performed for each pixel. For the retrieval of marine parameters, nine channels between 410 and 705nm will be available (as opposed to only four with the CZCS). In coastal waters this should, in principle, allow a separate quantification of different substances (phytoplankton, mineral particles, yellow substance) to be performed. In open ocean waters optically dominated by phytoplankton and their associate detrital matter, the basic information (i.e. the concentration of phytoplanktonic pigments) will be retrieved with improved accuracy due to the increased radiometric performances of MERIS. The adoption of multi-wavelength algorithms could also lead to additional information concerning auxiliary pigments and taxonomic groups. Finally, MERIS will be one of the first sensors to allow measurements of Sun-induced chlorophyll a in vivo fluorescence, which could provide a complementary approach for the assessment of phytoplankton abundance. The development of these next-generation algorithms, however, requires a number of fundamental studies. 相似文献
29.
30.
Andre R. Ferreira 《工程优选》2013,45(9):1073-1093
Optimal operation models for a hydropower system using partial constraint satisfaction (PCS) approaches are proposed and developed in this study. The models use mixed integer nonlinear programming (MINLP) formulations with binary variables. The models also integrate a turbine unit commitment formulation along with water quality constraints used for evaluation of reservoir downstream water quality impairment. New PCS-based models for hydropower optimization formulations are developed using binary and continuous evaluator functions to maximize the constraint satisfaction. The models are applied to a real-life hydropower reservoir system in Brazil. Genetic Algorithms (GAs) are used to solve the optimization formulations. Decision maker's preferences towards power production targets and water quality improvements are incorporated using partial satisfaction constraints to obtain compromise operating rules for a multi-objective reservoir operation problem dominated by conflicting goals of energy production, water quality and consumptive water uses. 相似文献