Preventing Atomicity Violations with Contracts

Software developers are expected to protect concurrent accesses to shared regions of memory with some mutual exclusion primitive that ensures atomicity properties to a sequence of program statements. This approach prevents data races but may fail to provide all necessary correctness properties.The composition of correlated atomic operations without further synchronization may cause atomicity violations. Atomic violations may be avoided by grouping the correlated atomic regions in a single larger atomic scope. Concurrent programs are particularly prone to atomicity violations when they use services provided by third party packages or modules, since the programmer may fail to identify which services are correlated. In this paper we propose to use contracts for concurrency, where the developer of a module writes a set of contract terms that specify which methods are correlated and must be executed in the same atomic scope. These contracts are then used to verify the correctness of the main program with respect to the usage of the module(s). If a contract is well defined and complete, and the main program respects it, then the program is safe from atomicity violations with respect to that module. We also propose a static analysis based methodology to verify contracts for concurrency that we applied to some real-world software packages. The bug we found in Tomcat 6.0 was immediately acknowledged and corrected by its development team

Measuring the importance of the uniform nonsynchronization hypothesis

In this paper we critically reappraise some measures of the importance of time-dependent price setting rules and propose an alternative way to gauge the significance of this type of price setting behaviour. The merits of the proposed measure are highlighted in an application using micro-data. Our results suggest that a large proportion of price trajectories may be compatible with simple time-dependent price setting mechanisms but the strength of this evidence very much depends on the way that is used to evaluate the importance of this type of behaviour. JEL Classification: D40, E31, L11perfect synchronization, Time-dependent price setting models, uniform staggering

Time or state dependent price setting rules? Evidence from Portuguese micro data

In this paper we analyse the ability of time and state dependent price setting rules to explain durations of price spells or the probability of changing prices. Our results suggest that simple time dependent models cannot be seen as providing a reasonable approximation to the data and that state dependent models are required to fully characterise the price setting behaviour of Portuguese firms. Inflation, the level of economic activity and the magnitude of the last price change emerge as relevant variables affecting the probability of changing prices. Moreover, it is seen that the impact differs for negative and positive values of these covariates. JEL Classification: C41, D40, E31CPI data, Hazard functions, inflation

The singularity problem and phase-space noncanonical noncommutativity

The Wheeler-DeWitt equation arising from a Kantowski-Sachs model is considered for a Schwarzschild black hole under the assumption that the scale factors and the associated momenta satisfy a noncanonical noncommutative extension of the Heisenberg-Weyl algebra. An integral of motion is used to factorize the wave function into an oscillatory part and a function of a configuration space variable. The latter is shown to be normalizable using asymptotic arguments. It is then shown that on the hypersufaces of constant value of the argument of the wave function's oscillatory piece, the probability vanishes in the vicinity of the black hole singularity.Comment: 4 pages, revtex

Heat transfer to Newtonian and non-Newtonian fluids in cross-corrugated chevron-type plate heat exchangers: numerical approach

Food fluids are frequently processed in plate heat exchangers (PHEs) and usually behave as non-Newtonian fluids, this behaviour being scarcely considered for PHEs design purposes. Moreover, many food fluids processed in PHEs have a high viscosity and, therefore, data obtained in laminar flow regime is useful to practical applications. The thermal-hydraulic performance of PHEs is strongly dependent on the physical properties of the fluid and on the geometrical properties of the plates namely, on the corrugation angle and on the channel aspect ratio. The mostly widely used PHEs have corrugations of the chevron type with an area enlargement factor defined as the ratio between the effective plate area and projected plate area close to 1.17. In the present work non-isothermal laminar flows of Newtonian and power-law fluids through cross-corrugated chevron-type plate heat exchangers are studied numerically in terms of the geometry of the channels. The plates area enlargement factor was a typical one (1.17), the corrugation angle varied between 30º and 60º and the flow index behaviour, n, between 0.25 and 1. The numerical calculations were performed using the commercial finite element software package POLYFLOW®. The equations solved were the conservation of mass, momentum and energy equations for laminar incompressible flow of Newtonian and power-law fluids. The simulations were performed using channels containing seven consecutive unitary cells, since thermal and hydraulic fully developed flows were achieved in the fifth or sixth consecutive cell, as described in previous works. Coefficient K from the friction curves fRe = K compares very well with experimental and semi-theoretical data for all (seven) values of corrugation angle. Nusselt number reaches a maximum in the interior of the studied corrugation angle range, for a fixed Reynolds, Re, number. Shear thinning effects greatly affect the thermal-hydraulic performance of the plate heat exchanger

Time dependent transformations in deformation quantization

We study the action of time dependent canonical and coordinate transformations in phase space quantum mechanics. We extend the covariant formulation of the theory by providing a formalism that is fully invariant under both standard and time dependent coordinate transformations. This result considerably enlarges the set of possible phase space representations of quantum mechanics and makes it possible to construct a causal representation for the distributional sector of Wigner quantum mechanics.Comment: 16 pages, to appear in the J. Math. Phy

Why are some prices stickier than others? Firm-data evidence on price adjustment lags

Infrequent price changes at the firm level are now well documented in the literature. However, a number of issues remain partly unaddressed. This paper contributes to the literature on price stickiness by investigating the lags of price adjustments to different types of shocks. We find that adjustment lags to cost and demand shocks vary with firm characteristics, namely the firm’s cost structure, the type of pricing policy, and the type of good. We also document that firms react asymmetrically to demand and cost shocks, as well as to positive and negative shocks, and that the degree and direction of the asymmetry varies across firms. JEL Classification: C41, D40, E31Firm heterogeneity, Panel-ordered probit, real rigidities, survey data

Hyperbolicity through stable shadowing for generic geodesic flows

We prove that the closure of the closed orbits of a generic geodesic flow on a closed Riemannian n >= 2 dimensional manifold is a uniformly hyperbolic set if the shadowing property holds C2-robustly on the metric. We obtain analogous results using weak specification and the shadowing property allowing bounded time reparametrization.The authors were partially supported by the Project ‘New trends in Lyapunov exponents’ (PTDC/MAT-PUR/29126/2017). MB was partially supported by FCT - ‘Fundação para a Ciência e a Tecnologia’, through Centro de Matemática e Aplicações (CMA-UBI), Universidade da Beira Interior, project UID/MAT/00212/2013. JLD was partially supported by the Project CEMAPRE - UID/MULTI/00491/2019 financed by FCT/MCTES through national funds. MJT was partially supported by the Research Centre of Mathematics of the University of Minho with the Portuguese Funds from the Fundação para a Ciência e a Tecnologia, through the Project UID/MAT/00013/2013

New plates for different types of plate heat exchangers

The first patent for a plate heat exchanger was granted in 1878 to Albretch Dracke, a German inventor. The commercial embodiment of these equipments has become available in 1923. However, the plate heat exchanger development race began in the 1930’s and these gasketed plate and frame heat exchangers were mainly used as pasteurizers (e.g. for milk and beer). Industrial plate heat exchangers were introduced in the 1950’s and initially they were converted dairy models. Brazed plate heat exchangers were developed in the late 1970’s. However, copper brazed units did not start selling until the early 80’s. Nickel brazing came to market around ten years later, since copper presents compatibility problems with some streams (e.g. ammonia). All-welded and semi-welded (laser weld) plate heat exchangers were developed during the 1980’s and early 90’s. Shell and plate heat exchangers were recently introduced in the market and can withstand relatively high pressures and temperatures, as the shell and tube does. The fusion bonded plate heat exchangers (100% stainless steel) are a technology from the 21st century, these equipments being more durable than brazed plate heat exchangers. The plates are the most important elements from the different plate heat exchangers mentioned above. This paper initially introduces the gasketed plate and frame heat exchanger and common chevron-type plates. Resorting to computer fluid dynamics techniques, the complex 3D flow in cross-corrugated chevron-type plate heat exchanger passages is visualized. Recent patents related with the plates from different plate heat exchangers are then outlined