Structural and textural features of TiO<Subscript>2</Subscript>/SAPO-34 nanocomposite prepared by the sol–gel method

This paper focuses on the synthesis of nanocomposite materials, TiO₂/SAPO-34, using the sol–gel method, which involves preparing a mixture between as-synthesized or calcined SAPO-34 zeolite and TiO₂ gel under hydrothermal crystallization and then calcining it at 400 °C for the formation of the TiO₂ anatase phase. The structural and textural features of the obtained materials were determined by various physico-chemical techniques such as thermogravimetric analysis, X-ray diffraction, scanning electronic microscopy, nitrogen sorption at 77 K, energy dispersive X-ray analysis and ultraviolet–visible spectrometry. The DRX results showed that calcination at 400 °C of the mixture between the calcined SAPO-34 and TiO₂ gel led to the collapse of the original framework of zeolite, but formed the anatase TiO₂ in a nano-spherical morphology; however, the use of as-synthesized SAPO-34 supports provides a mixture phase between SAPO-34 and TiO₂ anatase after calcination. The photocatalytic properties of the SAPO-34/TiO₂ and TiO₂-type materials were tested for the removal of methylene blue (MB) dye. The MB degradation proved to increase as a function of contact time, catalyst mass and the initial concentration of MB.     

Correction to: On Formal Modeling and Validation of Wireless Sensor Network Protocols

Wireless Personal Communications -     

On Formal Modeling and Validation of Wireless Sensor Network Protocols

Formal verification is becoming more and more important in the field of wireless networks (WSN). The general purpose formal method called Event-B is the latest incarnation of the B Method: it is a proof based approach with a formal notation and refinement technique for modeling and verifying systems. Refinement enables implementation level features to be proven correct with respect to an abstract specification of the system. This paper proposes an initial attempt to model and verify consistency and correctness of a WSN operation in its different layers. Several formal models are introduced for this type of networks. In the first time, coloured Petri net are used to elaborate network layer models, then each one will be detailed by an Event-B formalism, while proofs are carried out using the RODIN platform which is an integrated development framework for Event-B.