936 resultados para shortest paths
Resumo:
In this paper we propose a range of dynamic data envelopment analysis (DEA) models which allow information on costs of adjustment to be incorporated into the DEA framework. We first specify a basic dynamic DEA model predicated on a number or simplifying assumptions. We then outline a number of extensions to this model to accommodate asymmetric adjustment costs, non-static output quantities, non-static input prices, and non-static costs of adjustment, technological change, quasi-fixed inputs and investment budget constraints. The new dynamic DEA models provide valuable extra information relative to the standard static DEA models-they identify an optimal path of adjustment for the input quantities, and provide a measure of the potential cost savings that result from recognising the costs of adjusting input quantities towards the optimal point. The new models are illustrated using data relating to a chain of 35 retail department stores in Chile. The empirical results illustrate the wealth of information that can be derived from these models, and clearly show that static models overstate potential cost savings when adjustment costs are non-zero.
Resumo:
Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.
Resumo:
A program can be decomposed into a set of possible execution paths. These can be described in terms of primitives such as assignments, assumptions and coercions, and composition operators such as sequential composition and nondeterministic choice as well as finitely or infinitely iterated sequential composition. Some of these paths cannot possibly be followed (they are dead or infeasible), and they may or may not terminate. Decomposing programs into paths provides a foundation for analyzing properties of programs. Our motivation is timing constraint analysis of real-time programs, but the same techniques can be applied in other areas such as program testing. In general the set of execution paths for a program is infinite. For timing analysis we would like to decompose a program into a finite set of subpaths that covers all possible execution paths, in the sense that we only have to analyze the subpaths in order to determine suitable timing constraints that cover all execution paths.
Resumo:
Impedance spectroscopy has been used to investigate conductivity within boron-doped diamond in an intrinsic/delta-doped/intrinsic (i-d-i) multilayer structure. For a 5 nm thick delta layer, three conduction pathways are observed, which can be assigned to transport within the delta layer and to two differing conduction paths in the i-layers adjoining the delta layer. For transport in the i-layers, thermal trapping/detrapping processes can be observed, and only at the highest temperature investigated (673 K) can transport due to a single conduction process be seen. Impedance spectroscopy is an ideal nondestructive tool for investigating the electrical characteristics of complex diamond structures.
Resumo:
We use enterprise survey data to analyse and contrast the determinants of enterprise performance in China and Russia. We find that in China, enterprise growth and efficiency is associated with rapid increases in factor inputs, and with ownership to a lesser extent, but not greatly correlated with industry-specific or institutional factors. However, in Russia, enterprise growth is not associated with improvements in factor quantity (except for labor) or quality. The main determinants of company performance are instead demand and institutional factors at a regional level. The findings are robust across a variety of specifications.
Paths of the least resistance:understanding how motives form in international retail joint venturing
Resumo:
Developing the premise that strategies are forged through an ongoing mutual process of developing motives and responses to multiple degrees of resistance, this paper examines the motives underpinning the adoption of joint venture strategies using empirical details from four British retail firms. The findings point to multiple motives forming from multiple paths of resistance in the foreign market, but also among individuals within the firm as well as across the whole international programme. Moreover, this study reveals a paradoxical tension between management's operational impatience to immediately ground the retail format and an overall wariness or gloomy perceptions associated with adopting an international retail joint venture. The paper therefore concludes that the motives and barriers are manifestations of the struggles involved in internationalising retail operations.
Resumo:
The media’s focus on, and the attention of researchers to, large, for-profit corporate boards may obscure the extent and the value of women’s contributions to the guidance and direction of organizations throughout society.
Resumo:
Increasingly, lab evaluations of mobile applications are incorporating mobility. The inclusion of mobility alone, however, is insufficient to generate a realistic evaluation context since real-life users will typically be required to monitor their environment while moving through it. While field evaluations represent a more realistic evaluation context, such evaluations pose difficulties, including data capture and environmental control, which mean that a lab-based evaluation is often a more practical choice. This paper describes a novel evaluation technique that mimics a realistic mobile usage context in a lab setting. The technique requires that participants monitor their environment and change the route they are walking to avoid dynamically changing hazards (much as reallife users would be required to do). Two studies that employed this technique are described, and the results (which indicate the technique is useful) are discussed.
Resumo:
Clogging is the main operational problem associated with horizontal subsurface flow constructed wetlands (HSSF CWs). The measurement of saturated hydraulic conductivity has proven to be a suitable technique to assess clogging within HSSF CWs. The vertical and horizontal distribution of hydraulic conductivity was assessed in two full-scale HSSF CWs by using two different in situ permeameter methods (falling head (FH) and constant head (CH) methods). Horizontal hydraulic conductivity profiles showed that both methods are correlated by a power function (FH= CH 0.7821, r 2=0.76) within the recorded range of hydraulic conductivities (0-70 m/day). However, the FH method provided lower values of hydraulic conductivity than the CH method (one to three times lower). Despite discrepancies between the magnitudes of reported readings, the relative distribution of clogging obtained via both methods was similar. Therefore, both methods are useful when exploring the general distribution of clogging and, specially, the assessment of clogged areas originated from preferential flow paths within full-scale HSSF CWs. Discrepancy between methods (either in magnitude and pattern) aroused from the vertical hydraulic conductivity profiles under highly clogged conditions. It is believed this can be attributed to procedural differences between the methods, such as the method of permeameter insertion (twisting versus hammering). Results from both methods suggest that clogging develops along the shortest distance between water input and output. Results also evidence that the design and maintenance of inlet distributors and outlet collectors appear to have a great influence on the pattern of clogging, and hence the asset lifetime of HSSF CWs. © Springer Science+Business Media B.V. 2011.