The Complexity of Synthesis of b-Bounded Petri Nets

For a fixed type of Petri nets τ, τ-SYNTHESIS is the task of finding for a given transition system A a Petri net N of type τ(τ-net, for short) whose reachability graph is isomorphic to A if there is one. The decision version of this search problem is called τ-SOLVABILITY. If an input A allows a positive decision, then it is called τ-solvable and a sought net N τ-solves A. As a well known fact, A is τ-solvable if and only if it has the so-called τ-event state separation property (τ-ESSP, for short) and the τ-state separation property (τ-SSP, for short). The question whether A has the τ-ESSP or the τ-SSP defines also decision problems. In this paper, for all b ∈ ℕ, we completely characterize the computational complexity of τ-SOLVABILITY, τ-ESSP and τ-SSP for the types of pure b-bounded Place/Transition-nets, the b-bounded Place/Transitionnets and their corresponding ℤb+1-extensions.

Soil-Water Separation Property of Bauxite Mine Slime

Traditional disposal of the high-water content slime from the beneficiating and washing of the bauxite mine requires lots of land and a long time to consolidate, which has attracted a wide range of environmental and social concerns. High-speed centrifugal test was carried out to investigate the water property and composition of high-water content bauxite washing mud. Test results indicated that the bound water content ranged from 29.7% to 31.4%, free water content ranged from 250.6% to 252.3%. The bound water accounted for only 11%, while the free water accounted for about 89% of total water content. A series of model tests were conducted to study the slurry-water separation property of high-water content bauxite mine slime. Experiments showed that controlling the vacuum load application process can effectively inhibit the formation of low-permeability stratum around the drainage body. The final settlement increased by 31.5% and the amount of water discharge increased by 39.52% compared with the conventional vacuum preloading method. Moreover, the water content may decrease from 281.9% to 53.6% within 60 hours with the increase of density of drainage body under the controlled vacuum load application process.

A Study on Fuzzy Order Bounded Linear Operators in Fuzzy Riesz Spaces

This paper aims to study fuzzy order bounded linear operators between two fuzzy Riesz spaces. Two lattice operations are defined to make the set of all bounded linear operators as a fuzzy Riesz space when the codomain is fuzzy Dedekind complete. As a special case, separation property in fuzzy order dual is studied. Furthermore, we studied fuzzy norms compatible with fuzzy ordering (fuzzy norm Riesz space) and discussed the relation between the fuzzy order dual and topological dual of a locally convex solid fuzzy Riesz space.

A sustainable strategy for remediation of oil/water separation by polybenzoxazine/stearic acid functionalized porous carbon

Superhydrophobic and superoleophilic polybenzoxazine-stearic acid based melamine sponge exhibiting excellent oil/water separation property was fabricated by a facile route. The fabrication process involves reduction and in situ polymerization of melamine...