A Verified Optimization Technique to Locate Chaotic Regions of Hénon Systems

We present a new verified optimization method to find regions for Hénon systems where the conditions of chaotic behaviour hold. The present paper provides a methodology to verify chaos for certain mappings and regions. We discuss first how to check the set theoretical conditions of a respective theorem in a reliable way by computer programs. Then we introduce optimization problems that provide a model to locate chaotic regions. We prove the correctness of the underlying checking algorithms and the optimization model. We have verified an earlier published chaotic region, and we also give new chaotic places located by the new technique.     

Fluid and diffusion limits for transient sojourn times of processor sharing queues with time varying rates

We provide an approximate analysis of the transient sojourn time for a processor sharing queue with time varying arrival and service rates, where the load can vary over time, including periods of overload. Using the same asymptotic technique as uniform acceleration as demonstrated in [12] and [13], we obtain fluid and diffusion limits for the sojourn time of the M_t/M_t/1 processor-sharing queue. Our analysis is enabled by the introduction of a “virtual customer” which differs from the notion of a “tagged customer” in that the former has no effect on the processing time of the other customers in the system. Our analysis generalizes to non-exponential service and interarrival times, when the fluid and diffusion limits for the queueing process are known.     

Physics, mind, society: Back and forth

The life course of the physicist and biologist George Feher may be seen as an epitome of science of the second half of the 20th century and the beginning of the 21st century. Feher, a native of Slovakia, barely escaped Nazism and communism and became a scientist in the USA. The Nazi concentration camps and the communist gulags have become a symbol of the 20th century. This symbol stands here to pose a question: How the two totalitarian systems, fraught with irrationality, may have arisen and thrived in parallel with an unprecedented expansion of science, the paragon of rationalism? The question has become even more urgent in the 21st century. The Ground Zero, an empty spot left after the collapse of the twin towers of the World Trade Center on 11 September 2001, has become the symbol of the entrance of humankind into the new millennium. We can do much, but we understand too little about who we are and what we are doing — this is a message that the two symbols convey about the precarious stage of our evolution. The second message concerns the role of artifacts, specifically scientific instruments, in the advancement of science. Human cultural evolution has been steadily progressing, in a form of a ratchet, only because artifacts have been continually evolving. Contrary to the common Popperian wisdom, the demarcation in science may not consist in the amenability to theoretical falsification, but rather in the amenability to instrumental grasping. Scientific instruments have empowered humans for impressive feats of manipulation with Nature and themselves. Knowledge arising in the course of autonomous evolution of artifacts may surpass the horizon of human understanding and grasping. New knowledge may still be power, but no longer the power of humans. We may need a revision of some fundamental ideas of European thought. Our understanding of the human mind may entirely reshape our comprehension of the nature of physical knowledge, and vice versa.     

Nonaqueous diazotization of 4-amino-3-arylisothiazole-5-carboxylate esters

4-Amino-3-arylisothiazole-5-carboxylate esters are converted to the corresponding desamino, chloro, bromo, and iodo esters by processes involving nonaqueous diazotization. These related procedures open up the possibility for the conversion of readily available heterocyclic ortho-amino esters and nitriles to related heterocyclic derivatives, which are not easily obtained by alternate routes.     

Eigenvalue ratios of vibrating strings

Summary New results for the eigenvalue ratios of vibrating strings are presented partially in connection with previous results concerning Schr?dinger operators.     

Sequencing games without initial order

In this note we study uncertainty sequencing situations, i.e., one-machine sequencing situations in which no initial order is specified. We associate cooperative games with these sequencing situations, study their core, and provide links with the classic sequencing games introduced by Curiel et al. (Eur J Oper Res 40:344–351, 1989). Moreover, we propose and characterize two simple cost allocation rules for uncertainty sequencing situations with equal processing times.     

A short and efficient synthesis of grisan

A three-step synthesis of grisan (spiro[benzofuran-2(3H)-1′-cyclohexane]), using methoxymethoxybenzene and 1-chloromethylcyclohexene as starting materials, is described.     

Group-valued measures on coarse-grained quantum logics

In [3] it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later ([9]) this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained quantum logics (or non-negative group-valued measures for lattice-ordered groups). Obviously, the proof technique is entirely different from that of the preceding papers. In addition, we provide a new combinatorial argument for describing all atoms of cyclic coarse-grained quantum logics.