Measuring consistency in TTL-based caches

We propose a general modeling framework to evaluate the performance of cache consistency algorithms. In addition to the usual hit rate, we introduce the hit^* rate as a consistency measure, which captures the fraction of non-stale downloads from the cache. We apply these ideas to the analysis of the fixed TTL consistency algorithm in the presence of network delays. The hit and hit^* rates are evaluated when requests and updates are modeled by renewal processes. Classical results on the renewal function lead to various bounds.     

Non-pinched, minimum energy distillation designs

Non-pinched, minimum energy solutions are important class of distillation designs that offer the potential advantage of a better trade-off between capital investment and operating costs. In this paper, two important tasks associated with non-pinched distillation designs are studied. Thus the novel contributions of this work to the literature are

(1) A comprehensive methodology for finding non-pinched minimum energy designs.

(2) Understanding of the reasons for the existence of non-pinched distillation designs.

It is shown that the recent shortest stripping line distance approach of Lucia et al. [Lucia, A., Amale, A. and Taylor, R., 2007, Distillation pinch points and more. Comput Chem Eng, available on-line] is capable of systematically and reliably finding non-pinched, minimum energy distillation designs. In addition, we provide an understanding of the reasons behind the existence of non-pinched designs, which include trajectories that follow unstable branches of a pinch point curve in azeotropic systems, the inherent looping structure of trajectories in hydrocarbon separations, and the presence of ancillary constraints in multi-unit processes like extraction/distillation. Several distillation examples are studied and many numerical results and geometric illustrations are presented that show the shortest stripping line distance methodology is indeed a powerful and systematic tool for computing non-pinched, minimum energy designs and that support the underlying reason we provide for the existence of non-pinched designs.     

济钢高炉喷煤数学模型的研究与应用

基于湍流两相流理论建立了高炉喷煤两相流动及传质三维数学模型。采用该模型指导高炉生产 ,高炉利用系数由2 .7t/(m3.d)提高到 3 .0 t/(m3.d)以上 ,焦比由 460 kg/t降到 40 0 kg/t,煤比达到 10 0 kg/t,提高了高炉的各项经济技术指标。     

Structural Changes in Titin and Nebulin Filaments Specific to Calcium Ions at 0.1 mM: Factors of Meat Tenderization During Postmortem Aging

ABSTRACT Postmortem structural changes in titin and nebulin filaments were investigated by incubating isolated myofibrils in a solution containing 0.1 mM calcium ions and various concentrations of a protease inhibitor. The inhibition curves showed 2 abnormal steps with increases in the concentration of leupeptin or calpastatin domain I. While the amounts of unchanged titin and nebulin were constant in the 1st step, the 2nd occurred at higher protease inhibitor concentrations. These facts indicated that excess amounts of leupeptin and calpastatin domain I caused deterioration in titin and nebulin properties, thus interfering with the binding of calcium ions. We concluded that the severance of titin and nebulin filaments in the 1st step were induced by calcium ions at 0.1 mM.     

Stability of Circular Cylindrical Shells with a Single Local Dent

The theoretical-and-experimental investigation has been performed on the stability of smooth cylindrical shells of steel with a single local dent. All the shells manufactured using the same process were tested with the fulfillment of identical conditions for observations and measurements. Theoretical calculations were carried out by the mesh method with the use of the nonlinear theory of shells. A comparison of the experimental and theoretical values of the critical loads has been made. The theoretical-and-experimental approach proposed enables one to evaluate the quality of shells by studying local dents and other specific imperfections.     

谈谈马克思主义理论课教师世界观与价值观修养问题

马克思主义理论课教师世界观的要求就是辩证唯物主义和历史唯物主义的思想体系和方法论；其价值观的要求就是以大公无私为特征的价值判断标准。马克思主义理论课所具有的知识性和思想性、科学性和实践性相统一的特点，要求马克思主义理论课教师，不仅要有扎实的化知识，而且必须加强其世界观和价值观的修养。许多事实证明，只有这样才能真正提高马克思主义理论课的教学实效。     

Experimental and simulation studies of gas sorption processes in polycarbonate films

This work reports the experimental isotherms describing the concentration of oxygen and nitrogen in poly(bisphenol A carbonate-co-4,4′-(3,3,5-trimethylcyclohexylidene) diphenol carbonate) vs pressure, at 30 °C. The solubility coefficients are interpreted in terms of the Flory-Huggins theory, obtaining reasonable values for the enthalpic polymer-gas parameter. A new method is outlined to simulate the probabilities of inserting/removing a gas molecule in a host matrix already containing n molecules of gas. The simulated isotherms representing the pressure dependence of the concentration exhibit the same pattern as those experimentally obtained.     

Uncertainty,belief, and probability1

We introduce a new probabilistic approach to dealing with uncertainty, based on the observation that probability theory does not require that every event be assigned a probability. For a nonmeasurable event (one to which we do not assign a probability), we can talk about only the inner measure and outer measure of the event. In addition to removing the requirement that every event be assigned a probability, our approach circumvents other criticisms of probability-based approaches to uncertainty. For example, the measure of belief in an event turns out to be represented by an interval (defined by the inner and outer measures), rather than by a single number. Further, this approach allows us to assign a belief (inner measure) to an event E without committing to a belief about its negation -E (since the inner measure of an event plus the inner measure of its negation is not necessarily one). Interestingly enough, inner measures induced by probability measures turn out to correspond in a precise sense to Dempster-Shafer belief functions. Hence, in addition to providing promising new conceptual tools for dealing with uncertainty, our approach shows that a key part of the important Dempster-Shafer theory of evidence is firmly rooted in classical probability theory. Cet article présente une nouvelle approche probabiliste en ce qui concerne le traitement de l'incertitude; celle-ci est basée sur l'observation que la théorie des probabilityés n'exige pas qu'une probabilityé soit assignée à chaque événement. Dans le cas d'un événement non mesurable (un événement pour lequel on n'assigne aucune probabilityé), nous ne pouvons discuter que de la mesure intérieure et de la mesure extérieure de l'évenément. En plus d'éliminer la nécessité d'assigner une probabilityéà l'événement, cette nouvelle approche apporte une réponse aux autres critiques des approches à l'incertitude basées sur des probabilityés. Par exemple, la mesure de croyance dans un événement est représentée par un intervalle (défini par la mesure intérieure et extérieure) plutǒt que par un nombre unique. De plus, cette approche nous permet d'assigner une croyance (mesure intérieure) à un événement E sans se compromettre vers une croyance à propos de sa négation -E (puisque la mesure intérieure d'un événement et la mesure intérieure de sa négation ne sont pas nécessairement une seule et unique mesure). II est intéressant de noter que les mesures intérieures qui résultent des mesures de probabilityé correspondent d'une manière précise aux fonctions de croyance de Dempster-Shafer. En plus de constituer un nouvel outil conceptuel prometteur dans le traitement de l'incertitude, cette approche démontre qu'une partie importante de la théorie de l'évidence de Dempster-Shafer est fermement ancrée dans la theorie classique des probabilityés.     

实炉底节能连续式加热炉

轧钢生产使用实炉底连续式加热炉加热钢坯，炉内双纵滑管用耐热耐高温材料，无水冷，起到节约水、电的作用，达到节能增效的目的。     

A preliminary analysis of the biomass energy production potential in Africa in 2025 considering projected land needs for food production

This paper provides a preliminary examination of present and projected land use in Africa to estimate the potential availability of land in 2025 for use in producing biomass energy. Fifty countries are included in the analysis. Future cropland requirements are projected on the basis of average African cereal crop yield improvements since 1972, and minimum nutritional requirements are assumed to be met in 2025 without increasing imports above present absolute levels. Cropland, natural forests and other wilderness areas are excluded from consideration for biomass energy use. Woody biomass energy yields are estimated on the basis of nationally averaged precipitation, using a yield-precipitation correlation for commercial eucalyptus plantations in Brazil. The total African bioenergy production potential in 2025 is estimated to be about 18 EJ per year for a set of baseline assumptions that includes planting only 10% of the available non-crop, non-forest, non-wilderness area with biomass energy crops. A preliminary cost assessment suggests that much of this biomass could be produced for $1–2 GJ⁻¹. A number of uncertainties in the modelling assumptions are examined through a sensitivity analysis. Despite limitations in the model used here, one robust conclusion is that Africa as a whole has a significant biophysical potential for producing biomass energy. This result suggests that more detailed country and sub-country level assessments would be worthwhile to understand better the practical prospects for future biomass energy production in Africa.