900 resultados para type systems, join calculus, ownership types, process calculus
Resumo:
The set of transreal numbers is a superset of the real numbers. It totalises real arithmetic by defining division by zero in terms of three def- inite, non-finite numbers: positive infinity, negative infinity and nullity. Elsewhere, in this proceedings, we extended continuity and limits from the real domain to the transreal domain, here we extended the real derivative to the transreal derivative. This continues to demonstrate that transreal analysis contains real analysis and operates at singularities where real analysis fails. Hence computer programs that rely on computing deriva- tives { such as those used in scientific, engineering and financial applica- tions { are extended to operate at singularities where they currently fail. This promises to make software, that computes derivatives, both more competent and more reliable. We also extended the integration of absolutely convergent functions from the real domain to the transreal domain.
Resumo:
A variety of foods have been implicated in symptoms of patients with Irritable Bowel Syndrome (IBS) but wheat products are most frequently cited by patients as a trigger. Our aim was to investigate the effects of breads, which were fermented for different lengths of time, on the colonic microbiota using in vitro batch culture experiments. A set of in vitro anaerobic culture systems were run over a period of 24 h using faeces from 3 different IBS donors (Rome Criteria–mainly constipated) and 3 healthy donors. Changes in gut microbiota during a time course were identified by fluorescence in situ hybridisation (FISH), whilst the small -molecular weight metabolomic profile was determined by NMR analysis. Gas production was separately investigated in non pH-controlled, 36 h batch culture experiments. Numbers of bifidobacteria were higher in healthy subjects compared to IBS donors. In addition, the healthy donors showed a significant increase in bifidobacteria (P<0.005) after 8 h of fermentation of a bread produced using a sourdough process (type C) compared to breads produced with commercial yeasted dough (type B) and no time fermentation (Chorleywood Breadmaking process) (type A). A significant decrease of δ-Proteobacteria and most Gemmatimonadetes species was observed after 24 h fermentation of type C bread in both IBS and healthy donors. In general, IBS donors showed higher rates of gas production compared to healthy donors. Rates of gas production for type A and conventional long fermentation (type B) breads were almost identical in IBS and healthy donors. Sourdough bread produced significantly lower cumulative gas after 15 h fermentation as compared to type A and B breads in IBS donors but not in the healthy controls. In conclusion, breads fermented by the traditional long fermentation and sourdough are less likely to lead to IBS symptoms compared to bread made using the Chorleywood Breadmaking Process.
Resumo:
A universal systems design process is specified, tested in a case study and evaluated. It links English narratives to numbers using a categorical language framework with mathematical mappings taking the place of conjunctions and numbers. The framework is a ring of English narrative words between 1 (option) and 360 (capital); beyond 360 the ring cycles again to 1. English narratives are shown to correspond to the field of fractional numbers. The process can enable the development, presentation and communication of complex narrative policy information among communities of any scale, on a software implementation known as the "ecoputer". The information is more accessible and comprehensive than that in conventional decision support, because: (1) it is expressed in narrative language; and (2) the narratives are expressed as compounds of words within the framework. Hence option generation is made more effective than in conventional decision support processes including Multiple Criteria Decision Analysis, Life Cycle Assessment and Cost-Benefit Analysis.The case study is of a participatory workshop in UK bioenergy project objectives and criteria, at which attributes were elicited in environmental, economic and social systems. From the attributes, the framework was used to derive consequences at a range of levels of precision; these are compared with the project objectives and criteria as set out in the Case for Support. The design process is to be supported by a social information manipulation, storage and retrieval system for numeric and verbal narratives attached to the "ecoputer". The "ecoputer" will have an integrated verbal and numeric operating system. Novel design source code language will assist the development of narrative policy. The utility of the program, including in the transition to sustainable development and in applications at both community micro-scale and policy macro-scale, is discussed from public, stakeholder, corporate, Governmental and regulatory perspectives.
Resumo:
Transreal arithmetic totalises real arithmetic by defining division by zero in terms of three definite, non-finite numbers: positive infinity, negative infinity and nullity. We describe the transreal tangent function and extend continuity and limits from the real domain to the transreal domain. With this preparation, we extend the real derivative to the transreal derivative and extend proper integration from the real domain to the transreal domain. Further, we extend improper integration of absolutely convergent functions from the real domain to the transreal domain. This demonstrates that transreal calculus contains real calculus and operates at singularities where real calculus fails.
Resumo:
Background: Personalised nutrition (PN) may provide major health benefits to consumers. A potential barrier to the uptake of PN is consumers’ reluctance to disclose sensitive information upon which PN is based. This study adopts the privacy calculus to explore how PN service attributes contribute to consumers’ privacy risk and personalisation benefit perceptions. Methods: Sixteen focus groups (n = 124) were held in 8 EU countries and discussed 9 PN services that differed in terms of personal information, communication channel, service provider, advice justification, scope, frequency, and customer lock-in. Transcripts were content analysed. Results: The personal information that underpinned PN contributed to both privacy risk perception and personalisation benefit perception. Disclosing information face-to-face mitigated the perception of privacy risk and amplified the perception of personalisation benefit. PN provided by a qualified expert and justified by scientific evidence increased participants’ value perception. Enhancing convenience, offering regular face-to face support, and employing customer lock-in strategies were perceived as beneficial. Conclusion: This study suggests that to encourage consumer adoption, PN has to account for face-to-face communication, expert advice providers, support, a lifestyle-change focus, and customised offers. The results provide an initial insight into service attributes that influence consumer adoption of PN.
Resumo:
This study examines when “incremental” change is likely to trigger “discontinuous” change, using the lens of complex adaptive systems theory. Going beyond the simulations and case studies through which complex adaptive systems have been approached so far, we study the relationship between incremental organizational reconfigurations and discontinuous organizational restructurings using a large-scale database of U.S. Fortune 50 industrial corporations. We develop two types of escalation process in organizations: accumulation and perturbation. Under ordinary conditions, it is perturbation rather than the accumulation that is more likely to trigger subsequent discontinuous change. Consistent with complex adaptive systems theory, organizations are more sensitive to both accumulation and perturbation in conditions of heightened disequilibrium. Contrary to expectations, highly interconnected organizations are not more liable to discontinuous change. We conclude with implications for further research, especially the need to attend to the potential role of managerial design and coping when transferring complex adaptive systems theory from natural systems to organizational systems.
Resumo:
Three sludge types from the same treatment stream (undigested liquid, anaerobically digested liquid and dewatered, anaerobically digested cake) were used in a field based tub study. Amendments (4, 8, and 16 Mg dry solid (ds)ha(-1)) were incorporated into the upper 15 cm of a sandy loam soil prior to sowing with rye-grass (Lolium perenne L.). Nitrogen transformations in the soil were determined for the 80 d period following incorporation. Nitrogen uptake and crop yield were measured in the cut sward 35 and 70 d after sowing. The study showed that application of sewage sludge at rates as low as 4 Mgha(-1) can have a nutritional benefit to rye-grass over the two harvests. Differences in N transformation, and hence crop nutritional benefit, between sludge types were evident throughout the experiment. In particular, the dewatering process changed the mineral N characteristics of the anaerobically digested sludge, which, when not dewatered, outperformed the other sludges in terms of yield and mineralisation rate at both harvests. The dewatered sludge produced the lowest yield of rye-grass. The undigested liquid sludge had the lowest foliar N and soil NO(3)-N concentrations, possibly immobilised as the large oxidisable C component of this sludge was metabolised by the microbial biomass. Correlation data support the concept of preferential uptake of NH(4)-N over NO(3)-N in Lolium perenne. Results are discussed in the context of managing sludge type and application for a plant nutrient source and NO(3)-N release.
Resumo:
This paper assesses the impact of the location and configuration of Battery Energy Storage Systems (BESS) on Low-Voltage (LV) feeders. BESS are now being deployed on LV networks by Distribution Network Operators (DNOs) as an alternative to conventional reinforcement (e.g. upgrading cables and transformers) in response to increased electricity demand from new technologies such as electric vehicles. By storing energy during periods of low demand and then releasing that energy at times of high demand, the peak demand of a given LV substation on the grid can be reduced therefore mitigating or at least delaying the need for replacement and upgrade. However, existing research into this application of BESS tends to evaluate the aggregated impact of such systems at the substation level and does not systematically consider the impact of the location and configuration of BESS on the voltage profiles, losses and utilisation within a given feeder. In this paper, four configurations of BESS are considered: single-phase, unlinked three-phase, linked three-phase without storage for phase-balancing only, and linked three-phase with storage. These four configurations are then assessed based on models of two real LV networks. In each case, the impact of the BESS is systematically evaluated at every node in the LV network using Matlab linked with OpenDSS. The location and configuration of a BESS is shown to be critical when seeking the best overall network impact or when considering specific impacts on voltage, losses, or utilisation separately. Furthermore, the paper also demonstrates that phase-balancing without energy storage can provide much of the gains on unbalanced networks compared to systems with energy storage.
Resumo:
Analysis of experimental interlocking blocks of concrete with addition of residues of process the tires retreading production. With the population growth in recent years, industry in general has adjusted itself to resulting demand. the industry of tire retreading generates residues that have been discarded without any control. this adds to environmental pollution and promotes the proliferation of vectors harmful to health, aiming to find an application for this type of residues, this study presents experimental results to interlocking concrete block pavements, with addition of residues tires, interlocking blocks were built up and we determined, through laboratory tests, the need to set the mark that provide greater return regarding analyzed characteristics, there are four types of dosage of concrete with residues tires. We accomplished tests of compression strength, water absorption and resistance to impact. Through the preliminary results, we verified that are satisfactory, confirming the possibility of applying this type of interlocking block in environments with low demand, which would bring the economy of natural sources of aggregates, beyond ecological benefits through the reuse of residues from retreading of tires.
Resumo:
To date, limited numbers of dental calculus samples have been analyzed by researchers in diverse parts of the world. The combined analyses of these have provided some general guidelines for the analysis of calculus that is non-destructive to archaeological teeth. There is still a need for a quantitative study of large numbers of calculus samples to establish protocols, assess the level of contamination, evaluate the quantity of microfossils in dental calculus, and to compare analysis results with the literature concerning the biology of calculus formation. We analyzed dental calculus from 53 teeth from four Brazilian sambaquis. Sambaquis are the shell-mounds that were established prehistorically along the Brazilian coast. The analysis of sambaqui dental calculi shows that there are relatively high concentrations of microfossils (phytoliths and starch), mineral fragments, and charcoal in dental calculus. Mineral fragments and charcoal are possibly contaminants. The largest dental calculi have the lowest concentrations of microfossils. Biologically, this is explained by individual variation in calculus formation between people. Importantly, starch is ubiquitous in dental calculus. The starch and phytoliths show that certainly Dioscorea (yam) and Araucaria angustifolia (Parana pine) were eaten by sambaqui people. Araceae (arum family), Ipomoea batatas (sweet potato) and Zea mays (maize) were probably in their diet. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
Carbon nanotubes rank amongst potential candidates for a new family of nanoscopic devices, in particular for sensing applications. At the same time that defects in carbon nanotubes act as binding sites for foreign species, our current level of control over the fabrication process does not allow one to specifically choose where these binding sites will actually be positioned. In this work we present a theoretical framework for accurately calculating the electronic and transport properties of long disordered carbon nanotubes containing a large number of binding sites randomly distributed along a sample. This method combines the accuracy and functionality of ab initio density functional theory to determine the electronic structure with a recursive Green`s functions method. We apply this methodology on the problem of nitrogen-rich carbon nanotubes, first considering different types of defects and then demonstrating how our simulations can help in the field of sensor design by allowing one to compute the transport properties of realistic nanotube devices containing a large number of randomly distributed binding sites.
Resumo:
In this paper, calcium molybdate (CaMoO(4)) crystals (meso- and nanoscale) were synthesized by the coprecipitation method using different solvent volume ratios (water/ethylene glycol). Subsequently, the obtained suspensions were processed in microwave-assisted hydrothermal/solvothermal systems at 140 degrees C for 1 h. These meso- and nanocrystals processed were characterized by X-ray diffraction (X R I)), Fourier transform Raman (FT-Raman), Fourier transform infrared (FT-IR). ultraviolet visible (UV-vis) absorption spectroscopies, held-emission gun scanning electron microscopy (FEG-SEM). transmission electron microscopy (TEM). and photoluminescence (PL) measurements. X RI) patterns and FT-Raman spectra showed that these meso- and nanocrystals have a scheelite-type tetragonal structure without the presence of deleterious phases. FT-IR spectra exhibited a large absorption band situated at around 827 cm(-1), which is associated with the Mo-O anti-symmetric stretching vibrations into the [MoO(4)] clusters. FEG-SEM micrographs indicated that the ethylene glycol concentration in the aqueous solution plays an important role in the morphological evolution of CaMoO(4) crystals. High-resolution TEM micrographs demonstrated that the mesocrystals consist of several aggregated nanoparticles with electron diffraction patterns of monocrystal. In addition, the differences observed in the selected area electron diffraction patterns of CaMoO(4) crystals proved the coexistence of both nano- and mesostructures, First-principles quantum mechanical calculations based on the density functional theory at the B3LYP level were employed in order to understand the band structure find density of states For the CaMoO(4). UV-vis absorption measurements evidenced a variation in optical band gap values (from 3.42 to 3.72 cV) for the distinct morphologies. The blue and green PI. emissions observed in these crystals were ascribed to the intermediary energy levels arising from the distortions on the [MoO(4)] clusters clue to intrinsic defects in the lattice of anisotropic/isotropic crystals.
Resumo:
Can Boutet de Monvel`s algebra on a compact manifold with boundary be obtained as the algebra Psi(0)(G) of pseudodifferential operators on some Lie groupoid G? If it could, the kernel G of the principal symbol homomorphism would be isomorphic to the groupoid C*-algebra C*(G). While the answer to the above question remains open, we exhibit in this paper a groupoid G such that C*(G) possesses an ideal I isomorphic to G. In fact, we prove first that G similar or equal to Psi circle times K with the C*-algebra Psi generated by the zero order pseudodifferential operators on the boundary and the algebra K of compact operators. As both Psi circle times K and I are extensions of C(S*Y) circle times K by K (S*Y is the co-sphere bundle over the boundary) we infer from a theorem by Voiculescu that both are isomorphic.