全文获取类型
收费全文 | 166篇 |
免费 | 6篇 |
专业分类
电工技术 | 3篇 |
化学工业 | 21篇 |
金属工艺 | 4篇 |
机械仪表 | 5篇 |
建筑科学 | 9篇 |
能源动力 | 23篇 |
轻工业 | 12篇 |
无线电 | 27篇 |
一般工业技术 | 23篇 |
冶金工业 | 2篇 |
自动化技术 | 43篇 |
出版年
2024年 | 2篇 |
2023年 | 5篇 |
2022年 | 11篇 |
2021年 | 12篇 |
2020年 | 9篇 |
2019年 | 4篇 |
2018年 | 21篇 |
2017年 | 15篇 |
2016年 | 14篇 |
2015年 | 4篇 |
2014年 | 9篇 |
2013年 | 13篇 |
2012年 | 12篇 |
2011年 | 6篇 |
2010年 | 10篇 |
2009年 | 1篇 |
2008年 | 1篇 |
2007年 | 4篇 |
2006年 | 5篇 |
2005年 | 2篇 |
2004年 | 1篇 |
2000年 | 1篇 |
1999年 | 3篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1996年 | 2篇 |
1995年 | 1篇 |
1991年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有172条查询结果,搜索用时 46 毫秒
1.
Yassine Slimani Sagar E. Shirsath Essia Hannachi Munirah A. Almessiere Moustafa M. Aouna Nouf E. Aldossary Ghulam Yasin Abdulhadi Baykal Bekir Ozçelik Ismail Ercan 《Journal of the American Ceramic Society》2021,104(11):5648-5658
Two phase-based nanocomposites consisting of dielectric barium titanate (BaTiO3 or BTO) and magnetic spinel ferrite Co0.5Ni0.5Nb0.06Fe1.94O4 (CNNFO) have been synthesized through solid state route. Series of (BaTiO3)1-x + (Co0.5Ni0.5Nb0.06Fe1.94O4)x nanocomposites with x content of 0.00, 0.25, 0.50, 0.75, and 1.00 were considered. The structure has been examined via X-rays diffraction (XRD) and indicated the occurrence of both perovskite BTO and spinel CNNFO phases in various nanocomposites. A phase transition from tetragonal BTO structure to cubic structure occurs with inclusion of CNNFO phase. The average crystallites size of BTO phase decreases, whereas that for the CNNFO phase increases with increasing x in various nanocomposites. The morphological observations revealed that the porosity is highly reduced, and the connectivity between grains is enhanced with increasing x content. The optical properties have been investigated by UV−vis diffuse reflectance spectroscopy. The deduced band gap energy (Eg) value is found to reduce with increasing the content of spinel ferrite phase. The magnetic as well as the dielectric properties were also investigated. The analysis showed that CNNFO ferrite phase greatly affects the magnetic properties and dielectric response of BTO material. The obtained findings can be useful to enhance the performances of magneto-dielectric composite-based systems. 相似文献
2.
Hussein Yassine Chad R. Borges Matthew R. Schaab Dean Billheimer Craig Stump Peter Reaven Serrine S. Lau Randall Nelson 《Proteomics. Clinical applications》2013,7(7-8):528-540
Type 2 diabetes mellitus (T2DM) is an important risk factor for cardiovascular disease (CVD)—the leading cause of death in the United States. Yet not all subjects with T2DM are at equal risk for CVD complications; the challenge lies in identifying those at greatest risk. Therapies directed toward treating conventional risk factors have failed to significantly reduce this residual risk in T2DM patients. Thus newer targets and markers are needed for the development and testing of novel therapies. Herein we review two complementary MS-based approaches—mass spectrometric immunoassay (MSIA) and MS/MS as MRM—for the analysis of plasma proteins and PTMs of relevance to T2DM and CVD. Together, these complementary approaches allow for high-throughput monitoring of many PTMs and the absolute quantification of proteins near the low picomolar range. In this review article, we discuss the clinical relevance of the high density lipoprotein (HDL) proteome and Apolipoprotein A-I PTMs to T2DM and CVD as well as provide illustrative MSIA and MRM data on HDL proteins from T2DM patients to provide examples of how these MS approaches can be applied to gain new insight regarding cardiovascular risk factors. Also discussed are the reproducibility, interpretation, and limitations of each technique with an emphasis on their capacities to facilitate the translation of new biomarkers into clinical practice. 相似文献
3.
For many years, computer systems have emerged; they now occupy an important place in our daily lives. The growing needs and ever increasing use of computer systems have made application development more and more complicated, The complexity of these applications poses problems such as reuse, installation, administration and evolution of applications. The development of applications is related to the evolution of paradigms and approaches to developing them. This paper presents different approaches and paradigms of development starting with the procedural approach, coming up for service, through the component and object-oriented approaches. Also, for each of the approaches we determine the advantages and limitations. 相似文献
4.
Chahi Abderrazak El-merabet Youssef Ruichek Yassine Touahni Raja 《Pattern Analysis & Applications》2023,26(3):1539-1556
Pattern Analysis and Applications - Writer identification based on handwriting recognition is considered one of the most common research areas in pattern recognition and biometrics. It has... 相似文献
5.
In this paper, we propose a new approach that guarantees the stability and robustness of an adaptive control law of a nonlinear system.The control diagram proposed contains a Takagi–Sugeno–Kang fuzzy controller (TSK-FC) and a training block allowing the online adaptation of the FC parameters. The adaptation algorithm used is based on the gradient with minimization of the quadratic error between the system output and that desired by using the direct method of Lyapunov. However, our approach considers the gradient step of each adaptive FC parameter to be bound. This approach was applied to the control of an inverted pendulum. The results obtained confirm well the validity of such an adaptation especially the guarantee of the pendulum stability and the robustness of its control with respect to the disturbances introduced on the FC parameters and the pendulum itself. 相似文献
6.
This paper investigates a synchronization approach to trajectory tracking of networked robotic systems while maintaining time-varying formations. The objective is to control networked robots to track a desired trajectory while synchronizing their behaviors. Combining trajectory tracking and synchronization algorithms, the developed approach uses a cross-coupling technical to create interconnections for mutual synchronization of robots. The main objective of distributed approach is to generate an emerging behavior using only local information interactions. First, a distributed scheme is developed to achieve the networked robots synchronization on undirected graph. Then, the leaderless synchronized tracking problem in the case when only position measurements are available, will be presented. For both cases: In the presence of the velocity feedback or in its absence, the controller, designed by incorporating the cross-coupling technical into a sliding mode control architecture, successfully guarantees asymptotic convergence to zero of both position tracking and synchronization errors simultaneously. The Lyapunov-based approach has been used to establish the multi-robot systems asymptotic stability. A real-time software simulator is developed to visualize the synchronized behaviors. Based on LabVIEW integrated development environment (IDE), a developed human-machine-interface (HMI) allows its user to control, in real time, the networked robots. Simulation and experimental results are provided to demonstrate performances of the proposed control schemes. 相似文献
7.
Martin Gagné Pascal Lafourcade Yassine Lakhnech Reihaneh Safavi-Naini 《Journal of Automated Reasoning》2016,56(1):49-94
We present a Hoare logic for proving semantic security and determining exact security bounds of a block cipher mode of operation. We propose a simple yet expressive programming language to specify encryption modes, semantic functions for each command (statement) in the language, an assertion language that allows to state predicates and axioms, and rules to propagate the predicates through the commands of a program. We also provide heuristics for finding loop invariants that are necessary for the application of our rule on for-loops. This enables us to prove the security of protocols that take arbitrary length messages as input. We implemented a prototype that uses this logic to automatically prove the security of block cipher modes of operation. This prototype can prove the security of many standard modes of operation, such as Cipher Block Chaining (CBC), Cipher FeedBack mode (CFB), Output FeedBack (OFB), and CounTeR mode (CTR). 相似文献
8.
Multiple kernel learning (MKL) approach has been proposed for kernel methods and has shown high performance for solving some real-world applications. It consists on learning the optimal kernel from one layer of multiple predefined kernels. Unfortunately, this approach is not rich enough to solve relatively complex problems. With the emergence and the success of the deep learning concept, multilayer of multiple kernel learning (MLMKL) methods were inspired by the idea of deep architecture. They are introduced in order to improve the conventional MKL methods. Such architectures tend to learn deep kernel machines by exploring the combinations of multiple kernels in a multilayer structure. However, existing MLMKL methods often have trouble with the optimization of the network for two or more layers. Additionally, they do not always outperform the simplest method of combining multiple kernels (i.e., MKL). In order to improve the effectiveness of MKL approaches, we introduce, in this paper, a novel backpropagation MLMKL framework. Specifically, we propose to optimize the network over an adaptive backpropagation algorithm. We use the gradient ascent method instead of dual objective function, or the estimation of the leave-one-out error. We test our proposed method through a large set of experiments on a variety of benchmark data sets. We have successfully optimized the system over many layers. Empirical results over an extensive set of experiments show that our algorithm achieves high performance compared to the traditional MKL approach and existing MLMKL methods. 相似文献
9.
The atomic force microscope (AFM) is a powerful tool for the measurement of forces at the micro/nano scale when calibrated cantilevers are used. Besides many existing calibration techniques, the thermal calibration is one of the simplest and fastest methods for the dynamic characterization of an AFM cantilever. This method is efficient provided that the Brownian motion (thermal noise) is the most important source of excitation during the calibration process. Otherwise, the value of spring constant is underestimated. This paper investigates noise interference ranges in low stiffness AFM cantilevers taking into account thermal fluctuations and acoustic pressures as two main sources of noise. As a result, a preliminary knowledge about the conditions in which thermal fluctuations and acoustic pressures have closely the same effect on the AFM cantilever (noise interference) is provided with both theoretical and experimental arguments. Consequently, beyond the noise interference range, commercial low stiffness AFM cantilevers are calibrated in two ways: using the thermal noise (in a wide temperature range) and acoustic pressures generated by a loudspeaker. We then demonstrate that acoustic noises can also be used for an efficient characterization and calibration of low stiffness AFM cantilevers. The accuracy of the acoustic characterization is evaluated by comparison with results from the thermal calibration. 相似文献
10.
Automatic Generation of Invariants 总被引:1,自引:0,他引:1
When proving invariance properties of programs, one is faced with two problems. The first problem is related to the necessity of proving tautologies of the considered assertion language, whereas the second manifests itself in the need of finding sufficiently strong invariants. This paper focuses on the second problem and describes techniques for the automatic generation of invariants. The first set of these techniques is applicable to sequential transition systems and allows deriving so-called local invariants, i.e., predicates which are invariant at some control location. The second is applicable on networks of transition systems and allows combining local invariants of the sequential components to obtain local invariants of the global system. 相似文献