A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

Structured minimal-memory inexact quasi-Newton method and secant preconditioners for augmented Lagrangian optimization

Augmented Lagrangian methods for large-scale optimization usually require efficient algorithms for minimization with box constraints. On the other hand, active-set box-constraint methods employ unconstrained optimization algorithms for minimization inside the faces of the box. Several approaches may be employed for computing internal search directions in the large-scale case. In this paper a minimal-memory quasi-Newton approach with secant preconditioners is proposed, taking into account the structure of Augmented Lagrangians that come from the popular Powell-Hestenes-Rockafellar scheme. A combined algorithm, that uses the quasi-Newton formula or a truncated-Newton procedure, depending on the presence of active constraints in the penalty-Lagrangian function, is also suggested. Numerical experiments using the Cute collection are presented.

A Robust, Fully Adaptive Hybrid Level-Set/Front-Tracking Method for Two-Phase Flows with an Accurate Surface Tension Computation

We present a variable time step, fully adaptive in space, hybrid method for the accurate simulation of incompressible two-phase flows in the presence of surface tension in two dimensions. The method is based on the hybrid level set/front-tracking approach proposed in [H. D. Ceniceros and A. M. Roma, J. Comput. Phys., 205, 391400, 2005]. Geometric, interfacial quantities are computed from front-tracking via the immersed-boundary setting while the signed distance (level set) function, which is evaluated fast and to machine precision, is used as a fluid indicator. The surface tension force is obtained by employing the mixed Eulerian/Lagrangian representation introduced in [S. Shin, S. I. Abdel-Khalik, V. Daru and D. Juric, J. Comput. Phys., 203, 493-516, 2005] whose success for greatly reducing parasitic currents has been demonstrated. The use of our accurate fluid indicator together with effective Lagrangian marker control enhance this parasitic current reduction by several orders of magnitude. To resolve accurately and efficiently sharp gradients and salient flow features we employ dynamic, adaptive mesh refinements. This spatial adaption is used in concert with a dynamic control of the distribution of the Lagrangian nodes along the fluid interface and a variable time step, linearly implicit time integration scheme. We present numerical examples designed to test the capabilities and performance of the proposed approach as well as three applications: the long-time evolution of a fluid interface undergoing Rayleigh-Taylor instability, an example of bubble ascending dynamics, and a drop impacting on a free interface whose dynamics we compare with both existing numerical and experimental data.

FROM TRISECTIONS IN MODULE CATEGORIES TO QUASI-DIRECTED COMPONENTS

In this paper, we define and study a special type of trisections in a module category, namely the compact trisections which characterize quasi-directed components. We apply this notion to the study of laura algebras and we use it to define a class of algebras with predictable Auslander-Reiten components.

Hybrid materials from intermolecular associations between cationic lipid and polymers

Intermolecular associations between a cationic lipid and two model polymers were evaluated from preparation and characterization of hybrid thin films cast on silicon wafers. The novel materials were prepared by spin-coating of a chloroformic solution of lipid and polymer on silicon wafer. Polymers tested for miscibility with the cationic lipid dioctadecyldimethylammonium bromide (DODAB) were polystyrene (PS) and poly(methyl methacrylate) (PMMA). The films thus obtained were characterized by ellipsometry, wettability, optical and atomic force microscopy, Fourier transform infrared spectroscopy (FTIR), differential scanning calorimetry (DSC), and activity against Escherichia coli. Whereas intermolecular ion-dipole interactions were available for the PMMA-DODAB interacting pair producing smooth PMMA-DODAB films, the absence of such interactions for PS-DODAB films caused lipid segregation, poor film stability (detachment from the silicon wafer) and large rugosity. In addition, the well-established but still remarkable antimicrobial DODAB properties were transferred to the novel hybrid PMMA/DODAB coating, which is demonstrated to be highly effective against E. coli.

Tryptophan photooxidation promoted by new hybrid materials prepared by condensation of naphthalene imides with silicate by the sol-gel process

Three novel hybrid organic/inorganic materials were synthesized from 4-substituted (NO(2), Br, H) 1,8-naphthalene imide-N-propyltriethoxysilane by the sol-gel process. These materials were obtained as a xerogel and partially characterized. The ability to photosensitize the oxidation and degradation of tryptophan indole ring by these materials was studied through photophysical and photochemical techniques. Although the derivatives containing Br and NO(2) as substituent do not cause efficient tryptophan photodamage, the hybrid material obtained from 1,8-naphthalic anhydride is very efficient to promote tryptophan photooxidation. By using laser flash photolysis it was possible to verify the presence of naphthalene imide transient radical species. The presence of oxygen causes an increase of the yield of radical formation. These results suggest that the mechanism of photodegradation of tryptophan occurs by type I, i.e. the transient radical (TrpH(center dot+)) formed by the direct reaction of the triplet state of the naphthalene imide moiety with tryptophan. Thus a inorganic-organic hybrid material that can be used to promote the oxidation of biomolecules was obtained. (C) 2009 Elsevier B.V. All rights reserved.

New Improvements in Automatic Structure Elucidation Using the LSD (Logic for Structure Determination) and the SISTEMAT Expert Systems

This article describes the integration of the LSD (Logic for Structure Determination) and SISTEMAT expert systems that were both designed for the computer-assisted structure elucidation of small organic molecules. A first step has been achieved towards the linking of the SISTEMAT database with the LSD structure generator. The skeletal descriptions found by the SISTEMAT programs are now easily transferred to LSD as substructural constraints. Examples of the synergy between these expert systems are given for recently reported natural products.

Micro/nanostructured carbon composite modified with a hybrid redox mediator and enzymes as a glucose biosensor

A carbon micro/nanostructured composite based on cup-stacked carbon nanotubes (CSCNTs) grown onto a carbon felt has been found to be an efficient matrix for enzyme immobilization and chemical signal transduction. The obtained CSCNT/felt was modified with a copper hexacyanoferrate/polypyrrole (CuHCNFe/Ppy) hybrid mediator, and the resulting composite electrode was applied to H(2)O(2) detection, achieving a sensitivity of 194 +/- 15 mu A mmol(-1) L. The results showed that the CSCNT/felt matrix significantly increased the sensitivity of CuHCNFe/Ppy-based sensors compared to those prepared on a felt unrecovered by CSCNTs. Our data revealed that the improved sensitivity of the as-prepared CuHCNFe/Ppy-CSCNT/felt composite electrode can be attributed to the electronic interactions taking place among the CuHCNFe nanocrystals, Ppy layer and CSCNTs. In addition, the presence of CSCNTs also seemed to favor the dispersion of CuHCNFe nanocrystals over the Ppy matrix, even though the CSCNTs were buried under the conducting polymer layer. The CSCNT/felt matrix also enabled the preparation of a glucose biosensor whose sensitivity could be tuned as a function of the number of glucose oxidase (GOx) layers deposited through a Layer-by-Layer technique with an sensitivity of 11 +/- 2 mu A mmol(-1) L achieved at 15 poly(diallyldimethylammoniumchloride)/GOx bilayers. (C) 2011 Elsevier Ltd. All rights reserved.

Quenching of Photoactivity in Phthalocyanine Copper(II)-Titanate Nanotube Hybrid Systems

Titanate nanotubes (TiNTs) were obtained by hydrothermal treatment of anatase powder in aqueous NaOH solution and then modified with 2,9,16,23-tertracarboxyl phthalocyanine copper(H) (CuPc). This hybrid organic inorganic nanoscopic system was characterized by X-ray diffraction, microscopy, and spectroscopy. Transmission electron microscopy (TEM) images of pure and modified TiNTs revealed multiwall structures with an average outer diameter of 9 nm and a length of several hundred nanometers. The tubular morphology of the TiNTs was covered with CuPc-film. The amount of CuPc adsorbed onto the TiNTs was quantified by electron paramagnetic resonance (EPR). Using the same technique and spin-trapping methodology, the photogeneration of reactive oxygen species (ROS) from the TiNTs was systematically investigated. A drastic quenching of photoactivity was observed in the CuPc/TiNT hybrid system. Electron transfer from excited CuPc states to the TiNT conduction band followed by electron recombination may be the cause of this quenching.

Supramolecular Approach to Gold Nanoparticle/Triruthenium Cluster Hybrid Materials and Interfaces

A systematic and comprehensive study of the interaction of citrate-stabilized gold nanoparticles with triruthenium cluster complexes of general formula [Ru(3)(CH(3)COO)(6)(L)](+) [L = 4-cyanopyridine (4-CNpy), 4,4`-bipyridine (4,4`-bpy) or 4,4`-bis(pyridyl)ethylene (bpe)] has been carried out. The cluster-nanoparticle interaction in solution and the construction of thin films of the hybrid materials were investigated in detail by electronic and surface plasmon resonance (SPR) spectroscopy, Raman scattering spectroscopy and scanning electron microscopy (SEM). Citrate-stabilized gold nanoparticles readily interacted with [Ru(3)O(CH(3)COO)(6)(L)(3)](+) complexes to generate functionalized nanoparticles that tend to aggregate according to rates and extents that depend on the bond strength defined by the characteristics of the cluster L ligands following the sequence bpe > 4,4`-bpy >> 4-CNpy. The formation of compact thin films of hybrid AuNP/[Ru(3)O(CH(3)COO)(6)(L)(3)](+) derivatives with L = bpe and 4,4`-bpy indicated that the stability/lability of AuNP-cluster bonds as well as their solubility are important parameters that influence the film contruction process. Fluorine-doped tin oxide electrodes modified with thin films of these nanomaterials exhibited similar electrocatalytic activity but much higher sensitivity than a conventional gold electrode in the oxidation of nitrite ion to nitrate depending on the bridging cluster complex, demonstrating the high potential for the development of amperometric sensors.

Behaviour of TiO(2)-SiMgO(x) hybrid composites on the solar photocatalytic degradation of polluted air

The photocatalytic performance of TiO(2)-SiMgO(x) ceramic plates for trichloroethylene abatement in gas phase has been evaluated under sun irradiance conditions. A continuous flow Pyrex glass reactor fixed on the focus of a compound parabolic collector has been used. The performance of the hybrid photocatalyst has been evaluated as the variation of TCE conversion and reaction products formation with the solar irradiance at different total gas flow, TCE concentration, and water vapour content. SiMgO(x) not only provides adsorbent properties to the photocatalyst, but it also allows the effective use of the material during low solar irradiance conditions. The adsorption-desorption phenomena play a pivotal role in the behaviour of the system. Thus, TCE conversion curves present two different branches when the sun irradiance increases (sunrise) or decreases (sunset). CO(2), COCl(2) and DCAC were the most relevant products detected. Meanwhile CO(2) concentration was insensitive to the branch analysed, COCl(2) or DCAC were not indicating the ability of these compounds to be adsorbed on the composite. An increase of the UV irradiation at total TCE conversion promotes the CO(2) selectivity. The excess of energy arriving to the reactor favours the direct reaction pathway to produce CO(2). The photonic efficiency, calculated as a function of the rate of CO(2) formation, decreases linearly with the solar irradiance up to around 2 mW cm(-2), where it becomes constant. For decontamination systems high TCE conversion is pursuit and then high solar irradiance values are required, in spite of lower photonic efficiency values. The present photocatalyst configuration, with only 17% of the reactor volume filled with the photoactive material, allows total TCE conversion for 150 ppm and 1 L min(-1) in a wide sun irradiance window from 2 to 4 mW cm(-2). The incorporation of water vapour leads to an increase of the CO(2) selectivity keeping the TCE conversion around 90%, although significant amounts of COCl(2) were observed. (c) 2010 Elsevier B.V. All rights reserved.

Hybrid photocatalysts for the degradation of trichloroethylene in air

Hybrid photocatalysts based on an adsorbent SiMgOx and a photocatalyst TiO(2) were developed in a plate shape. The ceramic surface was coated with TiO(2) by the slip-casting technique. The effect of the support in the photocatalytic degradation of trichloroethylene (TCE) was analyzed by modifying TiO(2) loading and the layer thickness. Photocatalysts were characterised by N(2) adsorption-desorption, mercury intrusion porosimetry, SEM, UV-vis spectroscopy and XRD. A direct relationship between the TiO(2) content and the photocatalytic activity was observed up to three layers of TiO(2) (0.66 wt.%). Our results indicate that intermediate species generated on the TiO(2) layer can migrate through relatively long distances to react with the OH(-) surface groups of the support. By increasing the TiO(2) loading of the photocatalyst two effects were observed: trichloroethylene conversion is enhanced, while the efficiency of the oxidation process is decreased at expenses of increasing the selectivity to COCl(2) and dichloroacetylchloride (DCAC). The results are discussed in terms of the layer thickness, TiO(2) amount, TCE conversion and CO(2), and COCl(2) selectivity. (C) 2009 Elsevier B.V. All rights reserved.

Removal of phenol in high salinity media by a hybrid process (activated sludge plus photocatalysis)

The degradation of phenol by a hybrid process (activated sludge + photocatalysis) in a high salinity medium (50 g L-1 of chloride) has been investigated. The sludge used from a municipal wastewater facility was adapted to the high salt concentrations prior to use. The photocatalytic conditions were optimized by means of a factorial experimental design. TiO2 P25 from Degussa was used as the photocatalyst. The initial phenol concentration was approximately 200 mg L-1 and complete removal of phenol and a mineralization degree above 98% were achieved within 25 h of treatment (24 h of biological treatment and I h of photocatalysis). From HPLC analyses, five hydroxylated intermediates formed during oxidation have been identified. The main ones were catechol and hydroquinone, followed by 1,2,4-benzenetriol, 2-hydroxy- 1,4-benzoquinone, and pyrogallol, in this order. No formation of organochlorine compounds was observed. Therefore, the proposed hybrid process showed itself to be suited to treat phenol in the presence of high contents of salt. (c) 2007 Elsevier B.V. All rights reserved.