Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics

We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce a relational semantics based on pretopologies with an additional binary relationr between information states. The interpretation of is defined in a suitable way, which differs from the traditional one in classical modal logic. We prove that such models provide a complete semantics for our minimal modal system, as well as, by requiring the suitable conditions onr (in the spirit of correspondence theory), for any of its extensions axiomatized by any subsetW as above. We also prove an embedding theorem for modal IL-algebras into complete ones and, after introducing the notion of general frame, we apply it to obtain a duality between general frames and modal IL-algebras.     

Comparison of some components of pigs kept in natural (free-range) and large-scale conditions

A new pig genotype of Hungarian Large White (75%) × Mangalica (pig with curly bristles, 25%) was used in the experiments. The experimental group was kept in a farming system under strictly natural circumstances until a body weight of 120 kg was attained. Neither antibiotics nor yield-increasing hormones were given to this group. The control group was kept in the usual large-scale farming conditions until body weight of 120 kg was attained. In most cases, protein, zinc, and copper levels and, in some cases, iron levels were significantly higher in some major cuts (neck-end (Boston-butt), loin, ham) of the 'free-range' pigs (n = 12) in comparison with the control animals kept in large-scale farming conditions. There was, on average, 15% less cholesterol in the muscles and 30% less cholesterol in the liver and less linoleic acid in all tissues of 'free-range' pigs than in the control group. There was less fat, but the amount of thiamin and riboflavin in the liver of the naturally kept pigs was twice that in the controls. In respect of TBA-reactive compounds, there were no significant differences between the two groups, but superoxide dismutase (SOD) showed significantly higher activities in all cuts from pigs kept in a large-scale farming system. This may be the effect of a higher level of linoleic acid in the fat.     

Imposing temporal consistency on deep monocular body shape and pose estimation

Computational Visual Media - Accurate and temporally consistent modeling of human bodies is essential for a wide range of applications, including character animation, understanding human social...     

Electronic simulation and microcontroller real implementation of an autonomous chaotic and hyperchaotic system made of a Colpitts-Josephson junction like circuit

Most of the simple Josephson junction (JJ) based circuits with chaotic behavior found in the literature are nonautonomous. Hyperchaotic JJ-based circuits are often either driven by an external force or result from coupling chaotic circuits. An autonomous simple circuit based on Josephson junction active element (JJ), with exactly three physical energy storage tanks, is proposed and analyzed in this paper. This Colpitts-like CLC circuit, though operating at low frequencies, can generate hyperchaotic signals when its nonlinear element is a resistive–capacitive–inductance shunted junction (LRCLSJ) model. Two equilibrium points are found, and their stability analysis is investigated. The proposed circuit displays Hopf bifurcation, periodic oscillations, chaotic and hyperchaotic attractors. The electronic implementation of the proposed circuit using OrCAD-PSpice software is presented to confront the numerical simulations results. A good qualitative agreement is revealed by comparing the analog and numerical simulations results. At last, the microcontroller real implementation is presented using Arduino UNO board. The results obtained are in good agreement with the numerical simulation results.

     

Workload assignment for global real-time scheduling on unrelated clustered platforms

Real-Time Systems - Heterogeneous MPSoCs are being used more and more, from cellphones to critical embedded systems. Most of those systems offer heterogeneous sets of identical cores. In this...     

Interest of molecular functionalization for electrochemical storage

Despite great interests in electrochemical energy storage systems for numerous applications, considerable challenges remain to be overcome. Among the various approaches to improving the stability, safety, performance, and cost of these systems, molecular functionalization has recently been proved an attractive method that allows the tuning of material surface reactivity while retaining the properties of the bulk material. For this purpose, the reduction of aryldiazonium salt, which is a versatile method, is considered suitable; it forms robust covalent bonds with the material surface, however, with the formation of multilayer structures and sp³ defects (for carbon substrate) that can be detrimental to the electronic conductivity. Alternatively, non-covalent molecular functionalization based on π–π interactions using aromatic ring units has been proposed. In this review, the various advances in molecular functionalization concerning the current limitations in lithium-ion batteries and electrochemical capacitors are discussed. According to the targeted applications and required properties, both covalent and non-covalent functionalization methods have proved to be very efficient and versatile. Fundamental aspects to achieve a better understanding of the functionalization reactions as well as molecular layer properties and their effects on the electrochemical performance are also discussed. Finally, perspectives are proposed for future implementation of molecular functionalization in the field of electrochemical storage.

Open image in new window

     

Using Selective Electron Beam Melting to Enhance the High-Temperature Strength and Creep Resistance of NiAl–28Cr–6Mo In Situ Composites

By increasing the density of interfaces in NiAl–CrMo in situ composites, the mechanical properties can be significantly improved compared to conventionally cast material. The refined microstructure is achieved by manufacturing through electron beam powder bed fusion (PBF-EB). By varying the process parameters, an equiaxed or columnar cell morphology can be obtained, exhibiting a plate-like or an interconnected network of the (Cr,Mo) reinforcement phase which is embedded in a NiAl matrix. The microstructure of the different cell morphologies is investigated in detail using scanning electron microscope, transmission electron microscopy, and atom probe tomography. For both morphologies, the mechanical properties at elevated temperatures are analyzed by compression and creep experiments parallel and perpendicular to the building direction. In comparison to cast NiAl and NiAl–(Cr, Mo), the yield strength of the PBF-EB fabricated specimens is significantly improved at temperatures up to 1,027 °C. While the columnar morphology exhibits the best improved mechanical properties at high temperatures, the equiaxial morphology shows nearly ideal isotropic mechanical behavior, which is a substantial advantage over directionally solidified material.     

Measurement and analysis of low-acceleration and long-duration longitudinal events using delivery van

This study investigates longitudinal acceleration events during freight transportation characterized as low-acceleration and long-duration using delivery van type vehicles. In the past several decades, there has been an increase in shipments requiring only single or small pallet load quantities and mixed palletized unit loads comprised of different goods. These loads are often transported in delivery vans without load securing devices, increasing the risk of product loss and damage due to load failures resulting from unit loads shifting. A field data acquisition system was used to observe and record the random acceleration events from five vehicles for 5 days, explicitly targeting the vehicles' braking and acceleration manoeuvres. The study aimed to understand the physical phenomenon and provide new information that can be used during preshipment tests to prevent damage to goods and ensure unit load integrity is maintained throughout the supply chain. The events were statistically analysed to understand their probability of occurrence, severity level, and quantify critical parameters such as event rise and hold times. For the braking manoeuvre, the statistical mean of average deceleration was 0.25 g with a corresponding rise and hold duration of 0.83 and 1.27 s, respectively. During the vehicle's acceleration manoeuvre, the statistical mean of average acceleration was 0.29 g with a rise and hold time of 1.29 and 1.39 s, respectively. Utilizing the field data, composite profiles were developed, and these profiles were compared to the currently available test procedures and previous results of other studies.     

A Hemispherical Image Sensor Array Fabricated with Organic Photomemory Transistors

Hemispherical image sensors simplify lens designs, reduce optical aberrations, and improve image resolution for compact wide-field-of-view cameras. To achieve hemispherical image sensors, organic materials are promising candidates due to the following advantages: tunability of optoelectronic/spectral response and low-temperature low-cost processes. Here, a photolithographic process is developed to prepare a hemispherical image sensor array using organic thin film photomemory transistors with a density of 308 pixels per square centimeter. This design includes only one photomemory transistor as a single active pixel, in contrast to the conventional pixel architecture, consisting of select/readout/reset transistors and a photodiode. The organic photomemory transistor, comprising light-sensitive organic semiconductor and charge-trapping dielectric, is able to achieve a linear photoresponse (light intensity range, from 1 to 50 W m⁻²), along with a responsivity as high as 1.6 A W⁻¹ (wavelength = 465 nm) for a dark current of 0.24 A m⁻² (drain voltage = −1.5 V). These observed values represent the best responsivity for similar dark currents among all the reported hemispherical image sensor arrays to date. A transfer method was further developed that does not damage organic materials for hemispherical organic photomemory transistor arrays. These developed techniques are scalable and are amenable for other high-resolution 3D organic semiconductor devices.