Degradation of nitrobenzene-containing wastewater by sequential nanoscale zero valent iron-persulfate process

As nitrobenzene(NB)is structurally stable and difficult to degrade due to the presence of an electron withdrawing group(nitro group).The sequential nanoscale zero valent iron-persulfate(NZVI-Na_(2)S_(2)O_(8))process was proposed in this study for the degradation NB-containing wastewater.The results showed that the NB degradation efficiency and the total organic carbon removal efficiency in the sequential NZVINa_(2)S_(2)O_(8)process were 100%and 49.25%,respectively,at a NB concentration of 200 mg L^(-1),a NZVI concentration of 0.75 g L^(-1),a Na_(2)S_(2)O_(8)concentration of 26.8 mmol L^(-1),an initial pH of 5,and a reaction time of 30 min,which were higher than those(88.53%and 35.24%,respectively)obtained in the NZVI/Na_(2)S_(2)O_(8)process.Sulfate radicals(SO_(4)·-)and hydroxyl radicals(·OH)generated in the reaction were identified directly by electron paramagnetic resonance spectroscopy and indirectly by radical capture experiments,and it was shown that both SO_(4)^(·-)and·OH played a major role in the sequential NZVI-Na_(2)S_(2)O_(8)process.The possible pathways involved in the reduction of NB to aniline(AN)and the further oxidative degradation of AN were determined by gas chromatography-mass spectrometry.

Signal and Data Processing of Television Based on Multistatic Radar Systems

A television based multistatic radar system is described. The commercial television transmitter is used as the illuminator in the multistatic radar system. The reflected commercial television signals are measured by an array of sensors. A data processing scheme is developed that adapts to the poor signal processing ability. The innovation is focused on the construction of the observation space, which could reduce the non linearity error. The new method leads to better system stability than the traditional one. Monte Carlo simulation is utilized and compared with the traditional method.

Model checking web services choreography in process analysis toolkit

Web service （WS） is an emerging software technology, especially acting an important role in cloud computing. The WS choreography description language （WS-CDL） is the standard for modeling the observable behavior of WS composition across multiple participants from a global point of view. However, it lacks of a formal semantics and could easily lead to misunderstanding and different implementations. In this paper, the WS-CDL based specifications are formally extracted in a communicating sequential process supporting a formal approach to checking WS models. In addition, formalisms and model checking are explicitly illustrated through a simple but non-trivial example with the help of model checker process analysis toolkit （PAT）.

A formal description method for P2P network models

To meet the requirements of modeling the new modality of peer-to-peer（P2P）network applications which have been rapidly developing in the Internet recently, a formal description method for modeling multiparty concurrent network interactions is studied. The main characteristics and the classifications of P2P systems are discussed. Considering the requirements of P2P application modeling and referring to the component-based modeling thought, a description method based on communicating sequential processes （CSP）is proposed for the P2P network models. By using a CSP process group, this method can describe the dynamic interactive relationship which focuses on multiparty concurrent interaction of P2P systems more advantageously and accurately. The application of nondeterministic semantemes of CSP in describing the interactive relationship of P2P networks is discussed. The advantages and description abilities of the proposed method are demonstrated through the modeling of a new P2P media-on-demand system.

A Formal Model for BPEL4WS Description of Web Service Composition

Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services （BPEL4WS） to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.

Equation oriented method for Rectisol wash modeling and analysis

Rectisol process is more efficient in comparison with other physical or chemical absorption methods for gas purification. To implement a real time simulation of Rectisol process, thermodynamic model and simulation strategy are needed. In this paper, a method of modified statistical associated fluid theory with perturbation theory is used to predict thermodynamic behavior of process. As Rectisol process is a highly heat-integrated process with many loops, a method of equation oriented strategy, sequential quadratic programming, is used as the solver and the process converges perfectly. Then analyses are conducted with this simulator.

Weak convergence of the sequential empirical processes of residuals in TAR models

This paper studies the weak convergence of the sequential empirical process K n of the residuals in the threshold autoregressive(TAR)model of order p.Under some mild conditions,it is shown that K n converges weakly to a Kiefer process plus a random variable which converges to a multivariate normal.This differs from that given by Bai(1994)for a stationary autoregressive and moving average(ARMA)model.

Inspection strategies for quality products withrewards in a multi-stage production

In a multi-stage manufacturing system,defective components are generated due to deteriorating machine parts and failure to install the feed load.In these circumstances,the system requires inspection counters to distinguish imperfect items and takes a few discreet decisions to produce impeccable items.Whereas the prioritisation of employee appreciation and working on reward is one of the important policies to improve productivity.Here we look at the multistage manufacturing system as an M/PH/1 queue model and rewards are given for using certain inspection strategies to produce the quality items.A matrix analytical method is proposed to explain a continuous-time Markov process in which the reward points are given to the strategy of inspection in each state of the system.By constructing the value functions of this dynamic programming model,we derive the optimal policy and the optimal average reward of the entire system in the long run.In addition,we obtain the percentage of time spent on each system state for the probability of conformity and non-conformity of the product over the long term.The results of our computational experiments and case study suggest that the average reward increases due to the actions are taken at each decision epoch for rework and disposal of the non-conformity items.