Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences

In the literature on logics of imperfect information it is often stated, incorrectly, that the Game-Theoretical Semantics of Independence-Friendly (IF) quantifiers captures the idea that the players of semantical games are forced to make some moves without knowledge of the moves of other players. We survey here the alternative semantics for IF logic that have been suggested in order to enforce this “epistemic reading” of sentences. We introduce some new proposals, and a more general logical language which distinguishes between “independence from actions” and “independence from strategies”. New semantics for IF logic can be obtained by choosing embeddings of the set of IF sentences into this larger language. We compare all the semantics proposed and their purported game-theoretical justifications, and disprove a few claims that have been made in the literature.     

Nanostructure and Micromechanical Properties of Silica/Silicon Oxycarbide Porous Composites

The microhardness–nanostructure correlation of a series of silica/silicon oxycarbide porous composites has been investigated, as a function of pyrolysis temperature, T _p. The pyrolyzed products have been studied by means of scanning electron microscopy, mercury porosimetry, chemical analysis, solid-state ²⁹Si-NMR, X-ray diffraction, Raman spectroscopy, and microindentation hardness. Two distinct regimes are found for the microhardness behavior with T _p. In the low-temperature regime (1000°C ≤ T _p < 1300°C), the material response to indentation seems to be dominated by the large amount of pores present in the samples. In this T _p range, low microhardness values, H , are found (<110 MPa). Above T _p= 1300°C, a conspicuous H increase is observed. In this high-temperature regime ( T _p= 1300–1500°C), microhardness values are shown to notably increase with increasing pyrolysis temperature. The H behavior at T _p= 1300–1500°C is discussed in terms of (i) the volume fraction of pores and the average pore size, (ii) the bond density of the oxycarbide network, and (iii) the occurrence of a nanocrystalline SiC phase.     

Comparison of conventional and spherical reactor for the industrial auto-thermal reforming of methane to maximize synthesis gas and minimize CO2

Auto-thermal reforming (ATR), a combination of exothermic partial oxidation and endothermic steam reforming of methane, is an important process to produce syngas for petrochemical industries. In a commercial ATR unit, tubular fixed bed reactors are typically used. Pressure drop across the tube, high manufacturing costs, and low production capacity are some disadvantages of these reactors. The main propose of this study is to offer an optimized radial flow, spherical packed bed reactor as a promising alternative for overcoming the drawbacks of conventional tubular reactors. In the current research, a one dimensional pseudo-homogeneous model based on mass, energy, and momentum balances is applied to simulate the performance of packed-bed reactors for the production of syngas in both tubular and spherical reactors. In the optimization section, the proposed work explores optimal values of various decision variables that simultaneously maximize outlet molar flow rate of H₂, CO and minimize molar flow rate of CO₂ from novel spherical reactor. The multi-objective model is transformed to a single objective optimization problem by weighted sum method and the single optimum point is found by using genetic algorithm. The optimization results show that the pressure drop in the spherical reactor is negligible in comparison to that of the conventional tubular reactor. Therefore, it is inferred that the spherical reactor can operate with much higher feed flow rate, more catalyst loading, and smaller catalyst particles.     

Titration force microscopy on supported lipid bilayers

The use of chemically modified atomic force microscopy (AFM) probes allows us to measure the surface charges of supported planar lipid bilayers with high sensitivity through the force spectroscopy operation mode. By controlling the chemistry of the tip, we can perform a classical analytical chemistry titration where the titration agent is a weak acid (attached to the AFM tip) with the particularity of being performed in surface rather than in solution and, especially, at the nanometric scale. Thus, the AFM tip acts as a real "nanosensor". The approaching curves of the force plots reveal that electrostatic interactions between the tip and the supported membrane play a key role. Besides, the plot of the adhesion force (measured from the retracting curve of the force plots) versus pH displays a nonsigmoidal shape with a peak in the adhesion force attributed to high-energy hydrogen bonds. One of these peaks corresponds to the pKa of the surface under study and the other to the pKa of the titrating probe attached to the tip.     

Modelling the Floating Ladder Track Response to a Moving Load by an Infinite Bernoulli-Euler Beam on Periodic Flexible Supports

An infinite Bernoulli-Euler beam (representing the "combined rail" consisting of the rail and longitudinal sleeper) mounted on periodic flexible point supports (representing the railpads) has already proven to be a suitable mathematical model for the floating ladder track (FLT), to define its natural vibrations and its forced response due to a moving load. Adopting deliberately conservative parameters for the existing FLT design, we present further results for the response to a steadily (uniformly) moving load when the periodic supports are assumed to be elastic, and then introduce the mass and viscous damping of the periodic supports. Typical support damping significantly moderates the resulting steady deflexion at any load speed, and in particular substantially reduces the magnitude of the resonant response at the critical speed. The linear mathematical analysis is then extended to include the inertia of the load that otherwise moves uniformly along the beam, generating overstability at supercritical speeds — i.e. at load speeds notably above the critical speed predicted for the resonant response when the load inertia is neglected. Neither the resonance nor the overstability should prevent the safe implementation of the FLT design in modern high speed rail systems.     

Statistical Characterization of Heat Release Rates from Electrical Enclosure Fires for Nuclear Power Plant Applications

Since the publication of NUREG/CR-6850/EPRI 1011989 in 2005, the US nuclear industry has sought to re-evaluate the default peak heat release rates (HRRs) for electrical enclosure fires typically used as fire modeling inputs to support fire probabilistic risk assessments (PRAs), considering them too conservative. HRRs are an integral part of the fire phenomenological modeling phase of a fire PRA, which consists of identifying fire scenarios which can damage equipment or hinder human actions necessary to prevent core damage. Fire ignition frequency, fire growth and propagation, fire detection and suppression, and mitigating equipment and actions to prevent core damage in the event fire damage still occurred are all parts of a fire PRA. The fire growth and propagation phase incorporates fire phenomenological modeling where HRRs have a key effect. A major effort by the Electric Power Research Institute and Science Applications International Corporation in 2012 was not endorsed by the US Nuclear Regulatory Commission (NRC) for use in risk-informed, regulatory applications. Subsequently the NRC, in conjunction with the National Institute of Standards and Technology, conducted a series of tests for representative nuclear power plant electrical enclosure fires designed to definitively establish more realistic peak HRRs for these often important contributors to fire risk. The results from these tests are statistically analyzed to develop two probabilistic distributions for peak HRR per unit mass of fuel that refine the values from NUREG/CR-6850, thereby providing a fairly simple means by which to estimate peak HRRs from electrical enclosure fires for fire modeling in support of fire PRA. Unlike NUREG/CR-6850, where five different distributions are provided, or NUREG-2178, which now provides 31, the peak HRRs for electrical enclosure fires can be characterized by only two distributions. These distributions depend only on the type of cable, namely qualified versus unqualified, for which the mean peak HRR per unit mass is 11.3 and 23.2 kW/kg, respectively, essentially a factor of two difference. Two-sided, 90th percentile confidence bounds are 0.0915 to 41.2 kW/kg for qualified cables, and 0.0272 to 95.9 kW/kg for unqualified cables. From the mean (~70th percentile) upward, the peak HRR/kg for unqualified cables is roughly twice that for qualified, increasing slightly with higher percentile, an expected phenomenological trend. Simulations using variable fuel loadings are performed to demonstrate how the results from this analysis may be used for nuclear power plant applications.     

Role of surface-inoculated Debaryomyces hansenii and Yarrowia lipolytica strains in dried fermented sausage manufacture. Part 1: Evaluation of their effects on microbial evolution, lipolytic and proteolytic patterns

The aim of this work was to study the effects of Debaryomyces hansenii and Yarrowia lipolytica strains, used with lactic acid starter cultures (Lactobacillus plantarum), on the manufacture of dried fermented sausages to understand their role on sausage microbial evolution, lipolytic and proteolytic patterns. The inoculation of the yeast strains did not markedly affect the sausage’s microbial flora. The sausages with the yeast strains showed more marked and earlier water activity (a_w) reductions. Moreover, the surface inoculation of the yeast strains resulted, at the end of ripening, in more pronounced proteolysis and lipolysis. The lipolytic patterns of the products were affected not only by the yeast strain but also by the level of mincing of the meat mixture used.