全文获取类型
收费全文 | 620篇 |
免费 | 39篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 5篇 |
综合类 | 1篇 |
化学工业 | 179篇 |
金属工艺 | 8篇 |
机械仪表 | 9篇 |
建筑科学 | 42篇 |
能源动力 | 26篇 |
轻工业 | 89篇 |
水利工程 | 3篇 |
石油天然气 | 5篇 |
无线电 | 33篇 |
一般工业技术 | 122篇 |
冶金工业 | 34篇 |
原子能技术 | 4篇 |
自动化技术 | 100篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 21篇 |
2021年 | 40篇 |
2020年 | 23篇 |
2019年 | 11篇 |
2018年 | 16篇 |
2017年 | 16篇 |
2016年 | 28篇 |
2015年 | 22篇 |
2014年 | 34篇 |
2013年 | 60篇 |
2012年 | 51篇 |
2011年 | 51篇 |
2010年 | 46篇 |
2009年 | 34篇 |
2008年 | 40篇 |
2007年 | 44篇 |
2006年 | 18篇 |
2005年 | 19篇 |
2004年 | 17篇 |
2003年 | 6篇 |
2002年 | 10篇 |
2001年 | 8篇 |
2000年 | 4篇 |
1999年 | 2篇 |
1998年 | 15篇 |
1997年 | 3篇 |
1996年 | 4篇 |
1995年 | 5篇 |
1994年 | 3篇 |
1993年 | 4篇 |
排序方式: 共有660条查询结果,搜索用时 15 毫秒
1.
Serena Villata Guido Boella Dov M. Gabbay Leendert van der Torre Joris Hulstijn 《Annals of Mathematics and Artificial Intelligence》2012,66(1-4):199-230
In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung??s abstract argumentation frameworks. We distinguish three kinds of decision problems for argumentation verification, called extension verification, framework verification, and specification verification respectively. For example, given a political requirement like ??if the argument to increase taxes is accepted, then the argument to increase services must be accepted too,?? we can either verify an extension of acceptable arguments, or all extensions of an argumentation framework, or all extensions of all argumentation frameworks satisfying a framework specification. We introduce the logic of argumentation verification to specify such requirements, and we represent the three verification problems of argumentation as model checking and theorem proving properties of the logic. Moreover, we recast the logic of argumentation verification in a modal framework, in order to express multiple extensions, and properties like transitivity and reflexivity of the attack relation. Finally, we introduce a logic of meta-argumentation where abstract argumentation is used to reason about abstract argumentation itself. We define the logic of meta-argumentation using the fibring methodology in such a way to represent attack relations not only among arguments but also among attacks. We show how to use this logic to verify the requirements of argumentation frameworks where higher-order attacks are allowed [A preliminary version of the logic of argumentation compliance was called the logic of abstract argumentation?(2005).] 相似文献
2.
3.
Supplementation with anthocyanins, which are a type of flavonoids mainly found in various berries, is hypothesized to be a promising approach to lower the risk of developing cognitive decline. The aim of this systematic review was to provide a comprehensive overview of dietary intervention trials describing effects of berry anthocyanins on cognitive performance in humans, while also addressing potential underlying mechanisms. A total of 1197 articles were identified through a systematic search, and 49 studies reporting effects on cognitive performance (n = 18), vascular function (n = 22), or cardiometabolic risk markers (n = 32) were included. Significant improvements were observed on memory, while some of the studies also reported effects on attention and psychomotor speed or executive function. Vascular function markers such as brachial artery flow-mediated vasodilation were also affected and consistent evidence was provided for the beneficial effects of berry anthocyanins on endothelial function. Finally, studies reported improvements in blood pressure, but effects on metabolic risk markers (e.g. carbohydrate and lipid metabolism) were less consistent. In conclusion, this review provides evidence for the beneficial effects of berry anthocyanins on cognitive performance as memory improved. Whether observed anthocyanin-induced improvements in vascular function and blood pressure underlie beneficial effects on cognitive performance warrants further study. 相似文献
4.
This study aimed at identifying the roll motion parameters of a motorcycle simulator prototype. Experienced motorcyclists tuned the angular physical movement of the mock-up and that of the visual scene to achieve an optimal riding experience during curves. The participants exceeded the rolling angles that would be required in real-world riding, while avoiding leaning the mock-up beyond 10°. In addition, they were more influenced by the speed of the virtual motorcycle than by road curvature, especially in a wide field of view. Heterogeneity was found in the roll applied to the visual scene. The overall patterns suggest that at least when washout is not applied to remove the side forces that in real-world riding are compensated by a centrifugal force, greater roll of the visual at the expense of the mock-up is mandatory to avoid performance biases that might be enhanced due to fear of falling off the simulator. Future roll motion models must take into consideration factors such as riding postures, which might not only influence the forces operating on the rider-motorcycle system, but also how motorcyclists perceive the visual world. 相似文献
5.
Dai J Park G Perry JL Il'ichev YV Bow DA Pritchard JB Faucet V Pfohl-Leszkowicz A Manderville RA Simon JD 《Accounts of chemical research》2004,37(11):874-881
Ochratoxins are a class of naturally occurring compounds produced by several fungi. The most toxic is ochratoxin A (OTA), and occurrence of some human nephropathies and tumors correlate with enhanced OTA exposure. In this Account, the following areas are examined: molecular details of the binding of OTA to human serum albumin (HSA), the influences of binding to HSA on the trans-port of OTA across epithelial cell membranes by organic anion transport proteins, the oxidative activation of OTA, and the formation of OTA adducts with biological molecules. These studies are beginning to provide a detailed chemical model for the trans-port, accumulation, and genotoxic and carcinogenic effects of OTA. 相似文献
6.
Virginie Boy Wajdi Ben Khalifa Lucie Drvillon Yves Leme Thomas Lendormi Jean‐Louis Lanoisell 《加拿大化工杂志》2021,99(1):120-134
An original drying process combining air impingement and intermittent drying was studied on apple slices and mango cubes. The influence of four operating parameters (air velocity, drying/tempering periods, upper height, and air temperature) on the drying time and on the drying rate was evaluated. Continuous and intermittent drying were compared. The intermittency α = 1/7 (τon = 10 seconds and τoff = 60 seconds) gave the best results. A time savings of 54% for apple and 67% for mango was reached. In continuous drying, a time savings of 4620 seconds was observed by increasing the air velocity from 6 to 40 m s?1 for apple. Air temperatures of 328 K for apple and of 328 K or 338 K for mango were determined as optimum to prevent case‐hardening. Experimental results were fitted with the analytical solution of Fick's second law and the modified Page equation (average values R2 = 0.985 and 0.961, for apple and mango, respectively). For both products, the apparent moisture diffusivity Dapp, the drying constant k, the drying coefficient n, and the activation energy Ea, were identified. Activation energies calculated from the analytical solution were 30.3 and 36.8 kJ mol?1 and were 25.4 and 30.0 kJ mol?1 using the modified Page equation for apple and mango, respectively. Mango has an increased temperature sensitivity and thus will need less energy for drying than apple. 相似文献
7.
Igor Garcia Ballhausen Sampaio José Viterbo Joris Guerin 《Computational Intelligence》2023,39(3):415-432
Object detection (OD) is used for visual quality control in factories. Images that compose training datasets are often collected directly from the production line and labeled with bounding boxes manually. Such data represent well the inference context but might lack diversity, implying a risk of overfitting. To address this issue, we propose a dataset construction method based on an automated pipeline, which receives a CAD model of an object and returns a set of realistic synthetic labeled images (code publicly available). Our approach can be easily used by non-expert users and is relevant for industrial applications, where CAD models are widely available. We performed experiments to compare the use of datasets obtained by the two different ways—collecting and labeling real images or applying the proposed automated pipeline—in the classification of five different industrial parts. To ensure that both approaches can be used without deep learning expertise, all training parameters were kept fixed during these experiments. In our results, both methods were successful for some objects but failed for others. However, we have shown that the combined use of real and synthetic images led to better results. This finding has the potential to make industrial OD models more robust to poor data collection and labeling errors, without increasing the difficulty of the training process. 相似文献
8.
Healing Effect of Controlled Anti‐Electromigration on Conventional and High‐Tc Superconducting Nanowires 下载免费PDF全文
Xavier D. A. Baumans Joseph Lombardo Jérémy Brisbois Gorky Shaw Vyacheslav S. Zharinov Ge He Heshan Yu Jie Yuan Beiyi Zhu Kui Jin Roman B. G. Kramer Joris Van de Vondel Alejandro V. Silhanek 《Small (Weinheim an der Bergstrasse, Germany)》2017,13(26)
The electromigration process has the potential capability to move atoms one by one when properly controlled. It is therefore an appealing tool to tune the cross section of monoatomic compounds with ultimate resolution or, in the case of polyatomic compounds, to change the stoichiometry with the same atomic precision. As demonstrated here, a combination of electromigration and anti‐electromigration can be used to reversibly displace atoms with a high degree of control. This enables a fine adjustment of the superconducting properties of Al weak links, whereas in Nb the diffusion of atoms leads to a more irreversible process. In a superconductor with a complex unit cell (La2?x Cex CuO4), the electromigration process acts selectively on the oxygen atoms with no apparent modification of the structure. This allows to adjust the doping of this compound and switch from a superconducting to an insulating state in a nearly reversible fashion. In addition, the conditions needed to replace feedback controlled electromigration by a simpler technique of electropulsing are discussed. These findings have a direct practical application as a method to explore the dependence of the characteristic parameters on the exact oxygen content and pave the way for a reversible control of local properties of nanowires. 相似文献
9.
Yamine Ait Ameur Frédéric Boniol Virginie Wiels 《International Journal on Software Tools for Technology Transfer (STTT)》2010,12(1):1-7
Nowadays, it is well accepted that the development of critical systems involves the use of formal methods. One of the major
fields where these methods made a lot of progress are the avionics, aerospace and more generally transport areas. Several
methods, tools and techniques have been applied for the development of such systems in different parts of the world, and they
have been actually put into practice during the development of specific aircraft programs. The aim of this introductory article
and of this STTT special issue is to propose a brief overview of the state-of-the-art of current researches in formal methods
applied to the development of avionics and aerospace systems and more broadly to take stock of the integration of formal methods
in the aerospace industry. 相似文献
10.
Bubbles and droplets both consist of a liquid in contact with a gas. In this paper, we consider the interface between the incompressible liquid and the gas as a zero thickness structure. The position of the interface is determined by the equilibrium between surface tension effects and the fluid pressure difference across the interface. So, the structure interacts with the fluids on either side. The behaviour of a limited number of bubbles and droplets can therefore be simulated as a Fluid-Structure Interaction (FSI) problem.Most existing techniques frequently used for studying bubble and droplet dynamics, such as Level Set or Volume Of Fluid, use monolithic schemes. The flow on both sides of the interface and the position of the interface are calculated in a single code. In this contribution, a partitioned approach is presented. The position of the interface is calculated with a structural solver. Given a displacement of the interface, a separate flow solver calculates the flow on the liquid side of the interface with the Arbitrary Lagrangian-Eulerian (ALE) technique. The structural solver uses a reduced order model of the flow solver to obtain implicit coupling between both solvers. This reduced order model is built up during the coupling iterations of a time step. Grid and time converged solutions of two axisymmetric problems are calculated: an oscillating water droplet in air and the growth and detachment of an air bubble from the outlet of a vertical needle, submerged in quiescent water. 相似文献