Model-based design and test of vibration energy harvester for aircraft application

This paper deals with a development process of a vibration energy harvesting device in aircraft applications. The vibration energy harvester uses ambient energy of mechanical vibration and it provides an autonomous source of energy for wireless sensors or autonomous applications. This application presents a complex engineering problem and the vibration energy harvester consists of precise mechanical part, electro-mechanical converter, electronics and a powered application. It can be perceive as a mechatronic system and a mechatronic approach was used for development of our vibration energy harvester. An essential step of development process is simulation modeling which is based on mechatronic approach. Presented model-based design of vibration energy harvester is very useful during development process and the whole development process of the autonomous energy source is presented in this paper. The main aim of the paper is an introduction of our development methodology and our approach is presented on a sample of the vibration energy harvester for aircraft applications under project ESPOSA.     

Reducing treatment of coppersmelting slag: Thermodynamic analysis of impurities behavior

A thermodynamic mathematical model, describing behavior of Pb, Zn, and As during reducing slag cleaning in the Vanyukov furnace has been developed. Using a developed model, the influence of different factors, such as temperature, oxygen partial pressure, the ratio of the formed phases on the behavior of impurities, was analyzed. It was found that arsenic can significantly move to the bottom phase, and zinc can be significantly vaporized under conditions in the Vanyukov furnace.     

Frequency-stabilized 1520-nm diode laser with rubidium 5S(1/2) --> 7S(1/2) two-photon absorption

A 760-nm light source of >10 mW is obtained from a frequency-doubled external-cavity diode laser by use of using an erbium-doped fiber amplifier and a periodically poled lithium niobate waveguide. The 5S(1/2) --> 7S(1/2) two-photon transitions of rubidium are observed with such a light source. This laser frequency is locked to the Rb two-photon transitions with an instability of 10 kHz (1 s). Our experimental scheme provides a compact, high-performance frequency, standard in the S band (1480-1530 nm) for fiber-optic communication and sensing applications.     

Numerische Modellierung von textilbewehrtem Beton

Numerical Modelling of Textile Reinforced Concrete The paper provides a short survey of the state‐of‐the‐art approaches to numerical modelling of the textile‐reinforced concrete with the focus on the special requirements arising from the heterogeneity of the material structure. The presented models make it possible to thoroughly interpret and generalize the experimental results and, thus, to contribute to the goal‐oriented development of the textile reinforced concrete in general.     

New Circulating Circular RNAs with Diagnostic and Prognostic Potential in Advanced Colorectal Cancer

Circular RNAs (circRNAs) are a group of special endogenous long non-coding RNAs which are highly stable in the circulation, and, thus, more suitable as new biomarkers of colorectal cancer (CRC). The aim of our study was to explore the plasma expression levels of four circRNAs: has_circ_0001445, hsa_circ_0003028, hsa_circ_0007915 and hsa_circ_0008717 in patients with CRC and to evaluate their associations with clinicopathological characteristics and the clinical outcome of the patients. CircRNAs were extracted from patients’ plasma obtained prior to chemotherapy. Their expression levels were measured by qPCR and calculated applying the 2^−ΔΔCt method. The levels of all four circRNAs were significantly increased in the plasma of CRC patients. At the optimal cut-off values hsa_circ_0001445 and hsa_circ_0007915 in plasma could significantly distinguish between patients with or without metastatic CRC with 92.56% sensitivity and 42.86% specificity, and with 86.07% sensitivity and 57.14% specificity, respectively. The mean overall survival (OS) of patients with high/intermediate expression of hsa_circ_0001445 was 30 months, significantly higher in comparison with the mean OS of the patients with low expression—20 months (log-rank test, p = 0.034). In multivariate Cox regression analysis, the low levels of hsa_circ_0001445 were also associated with shorter survival (HR = 1.59, 95% CI: 1.02–2.47, p = 0.040). A prognostic significance of hsa_circ_0001445 for patients with metastatic CRC was established.     

Functional influence of depressor and depressor-dispersant additives on marine fuels and their distillates components

Abstract

The influence of depressant and depressant-dispersing additives injection in the amount of less than 0.75% on low-temperature properties of marine fuels and their distillate compounds is presented in this research paper. As tested components were used the following industry-derived components: hydrotreated straight-run diesel fraction (HSRDF), ultra-low sulfur content hydro-creaking diesel fuel (ULSDH), light gas oil delayed coking and light gas oil catalytic creaking (LGODC and LGOCC), light vacuum gas oil (LVGO) and visbreaker residue (VR). As marine fuels samples the compounds based on described above components were used. The influence of the following additives was studied: SEVILEN 11606-40, KOLTEK DN 3149, Dodiflow 5934 and DPN-172.     

Disjunction property and complexity of substructural logics

We systematically identify a large class of substructural logics that satisfy the disjunction property (DP), and show that every consistent substructural logic with the DP is PSPACE-hard. Our results are obtained by using algebraic techniques. PSPACE-completeness for many of these logics is furthermore established by proof theoretic arguments.     

Alternative Proof of Standard Completeness Theorem for MTL

As it was shown in Jenei and Montagna (Studia Logica 70(2): 183–192, 2002), Monoidal t-norm based logic (MTL) is a logic of left-continuous t-norms. In other words, this means that MTL enjoys the standard completeness theorem. In this paper we present a different proof of this theorem. In fact, we prove even more since we show that MTL is complete w.r.t. the class of standard MTL-algebras with finite congruence lattice or equivalently with finitely many Archimedean classes. We also show the connection between the congruence lattice of an MTL-chain and its Archimedean classes.The author was supported by the Program “Information Society” under project 1ET100300517.