全文获取类型
收费全文 | 99篇 |
免费 | 2篇 |
专业分类
电工技术 | 6篇 |
化学工业 | 23篇 |
金属工艺 | 2篇 |
机械仪表 | 5篇 |
建筑科学 | 1篇 |
能源动力 | 6篇 |
轻工业 | 3篇 |
水利工程 | 1篇 |
无线电 | 12篇 |
一般工业技术 | 22篇 |
冶金工业 | 4篇 |
原子能技术 | 1篇 |
自动化技术 | 15篇 |
出版年
2024年 | 1篇 |
2023年 | 1篇 |
2022年 | 3篇 |
2021年 | 4篇 |
2020年 | 2篇 |
2019年 | 3篇 |
2018年 | 2篇 |
2017年 | 2篇 |
2016年 | 5篇 |
2015年 | 2篇 |
2014年 | 5篇 |
2013年 | 9篇 |
2012年 | 3篇 |
2011年 | 5篇 |
2010年 | 7篇 |
2009年 | 3篇 |
2008年 | 8篇 |
2007年 | 7篇 |
2006年 | 3篇 |
2005年 | 2篇 |
2004年 | 4篇 |
2003年 | 1篇 |
2002年 | 3篇 |
2001年 | 1篇 |
2000年 | 2篇 |
1999年 | 3篇 |
1997年 | 4篇 |
1989年 | 1篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1982年 | 1篇 |
1980年 | 2篇 |
排序方式: 共有101条查询结果,搜索用时 31 毫秒
1.
Sorin Manolache Petru Eles Zebo Peng 《International journal of parallel programming》2007,35(2):125-156
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications
require guarantees on both message arrival probability and response time. We address the problem of transient link failures
by means of temporally and spatially redundant transmission of messages, such that designer-imposed message arrival probabilities
are guaranteed. Response time minimisation is achieved by a heuristic that statically assigns multiple copies of each message
to network links, intelligently combining temporal and spatial redundancy. Concerns regarding energy consumption are addressed
in two ways. First, we reduce the total amount of transmitted messages, and, second, we minimise the application response
time such that the resulted time slack can be exploited for energy savings through voltage reduction. The advantages of the
proposed approach are guaranteed message arrival probability and guaranteed worst case application response time. 相似文献
2.
Marcus T. Schmitz Bashir M. Al-Hashimi Petru Eles 《Design Automation for Embedded Systems》2002,6(4):401-424
In this paper, we introduce the LOPOCOS (Low Power Co-synthesis) system, a prototype CAD tool for system level co-design. LOPOCOS targets the design of energy-efficient embedded systems implemented as heterogeneous distributed architectures. In particular, it is designed to solve the specific problems involved in architectures that include dynamic voltage scalable (DVS) processors. The aim of this paper is to demonstrate how LOPOCOS can support the system designer in identifying energy-efficient hardware/software implementations for the desired embedded systems. Hence, highlighting the necessary optimization steps during design space exploration for DVS enable architectures. The optimization steps carried out in LOPOCOS involve component allocation and task/communication mapping as well as scheduling and dynamic voltage scaling. LOPOCOS has the following key features, which contribute to this energy efficiency. During the voltage scaling valuable power profile information of task execution is taken into account, hence, the accuracy of the energy estimation is improved. A combined optimization for scheduling and communication mapping based on genetic algorithm, optimizes simultaneously execution order and communication mapping towards the utilization of the DVS processors and timing behaviour. Furthermore, a separation of task and communication mapping allows a more effective implementation of both task and communication mapping optimizationsteps. Extensive experiments are conducted to demonstrate the efficiency of LOPOCOS. We report up to 38% higher energy reductions compared to previous co-synthesis techniques for DVS systems. The investigations include a real-life example of an optical flow detection algorithm. 相似文献
3.
Petru Andrei 《Journal of Computational Electronics》2006,5(4):315-318
A calibration method is developed for the electron effective mass in the Density-Gradient model. This method uses the two- and three-dimensional effective-mass Schrödinger equations, which are solved for bounded quantum systems. The electron effective mass is computed by fitting the electron concentration computed by using the Density-Gradient model to the electron concentration computed by using the Schrödinger equation. Results for strongly confined silicon system with (100), (110), and (111) crystallographic orientations are presented. It is shown that the effective mass varies with the shape and dimensions of the quantum box. In device simulations, one should use the value of m_n that corresponds to the right shape and dimensions of the confinement region in the device. 相似文献
4.
Modeling and formal verification of embedded systems based on a Petri net representation 总被引:2,自引:0,他引:2
In this paper we concentrate on aspects related to modeling and formal verification of embedded systems. First, we define a formal model of computation for embedded systems based on Petri nets that can capture important features of such systems and allows their representation at different levels of granularity. Our modeling formalism has a well-defined semantics so that it supports a precise representation of the system, the use of formal methods to verify its correctness, and the automation of different tasks along the design process. Second, we propose an approach to the problem of formal verification of embedded systems represented in our modeling formalism. We make use of model checking to prove whether certain properties, expressed as temporal logic formulas, hold with respect to the system model. We introduce a systematic procedure to translate our model into timed automata so that it is possible to use available model checking tools. We propose two strategies for improving the verification efficiency, the first by applying correctness-preserving transformations and the second by exploring the degree of parallelism characteristic to the system. Some examples, including a realistic industrial case, demonstrate the efficiency of our approach on practical applications. 相似文献
5.
We present an approach to static priority preemptive process scheduling for the synthesis of hard real-time distributed embedded systems where communication plays an important role. The communication model is based on a time-triggered protocol. We have developed an analysis for the communication delays with four different message scheduling policies over a time-triggered communication channel. Optimization strategies for the synthesis of communication are developed, and the four approaches to message scheduling are compared using extensive experiments. 相似文献
6.
Codruta Soica Corina Danciu Germaine Savoiu-Balint Florin Borcan Rita Ambrus Istvan Zupko Florina Bojin Dorina Coricovac Sorina Ciurlea Stefana Avram Cristina Adriana Dehelean Teodora Olariu Petru Matusz 《International journal of molecular sciences》2014,15(5):8235-8255
Betulinic acid, a very promising anti-melanoma agent, has very low water solubility that causes low bioavailability. To overcome this inconvenience, a highly water-soluble cyclodextrin was used (octakis-[6-deoxy-6-(2-sulfanyl ethanesulfonic acid)]-γ-cyclodextrin). The complex was physico-chemically analyzed using differential scanning calorimetry (DSC), X-ray and scanning electron microscopy (SEM) methods and then in vitro tested for its antiproliferative activity by the MTT assay and by cell cycle analysis. Finally, the complex was tested in vivo using an animal model of murine melanoma developed in C57BL/6J mice, where it caused a reduction in tumor volume and weight. The study revealed the beneficial influence of betulinic acid inclusion into the cyclodextrin in terms of antiproliferative activity and in vivo tumor development. 相似文献
7.
Lenka Slavíková Vítězslav Malý Michael Rost Lubomír Petružela Ondřej Vojáček 《Water Resources Management》2013,27(2):365-379
The paper investigates whether there is a statistically significant impact of short-term climate variables (specifically air temperature and rainfall) on residential water consumption at two selected case sites in the Czech Republic. The analysis is based on a unique time series of daily data from 2004–2009. The statistical methods used are CART methodology and a decomposition of these time series based on a locally weighted regression method. Apart from the data analysis results, the investigation raises several methodological questions regarding the use of daily data and the scope of analysis based on such data sets. 相似文献
8.
Cur?eu Petru Lucian; Schruijer Sandra; Boro? Smaranda 《Canadian Metallurgical Quarterly》2007,11(3):187
This study examined the influence of group diversity conceptualized as disparity and as variety on group cognitive complexity. Data on individual cognitive complexity and group cognitive complexity were collected in 44 groups using a conceptual mapping technique. Also data on the quality of teamwork processes and satisfaction were collected using an individual questionnaire. The results indicate that (a) gender variety has a positive impact on group cognitive complexity, (b) cognitive disparity has a negative impact on group cognitive complexity, and (c) groups with a high average individual cognitive complexity have the highest cognitive complexity as a group only if the quality of their interactions is high. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
9.
Adelina Ianculescu Daniela Berger Cristian Matei Petru Budrugeac Liliana Mitoseriu Eugen Vasile 《Journal of Electroceramics》2010,24(1):46-50
In this paper we report a comparison concerning the properties of BaTiO3 (BTO) ceramics obtained by two soft chemical routes, modified Pechini method and thermal decomposition of oxalate-based precursor. XRD data show the formation of single phase BaTiO3 with tetragonal symmetry when the polymeric citrate-based precursor was annealed at 850 °C, 2 h. In the case of oxalate based-precursor, longer thermal treatment is required to obtain BaTiO3 free of any secondary phases. For BaTiO3 powders prepared by modified Pechini method, TEM and SEM investigations revealed the obtaining of uniformly sized particles forming spherical agglomerates inside large, non-uniform and partially sintered aggregates. The powders synthesized via oxalate route show particles of various sizes, with the same tendency of spherical agglomerates formation, but unlike the modified Pechini synthesis, more uniform and smaller aggregates with well-defined hexagonal-like shape were noticed. The relative permittivity values of 6,478 and 5,088 at Curie temperatures of 127 and 130 °C and low dielectric losses (tan δ?=?0.012) at room temperature were obtained for ceramic samples synthesized via Pechini method and oxalate route, respectively. 相似文献
10.
The random dopant induced fluctuations of static noise margins (SNM) in 6-T SRAM cells are analyzed by using the formalism of doping sensitivity functions, which show how sensitive the SNM are to variations of the doping concentration at different locations inside the cell. The technique presented in this article is based on a full circuit perturbation theory at the level of each device transport model. It provides important information for the design and optimization of SNM and can capture correlation effects of doping fluctuations inside the same semiconductor device and between more devices. The bias points and the magnitude of random dopant induced fluctuations are computed by solving the Poisson, current continuity, and density–gradient equations for all the devices self-consistently (mixed-mode simulation). Simulation results for a well scaled SRAM cell with 30 nm channel length transistors show that the most sensitive regions to doping fluctuations extend for approximately 10 nm below the oxide/semiconductor interface and are located in the middle of the conduction channels for both the p-channel and n-channel transistors. It is apparent that random dopant induced fluctuations can significantly impinge on the yield and reliability of SRAM circuits and constitute a fundamental limit for further scaling unless these devices are properly optimized. 相似文献