Completeness for flat modal fixpoint logics

This paper exhibits a general and uniform method to prove axiomatic completeness for certain modal fixpoint logics. Given a set Γ of modal formulas of the form γ(x,p₁,…,p_n), where x occurs only positively in γ, we obtain the flat modal fixpoint language L_?(Γ) by adding to the language of polymodal logic a connective ?_γ for each γ∈Γ. The term ?_γ(φ₁,…,φ_n) is meant to be interpreted as the least fixed point of the functional interpretation of the term γ(x,φ₁,…,φ_n). We consider the following problem: given Γ, construct an axiom system which is sound and complete with respect to the concrete interpretation of the language L_?(Γ) on Kripke structures. We prove two results that solve this problem.First, let be the logic obtained from the basic polymodal by adding a Kozen-Park style fixpoint axiom and a least fixpoint rule, for each fixpoint connective ?_γ. Provided that each indexing formula γ satisfies a certain syntactic criterion, we prove this axiom system to be complete.Second, addressing the general case, we prove the soundness and completeness of an extension of . This extension is obtained via an effective procedure that, given an indexing formula γ as input, returns a finite set of axioms and derivation rules for ?_γ, of size bounded by the length of γ. Thus the axiom system is finite whenever Γ is finite.     

Stochastic phase lockings in a relaxation oscillator forced by a periodic input with additive noise: A first-passage-time approach

Noise effects on phase lockings in a system consisting of a piecewise-linear van der Pol relaxation oscillator driven by a periodic input are studied. The problem of finding the period of the oscillator is reduced to the first-passage-time problem of the Ornstein-Uhlenbeck process with time-varying boundary. The probability density functions of the first-passage time are used to define the operator which governs a transition of an input phase density after one cycle of the oscillator. Phase lockings in a stochastic sense are investigated on the basis of the density evolution by the operator.     

An RQP algorithm using a differentiable exact penalty function for inequality constrained problems

In this paper we propose a recursive quadratic programming algorithm for nonlinear programming problems with inequality constraints that uses as merit function a differentiable exact penalty function. The algorithm incorporates an automatic adjustment rule for the selection of the penalty parameter and makes use of an Armijo-type line search procedure that avoids the need to evaluate second order derivatives of the problem functions. We prove that the algorithm possesses global and superlinear convergence properties. Numerical results are reported.     

Unprecedented Diastereoselective Arylogous Michael Addition of Unactivated Phthalides

The first highly enantioselective arylogous Michael reaction (AMR) of 3-unsubstituted phthalides has been described. This phase-transfer methodology, which uses catalytic amounts of KOH/18-crown-6 catalyst in mesitylene in the presence of N,O-bis(trimethylsilyl)acetamide (BSA), gives access to a broad range of 3-monosubstituted phthalides with high levels of syn diastereoselectivity and good yields, starting from 3-unsubstituted derivatives and diverse α,β-unsaturated carbonyl compounds. The reaction also applies to unactivated 3-alkyl phthalides to afford 3,3-dialkyl derivatives. A plausible mechanism has been suggested. DFT analysis of possible transition states gives a rationale of the high syn diastereoselectivity observed and its correlation with the solvent's dielectric constant.     

Acoustic waveguide filters made up of rigid stacked materials with elastic joints

Meccanica - The acoustic dispersion properties of monodimensional waveguide filters can be assessed by means of the simple prototypical mechanical system made of an infinite stack of periodic...     

Fracture behavior and mechanical,thermal, and rheological properties of biodegradable films extruded by flat die and calender

The development of biodegradable materials for tailored applications, particularly in the field of polymeric films and sheets, is a challenging technological goal as well as a contribution to help protect the environment. Poly(lactic) acid (PLA) is a promising substitute for several oil-based polymers; however, to overcome its thermal and mechanical drawbacks, researchers have developed solutions such as blending PLA with polybutylene adipate terephthalate (PBAT), which is capable of increasing the ductility of the final material. In this study, PLA/PBAT binary blends, with minimum possible content of nonrenewable materials, were examined from processing, thermal, morphological, and rheological perspective. An optimized PLA/PBAT ratio was chosen as the polymeric basis to obtain a biodegradable formulation by adding a biobased plasticizer and appropriate fillers to produce a micrometer film with tailored flexibility and tear resistance. The processing technology involved flat-die extrusion, followed by calendering. The tearing resistance of the produced film was investigated, and the results were compared with literature data. A study on the essential work of fracture was implemented to explore the mode III out-of-plane fracture resistance starting from a trouser tear test.     

A Novel [OSSO]-Type Chromium(III) Complex as a Versatile Catalyst for Copolymerization of Carbon Dioxide with Epoxides

A new chromium(III) complex, bearing a bis-thioether-diphenolate [OSSO]-type ligand, was found to be an efficient catalyst in the copolymerization of CO₂ and epoxides to achieve poly(propylene carbonate), poly(cyclohexene carbonate), poly(hexene carbonate) and poly(styrene carbonate), as well as poly(propylene carbonate)(cyclohexene carbonate) and poly(propylene carbonate)(hexene carbonate) terpolymers.     

A Mechanistically and Operationally Simple Route to Metal–N-Heterocyclic Carbene (NHC) Complexes

We have been puzzled by the involvement of weak organic and inorganic bases in the synthesis of metal–N-heterocyclic carbene (NHC) complexes. Such bases are insufficiently strong to permit the presumed required deprotonation of the azolium salt (the carbene precursor) prior to metal binding. Experimental and computational studies provide support for a base-assisted concerted process that does not require free NHC formation. The synthetic protocol was found applicable to a number of transition-metal- and main-group-centered NHC compounds and could become the synthetic route of choice to form M–NHC bonds.     

Analysis of spectral Hamiltonian boundary value methods (SHBVMs) for the numerical solution of ODE problems

Numerical Algorithms - Recently, the numerical solution of stiffly/highly oscillatory Hamiltonian problems has been attacked by using Hamiltonian boundary value methods (HBVMs) as spectral methods...     

On some auxiliary mappings generated by nonexpansive and strictly pseudo-contractive mappings

Starting by a finite family of mappings, we define the concept of procedure with Lipschitzian dependence of the coefficients. We give seven concrete examples of such procedures and prove the strong convergence of two viscosity methods.