939 resultados para State-based reasoning


Relevância:

30.00% 30.00%

Publicador:

Resumo:

The information technology (IT) industry has recently witnessed the proliferation of cloud services, which have allowed IT service providers to deliver on-demand resources to customers over the Internet. This frees both service providers and consumers from traditional IT-related burdens such as capital and operating expenses and allows them to respond rapidly to new opportunities in the market. Due to the popularity and growth of cloud services, numerous researchers have conducted studies on various aspects of cloud services, both positive and negative. However, none of those studies have connected all relevant information to provide a holistic picture of the current state of cloud service research. This study aims to investigate that current situation and propose the most promising future directions. In order to determine achieve these goals, a systematic literature review was conducted on studies with a primary focus on cloud services. Based on carefully crafted inclusion criteria, 52 articles from highly credible online sources were selected for the review. To define the main focus of the review and facilitate the analysis of literature, a conceptual framework with five main factors was proposed. The selected articles were organized under the factors of the proposed framework and then synthesized using a narrative technique. The results of this systematic review indicate that the impacts of cloud services on enterprises were the factor best covered by contemporary research. Researchers were able to present valuable findings about how cloud services impact various aspects of enterprises such as governance, performance, and security. By contrast, the role of service provider sub-contractors in the cloud service market remains largely uninvestigated, as do cloud-based enterprise software and cloud-based office systems for consumers. Moreover, the results also show that researchers should pay more attention to the integration of cloud services into legacy IT systems to facilitate the adoption of cloud services by enterprise users. After the literature synthesis, the present study proposed several promising directions for cloud service research by outlining research questions for the underexplored areas of cloud services, in order to facilitate the development of cloud service markets in the future.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This work presents synopsis of efficient strategies used in power managements for achieving the most economical power and energy consumption in multicore systems, FPGA and NoC Platforms. In this work, a practical approach was taken, in an effort to validate the significance of the proposed Adaptive Power Management Algorithm (APMA), proposed for system developed, for this thesis project. This system comprise arithmetic and logic unit, up and down counters, adder, state machine and multiplexer. The essence of carrying this project firstly, is to develop a system that will be used for this power management project. Secondly, to perform area and power synopsis of the system on these various scalable technology platforms, UMC 90nm nanotechnology 1.2v, UMC 90nm nanotechnology 1.32v and UMC 0.18 μmNanotechnology 1.80v, in order to examine the difference in area and power consumption of the system on the platforms. Thirdly, to explore various strategies that can be used to reducing system’s power consumption and to propose an adaptive power management algorithm that can be used to reduce the power consumption of the system. The strategies introduced in this work comprise Dynamic Voltage Frequency Scaling (DVFS) and task parallelism. After the system development, it was run on FPGA board, basically NoC Platforms and on these various technology platforms UMC 90nm nanotechnology1.2v, UMC 90nm nanotechnology 1.32v and UMC180 nm nanotechnology 1.80v, the system synthesis was successfully accomplished, the simulated result analysis shows that the system meets all functional requirements, the power consumption and the area utilization were recorded and analyzed in chapter 7 of this work. This work extensively reviewed various strategies for managing power consumption which were quantitative research works by many researchers and companies, it's a mixture of study analysis and experimented lab works, it condensed and presents the whole basic concepts of power management strategy from quality technical papers.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

ABSTRACT The paper discusses the dynamics of capital accumulation in Latin America economies. The hypothesis is that in these economies the role of the State is comparatively broader than in the economies of the centers of the capitalism by structural reasons. The argument is mainly based on Marx and Kalecki, besides historical elements of Latin America economies, particularly the Brazilian economy. Then the paper explores the dynamics consequences of this nature at the national levels, concluding that this condition gives a higher degree of instability.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The negotiations between the EU and the US over the Transatlantic Trade and Investment Partnership (TTIP) have generated a lot of discussion about investor-state dispute settlement (ISDS). This discussion provided the inspiration for this thesis, with the TTIP in the background, setting the scene. In this thesis I study the nature of ISDS and the principle of transparency within investor-state arbitration. I aim to determine whether the use of ISDS is restricted to international arbitration and whether ISDS can be considered to constitute a system or regime. Furthermore, I consider whether the introduction of the UNCITRAL Rules on Transparency in Treaty-based Investor-State Arbitration (2014, the UNCITRAL Transparency Rules) changes investor-state arbitration in relation to transparency. To achieve this, I examine ISDS provisions in several different international investment agreements (IIAs) and evaluate the ways in which transparency is incorporated into investment law. Moreover, I compare the provisions on transparency and confidentiality in institutional arbitration rules with the UNCITRAL Transparency Rules. I have formed several conclusions, including that the ISDS provisions may contain methods other than international arbitration and that ISDS does not constitute a system. Furthermore, the UNCITRAL Transparency Rules do change – theoretically, at least – investor-state arbitration to become more transparent. Whether the UNCITRAL Transparency Rules will make investor-state arbitration fully transparent depends on the actions of the contracting state parties when negotiating new IIAs and whether they choose to incorporate the UNCITRAL Transparency Rules in the IIAs already concluded.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The NeO'liberal State and the Crisis ofPublic Service Broadcasting in the Anglo-American Democracies The purpose ofthis analysis ofthe present condition ofpublic service broadcasting in the Anglo- American democracies was to investigate whether such media can still be regarded as the primarypublic spherefor a dialogue between each nation 's civil society and the State. The motivationfor this thesis was based on a presumption that such fora for public discussion on the central issues of each society have become viewed as less relevant bypoliticians andpolicy-makers and thepublics they were intended to serve in the Anglo-American democracies over thepast two decades. It is speculated that this is the case because ofa beliefthat the post-war consensus between the respective States andpublics that led to the construction of the Keynesian Welfare State and the notion ofpublic service broadcasting has been displaced by an individualistic, neo-liberal, laissez-faire ideology. In other words, broadcasting as a consumer-oriented, commercial commodity has superseded concerns pertaining to the importance ofthe public interest. The methodology employed in this thesis is a comparative analysisfrom a criticalpolitical economy perspective. It was considered appropriate to focus on the United Kingdom, Australia, Canada and the\ United States because they comprise the four largest Anglo-American nations with democratic political systems andprimarily market economies. Justificationfor this particular sample is reinforced by thefact that case study countries also share a common socio-political and economic tradition. The evidence assembledfor this thesis consisted almost exclusively ofexisting literature on the subjects ofpublic service broadcasting, global economic andpolitical integration, and the ascendance ofthe 'free-market ' ethos in Western democracies since the late mid- to late-1970s. In essence, this thesis could be considered as a reinterpretation ofthe existing literature relevant to these issues. Several important common features werefound among the political, economic and broadcasting systems of the four case study nations. It is proposed that the prevalence of the neo-liberal world view throughout the political and policy environments of the four countries has undermined the stability and credibility of each nation 's national public service broadcasting organization, although with varying intensity and effect,. Deregulation ofeach nation 's broadcasting system and the supremacy ofthe notion of 'consumer sovereignty' have marginalized the view of broadcasting on any basis other than strictly economic criteria in thefour case study countries. This thesis concludes that,for a reconstruction ofa trulyparticipatory anddemocraticpublicsphere to be realized in the present as well as thefuture, a reassessment ofthe conventional concept ofthe 'public sphere ' is necessary. Therefore, it is recommended that thefocus ofpolicy-makers in each Anglo-American democracy be redirectedfrom that which conceived ofan all-encompassing, large, state-ownedand operated public broadcasting service toward a view which considers alternativeforms ofpublic communication, such as local community and ethnic broadcasting operations, that are likely to be more responsive to the needs of the increasingly diverse and heterogeneous populations that comprise the modem Anglo-American democracies. The traditional conception of public broadcasters must change in accordance with its contemporary environment if the fundamental principles of the public sphere and public service broadcasting are to be realized.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We study the phonon dispersion, cohesive and thermal properties of raxe gas solids Ne, Ar, Kr, and Xe, using a variety of potentials obtained from different approaches; such as, fitting to crystal properties, purely ab initio calculations for molecules and dimers or ab initio calculations for solid crystalline phase, a combination of ab initio calculations and fitting to either gas phase data or sohd state properties. We explore whether potentials derived with a certain approaxih have any obvious benefit over the others in reproducing the solid state properties. In particular, we study phonon dispersion, isothermal ajid adiabatic bulk moduli, thermal expansion, and elastic (shear) constants as a function of temperatiue. Anharmonic effects on thermal expansion, specific heat, and bulk moduli have been studied using A^ perturbation theory in the high temperature limit using the neaxest-neighbor central force (nncf) model as developed by Shukla and MacDonald [4]. In our study, we find that potentials based on fitting to the crystal properties have some advantage, particularly for Kr and Xe, in terms of reproducing the thermodynamic properties over an extended range of temperatiures, but agreement with the phonon frequencies with the measured values is not guaranteed. For the lighter element Ne, the LJ potential which is based on fitting to the gas phase data produces best results for the thermodynamic properties; however, the Eggenberger potential for Ne, where the potential is based on combining ab initio quantum chemical calculations and molecular dynamics simulations, produces results that have better agreement with the measured dispersion, and elastic (shear) values. For At, the Morse-type potential, which is based on M0ller-Plesset perturbation theory to fourth order (MP4) ab initio calculations, yields the best results for the thermodynamic properties, elastic (shear) constants, and the phonon dispersion curves.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A survey of predominantly industrial silicon carbide has been carried out using Magic Angle Spinning nuclear magnetic resonance (MAS nmr); a solid state technique. Three silicon carbide polytypes were studied; 3C, 6H, and 15R. The 13C and 29 Si MAS nmr spectra of the bulk SiC sample was identified on the basis of silicon (carbon) site type in the d iff ere n t pol Y t Y pes • Out to 5.00 A fro mac en t r a lsi 1 i con (0 r carbon) atom four types of sites were characterized using symmetry based calculations. This method of polytype analysis was also considered, in the prelminary stages, for applications with other polytypic material; CdBr 2 , CdI 2 , and PbI 2 " In an attempt to understand the minor components of silicon carbide, such as its surface, some samples were hydrofluoric acid washed and heated to extreme temperatures. Basically, an HF removable species which absorbs at -110 ppm (Si0 2 ) in the 29 Si MAS nmr spectrum is found in silicon carbide after heating. Other unidentified peaks observed at short recycle delays in some 29 Si MAS nmr spectra are considered to be impurities that may be within the lattice. These components comprise less than 5% of the observable silicon. A Tl study was carried out for 29 Si nuclei in a 3C ii polytype sample, using the Driven Equilibrium Single-Pulse Observation of T1 (DESPOT) technique. It appears as though there are a number of nuclei that have the same chemical shift but different T1 relaxation times. The T1 values range from 30 seconds to 11 minutes. Caution has to be kept when interpreting these results because this is the first time that DESPOT has been used for solid samples and it is not likely in full working order. MAS nmr indicates that the 13C and 29 Si ~sotropic chemical shifts of silicon carbide appear to have a reciprocal type of relationship_ Single crystal nmr analysis of a 6H sample is accordance with this finding when only the resultant isotropic shift is considered. However, single crystal nmr also shows that the actual response of the silicon and carbon nuclear environment to the applied magnetic field at various angles is not at all reciprocal. Such results show that much more single crystal nmr work is required to determine the actual behavior of the local magnetic environment of the SiC nuclei.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Impurity free eluission spectra of HCCCHO and DCCCHO have been rephotographed using the electronic-energy-exchange method with benzene as a carrier gas. The near ultraviolet spectra of ReeCHO and DCCCHO were photographed in a sorption under conditions of high resolution with absorption path lengths up to 100 meters. The emission and absorption spectra of Propynal resulting from 3 n 1 t 1\ - A excitation has been reanalyzed in som.e detail. Botrl of the eH out-of-plane wagging modes were found to have negative anharmonicity. A barrier height of 56.8/0.0 cm- 1 and a nonplanar oft , , equilibrium angle of 17 3 /30 are calculated for the V 10/ lJ 11 modes. The in-plane and out-of-plane v1. brational modes in the 3A." and 1a~. ' elec ronic states of Propynal were subjected to a normal coordinate treatment in the approximat :on of tIle Urey-Bradley force field. From the relative oscillator strengths of the trans1·t1·0ns connect i ng t he v ibrat1•0n1ess lA' , state and t,he V1· bron1·C 3· if levels of the A state, the differences in equilibrium configuration were evaluated from an approximate Franck-Condon analysis based on the ground state normal coordinates. As this treatment gave 512 possible geometrical structures for the upper state, it 4 was necessary to resort to a comparison of the observed and calculated moments of inertia along with chemical intuition to isolate the structure. A test of the correctness of the calculated structure change and the vibrational assignment was raade by evaluating the intensities of the inplane and out-oi-plane fundarnental, sequence, and cross sequellce transitions y the exact Franck-Condon method.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Relation algebras is one of the state-of-the-art means used by mathematicians and computer scientists for solving very complex problems. As a result, a computer algebra system for relation algebras called RelView has been developed at Kiel University. RelView works within the standard model of relation algebras. On the other hand, relation algebras do have other models which may have different properties. For example, in the standard model we always have L;L=L (the composition of two (heterogeneous) universal relations yields a universal relation). This is not true in some non-standard models. Therefore, any example in RelView will always satisfy this property even though it is not true in general. On the other hand, it has been shown that every relation algebra with relational sums and subobjects can be seen as matrix algebra similar to the correspondence of binary relations between sets and Boolean matrices. The aim of my research is to develop a new system that works with both standard and non-standard models for arbitrary relations using multiple-valued decision diagrams (MDDs). This system will implement relations as matrix algebras. The proposed structure is a library written in C which can be imported by other languages such as Java or Haskell.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The synthesis and studies of two classes of poly dentate ligands are presented as two projects. In project 1, four new carboxamide ligands have been synthesised via the condensation of 2,2',6,6'-tetrachloroformyl-4,4'-bipyridine or 2,6-dichloroformyl pyridine together with heterocyclic amines containing pyridine or pyrazole substituents. The coordination chemistry of these ligands has been investigated and studies have shown that with a Cu(II) salt, two carboxamide ligands LJ and L2 afford large clusters with stoichiometries [Cu8(L1)4Cl16].CHCl3.5H2O.7CH3OH (I) and [Cu9(L2)6Cl6].CH3OH.5H2O.(C2H5)3N (II) respectively. [molecular diagram availabel in pdf]. X-ray diffraction studies of cluster (I) reveal that it has approximate S4 symmetry and is comprised of four ligands and eight copper (II) centers. Here, coordination takes place via amide 0 atoms, and pyrazole nitrogens. This complex is the first reported example of an octanuclear copper cluster with a saddle-shaped structure. The second cluster comprises nine copper ions that are arranged in a cyclic array. Each ligand coordinates three copper centers and each copper ion shares two ligands to connect six ligands with nine copper ions. The amide nitrogens are completely deprotonated and both amide Nand 0 atoms coordinate the metal centres. The cluster has three-fold symmetry. There are six chloride ions, three of which are bridging two neighbouring Cu(II) centres. Magnetic studies of (I) and (II) reveal that both clusters display weak antiferromagnetic interactions between neighbouring Cu(II) centers at low temperature. In the second project, three complexes with stoichiometries [Fe[N302](SCN)2]2 (III), R,R-[Fe[N3O2](SCN)2 (IV) and R,R-]Fe[N3O2](CN)2] (V) were prepared and characterized, where [N302] is a pentadentate macrocycle. Complex (III) was prepared via the metal templated Schiff-base condensation of 2,2',6,6'-tetraacetyl-4,4'-bipyridine together with 3,6-dioxaoctane-I,8-diamine and comprises of a dimeric macro cycle where the two Fe(II) centres are in a pentagonal-bipyramidal environment with the [N302] ligands occupying the equatorial plane and two axial NCS ligands. Complexes (IV) and (V) were prepared via the condensation of 2,6-diacetylpyridine together with a chiral diamine in the presence of FeCh. The synthetic strategy for the preparation of the chiral diamine (4R,5R)-4,5-diphenyl-3,6-dioxa-I,8-octane-diamine was elucidated. The chirality of both macrocycles (IV) and (V) was probed by circular dichroism spectroscopy. The crystal structure of (IV) at 200 K contains two independent molecules in the unit cell, both of which contain a hepta-coordinated Fe(II) and axial NCS ligands. Variable temperature magnetic susceptibility and structural studies are consistent with a high spin Fe(II) complex and show no evidence of any spin crossover behaviour. In contrast, the bis cyanide derivative (V) crystallizes with two independent molecules in the unit cell, both of which have different coordination geometries consistent with different spin states for the two Fe(II) centres. At 250 K, the molecular structure of (V) shows the presence of both 7- and a 6-coordinate Fe(II) complexes in the crystal lattice. As the temperature is lowered, the molecules undergo a structural change and at 100 K the structural data is consistent with a 6- and 5-coordinate Fe(II) complex in the unit cell. Magnetic studies confirm that this complex undergoes a gradual, thermal, spin crossover transition in the solid state. Photomagnetic measurements indicate this is the first chiral Fe (II) sea complex to exhibit a LIESST.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Work in the area of molecule-based magnetic and/or conducting materials is presented in two projects. The first project describes the use of 4,4’-bipyridine as a scaffold for the preparation of a new family of tetracarboxamide ligands. Four new ligands I-III have been prepared and characterized and the coordination chemistry of these ligands is presented. This project was then extended to exploit 4,4’-bipyridine as a covalent linker between two N3O2 macrocyles. In this respect, three dimeric macrocycles have been prepared IV-VI. Substitution of the labile axial ligands of the Co(II) complex IV by [Fe(CN)6]4- afforded the self-assembly of the 1-D polymeric chain {[Co(N3O2)H2O]2Fe(CN)6}n•3H2O that has been structurally and magnetically characterized. Magnetic studies on the Fe(II) complexes V and VI indicate that they undergo incomplete spin crossover transitions in the solid state. Strategies for the preparation of chiral spin crossover N3O2 macrocycles are discussed and the synthesis of the novel chiral Fe(II) macrocyclic complex VII is reported. Magnetic susceptibility and Mössbauer studies reveal that this complex undergoes a gradual spin crossover in the solid state with no thermal hysteresis. Variable temperature X-ray diffraction studies on single crystals of VII reveal interesting structural changes in the coordination geometry of the macrocycle accompanying its SCO transition. The second project reports the synthesis and characterization of a new family of tetrathiafulvalene derivatives VIII – XII, where a heterocyclic chelating ligand is appended to a TTF donor via an imine linker. The coordination chemistries of these ligands with M(hfac)2.H2O (M( = Co, Ni, Mn, Cu) have been explored and the structural and magnetic properties of these complexes are described.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Our work on single molecule magnets and multifunctional magnetic materials is presented in four projects. In the first project we show for first time that heteroatomic-type pseudohalides, such as OCN-, can be employed as structure-directing ligands and ferromagnetic couplers in higher oxidation state metal cluster chemistry. The initial use of cyanato groups in Mn cluster chemistry has afforded structurally interesting MnII/III14 (1) and MnII/III/IV16 (2) clusters in which the end-on bridging cyanates show a preference in binding through their O-atom. The Mn14 compound shows entirely visible out-of-phase alternating currect signals below 5 K and large hysteresis loops below 2 K. Furthermore, the amalgamation of azido groups with the triethanolamine tripodal ligand in manganese carboxylate cluster chemistry has led to the isolation of a new ferromagnetic, high-nuclearity and mixed-valence MnII/III15Na2 (3) cluster with a large ground-state spin value of S = 14. In the second project we demonstrate a new synthetic route to purely inorganic-bridged, transition metal-azido clusters [CoII7 (4) and NiII7 (5)] and coordination polymers [{FeII/III2}n (6)] which exhibit strong ferromagnetic, SMM and long-range magnetic ordering behaviors. We also show that access to such a unique ferromagnetic class of inorganic, N-rich and O-free materials is feasible through the use of Me3SiN3 as the azido-ligand precursor without requiring the addition of any organic chelating/bridging ligand. In the last projects we have tried to bring together molecular magnetism and optics via the synthesis of multifunctional magnetic materials based on 3d- or 4f-metal ions. We decided to approach such challenge from two different directions: firstly, in our third project, by the deliberate replacement of non-emissive carboxylato ligands in known 3d-SMMs with their fluorescent analogues, without perturbing the metal-core structure and SMM properties (complexes 7, 8, and 9). The second route (last project) involves the use of naphthalene or pyridine-based polyalcohol bridging ligands for the synthesis of new polynuclear LnIII metal clusters (Ln = lanthanide) with novel topologies, SMM behaviors and luminescent properties arising from the increased efficiency of the “antenna” organic group. This approach has led us to the isolation of two new families of LnIII8 (complexes 10-13) and LnIII4 (complexes 14-20) clusters.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Brazilian Amazon is one of the world’s largest tropical forests. It supplies more than 80 % of Brazil’s timber production and makes this nation the second largest producer of tropical wood. The forestry sector is of major importance in terms of economic production and employment creation. However, the Brazilian Amazon is also known for its high deforestation rate and for its rather unsustainably managed timber resources, a fact which puts in the balance the long-term future of the forestry sector in the region. Since the mid- 1990s, with strong support from World Wildlife Fund (WWF), the number of tropical forests certified by the Forest Stewardship Council (FSC) has significantly increased. This is especially true for projects sponsored by large scale companies. The number of community- based forest management projects has also increased. Certification of community-based forest enterprises (CFEs) was initially a goal for the sponsors and community members. Certification is viewed as a way to reach alternative timber markets. In Brazil, the state of Acre has the highest concentration of CFEs certified by FSC. Most of them have been implemented with the support of environmental NGOs and public funds. Environmental NGOs strongly defend the advantages of certification for communities; however, in reality, this option is not that advantageous. Despite all the efforts, the number of participants in each project remains low. Why is this occurring? In this paper, we analyze the underlying motives of a few individual’s participation in CFEs certification projects. We aim to present and discuss some factors that shape the success of CFEs and their later certification. The results are based on surveys conducted in two certified CFEs in the state of Acre.