A cartographic-oriented model uses algebraic map operations to perform spatial analysis of medical data relative to the human body. A prototype system uses 3D visualization techniques to deliver analysis results. A prototype implementation suggests the model might provide the basis for a medical application tool that introduces new information insight. 相似文献
Nominal terms generalise first-order terms by including abstraction and name swapping constructs. α-equivalence can be easily axiomatised using name swappings and a freshness relation, which makes the nominal approach well adapted to the specification of systems that involve binders. Nominal matching is matching modulo α-equivalence and has applications in programming languages, rewriting, and theorem proving. In this paper, we describe efficient algorithms to check the validity of equations involving binders and to solve matching problems modulo α-equivalence, using the nominal approach. 相似文献
Effects of multiple types of water use efficiency appliances on long term water savings and water use trend shifts were analyzed. The study group included senior and low income families in the urban areas of Miami-Dade County, Florida, USA. The participants in the study group experienced continuous and significant water savings within 3 years of the implementation of the water conservation incentives. Water savings were observed at approximately 200 l per household per day, which is about 31 % reduction in household water demand in comparison to the average residential water demand within the County. The water use profile of participants showed noticeable shifts over time in water demand frequency curves toward lower water consumption rates. The cost-saving analysis showed that adoption of multiple water efficiency appliances contributed to the highest annual monetary savings (i.e., high water savings and moderate product costs). Future conservation program planning efforts should take both water savings and product cost into account in order to achieve the greatest benefits. 相似文献
In this work, two medium Mn steels (5.8 and 5.7 wt pct Mn) were subjected to a quenching and partitioning (Q&P) treatment employing a partitioning temperature which corresponded to the start of austenite reverse transformation (ART). The influence of a 1.6 wt pct Ni addition in one of the steels and cycle parameters on austenite stability and mechanical properties was also studied. High contents of retained austenite were obtained in the lower quenching temperature (QT) condition, which at the same time resulted in a finer microstructure. The addition of Ni was effective in stabilizing higher contents of austenite. The partitioning of Mn and Ni from martensite into austenite was observed by TEM–EDS. The partitioning behaviour of Mn depended on the QT condition. The lower QT condition facilitated Mn enrichment of austenite laths during partitioning and stabilization of a higher content of austenite. The medium Mn steel containing Ni showed outstanding values of the product of tensile strength (TS) and total elongation (TEL) in the lower QT condition and a higher mechanical stability of the austenite.
Elastic properties of Mo1 ? xSix alloy films with 0 ≤ x ≤ 1 have been investigated by the Brillouin light scattering technique thanks to the analysis of the surface acoustic waves in the film on substrate: the so-called Rayleigh surface wave and the Sezawa waves. A transition from crystalline to amorphous state is observed for a Si content, x = 0.19. This transition is accompanied by different modifications of the elastic constants, namely, C11, C33, C13 and C44 that are necessary with C12 to define the effective hexagonal symmetry for the textured <110> polycrystalline alloys. A pronounced softening of the shear elastic C44 constant is observed, from 110 to 60 GPa when x varies from 0 to the critical threshold composition x = 0.19. The longitudinal C33 constant estimated in this work from the BLS measurements shows also a softening from 425 to 315 GPa. An intrinsic consequence of the high supersaturation of MoSi alloys is the development of an important lattice instability. In the amorphous state, the evolution of the elastic properties, that can be defined by the two independent constants C11 and C44 = (C11 ? C12)/2, exhibits two distinct behaviors depending on the electronic properties and the interatomic bonding of the amorphous alloys. 相似文献
The ρ-calculus generalises both term rewriting and the λ-calculus in a uniform framework. Interaction nets are a form of graph rewriting which proved most successful in understanding the dynamics of the λ-calculus, the prime example being the implementation of optimal β-reduction. It is thus natural to study interaction net encodings of the ρ-calculus as a first step towards the definition of efficient reduction strategies. We give two interaction net encodings which bring a new understanding to the operational semantics of the ρ-calculus; however, these encodings have some drawbacks and to overcome them we introduce bigraphical nets—a new paradigm of computation inspired by Lafont's interactions nets and Milner's bigraphs. 相似文献