On irreversibility of von Neumann additive cellular automata on grids

The von Neumann cellular automaton appears in many different settings in Operations Research varying from applications in Formal Languages to Biology. One of the major questions related to it is to find a general condition for irreversibility of a class of two-dimensional cellular automata on square grids (σ⁺-automata). This question is partially answered here with the proposal of a sufficient condition for the irreversibility of σ⁺-automata.     

Microperforated insertion units: An alternative strategy to design microperforated panels

Microperforated panels (MPPs) coupled to a rigid wall have been proposed recently as an alternative to porous absorbers in situations having concerns with bacterial contamination and small particles discharge, like food, pharmaceutical and microelectronic industries. There exists also an increasing interest for MPP absorbers in the transportation industry and civil engineering. In general, an optimally designed MPP with good broadband absorption requires many submillimetric holes distributed over a panel of also submillimetric thickness. Such thin plates or foils become so fragile that they need to be protected from mechanical damage. In this paper, an alternative strategy is investigated which allows the design of MPPs with panels of millimetric thickness while maintaining their acoustic performance. These absorbers, named microperforated insertion units (MIUs), avoid the structural problems of the classical MPPs. An assessment of the sound absorption properties of these structures is presented. Comparisons between calculations and measurements are also made under two experimental conditions: plane waves at normal incidence (impedance tube) and free field (anechoic room).     

Direction of magnetization and domain wall mobility in (Dy,Y)Fe2

Magnetization measurements in the (Dy _x Y_1−x )Fe₂ intermetallic compounds show evidence of blocking of domain wall motion. This effect is a function of concentrationx. The direction of magnetization is also dependent on the Dy concentration. We have used the Mossbauer spectroscopy of⁵⁷Fe to verify the direction of magnetization in the series as a function ofx and temperature. The results show that this change in easy direction occurs at higher temperatures than those where the blocking is detected through DC magnetization measurements. supported by RHAE/SCT.     

Precise bounds and asymptotics for the first Dirichlet eigenvalue of triangles and rhombi

We study the asymptotic expansion of the first Dirichlet eigenvalue of certain families of triangles and of rhombi as a singular limit is approached. In certain cases, which include isosceles and right triangles, we obtain the exact value of all the coefficients of the unbounded terms in the asymptotic expansion as the angle opening approaches zero, plus the constant term and estimates on the remainder. For rhombi and other triangle families such as isosceles triangles where now the angle opening approaches π, we have the first two terms plus bounds on the remainder. These results are based on new upper and lower bounds for these domains whose asymptotic expansions coincide up to the orders mentioned. Apart from being accurate near the singular limits considered, our lower bounds for the rhombus improve upon the bound by Hooker and Protter for angles up to approximately 22° and in the range (31°,54°). These results also show that the asymptotic expansion around the degenerate case of the isosceles triangle with vanishing angle opening depends on the path used to approach it.     

Interpolation of Bilinear Operators Between Quasi-Banach Spaces

We study interpolation, generated by an abstract method of means, of bilinear operators between quasi-Banach spaces. It is shown that under suitable conditions on the type of these spaces and the boundedness of the classical convolution operator between the corresponding quasi-Banach sequence spaces, bilinear interpolation is possible. Applications to the classical real method spaces, Calderón-Lozanovsky spaces, and Lorentz-Zygmund spaces are presented. The author is supported by the National Science Foundation under grant DMS 0099881. The author is supported by KBN Grant 1 P03A 013 26.     

Reactions on the dimethylphenylbenzacridinones. VI. Hydrogenation of ortho-nitrophenyl derivatives

Catalytic hydrogenation of o-nitrophenylbenz[a], benz[c], dibenz[a,h] and dibenz[a,g]acridinones using Pd/C as catalyst, at 60 psi of pressure, gave the hiterto unknown benzoquinoacridine N-oxides and benzo-pyranonaphthyridine N-oxides. The structure of all products was corroborated by ir, ¹H- and ¹³C-nmr and mass spectra data.     

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently

Logic programming languages, such asProlog, allow a declarative specification of Constraint Satisfaction Problems (CSPs), freeing the user from specifying more or less complex control directives. However, the price to pay for such flexibility is a loss of efficiency, which makes Logic Programming inadequate to solve CSPs of even moderate size and complexity. To extend the range of applicability of logic programming, several improvements have been proposed. The use of heuristics is one such improvement. Although this usually forces the user to specify some form of control (thus abandoning the pure declarative nature of a logic program), these specifications can be made declarative by making use of some appropriate meta-predicates. Another extension to logic programming that improves its efficiency, is the active use of constraints, as done in the various formulations of constraint logic programming languages. In particular, the use of finite domains is quite adequate to implement look-ahead schemes to efficiently solve several types of CSPs. In this paper, we discuss the complementary nature of heuristics and look-ahead schemes and present a constraint logic programming framework that integrates both these techniques. Results obtained with a time-tabling problem executed on a prototype that implements such a framework are presented, and show that significant efficiency improvements can be achieved when compared with the separate use of the two techniques.     

The G/M/1 queue revisited

The G/M/1 queue is one of the classical models of queueing theory. The goal of this paper is two-fold: (a) To introduce new derivations of some well-known results, and (b) to present some new results for the G/M/1 queue and its variants. In particular, we pay attention to the G/M/1 queue with a set-up time at the start of each busy period, and the G/M/1 queue with exceptional first service. Dedicated to Arie Hordijk on his 65th birthday, in friendship and admiration.