SOME PROPERTIES OF OPERATOR-VALUED FRAMES

Operator-valued frames （or g-frames） are generalizations of frames and fusion frames and have been used in packets encoding, quantum computing, theory of coherent states and more. In this article, we give a new formula for operator-valued frames for finite dimensional Hilbert spaces. As an application, we derive in a simple manner a recent result of A. Najati concerning the approximation of g-frames by Parseval ones. We obtain also some results concerning the best approximation of operator-valued frames by its alternate duals, with optimal estimates.

Gazeau–Klauder coherent states examined from the viewpoint of diagonal ordering operation technique

In this paper we investigate the Gazeau–Klauder coherent states using a newly introduced diagonal ordering operation technique, in order to examine some of the properties of these coherent states. The results coincide with those obtained from other purely algebraic methods, but the calculations are greatly simplified. We apply the general theory to two cases of Gazeau–Klauder coherent states： pseudoharmonic as well as the Morse oscillators.

Electrochemical detection and degradation of ibuprofen from water on multi-walled carbon nanotubes-epoxy composite electrode

This work describes the electrochemical behaviour of ibuprofen on two types of multi-walled carbon nanotubes based composite electrodes, i.e., multi-walled carbon nanotubes-epoxy （MWCNT） and silver-modified zeolite-multi-wailed carbon nanotubes-epoxy （AgZMWCNT） composites electrodes. The composite electrodes were obtained using two-roll mill procedure. SEM images of surfaces of the composites revealed a homogeneous distribution of the composite components within the epoxy matrix. AgZMWCNT composite electrode exhibited the better electrical conductivity and larger electroactive surface area. The electrochemical determination of ibuprofen （IBP） was achieved using AgZMWCNT by cyclic voltammetry, differential-pulsed voltammetry, square-wave voltammetry and chronoamperometry. The IBP degradation occurred on both composite electrodes under controlled electrolysis at 1.2 and 1.75 V vs. Ag/AgCl, and IBP concentration was determined comparatively by differential-pulsed voltammetry, under optimized conditions using AgZMWCNT electrode and UV-Vis spectrophotometry methods to determine the IBP degradation performance for each electrode. AgZMWCNT electrode exhibited a dual character allowing a double application in IBP degradation process and its control.

Validation of static properties in unified modeling language models for cyber physical systems

Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.

Evaluation of the effective thermal conductivity of composite polymers by considering the filler size distribution law

We present an empirical model for the effective thermal conductivity (ETC) of a polymer composite that includes dependency on the filler size distribution-chosen as the Rosin-Rammler distribution. The ETC is determined based on certain hypotheses that connect the behavior of a real composite material A, to that of a model composite material B, filled with mono-dimensional filler. The application of these hypotheses to the Maxwell model for ETC is presented. The validation of the new model and its characteristic equation was carried out using experimental data from the reference. The comparison showed that by using the size distribution law a very good fit between the equation of the new model (the size distribution model for the ETC) and the reference experimental results is obtained, even for high volume fractions, up to about 50%.

Kinetics and thermodynamics modeling of Nd(Ⅲ) removal from aqueous solution using modified Amberlite XAD7

New adso rbent material was obtained by modification of commercial Amberlite XAD7 with thiourea that represents a non-toxic,cheap and environmentally friendly extractant.Prepared adsorbent was used for removal of neodymium ions from aqueous solutions.Thiourea modified Amberlite involved in this study shows good adsorption capacities(74.3 mg/g) and excellent efficiency during Nd removal process.In order to elucidate the mechanism of the Nd adsorption process kinetic,thermodynamic and equilibrium studies were performed,establishing this way which kinetic model better describes the Nd adsorption process.Moreover the thermodynamic studies prove that the Nd adsorption on thiourea modified Amberlite XAD7 is an endothermic and spontaneous process.

Uniqueness of Fokker-Planck equations for spin lattice systems(Ⅱ): Non-compact case

We study the existence and uniqueness of solutions for a class of infinite-dimensional Fokker-Planck equations on the spin lattice systems M Z d,where the spin space M is a non-compact Riemannian manifold.The method is based on the Stroock-Varadhan’s martingale approach,some compactness results of the general theory developed by Ethier-Kurtz,and some a priori gradient estimates.

Access control and surveillance in a smart home

In the past years smart homes solutions have become more and more popular with the introduction of a high number of both Internet of Things(IoT)applications and smart devices.Home automation and security systems market is in a continuous growth,traditional security systems are evolving fast,and more and more people choose Smart home solutions.In this paper,we propose two IoT based systems in the context of Smart homes:qToggle for multiple home automation,and MotionEyeOS,a video surveillance OS for single-board computers.Most qToggle devices are based on ESP8266/ESP8285 chips or on Raspberry Pi boards and smart sensors,while MotionEye uses Raspberry Pi boards.