The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t . In general, t can determine numerous entities: the number of processes used in a network, the type of data, the capacities of buffers, etc. The main theme of this paper is automation of uniform verification of a subclass of PMCP with the param...

in the present study, the treatment of tannery wastewater was performed by electrocoagulationmethod (ec) using aluminium and steel electrodes. response surface methodology (rsm) with three factors; current density (i), electrolysis time (t) and ph, with each factor at five levels, was used to optimize the factors for higher chemical oxygen demand (cod) and total suspended solids (tss) removal. ...

this study presents a comparative survey of direct methods for solving variational problems. thisproblems can be used to solve various differential equations in physics and chemistry like rateequation for a chemical reaction. there are procedures that any type of a differential equation isconvertible to a variational problem. therefore finding the solution of a differential equation isequivalen...

Purpose Collaboration and operational capabilities are two strengths for managing supply chains to achieve performance. In this context, study aims analyze the mediating effect of on relationship between collaborative chain management Design/methodology/approach The design consisted a theoretical framework estimate mediation paths by latent variable structural modeling methods. A survey 138 res...

Many problems in quantum information theory can be vied as interconversion between resources. In this talk, we apply this view point to state estimation theory, motivated by the following observations. First, a monotone metric takes value between SLD and RLD Fisher metric. This is quite analogous to the fact that entanglement measures are sandwiched by distillable entanglement and entanglement ...

Chinese BeiDou Navigation Satellite System is officially operational as a regional constellation with five Geostationary Earth Orbit (GEO) satellites, five Inclined Geosynchronous Satellite Orbit (IGSO) satellites and four Medium Earth Orbit (MEO) satellites. Observations from the BeiDou Experimental Tracking Stations (BETS) and the IGS Multi-GNSS Experiment (MGEX) network from 1 January to 31 ...

Among ship detection methods for SAR image, constant false alarm rate (CFAR) is the most important one. However, several factors, such as detector parameter and distribution of ocean clutter, affect the performance of CFAR detection. This paper proposes a novel hierarchical complete and operational ship detection approach based on detector parameter estimation and clutter pixel replacement, whi...

The first generation of solar neutrino experiments narrowed the allowed flavor mixing and mass parameter solutions (for νe ↔ νx) to a few isolated regions of sin 2 2θ − ∆M 2 parameter space. Recently, the Small Mixing Angle (SMA) solution (sin 2 2θ ∼ 10 −3 → 10 −2 and ∆M 2 ∼ 10 −5 eV 2), and the " just so " (∆M 2 < 10 −9 eV 2) solutions have been disfavored by results from Super-Kamiokande 1 2 ...