Efficient monitoring of parametric context-free patterns

Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. However, these logics reduce to ordinary finite automata, limiting their expressivity. For example, neither can specify structured properties that refer to the call stack of the program. While context-free grammars (CFGs) are expressive and well-understood, existing techniques for monitoring CFGs generate large runtime overhead in real-life applications. This paper demonstrates that monitoring parametric CFGs is practical (with overhead on the order of 12% or lower in most cases). We present a monitor synthesis algorithm for CFGs based on an LR(1) parsing algorithm, modified to account for good prefix matching. In addition, a logic-independent mechanism is introduced to support matching against the suffixes of execution traces.     

Impact strength elastomer composites based on polystyrene components separated from waste electrical and electronic equipment

The reuse of plastic components of waste electrical and electronic equipment (WEEE) is an important concern both for environmental issues and to preserve the material resources, with minimum energy consumption. Considering that polystyrene fraction was reported as approximate 80% of the total amount of WEEE plastic, this article aims to evaluate the recycling of this fraction, without separation by components, by melt compounding with styrene-butadiene block-copolymer (SBS) and hydrogenated and maleinized SBS, the blend of the two elastomers acting both as an impact modifier and compatibilizer. The composites are characterized by mechanical analysis, impact tests, dynamic mechanical analysis, differential scanning calorimetry, thermogravimetric analysis, scanning electron microscopy, energy dispersive X-ray analysis, and X-ray diffraction. The recycling conditions of the polystyrene fraction as composites without eliminating the WEEE additives for improved UV and flame resistance, with physical mechanical properties comparable to those of high-impact polystyrene resulted from the study. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2020 , 137, 48329.     

Synthesis, properties and biomedical applications of poly(glycerol sebacate) (PGS): A review

Poly(glycerol sebacate) (PGS) is a biodegradable polymer increasingly used in a variety of biomedical applications. This polyester is prepared by polycondensation of glycerol and sebacic acid. PGS exhibits biocompatibility and biodegradability, both highly relevant properties in biomedical applications. PGS also involves cost effective production with the possibility of up scaling to industrial production. In addition, the mechanical properties and degradation kinetics of PGS can be tailored to match the requirements of intended applications by controlling curing time, curing temperature, reactants concentration and the degree of acrylation in acrylated PGS. Because of the flexible and elastomeric nature of PGS, its biomedical applications have mainly targeted soft tissue replacement and the engineering of soft tissues, such as cardiac muscle, blood, nerve, cartilage and retina. However, applications of PGS are being expanded to include drug delivery, tissue adhesive and hard tissue (i.e., bone) regeneration. The design and fabrication of PGS based devices for applications that mimic native physiological conditions are also being pursued. Novel designs range from accordion-like honeycomb structures for cardiac patches, gecko-like surfaces for tissue adhesives to PGS (nano) fibers for extra cellular matrix (ECM) like constructs; new design avenues are being investigated to meet the ever growing demand for replacement tissues and organs. In less than a decade PGS has become a material of great scrutiny and interest by the biomedical research community. In this review we consolidate the valuable existing knowledge in the fields of synthesis, properties and biomedical applications of PGS and PGS-related biomaterials and devices.     

Nanoparticles from a Gold Complex with Sulfite Ion as Ligand: Preparation and Characterization

Gold colloidal nanoparticles (GNPs) were prepared by reducing a complex of Au⁺. Na₃Au(SO₃)₂ with sodium citrate. The procedure provides control of the dimension of nanoparticles produced, which is a function of reaction time and concentration of reactants. The nanoparticles were separated by centrifugation and their characteristics and dimensions were studied using UV-Vis and IR spectroscopy and transmission electronic microscopy (TEM).     

Optimization of Direct and Indirect Cooled Multiple-Bed Reactors Experiencing Catalyst Decay

The optimal control of a multi-bed catalytic reactor hosting an exothermic, reversible reaction is reconsidered. Several control problems, which differ by performance index significance and control configuration, have been solved. The performance index is either the total reactor production or an approximate expression of its operation benefit over a fixed time. Both practiced interstage cooling techniques, the indirect cooling (using interstage heat exchangers) and the direct cooling by injection of cold reactant (cold-shot), are analyzed. It is underlined that the cold-shot cooling is less performant due to the lower flexibility in the variation of feed temperatures on the beds and smaller value of the reaction time.     

Thermoelastic influence functions and solution to a locally mixed BVP for a strip

This article presents in closed form new influence functions for displacements and stresses to a boundary value problems (BVP) of thermoelasticity within a strip, caused by a unit point heat source. We also obtain the respective new integration formula of Green’s type, which directly determines the thermal stresses in the form of integrals of the products between specified internal heat sources, temperature, or heat flux prescribed on boundary and derived thermoelastic influence functions (kernels). The general Green’s type integral formula permits to derive new solution to one particular BVP of thermoelasticity for a strip in the form of elementary functions. Graphical representation of thermal stresses, created by an internal point heat source and by a boundary temperature, is included.     

Influence of Different Lasers Wavelengths on Nanoparticles Components of Human Fibroblasts

Although experimental studies in vitro and vivo have been numerous, the effects of laser irradiation on human fibroblast cells are poorly understood. The aim of this study was to assess the influence on three different laser wavelengths on nanoparticles components of the human fibroblast cells from oral tumor. The cells were irradiated by 830, 920, and 2940 nm laser wavelength. The irradiated cells were incubated and their mitochondrial activity was assessed by the MTT assay at 24, 48, and 72 h. It can be concluded that the laser light with 830 nm wavelength stimulates mitochondrial activity compared to the other two wavelengths, which produce inhibition.