78 resultados para schedulability test

em Chinese Academy of Sciences Institutional Repositories Grid Portal


Relevância:

60.00% 60.00%

Publicador:

Resumo:

固定优先级任务可调度性判定是实时系统调度理论研究的核心问题之一.目前已有的各种判定方法可归结为两大类:多项式时间调度判定和确切性判定.多项式时间调度判定通常采用调度充分条件来进行,为此,许多理想条件下基于RM(rate monotonic)调度算法的CPU利用率最小上界被提了出来.确切性判定利用RM调度的充要条件,保证任何任务集均可被判定,并且判定结果是确切的.但是由于时间复杂度较差,确切性判定方法难以实现在线分析.提出了一种改进的RM可调度性判定方法(improved schedulability test algorithm,简称ISTA).首先介绍了任务调度空间这一概念,并提出了二叉树表示,然后进一步提出了相关的剪枝理论.在此基础上,研究了任务之间可调度性的相关性及其对判定任务集可调度性的影响,提出并证明了相关的定理.最后基于提出的定理,给出了一种改进的伪多项式时间可调度性判定算法,并与已有的判定方法进行了比较.仿真结果表明,该算法平均性能作为任务集内任务个数的函数具有显著提高.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

任务可调度性判定是实时系统调度理论研究的核心问题.单调速率(RM)算法是实时调度的重要算法,自其提出以来已被广泛研究.然而到目前为止,尚缺乏专题性的文章来系统而深入地探讨RM及其扩展算法的可调度性判定,以及各种现实条件和实现方式(包括任务调度的时间开销和任务同步问题等)对可调度性的影响.围绕RM算法下的可调度性判定问题,由浅入深,系统性地讨论各种不同假设和实现方式对可调度性的影响,具体分为下述3大类问题:(1)理想的RM算法下的可调度性判定的CPU利用率最小上界及可调度的充分必要条件;(2)考虑调度时间开销情况下的可调度性判定条件;(3)优先级反转协议及其对可调度性的影响.给出了具体实例来阐述上述问题,并从算法复杂度和可检测率两方面来比较各种算法的优劣.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

随着实时系统越来越多地应用于各种快速更新系统,尤其是各种片上系统,如PDA(personal digital assistant),PSP(play station portable)等,性价比已成为系统设计者的主要关注点.实际应用中,实时系统通常仅支持较少的优先级,常出现系统优先级数小于任务数的情况(称为有限优先级),此时,需将多个任务分配到同一系统优先级,RM(rate monotonic),DM(deadline monotonic)等静态优先级分配算法不再适用.为此,静态有限优先级分配是研究在任务集合静态优先级可调度的情况下,可否以及如何用较少或最少的系统优先级保持任务集合可调度.已有静态有限优先级分配可分为两类:固定数目优先级分配和最少优先级分配.给出了任意截止期模型下任务静态有限优先级可调度的充要条件以及不同静态有限优先级分配间转换时的几个重要性质,指出了系统优先级从低到高分配策略的优越性,定义了饱和任务组与饱和分配的概念,证明了在任务集合静态优先级可调度的情况下,最少优先级分配比固定数目优先级分配更具一般性.最后提出一种最少优先级分配算法LNPA(least-number priority assignment).与现有算法相比,LNPA适用范围更广,且复杂度较低.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

可调度性判定是实时调度算法的关键问题.单调速率算法RM(rate monotonic)及其扩展是应用广泛的实时调度算法,大量文献讨论了实时任务在这些算法下的可调度性判定,给出了相应的判定算法.但迄今为止,对这些判定算法的性能分析都是理论上的定性分析或者只是少数几种判定算法之间的简单比较,这不利于实时系统的开发.归纳了RM及其扩展的可调度性判定算法,通过测试平台,系统地测试和分析了各算法的性能和适用场合,讨论了各种条件和实现方式对算法性能和可调度性的影响.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the present paper the rarefied gas how caused by the sudden change of the wall temperature and the Rayleigh problem are simulated by the DSMC method which has been validated by experiments both in global flour field and velocity distribution function level. The comparison of the simulated results with the accurate numerical solutions of the B-G-K model equation shows that near equilibrium the BG-K equation with corrected collision frequency can give accurate result but as farther away from equilibrium the B-G-K equation is not accurate. This is for the first time that the error caused by the B-G-K model equation has been revealed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Micro-indentation test at scales on the order of sub-micron has shown that the measured hardness increases strongly with decreasing indent depth or indent size, which is frequently referred to as the size effect. Simultaneously, at micron or sub-micron scale, the material microstructure size also has an important influence on the measured hardness. This kind of effect, such as the crystal grain size effect, thin film thickness effect, etc., is called the geometrical effect by here. In the present research, in order to investigate the size effect and the geometrical effect, the micro-indentation experiments are carried out respectively for single crystal copper and aluminum, for polycrystal aluminum, as well as for a thin film/substrate system, Ti/Si3N4. The size effect and geometrical effect are displayed experimentally. Moreover, using strain gradient plasticity theory, the size effect and the geometrical effect are simulated. Through comparing experimental results with simulation results, length-scale parameter appearing in the strain gradient theory for different cases is predicted. Furthermore, the size effect and the geometrical effect are interpreted using the geometrically necessary dislocation concept and the discrete dislocation theory. Member Price: $0; Non-Member Price: $25.00

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Based on the theory of the pumping well test, the transient injection well test was suggested in this paper. The design method and the scope of application are discussed in detail. The mathematical models are developed for the short-time and long-time transient injection test respectively. A double logarithm type curve matching method was introduced for analyzing the field transient injection test data. A set of methods for the transient injection test design, experiment performance and data analysis were established. Some field tests were analyzed, and the results show that the test model and method are suitable for the transient injection test and can be used to deal with the real engineering problems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the present research, microstructures of the surface-nanocrystalline Al alloy material are observed and measured based on the transmission electron microscopy (TEM) technique, and the corresponding mechanical behaviors are investigated experimentally and theoretically. In the experimental research, the nanoindentation test method is used, and the load and microhardness curves are measured, which strongly depend on the grain size and grain size nonuniformity. Two kinds of the nanoindentation test methods are adopted: the randomly selected loading point method and the continuous stiffness method. In the theoretical modeling, based on the microstructure characteristics of the surface-nanocrystalline Al alloy material, a dislocation pile-up model considering the grain size effect and based on the Mott theory is presented and used. The hardness-indent depth curves are predicted and modeled.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Peel test methods are assessed through being applied to a peeling analysis of the ductile film/ceramic substrate system. Through computing the fracture work of the system using the either beam bend model (BB model) or the general plane analysis model (GPA model), surprisingly, a big difference between both model results is found. Although the BB model can capture the plastic dissipation phenomenon for the ductile film case as the GPA model can, it is much sensitive to the choice of the peeling criterion parameters, and it overestimates the plastic bending effect unable to capture crack tip constraint plasticity. In view of the difficulty of measuring interfacial toughness using peel test method when film is the ductile material, a new test method, split test, is recommended and analyzed using the GPA model. The prediction is applied to a wedge-loaded experiment for Al-alloy double-cantilever beam in literature.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The tensile deformation and failure of polymer bonded explosives (PBXs), a particulate composite, is studied in this paper. Two HMX-based PBXs with different binder were selected for study. A diametric compression test, in which a disc-shaped specimen is loaded diametrically, was chosen to generate tensile failure in the materials. The quasi-static tensile properties and the tensile creep properties were studied by using conventional displacement transducers to measure the lateral strain along the horizontal diameter. The whole-field in-plane creep deformation was measured by using the technique of high resolution moire´ interferometry. Real time microscopic examination was conducted to monitor the process of deformation and failure of PBXs by using a scanning electron microscope equipped with a loading stage. A manifold method (MM) was used to simulate the deformation and failure of PBX samples under the diametric compression test, including the crack initiation, crack propagation and final cleavage fracture. The mechanisms of deformation and failure of PBXs under diametric compression were analyzed. The diametric compression test and the techniques developed in this research have proven to be applicable to the study of tensile properties of PBXs.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Micro-indentation tests at scales of the order of sub-micron show that the measured hardness increases strongly with decreasing indent depth or indent size, which is frequently referred to as the size effect. At the same time, at micron or sub-micron scale, another effect, which is referred to as the geometrical size effects such as crystal grain size effect, thin film thickness effect, etc., also influences the measured material hardness. However, the trends are at odds with the size-independence implied by the conventional elastic-plastic theory. In the present research, the strain gradient plasticity theory (Fleck and Hutchinson) is used to model the composition effects (size effect and geometrical effect) for polycrystal material and metal thin film/ceramic substrate systems when materials undergo micro-indenting. The phenomena of the "pile-up" and "sink-in" appeared in the indentation test for the polycrystal materials are also discussed. Meanwhile, the micro-indentation experiments for the polycrystal Al and for the Ti/Si_3N_4 thin film/substrate system are carried out. By comparing the theoretical predictions with experimental measurements, the values and the variation trends of the micro-scale parameter included in the strain gradient plasticity theory are predicted.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Peel test measurements and simulations of the interfacial mechanical parameters for the Al/Epoxy/Al2O3 system are performed in the present investigation. A series of Al film thicknesses between 20 and 250 microns and three peel angles of 90, 135 and 180 degrees are considered. Two types of epoxy adhesives are adopted to obtain both strong and weak interface adhesions. A finite element model with cohesive zone elements is used to identify the interfacial parameters and simulate the peel test process. By simulating and recording normal stress near the crack tip, the separation strength is obtained. Furthermore, the cohesive energy is identified by comparing the simulated steady-state peel force and the experimental result. It is found from the research that both the cohesive energy and the separation strength can be taken as the intrinsic interfacial parameters which are dependent on the thickness of the adhesive layer and independent of the film thickness and peel angle.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Peel test measurements have been performed to estimate both the interface toughness and the separation strength between copper thin film and Al2O3 substrate with film thicknesses ranging between 1 and 15 mu m. An inverse analysis based on the artificial neural network method is adopted to determine the interface parameters. The interface parameters are characterized by the cohesive zone (CZ) model. The results of finite element simulations based on the strain gradient plasticity theory are used to train the artificial neural network. Using both the trained neural network and the experimental measurements for one test result, both the interface toughness and the separation strength are determined. Finally, the finite element predictions adopting the determined interface parameters are performed for the other film thickness cases, and are in agreement with the experimental results.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We propose here a local exponential divergence plot which is capable of providing an alternative means of characterizing a complex time series. The suggested plot defines a time-dependent exponent and a ''plus'' exponent. Based on their changes with the embedding dimension and delay time, a criterion for estimating simultaneously the minimal acceptable embedding dimension, the proper delay time, and the largest Lyapunov exponent has been obtained. When redefining the time-dependent exponent LAMBDA(k) curves on a series of shells, we have found that whether a linear envelope to the LAMBDA(k) curves exists can serve as a direct dynamical method of distinguishing chaos from noise.