7 resultados para Equivalence Proof
em Greenwich Academic Literature Archive - UK
Resumo:
Given a relation α (a binary sociogram) and an a priori equivalence relation π, both on the same set of individuals, it is interesting to look for the largest equivalence πo that is contained in and is regular with respect to α. The equivalence relation πo is called the regular interior of π with respect to α. The computation of πo involves the left and right residuals, a concept that generalized group inverses to the algebra of relations. A polynomial-time procedure is presented (Theorem 11) and illustrated with examples. In particular, the regular interior gives meet in the lattice of regular equivalences: the regular meet of regular equivalences is the regular interior of their intersection. Finally, the concept of relative regular equivalence is defined and compared with regular equivalence.
Resumo:
Review of: Psicologia Della Prova [Psychology of Proof] edited by C. Cabras, Giuffré, Milano. 1996.
Resumo:
Social network analysts have tried to capture the idea of social role explicitly by proposing a framework that precisely gives conditions under which group actors are playing equivalent roles. They term these methods positional analysis techniques. The most general definition is regular equivalence which captures the idea that equivalent actors are related in a similar way to equivalent alters. Regular equivalence gives rise to a whole class of partitions on a network. Given a network we have two different computational problems. The first is how to find a particular regular equivalence. An algorithm exists to find the largest regular partition but there are not efficient algorithms to test whether there is a regular k-partition. That is a partition in k groups that is regular. In addition, when dealing with real data, it is unlikely that any regular partitions exist. To overcome this problem relaxations of regular equivalence have been proposed along with optimisation techniques to find nearly regular partitions. In this paper we review the algorithms that have developed to find particular regular equivalences and look at some of the recent theoretical results which give an insight into the complexity of finding regular partitions.
Resumo:
A practical CFD method is presented in this study to predict the generation of toxic gases in enclosure fires. The model makes use of local combustion conditions to determine the yield of carbon monoxide, carbon dioxide, hydrocarbon, soot and oxygen. The local conditions used in the determination of these species are the local equivalence ratio (LER) and the local temperature. The heat released from combustion is calculated using the volumetric heat source model or the eddy dissipation model (EDM). The model is then used to simulate a range of reduced-scale and full-scale fire experiments. The model predictions for most of the predicted species are then shown to be in good agreement with the test results
Resumo:
The potential of employing zinc polycarboxylate dental cement as a controlled release material has been studied. Benzalkonium chloride was used as the active ingredient, and incorporated at concentrations of 1, 2 and 3% by mass within the cement. At these levels, there was no observable effect on the speed of setting. Release was followed using an ion-selective electrode to determine changes in chloride ion concentration with time. This technique showed that the additive was released when the cured cement was placed in water, with release occurring by a diffusion mechanism for the first 3 h, but continuing beyond that for up to 1 week. Diffusion coefficients were in the range 5.62 × 10(−6) cm(2) s(−1) (for 1% concentration) to 10.90 × 10(−6) cm(2) s(−1) (for 3% concentration). Up to 3% of the total loading of benzalkonium chloride was released from the zinc polycarboxylate after a week, which is similar to that found in previous studies with glass-ionomer cement. It is concluded that zinc polycarboxylate cement is capable of acting as a useful material for the controlled release of active organic compounds.