A note on drastic product logic

The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum. So, there are no drastic product $t$-norm based many-valued logics, in the sense of [EG01]. However, if we renounce standard completeness, we can study the logic whose semantics is provided by those MTL chains whose monoidal operation is the drastic product. This logic is called ${\rm S}_{3}{\rm MTL}$ in [NOG06]. In this note we justify the study of this logic, which we rechristen DP (for drastic product), by means of some interesting properties relating DP and its algebraic semantics to a weakened law of excluded middle, to the $\Delta$ projection operator and to discriminator varieties. We shall show that the category of finite DP-algebras is dually equivalent to a category whose objects are multisets of finite chains. This duality allows us to classify all axiomatic extensions of DP, and to compute the free finitely generated DP-algebras.Comment: 11 pages, 3 figure

investigation of integrated organic rankine cycles and wind turbines for micro scale applications

Abstract The aim of this work is the investigation of the performance of an innovative biomass/wind energy integrated system for Combined Heat and Power (CHP) generation in small-scale applications. The system is based on an Organic Rankine Cycle (ORC) fed with biomass and a wind turbine (WT). The ORC and WT sub-systems operate in parallel to produce the required electrical energy and an auxiliary boiler provides thermal energy if the CHP output is low. A preliminary investigation is performed to define the proper size of the wind turbine. Afterwards, the analysis is focused on the integrated system. In particular, the application to the Italian residential sector is analysed. Results illustrate that hybridisation improves the global conversion efficiency, by reducing the biomass consumption and overcoming the intermittency of the wind source. When the wind source is significant, the ORC system can be switched off or operated at partial load

Analysis of multi-source energy system for small-scale domestic applications. Integration of biodiesel, solar and wind energy

The paper aims at analysing the energy performance of an innovative multi-source energy system for residential small-scale combined heat and power (CHP) applications. The integrated system is based on an Organic Rankine Cycle (ORC) fuelled by biodiesel, a wind turbine, and a photovoltaic unit. The application refers to the Italian residential sector. The ORC system operates in order to satisfy the thermal demand of domestic users while wind and solar based sub-systems work in parallel to increase the electric self-consumption rate. An auxiliary boiler provides thermal energy when the CHP thermal output is low. Furthermore, when the solar and/or wind sources are significant, the ORC can be switched-off or operated at partial load.A preliminary investigation is performed to define the proper size of the ORC unit. Afterwards, the analysis is focused on a multi-variable optimisation of the integrated system. In particular, the nominal power of the wind turbine and photovoltaic units have been found in order to guarantee a proper trade-off between electric self-consumed and surplus energy. Keywords: Biodiesel, Combined heat and power, Multi-source generation, Organic Rankine cycle, Solar, Win

Parameterized Compilation Lower Bounds for Restricted CNF-formulas

We show unconditional parameterized lower bounds in the area of knowledge compilation, more specifically on the size of circuits in decomposable negation normal form (DNNF) that encode CNF-formulas restricted by several graph width measures. In particular, we show that - there are CNF formulas of size $n$ and modular incidence treewidth $k$ whose smallest DNNF-encoding has size $n^{\Omega(k)}$, and - there are CNF formulas of size $n$ and incidence neighborhood diversity $k$ whose smallest DNNF-encoding has size $n^{\Omega(\sqrt{k})}$. These results complement recent upper bounds for compiling CNF into DNNF and strengthen---quantitatively and qualitatively---known conditional low\-er bounds for cliquewidth. Moreover, they show that, unlike for many graph problems, the parameters considered here behave significantly differently from treewidth

Pennsylvania Folklife Vol. 39, No. 2

• The Recovery of the Feminine in an Early American Pietist Community: The Interpretive Challenge of the Theology of Conrad Beissel • A Religious and Geographical History of the Shakers, 1747-1988 • Indiana Amish Family Records • Eel for Christmas: An Italian Tradition • Recollections of Ninety-Two Years • Those Old-Time Children\u27s Days • Aldes un Neies (Old and New)https://digitalcommons.ursinus.edu/pafolklifemag/1126/thumbnail.jp

The STAR MAPS-based PiXeL detector

The PiXeL detector (PXL) for the Heavy Flavor Tracker (HFT) of the STAR experiment at RHIC is the first application of the state-of-the-art thin Monolithic Active Pixel Sensors (MAPS) technology in a collider environment. Custom built pixel sensors, their readout electronics and the detector mechanical structure are described in detail. Selected detector design aspects and production steps are presented. The detector operations during the three years of data taking (2014-2016) and the overall performance exceeding the design specifications are discussed in the conclusive sections of this paper

Dynamic constriction and fission of endoplasmic reticulum membranes by reticulon

The endoplasmic reticulum (ER) is a continuous cell-wide membrane network. Network formation has been associated with proteins producing membrane curvature and fusion, such as reticulons and atlastin. Regulated network fragmentation, occurring in different physiological contexts, is less understood. Here we find that the ER has an embedded fragmentation mechanism based upon the ability of reticulon to produce fission of elongating network branches. In Drosophila, Rtnl1-facilitated fission is counterbalanced by atlastin-driven fusion, with the prevalence of Rtnl1 leading to ER fragmentation. Ectopic expression of Drosophila reticulon in COS-7 cells reveals individual fission events in dynamic ER tubules. Consistently, in vitro analyses show that reticulon produces velocity-dependent constriction of lipid nanotubes leading to stochastic fission via a hemifission mechanism. Fission occurs at elongation rates and pulling force ranges intrinsic to the ER, thus suggesting a principle whereby the dynamic balance between fusion and fission controlling organelle morphology depends on membrane motility

An Analysis of Electronically Monitored Adherence to Antiretroviral Medications

Medication adherence studies increasingly collect data electronically, often using Medication Event Monitoring System (MEMS) caps. Analyses typically focus on summary adherence measures, although more complete analyses are possible using adaptive statistical methods. These methods were used to describe individual-subject adherence patterns for MEMS data from a clinical trial. Subjects were adaptively clustered into groups with similar adherence patterns and clusters were compared on a variety of subject characteristics. There were seven different adherence clusters: consistently high, consistently moderately high, consistently moderate, consistently moderately low, consistently low, deteriorating starting early, and deteriorating late. Compared to other subjects, subjects with consistently high and consistently moderately high adherence were more likely to be male, White, and older and to maintain during study participation a CD4 cell count over 500 and an HIV viral load of at most 400 copies/ml. These results demonstrate the effectiveness of adaptive methods for comprehensive analysis of MEMS data