Jónsson posets

According to Kearnes and Oman (2013), a partially ordered set P is Jónsson if it is infinite and the cardinality of every proper initial segment of P is strictly less than the cardinaliy of P. We examine the structure of Jónsson posets.     

On successors of Jónsson cardinals

We show that, like singular cardinals, and weakly compact cardinals, Jensen's core model K for measures of order zero [4] calculates correctly the successors of Jónsson cardinals, assuming does not exist. Namely, if is a Jónsson cardinal then , provided that there is no non-trivial elementary embedding . There are a number of related results in ZFC concerning in V and inner models, for a Jónsson or singular cardinal. Received: 8 December 1998     

Monotone Jónsson operations and near unanimity functions

We define nonextendible colored posets and zigzags of a poset. These notions are related to the earlier notions of gaps, holes, obstructions and zigzags considered by Duffus, Nevermann, Rival, Tardos and Wille. We establish some properties of zigzags. By using these properties we give a proof of the well known conjecture that states that any finite bounded poset which admits Jsson operations, also admits a near unanimity function. We also provide an infinite poset that shows that we cannot drop the finiteness in this conjecture.Presented by R. McKenzie.     

Separability and decidability results for varieties of Jónsson dynamic algebras

Dynamic algebras are algebraic counterparts of dynamic logics: propositional logical systems endowed with a set of modal operators. In [18], B. Jónsson introduced dynamic algebras as Boolean algebras with unary operators, the indices of which range over a given Kleene algebra. On the other hand, V.R. Pratt and D. Kozen proposed a two-sorted approach to dynamic algebras, which was followed in the early papers on the topic, such as Fischer and Ladner [15] and Németi [28]. For a recent overview of the field cf. [4]. In the present paper we investigate connections (as well as diversities) between these two approaches. Our main aim is to transfer (where possible) two-sorted results on separability and decidability to the one-sorted case and to extend them to broad classes of varieties of Jónsson dynamic algebras. In particular, as a consequence of such considerations, we obtain a decidability result on Kleene algebras.     

Bjarni Jónsson’s contributions in algebra: an addendum

Normal categories are pointed categorical counterparts of 0-regular varieties, i.e., varieties where each congruence is uniquely determined by the equivalence class of a fixed constant 0. In this paper, we give a new axiomatic approach to normal categories, which uses self-dual axioms on a functor defined using subobjects of objects in the category. We also show that a similar approach can be developed for 0-regular varieties, if we replace subobjects with subsets of algebras containing 0.     

Generators for complemented modular lattices and the von Neumann–Jónsson coordinatization theorems

Extending work of von Neumann, Jónsson has shown that each complemented modular lattice, L admitting a large partial n-frame with n ≥ 4, or with n ≥ 3 and L Arguesian, can be coordinatized as the lattice of all principal right ideals of some regular ring. His proof built on the embedding of L into the subgroup lattice of an abelian group which follows from Frink’s embedding of L into to a direct product of subspace lattices of irreducible projective spaces and coordinatization of the latter. We offer a proof which, in addition to these results, employs only some elementary linear algebra. Luca Giudici’s thesis [6] is an important source for this approach.     

Una formulación de mínimo peso con restricciones en tensión en optimización topológica de estructuras

Optimum design of structures has been traditionally focused on the analysis of shape and dimensions optimization problems. However, more recently a new discipline has emerged: the topology optimization of the structures. This discipline states innovative models that allow to obtain optimal solutions without a previous definition of the type of structure being considered. These formulations obtain the optimal topology and the optimal shape and size of the resulting elements. The most usual formulations of the topology optimization problem try to obtain the structure of maximum stiffness. These approaches maximize the stiffness for a given amount of material to be used. These formulations have been widely analyzed and applied in engineering but they present considerable drawbacks from a numerical and from a practical point of view. In this paper the author propose a different formulation, as an alternative to maximum stiffness approaches, that minimizes the weight and includes stress constraints. The advantages of this kind of formulations are crucial since the cost of the structure is minimized, which is the most frequent objective in engineering, and they guarantee the structural feasibility since stresses are constrained. In addition, this approach allows to avoid some of the drawbacks and numerical instabilities related to maximum stiffness approaches. Finally, some practical examples have been solved in order to verify the validity of the results obtained and the advantages of the proposed formulation.     

Descomposición en pistones circulares para la obtención de la radiación acústica de un pistón rectangular

Obtaining pressure radiated by flat surfaces is not a new problem. This problem has studied by the complexity of the topic and its application to design flat speakers. These kind of speakers are the speakers that we use in televisions, ceilings, cinema screens, panels, etc. in this cases usually we have rectangular speakers.The single source model is the simplest model to convert the surface vibration to radiated pressure in a point. This is an easy model but it is very slow, especially when we want calculate at high frequencies. For rectangular surfaces there are models that use relatively complex auxiliary functions. In this case the calculation is accelerated but its implementation is more complicated and is necessary to particularize each situation.This paper presents the decomposition of a rectangular surface in several circular surfaces, by means of area associations, seeking a rapid method based on circular pistons whose behavior is known with an acceptable error in the allocation.     

J—J方程组的渐近惯性流形

本文构造了Ｌｉａｐｕｎｏｖ泛函，得出了Ｊｏｓｅｐｈｓｏｎ结中的ｓｉｎｅ－Ｇｏｒｄｏｎ方程组的高模态的衰减性质，从而给出了渐近惯性流形。     

Aplicación de un algoritmo evolutivo para la optimización del modelado computacional de la pirólisis de materiales

The pyrolysis models undergoes a fast development due to the enhancement of both the computational power and the new test used to characterize the behaviour of materials under thermal stresses, which were widely used in the field of the chemical engineering to obtain the reaction rates. Thus, these models allow us to characterize either the transient heat of material (thermal inertia) or the complete chemical scheme of mass loss processes (kinetic triplet). The pyrolysis model needs a several number of parameters what does the optimization of a suitable set of parameters a difficult task. Two kinds of materials have been investigated; the first one was a real material which mass loss process was characterized as “one-step” reaction and the second one as a “two-steps” process. Further, it has been analyzed the influence of some algorithm features (initial population number, parameter range, crossover influence) in the optimization time and also in the accuracy of results.     

On Calderón-Toeplitz operators

We discuss boundedness and Schatten ideal criteria for a class of Toeplitz style operators based on the Calderón reproducing formula. These operators are a variation on Calderón-Zygmund operators but our results also apply to classical Toeplitz operators acting on the weighted Bergman space of the upper half plane.     

J－J方程组的渐近惯性流形*

本文构造了Liapunov泛函,得出了Josephson结中的sine-Gordon方程组的高模态的衰减性质,从而给出了渐近惯性流形。     

Integración temporal explícita con grandes pasos de tiempo de la ecuación de transmisión del calor

We present a novel fully explicit time integration method that remains stable for large time steps, requires neither matrix inversions nor solving a system of equations and therefore allows for nearly effort-less parallelization. In this first paper the proposed approach is applied to solve conduction heat transfer problems, showing that it is stable for any time step as is the case with implicit methods but with a much lower computation time.     

Búsqueda exhaustiva por entornos aplicada al diseño económico de bóvedas de hormigón armado

This paper presents two gradient algorithms applied to the economic optimization of reinforced concrete vaults, typically used in the construction of underpasses. The algorithms are gradient multi start neighbourhood exhaustive search procedures. The vault is defined by 45 design variables and the objective function is an economic one. Both methods have been applied to a vault of 12.40 m of diameter and 3.00 m of lateral walls. Design variables have been coded in base 2 for algorithms GB1 and in Gray coding for GB2. The neighbourhood is defined by the set of solutions that differ in one bit. The Gray coding solves the lack of proximity between two solutions typical of the ordinary binary coding. The positive effect of the Gray coding is proven in the present paper, where the average cost of 3,000 runs of GB2 improves by 3.81% a similar run by algorithm GB1. In addition, GB2 attains the best cost solution. The paper includes a stop criterion for the algorithm based on the stability of the statistics of the multi start results. The algorithms are simple and can be applied to other structural problems. The structure of best cost has a high slenderness and a span to depth ratio of 40. The study reports savings of 6% when compared to a design by an experienced practitioner office.     

模糊数学专家J.J.Buckley教授来华讲学

应汪浩教授和刘锡荟教授的邀请,美国阿拉巴马大学(University of Alabama at Birminsham) J.J.Buckley教授于1988年9月来华讲学,他先后在电子研究所和国防科技大学作了学术报告。     

Calderón problem for connections

In this paper, we consider the problem of identifying a connection ? on a vector bundle up to gauge equivalence from the Dirichlet-to-Neumann map of the connection Laplacian ?*? over conformally transversally anisotropic (CTA) manifolds. This was proved in [9 Dos Santos Ferreira, D., Kenig, C., Salo, M., Uhlmann, G. (2009). Limiting Carleman weights and anisotropic inverse problems. Invent. Math. 178:119–171.[Crossref], [Web of Science ®] , [Google Scholar]] for line bundles in the case of the transversal manifold being simple—we generalize this result to the case where the transversal manifold only has an injective ray transform. Moreover, the construction of suitable Gaussian beam solutions on vector bundles is given for the case of the connection Laplacian and a potential, following the works of [11 Dos Santos Ferreira, D., Kurylev, Y., Lassas, M., Salo, M. (2016). The Calderón problem in transversally anisotropic geometries. J. Eur. Math. Soc., 18:2579–2626.[Crossref], [Web of Science ®] , [Google Scholar]]. This in turn enables us to construct the Complex Geometrical Optics (CGO) solutions and prove our main uniqueness result. We also reduce the problem to a new non-abelian X-ray transform for the case of simple transversal manifolds and higher rank vector bundles. Finally, we prove the recovery of a flat connection in general from the DN map, up to gauge equivalence, using an argument relating the Cauchy data of the connection Laplacian and the holonomy.     

Discrete Calderón-type Reproducing Formula

In this paper we use the Calderón-Zygmund operator theory to provide a discrete Calderón-type reproducing formula. Since translation, dilation and, in particular, the Fourier transform are never used in the proofs, all results still hold on spaces of homogenous type introduced by Coifman and Weiss. As a consequence, we obtain a class of frames with the minimum regularity properties. Received: July 27, 1999, Accepted: October 15, 1999