芬顿试剂处理废水的研究与应用进展

介绍了介导高级氧化反应的芬顿试剂的机理研究进程,概述了芬顿试剂在处理氰化物、酚类、染料废水、染料中间体废水、农药废水、焦化废水、垃圾渗滤液中的应用研究进展,并说明了芬顿试剂单独或与其他废水处理技术联用的工业实例,认为芬顿试剂在实际的工业运用中,无论是作为中间处理手段提高废水的可生化性,还是作为最后步骤对废水进行深度处理,都有自身的优势。     

Utilizing Event-B for domain engineering: a critical analysis

This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. Well-specified requirements are crucial for good software design; they depend on the understanding of the domain. Thus, domain engineering becomes an essential activity. The possibility to have a formal model of a domain, consistent with the use of formal methods for developing critical software working within it, is an important issue. Safety-critical domains, like transportation, exhibit interesting features, such as high levels of nondeterminism, complex interactions, stringent safety properties, and multifaceted timing attributes. The formal representation of these features is a challenging task. We explore the possibility of utilizing Event-B as a domain engineering tool. We discuss the problems we faced during this exercise and how we tackled them. Special attention is devoted to the issue of the validation of the model, in particular with a technique based on the animation of specifications. Event-B is mature enough to be an effective tool to model domains except in some areas, temporal properties mainly, where more work is still needed.     

Motion analysis of isolated targets in infrared image sequences

We describe a simple algorithm for estimating the 3-D motion of isolated targets in infrared image sequences. The algorithm is based on analyzing the changes in the shapes and the relative positions of segmented image regions. Experimental results of applying this algorithm to single IR images and to an image sequence are presented.     

A metamodel for the design of polychronous systems

This article presents the development of a metamodel and an open-source design environment for the synchronous language Signal in the Gme and Eclipse frameworks. This environment is intended to be used as a pivot modeling tool for a customized, aspect-oriented and application-driven, computer-aided engineering of embedded systems starting from multiple and heterogeneous initial specifications. The metamodel, called SignalMeta, is defined on top of the design workbench Polychrony, which is dedicated to Signal programming. Automated transformations are defined and implemented in order to produce, analyze, statically verify and model-check programs obtained from high-level models.The proposed approach promotes model-driven engineering within a framework that strongly favors formal validation. It aims at significantly decreasing design costs while improving the quality of systems. We demonstrate the agility of this approach by considering the design of both control-oriented and avionic systems. We start with an implementation of core polychronous¹ data-flow concepts in Gme and show the ease of its modular extension with application-specific concepts such as mode automata or integrated modular avionics concepts. This work is the first attempt to generalize the formal model of computation and the design philosophy of Polychrony.     

Second-Generation CD73 Inhibitors Based on a 4,6-Biaryl-2-thiopyridine Scaffold

Various series of 4,6-biaryl-2-thiopyridine derivatives were synthesized and evaluated as potential ecto-5′-nucleotidase (CD73) inhibitors. Two synthetic routes were explored and the coupling of 4,6-disubstituted 3-cyano-2-chloro-pyridines with selected thiols allowed us to explore the structural diversity. Somehow divergent results were obtained in biological assays on CD73 inhibition using either the purified recombinant protein or cell-based assays, highlighting the difficulty to target protein-protein interface on proteins existing as soluble and membrane-bound forms. Among the 18 new derivatives obtained, three derivatives incorporating morpholino substituents on the 4,6-biaryl-2-thiopyridine core were shown to be able to reverse the adenosine-mediated immune suppression on human T cells. The higher blockade efficiency was observed for 2-((3-cyano-4,6-bis(4-morpholinophenyl)pyridin-2-yl)thio)-N-(isoxazol-3-yl)acetamide (with total reversion at 100 μM) and methyl 2-((3-cyano-4,6-bis(4-morpholinophenyl)pyridin-2-yl)thio)acetate (with partial reversion at 10 μM). Thus, this series of compounds illustrates a new chemotype of CD73 allosteric inhibitors.     

Resilient control of cyber-physical systems using adaptive super-twisting observer

In this work, the problem of online secure state estimation and attack reconstruction in the face of offensives that corrupt the sensor measurements and modify the actuator commands of cyber–physical systems is investigated for designing a resilient controller for the system. The states of cyber–physical system and its actuator attacks are estimated/reconstructed online using a novel adaptive line-by-line super-twisting observer, whereas sparse stealth attacks on unprotected sensors are reconstructed using a sparse recovery algorithm. The estimated attacks are used for attack compensation by a resilient controller. The efficacy of the proposed technique is illustrated via simulation on a real electric power system under deception actuator attack and stealth sensor attack.