Automatically running experiments on checking multi-party contracts

Contracts play an important role in business management where relationships among different parties are dictated by legal rules. Electronic contracts have emerged mostly due to technological advances and electronic trading between companies and customers. New challenges have then arisen to guarantee reliability among the stakeholders in electronic negotiations. In this scenario, automatic verification of electronic contracts appeared as an imperative support, specially the conflict detection task of multi-party contracts. The problem of checking contracts has been largely addressed in the literature, but there are few, if any, methods and practical tools that can deal with multi-party contracts using a contract language with deontic and dynamic aspects as well as relativizations, over the same formalism. In this work we present an automatic checker for finding conflicts on multi-party contracts modeled by an extended contract language with deontic operators and relativizations. Moreover a well-known case study of sales contract is modeled and automatically verified by our tool. Further, we performed practical experiments in order to evaluate the efficiency of our method and the practical tool.

     

Ethylene-propylene copolymers by a supported Ziegler-Natta catalyst based on TiCl4/MgCl2

Ethylene-propylene copolymers have been prepared by using Ziegler-Natta catalysts based on TiCl₄, MgCl₂, PCl₃ and (n-Bu)₃PO₄. The catalysts TiCl₄/MgCl₂/PCl₃ and TiCl₄/MgCl₂/(n-Bu)₃PO₄ were prepared by reacting TiCl₄ with pretreated MgCl₂. The support was prepared by ball milling of MgCl₂ with varied amounts of PCl₃ or (n-Bu)₃PO₄. The addition of PCl₃ has remarkably increased the MgCl₂ surface area in comparison with (n-Bu)₃PO₄. The effects of PCl₃ and (n-Bu)₃PO₄ on ethylene homopolymerization, ethylene-propylene copolymerization and on copolymer properties were evaluated. The catalyst system containing PCl₃ permitted to synthesize propylene-ethylene copolymers with up to 75% (w/w) of propylene and provided control of copolymer crystallinity. The reduction of the copolymer molecular weight distribution suggested that PCl₃ acted as an internal donor, poisoning some active catalytic sites. Received: 2 April 1997/Revised: 6 June 1997/Accepted: 18 June 1997     

Study of the thermomechanical and electrical properties of conducting composites containing natural rubber and carbon black

This work describes the preparation and characterization of composite materials obtained by the combination of natural rubber (NR) and carbon black (CB) in different percentages, aiming to improve their mechanical properties, processability, and electrical conductivity, aiming future applications as transducer in pressure sensors. The composites NR/CB were characterized through optical microscopy (OM), DC conductivity, thermal analysis using differential scanning calorimetry (DSC), dynamic mechanical thermal analysis (DMA), thermogravimetry (TGA), and stress–strain test. The electrical conductivity varied between 10^?9 and 10 S m^?1, depending on the percentage of CB in the composite. Furthermore, a linear (and reversible) dependence of the conductivity on the applied pressure between 0 and 1.6 MPa was observed for the sample with containing 80 wt % of NR and 20% of CB. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci, 2007     

Dielectric behavior of PVDF/POMA blends that have a low doped POMA content

The real (ε′) and imaginary (ε″) components of the complex permittivity of blends of PVDF [poly(vinylidene fluoride)] with POMA [poly(o‐methoxyaniline)] doped with toluenosulfonic acid (TSA) containing 1, 2.5, and 5 wt % POMA–TSA were determined in the frequency interval between 10² and 3 × 10⁶ Hz and in the temperature range from ?120 up to 120°C. It was observed that the values of ε′ and ε″ had a greater increase with the POMA–TSA content and with a temperature in the region of frequencies below 10 kHz. This effect decreased with frequency and it was attributed to interfacial polarization. This polarization was caused by the blend heterogeneity, formed by conductive POMA–TSA agglomerates dispersed in an insulating matrix of PVDF. The equation of Maxwell–Garnett, modified by Cohen, was used to evaluate the permittivity and conductivity behavior of POMA–TSA in the blends. A strong decrease was observed in POMA–TSA conductivity in the blend, which was bigger the lower the POMA–TSA content in the blend. This decrease could have been caused either by the POMA dedoping during the blend preparation process or by its dispersion into the insulating matrix. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 87: 752–758, 2003     

Modification of porous copolymers network based on acrylonitrile

Summary The preparation of a chelating ion-exchange network based on acrylonitrile was carried out by chemical modification with hydroxylamine. The beads of resin were synthesized by aqueous suspension copolymerization of acrylonitrile (AN), styrene (STY) and divinylbenzene (DVB). The influence of diluent used in the suspension polymerization on the structure of the resulting copolymers was evaluated. The diluents employed were heptane (HEP), toluene (TOL) and anisole (ANI). It was found that the AN incorporation into copolymer structure was dependent on the diluent used. Conversion of nitrile groups into the amidoxime was conducted by treatment with hydroxylamine under alkaline solution. The resins were characterized by apparent density, surface area, average pore diameter, elemental analysis (CHN), FTIR and optical microscopy. Based on the results obtained, it was possible to control the porosity by diluent employed in the synthesis and to modify chemically a resin containing nitrile groups by hydroxylamine reaction. Received: 6 October 2001/Revised version: 2 April 2002/ Accepted: 11 April 2002     

The effect of H2 treatment on the activity of activated carbon for the oxidation of organic contaminants in water and the H2O2 decomposition

In this work, hydrogen peroxide reactions, i.e. H₂O₂ decomposition and oxidation of organics in aqueous medium, were studied in the presence of activated carbon. It was observed that the carbon pre-treatment with H₂ at 300, 500, 700 and 800 °C resulted in an increase in activity for both reactions. The carbons were characterized by BET nitrogen adsorption, thermogravimetric analyses (TG), temperature programmed reduction (TPR), electron paramagnetic resonance (EPR), iodometric titration and determination of the acid/basic sites. TPR experiments showed that activated carbon reacts with H₂ at temperatures higher than 400 °C. The treatment produces a slight increase in the surface area. EPR analyses indicate the absence of unpaired electrons in the carbon. Iodometric titrations and TG analyses suggested that the treatment with H₂ generates reduction sites in the carbon structure, with concentration of approximately 0.33, 0.53, 0.59, 0.65 and 0.60 mmol/g for carbons treated at 25, 300, 500, 700 and 800 °C, respectively. It was also observed the appearance of basic sites which might be related to the reduction sites. It is proposed that these reducing sites in the carbon can activate H₂O₂ to generate HO^* radicals which can lead to two competitive reactions, i.e. the hydrogen peroxide decomposition or the oxidation of organics in water.     

Synthesis, characterization and crystal structure of a novel thiocyanate–ruthenium(II) complex

The cis-[Ru(dppb)(Me-bipy)(NCS)₂], dppb = 1,4-bis (diphenylphosphino)butane, Me-bipy = 4,4′-dimethyl-2,2′-bipyridine, and NCS = thiocyanate, was synthesized and characterized by spectroscopic and electrochemical techniques and its structure was determined by crystal X-ray analysis. The crystal structure reveals that the coordination geometry around the Ru(II) center is distorted octahedron where two molecules of thiocyanate are bonded to the ruthenium through nitrogen atom in cis orientation. The half-wave formal potential value E_1/2 = 0.8 V (versus Ag/AgCl) observed is considerable higher than that for the cis-[RuCl₂(dppb)(Me-bipy)] complex, E_1/2 = 0.6 V (versus Ag/AgCl), well illustrating the strong π-acceptor effect the NCS ligand toward the backbonding interaction with the Ru(II) metal center. The MLCT absorption bands of the thiocyanate complex present a higher molar absorptivity (about 12%) compared with the cis-[RuCl₂(dppb)(Me-bipy)] complex, in the same experimental conditions. These properties make the complex potentially promising for the photosensitization process.     

The role of Lewis bases on the improvement of the stereospecificity and activity of TiCl3/AlClEt2 catalyst system

Summary The effect of di-n-butyl ether (DBE) in the synthesis of a highly active propylene polymerization catalyst was studied. Electron-donors having ester and phosphate groups (ethyl benzoate-EB, diisobutyl phthalate-DIBP and tri-n-butyl phosphate-TBP) were added as second internal bases (IB₂) to the catalysts prepared by the reduction of TiCl₄ with AlClEt₂ (DEAC) in the presence of DBE as a first internal base (IB₁). The crystalline forms were examined for all catalyst samples by X-ray method. Special attention has been paid to the -TiCl₃ samples showing the best catalytic properties. These catalysts were evaluated in propylene polymerization in the absence and presence of external bases (EB, DIBP and DBE). The effects of internal and external bases on the catalyst activity and stereo-specificity are discussed.