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.
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. 相似文献
The effects of frozen condition on the quality of three sweet corn ears (2038, 2010, 2004) and the pattern (Bonanza), were evaluated. Biometrics characteristics like ear size, ear diameter, row and kernel deep were measured as well as chemical and physical measurement in fresh and frozen states. The corn ears were frozen at -95 degrees C by 7 minutes. The yield and stability of the frozen ears were evaluated at 45 and 90 days of frozen storage (-18 degrees C). The average commercial yield as frozen corn ear for all the hybrids was 54.2%. The industry has a similar value range of 48% to 54%. The ear size average was 21.57 cm, row number was 15, ear diameter 45.54 mm and the kernel corn deep was 8.57 mm. All these measurements were found not different from commercial values found for the industry. All corn samples evaluated showed good stability despites the frozen processing and storage. Hybrid 2038 ranked higher in quality. 相似文献