Modelling and Administration of Contract-Based Systems

Mirroring the paper versions exchanged between businesses today, electronic contracts offer the possibility of dynamic, automatic creation and enforcement of restrictions and compulsions on agent behaviour that are designed to ensure business objectives are met. However, where there are many contracts within a particular application, it can be difficult to determine whether the system can reliably fulfil them all; computer-parsable electronic contracts may allow such verification to be automated. In this paper, we describe a conceptual framework and architecture specification in which normative business contracts can be electronically represented, verified, established, renewed, etc. In particular, we aim to allow systems containing multiple contracts to be checked for conflicts and violations of business objectives. We illustrate the framework and architecture with an aerospace example.

Novel catalyst systems based on Ni(II), Ti(IV), and Cr(III) complexes for oligo-and polymerization of ethylene

The complex of Brookhart Ni(α-diimine)Cl2 (1) (α-diimine = 1,4-bis(2,6- diisopropylphenyl)-acenaphthenediimine) has been characterized after impregnation on silica (S1) and MAO-modified silicas (4.0, 8.0 and 23.0 wts.% Al/SiO2 called S2, S3 and S4, respectively). The treatment of these heterogeneous systems with MAO produces some active catalysts for the polymerization of the ethylene. A high catalytic activity has been gotten while using the system supported 1/S3 (196 kg of PE/mol[Ni].h.atm; toluene, Al/Ni = 1000, 30ºC, 60 min and atmospheric pressure of ethylene). The effects of polymerization conditions have been tested with the catalyst supported in S2 and the best catalytic activity has been gotten with solvent hexane, MAO as cocatalyst, molar ratio Al/Ni of 1000 and to the temperature of 30°C (285 kg of PE/mol[Ni].h.atm). When the reaction has been driven according to the in situ methodology, the activity practically doubled and polymers showed some similar properties. Polymers products by the supported catalysts showed the absence of melting fusion, results similar to those gotten with the homogeneous systems by DSC analysis. But then, polymers gotten with the transplanted system present according to the GPC’s curves the polydispersity (MwD) varies between 1.7 and 7.0. A polyethylene blend (BPE/LPE) was prepared using the complex Ni(α-diimine)Cl2 (1) (α-diimine = 1,4-bis(2,6-diisopropylphenyl)-acenaphthenediimine) and {TpMs*}TiCl3 (2) (TpMs* = hydridobis(3-mesitylpyrazol-1-yl)(5-mesitylpyrazol-1-yl)) supported in situ on MAO-modified silica (4.0 wts. -% Al/SiO2, S2). Reactions of polymerization of ethylene have been executed in the toluene in two different temperatures (0 and 30°C), varying the molars fraction of nickel (xNi), and using MAO as external cocatalyst. To all temperatures, the activities show a linear variation tendency with xNi and indicate the absence of the effect synergic between the species of nickel and the titanium. The maximum of activity have been found at 0°C. The melting temperature for the blends of polyethylene produced at 0 °C decrease whereas xNi increases indicating a good compatibility between phases of the polyethylene gotten with the two catalysts. The melting temperature for the blends of polyethylene showed be depend on the order according to which catalysts have been supported on the MAO-modified silica. The initial immobilization of 1 on the support (2/1/S2) product of polymers with a melting temperature (Tm) lower to the one of the polymer gotten when the titanium has been supported inicially (1/2/S2). The observation of polyethylenes gotten with the two systems (2/1/S2 and 1/2/S2) by scanning electron microscopy (SEM) showed the spherical polymer formation showing that the spherical morphology of the support to been reproduced. Are described the synthesis, the characterization and the catalytic properties for the oligomerization of the ethylene of four organometallics compounds of CrIII with ligands ([bis[2-(3,5-dimethyl-1-pyrazolyl)ethyl]amine] chromium (III) chloride (3a), [bis[2-(3,5- dimethyl-l-pyrazolyl)ethyl]benzylamine] chromium (III) chloride (3b), [bis[2-(3,5-dimethyl-lpyrazolyl) ethyl]ether] chromiun(III)chloride (3c), [bis[2-(3-phenyl-lpyrazolyl) ethyl]ether]chromiun(III)chloride (3d)). In relation of the oligomerization, at exception made of the compounds 3a, all complex of the chromium showed be active after activation with MAO and the TOF gotten have one effect differentiated to those formed with CrCl3(thf)3. The coordination of a tridentate ligand on the metallic center doesn't provoke any considerable changes on the formation of the C4 and C6, but the amount of C8 are decrease and the C10 and C12+ have increased. The Polymers produced by the catalyst 3a to 3 and 20 bar of ethylene have, according to analyses by DSC, the temperatures of fusion of 133,8 and 136ºC respectively. It indicates that in the two cases the production of high density polyethylene. The molar mass, gotten by GPC, is 46647 g/mols with MwD = 2,4 (3 bar). The system 3c/MAO showed values of TOF, activity and selectivity to different α-olefins according to the pressure of ethylene uses. Himself that shown a big sensibility to the concentration of ethylene solubilized.

Organizations redesign and building of information systems

Develop software is still a risky business. After 60 years of experience, this community is still not able to consistently build Information Systems (IS) for organizations with predictable quality, within previously agreed budget and time constraints. Although software is changeable we are still unable to cope with the amount and complexity of change that organizations demand for their IS. To improve results, developers followed two alternatives: Frameworks that increase productivity but constrain the flexibility of possible solutions; Agile ways of developing software that keep flexibility with less upfront commitments. With strict frameworks, specific hacks have to be put in place to get around the framework construction options. In time this leads to inconsistent architectures that are harder to maintain due to incomplete documentation and human resources turnover. The main goals of this work is to create a new way to develop flexible IS for organizations, using web technologies, in a faster, better and cheaper way that is more suited to handle organizational change. To do so we propose an adaptive object model that uses a new ontology for data and action with strict normalizing rules. These rules should bound the effects of changes that can be better tested and therefore corrected. Interfaces are built with templates of resources that can be reused and extended in a flexible way. The “state of the world” for each IS is determined by all production and coordination acts that agents performed over time, even those performed by external systems. When bugs are found during maintenance, their past cascading effects can be checked through simulation, re-running the log of transaction acts over time and checking results with previous records. This work implements a prototype with part of the proposed system in order to have a preliminary assessment its feasibility and limitations.

Transcriptomics and systems biology analysis in identification of specific pathways involved in cacao resistance and susceptibility to witches' broom disease

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Framework for analysis and representation of external systems for online reactive-optimisation studies

The paper proposes a framework for the analysis and representation of external systems for online optimisation studies. The basis for this framework is the equivalent OPF (EOPF), an optimisation model obtained by partitioning of the OPF model. The EOPF is mathematically redefined in the paper to accommodate the concept of a buffer zone. The resulting model is more useful for online optimisation, since external information obtained through intercontrol-centre exchange contracts can be used to improve internal control calculation. Numerical results obtained with original studies involving the boundary-matching procedure have provided a conceptual basis for the definition of a buffer zone for optimisation studies with the EOPF. In the proposed framework, the accuracy of the external representation in optimisation studies is evaluated by comparing the controls obtained by an EOPF procedure with those obtained by the reference-optimisation procedure defined in this paper. The framework is then used to evaluate the accuracy of equivalent optimisation studies involving the IEEE 118-bus test system and the Brazilian South Southeast 810-bus system. The results show that the incorporation of a buffer zone improves the external system representation for all optimisation studies performed.

Detection and Identification of Abnormalities in Customer Consumptions in Power Distribution Systems

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Planning and Projects of Secondary Electric Power Distribution Systems

This paper proposes a methodology to achieve integrated planning and projects for secondary distribution circuits. The planning model is formulated as a mixed integer nonlinear programming problem (MINLP). In order to resolve this problem, a tabu search (TS) algorithm is used, with a neighborhood structure developed to explore the physical characteristics of specific geographies included in the planning and expansion of secondary networks, thus obtaining effective solutions as well as low operating costs and investments. The project stage of secondary circuits consists of calculating the mechanical efforts to determine the support structures of the primary and secondary distribution systems and determining the types of structures that should be used in the system according to topological and electrical parameters of the network and, therefore, accurately assessing the costs involved in the construction and/or reform of secondary systems. A constructive heuristic based on information of the electrical and topological conditions between the medium voltage and low voltage systems is used to connect the primary systems and secondary circuits. The results obtained from planning and design simulations of a real secondary system of electric energy distribution are presented.

Morphology and histology of male and female reproductive systems in the inseminating species Scoloplax distolothrix (Ostariophysi : Siluriformes : Scoloplacidae)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Separation and partitioning of Green Fluorescent Protein from Escherichia coli homogenate in poly(ethylene glycol)/sodium-poly(acrylate) aqueous two-phase systems

The partitioning of Green Fluorescent Protein (GFP) in poly(ethylene glycol)/Na-poly(acrylate) aqueous two-phase systems (PEG/NaPA-ATPS) has been investigated. The aqueous two-phase systems are formed by mixing the polymers with a salt and a protein solution. The protein partitioning in the two-phase system was investigated at 25 degrees C. The concentration of the GFP was measured by fluorimetry. It was found that the partitioning of GFP depends on the salt type, pH and concentration of PEG. The data indicates that GFP partitions more strongly to the PEG phase in presence of Na2SO4 relative to NaCl. Furthermore, the GFP partitions more to the PEG phase at higher pH. The partition to the PEG phase is strongly favoured in systems with larger tie-line lengths (i.e. systems with higher polymer concentrations). The molecular weight of PEG is important since the partition coefficient (K) of GFP gradually decreases with increasing PEG size, from K ca. 300-400 for PEG 400 to K equal to 1.19 for PEG 8000. A separation process was developed where GFP was separated from a homogenate in two extraction steps: the GFP is first partitioned to the PEG phase in a PEG 3000/NaPA 8000 system containing 3 wt% Na2SO4, where the K value of GFP was 8. The GFP is then re-extracted to a salt phase formed by mixing the previous top-phase with a Na2SO4 solution. The K-value of GFP in this back-extraction was 0.22. The total recovery based on the start material was 74%. (c) 2008 Elsevier B.V. All rights reserved.

Breeding systems of shrubs and trees of a Brazilian savanna

The reproductive biology of shrubs and trees of a preserved savanna (''cerrado'') area in the municipality of Corumbatai São Paulo State, Brazil was studied. The floral sexuality of 135 species were characterized, with 85.2 % hermaphroditic, 9.4 % dioecious, 4.5 % monoecious, and one determine the breeding systems. Nine apomictic species were found, all belonging Melastomataceae. Among the twelve sexual reproducing species, seven (58.3 %) proved to be self-compatible, and five (41.7 %) self-incompatible. Anemophily was found in five species, although pollinations systems were not investigated in other species.

Clinical applications of non-culture based methods for the diagnosis and management of opportunistic and endemic mycoses

Nonculture based methods for the detection of infections caused by fungal pathogens are becoming more important tools in the management of infected patients. Detection of fungal antigens and DNA appear to be the most promising in this respect for both opportunistic and endemic mycoses. In this article we present an overview of the most recent developments in nonculture based methods and examine their value in clinical practice.

Formation and maintenance of complex systems

A complex system is often identified by the absence of a characteristic length, e.g. as in a fractal. A very large system subject to a fragmentation and/or aggregation dynamics passes through such complex configurations. We study statistically creation and maintenance of such configurations in space dimensions d = 1 to 5 and find that they are easily created (maintained) for small (large) d. An intermediate d such as d = 3 seems to be ideal for the creation and maintenance of complex systems. This has consequences in a statistical description of the universe.

RESTRUCTURING of SYSTEMS and LOGISTICS of MOVEMENT and ITS IMPACT on URBAN and REGIONAL PLANNING PAULISTA

Report some of the changes in production and consumption occurring in the state of São Paulo. through the restructuring in motion systems, logistics and standards and taxation, as well as the impacts on urban spaces through new economic dynamics, imposed by the demands of corporate, is the purpose of this article. The decentralization of production and consumption towards the interior was made possible by the combination of hierarchical and ordered some basic elements such as technological innovations (ways and means of transport) and organizational (logistics, standards and taxation) which optimized the flow territorial state São Paulo. It is noteworthy, therefore: 1) the improvement of logistics as a strategy, planning and management of transport, storage and communications (including the granting of public services to private), 2) the technological improvement and expansion of motion systems (infrastructure, means of transport) and 3) the systems of rules and regulations through taxation and deregulation affect the circulatory system of a given space. Thus, both systems aims to disentangle the economic flows (goods, services, information, capital and people) and provide a more fluid territorial. The impacts on the State of São Paulo, mainly through its economic dynamics, revert positively and negatively, by changing the way one thinks and performs planning.

Environment for teaching and development of mobile robot systems

Using robots for teaching is one approach that has gathered good results on Middle-School, High-School and Universities. Robotics gives chance to experiment concepts of a broad range of disciplines, principally those from Engineering courses and Computer Science. However, there are not many kits that enables the use of robotics in classroom. This article describes the methodologies to implement tools which serves as test beds for the use of robotics to teach Computer Science and Engineering. Therefore, it proposes the development of a flexible, low cost hardware to integrate sensors and control actuators commonly found on mobile robots, the development of a mobile robot device whose sensors and actuators allows the experimentation of different concepts, and an environment for the implementation of control algorithms through a computer network. This paper describes each one of these tools and discusses the implementation issues and future works. © 2010 IEEE.