Prederivations of Lie Algebras and Isometries of Bi-invariant Lie Group

Lie groups with bi-invariant semi-Riemannian metrics are considered. We study the decomposition of the algebra of prederivations of a direct sum of Lie algebras and derive some results on the isotropy group of a bi-invariant product Lie group. We also give necessary and sufficient conditions to ensure that all isometries of a complex Lie group, endowed with a bi-invariant Norden metric, are holomorphic.     

Lie algebras admitting non-singular prederivations

The aim of this paper is to prove that any real or complex Lie algebra admitting a non-singular prederivation is necessarily a nilpotent Lie algebra. As to the reciprocal statement, an example is given of a nilpotent Lie algebra with only singular prederivations.     

Remarks on a theorem of Taskinen on spaces of continuous functions

We clarify and prove in a simpler way a result of Taskinen about symmetric operators on C(Kⁿ), K an uncountable metrizable compact space. To do this we prove that, for any compact space K and any n ∈ ?, the symmetric injective n–tensor product of C(K), , is complemented in C(B_C(K)*), a result of independent interest. The techniques we develop allow us to extend the result in several directions. We also show that the hypothesis of metrizability and uncountability cannot be removed.     

Birefringent filter with amplitude beats

In this work, we show a very simple birefringent filter useful to modulate a broadband light spectrum. We first show the generation of various oscillating spectra using two identical multiple-order waveplates. In particular a sinusoidal broadband spectrum with a rapid oscillation is obtained. This spectrum is amplitude modulated by adding another waveplate to the system. This waveplate has a small phase shift, and with the proper orientation generates amplitude beats on the broadband spectrum. Finally, we show how this system can be voltage controlled by means of a ferroelectric liquid crystal modulator. We experimentally demonstrate this behavior with the aid of a portable spectrophotometer, and we provide a theoretical explanation on the basis of the Jones matrix formalism.     

The electrochemical reduction of perezone in the presence of benzoic acid in acetonitrile

An electrochemical study using transient techniques of a quinone-type natural product, perezone, has been performed in acetonitrile and in the presence of benzoic acid. Using linear sweep voltametry and single potential step chronoamperometry, it was possible to establish that the reduction mechanism of perezone involves a monoelectronic charge-transfer step, followed by a protonation step and homogeneous charge transfer due to disproportionation of the protonated intermediate. The mechanism for the homogeneous charge-transfer step was found to be of the type DISP1 (disproportionation order one) from the results of double potential step chronoamperometry experiments. The occurrence of the DISP1 mechanism was provoked by the mildly acidic medium used in this study.     

A spring-embedding approach for the facility layout problem

The facility layout problem is concerned with finding the most efficient arrangement of a given number of departments with unequal area requirements within a facility. The facility layout problem is a hard problem, and therefore, exact solution methods are only feasible for small or greatly restricted problems. In this paper, we propose a spring-embedding approach that unlike previous approaches results in a model that is convex. Numerical results demonstrating the potential of our model and the efficiency of our solution procedure are presented.     

Logic-Based Modeling and Solution of Nonlinear Discrete/Continuous Optimization Problems

This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP for the case when these problems are modeled with algebraic equations and inequalities. Since algebraic representations have some limitations such as difficulty of formulation and numerical singularities for the nonlinear case, we consider logic-based modeling as an alternative approach, particularly Generalized Disjunctive Programming (GDP), which the authors have extensively investigated over the last few years. Solution strategies for GDP models are reviewed, including the continuous relaxation of the disjunctive constraints. Also, we briefly review a hybrid model that integrates disjunctive programming and mixed-integer programming. Finally, the global optimization of nonconvex GDP problems is discussed through a two-level branch and bound procedure.     

Influence of the loading path on the strength of fiber-reinforced composites subjected to transverse compression and shear

The influence of the loading path on the failure locus of a composite lamina subjected to transverse compression and out-of-plane shear is analyzed through computational micromechanics. This is carried out using the finite element simulation of a representative volume element of the microstructure, which takes into account explicitly fiber and matrix spatial distribution within the lamina. In addition, the actual failure mechanisms (plastic deformation of the matrix and interface decohesion) are included in the simulations through the corresponding constitutive models. Two different interface strength values were chosen to explore the limiting cases of composites with strong or weak interfaces. It was found that failure locus was independent of the loading path for the three cases analyzed (pseudo-radial, compression followed by shear and shear followed by compression) in the composites with strong and weak interfaces. This result was attributed to the fact that the dominant failure mechanism in each material was the same in transverse compression and in shear. Failure is also controlled by the same mechanisms under a combination of both stresses and the failure locus depended mainly on the magnitude of the stresses that trigger fracture rather than in the loading path to reach the critical condition.