From Minimum Change to Maximum Density: On S-Repair under Integrity Constraints

2021 ◽  
Author(s):  
Yu Sun ◽  
Shaoxu Song
Keyword(s):  
Maximum Density ◽  
Integrity Constraints ◽  
Minimum Change

Modelling spatial integrity constraints with OCL

2011 ◽  
Vol 21 (SI) ◽  
pp. 95-123 ◽  
Author(s):  
François Pinet ◽  
Magali Duboisset ◽  
Michel Schneider
Keyword(s):  
Integrity Constraints

Haul-out behaviour and densities of ringed seals (Phoca hispida) in the Barrow Strait area, N.W.T.

1979 ◽  
Vol 57 (10) ◽  
pp. 1985-1997 ◽  
Author(s):  
Kerwin J. Finley
Keyword(s):  
Wind Speed ◽  
Early Morning ◽  
Maximum Density ◽  
Stable Population ◽  
The Sun ◽  
High Wind ◽  
Phoca Hispida ◽  
High Wind Speed ◽  
Ringed Seals ◽  
Calm Weather

Numbers of ringed seals hauled out on the ice began to increase in early June. Numbers on the ice were highest from 0900 to 1500 hours Central Standard Time and lowest (average 40–50% of peak) in early morning. Seals commonly remained on the ice for several hours, and occasionally (during calm weather) for > 48 h. Numbers on the ice were reduced on windy days and possibly also on unusually warm, bright and calm days. Seals tended to face away from the wind (particularly with high wind speed) and oriented broadside to the sun. Seals usually occurred singly (60–70% of all groups) at their holes.Numbers of seals hauled out at Freemans Cove remained relatively constant during June (maximum density 4.86/km2), whereas at Aston Bay numbers increased dramatically to a maximum density of 10.44/km2 in late June. The increase was thought to be due to an influx of seals abandoning unstable ice. The density of seal holes at Freemans Cove (5.92/km2) was much higher than at Aston Bay (2.73/km2). The ratio of holes to the maximum numbers of seals (1.12:1) at Freemans Cove represents a first estimate of this relationship in an apparently stable population.

Urban hotspots detection of taxi stops with local maximum density

2021 ◽  
Vol 89 ◽  
pp. 101661
Author(s):  
Xiao-Jian Chen ◽  
Ying Wang ◽  
Jiayi Xie ◽  
Xinyan Zhu ◽  
Jie Shan
Keyword(s):  
Local Maximum ◽  
Maximum Density

Natural Convection in a Horizontal Layer of Water Cooled From Above to Near Freezing

1975 ◽  
Vol 97 (1) ◽  
pp. 47-53 ◽  
Author(s):  
R. E. Forbes ◽  
J. W. Cooper
Keyword(s):  
Heat Transfer ◽  
Boundary Condition ◽  
Natural Convection ◽  
Hydrodynamic Instability ◽  
Convective Heat Transfer Coefficient ◽  
Free Water ◽  
Ambient Air ◽  
Maximum Density ◽  
Surface Boundary ◽  
Initial Water

Natural convection in horizontal layers of water cooled from above to near freezing was studied analytically. The water was confined laterally and underneath by rigid insulators, and the upper horizontal surface was subjected to: (1) a constant 0C temperature, rigid conducting boundary, and (2) a free, water to air convection boundary condition, in which the convective heat transfer coefficient was held constant at values of 5.68 W/m2 · K and 284 W/m2 · K (1.0 and 50.0 Btu/hr ft2F) and the temperature of the ambient air was maintained at 0C. The ratios of the width to the depth of the rectangular water layers under consideration were W/D = 1, 3, and 6. Initially the water is assumed to be at a uniform temperature of either 4C or 8C, and then the upper surface boundary condition was suddenly applied. It was observed in all cases for which the initial water temperature was 4C, that the water remained stagnant and became thermally stratified. Heat transfer application of either of the surface boundary conditions to water initially at 8C produced large convective eddies extending from the bottom to the top of the layer of water. As the liquid layer cooled further, two distinct horizontal regions appeared, the 4C isothermal line separating the two. This produces a region of hydrodynamic instability in the fluid since the maximum density fluid (4C) is physically located above the less dense fluid in the lower portion of the cavity. The large eddies which appeared initially were confined to the hydrodynamically unstable region bounded by the 4C isotherm and the bottom of the cavity. The action of viscous shearing forces upon the stable water above the 4C isotherm produced a second “layer” of eddies. An alternating direction implicit finite difference method was used to solve the coupled system of partial differential equations. The paper presents transient isotherms and streamlines and a discussion of the effect of maximum density on the flow patterns.

CHR grammars

2005 ◽  
Vol 5 (4-5) ◽  
pp. 467-501 ◽  
Author(s):  
HENNING CHRISTIANSEN
Keyword(s):  
Logic Programming ◽  
Integrity Constraints ◽  
Bottom Up ◽  
Context Sensitive ◽  
Language Analysis ◽  
Definite Clause Grammars ◽  
Grammar Rules ◽  
High Flexibility ◽  
Definite Clause ◽  
Specification And Implementation

A grammar formalism based upon CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. These grammars execute as robust bottom-up parsers with an inherent treatment of ambiguity and a high flexibility to model various linguistic phenomena. The formalism extends previous logic programming based grammars with a form of context-sensitive rules and the possibility to include extra-grammatical hypotheses in both head and body of grammar rules. Among the applications are straightforward implementations of Assumption Grammars and abduction under integrity constraints for language analysis. CHR grammars appear as a powerful tool for specification and implementation of language processors and may be proposed as a new standard for bottom-up grammars in logic programming.

Diet Selection and the Contribution of Detritus to the Diet of the Juvenile White Sucker (Catostomus commersoni)

1990 ◽  
Vol 47 (1) ◽  
pp. 41-48 ◽  
Author(s):  
Molly O. Ahlgren
Keyword(s):  
Field Data ◽  
Diet Selection ◽  
Dry Mass ◽  
Maximum Density ◽  
White Sucker ◽  
Quantitative Microscopy ◽  
Catostomus Commersoni ◽  
Invertebrate Prey ◽  
Invertebrate Abundance ◽  
Northern Michigan

The ash-free dry mass (AFDM) of detritus, invertebrates, and algae in the diet of juvenile white sucker (Catostomus commersoni) was determined by quantitative microscopy. Fish were collected from a northern Michigan pond from January through October 1986 and their seasonal diet was compared with benthc invertebrate abundance. The quantity of detritus in sucker foreguts was inversely related to benthic microcrustacean densities. In July, microcrustacean densities were high and they comprised 95% of the AFDM in foregut contents. By October, microcrustacean densities had declined to 13% of their maximum density and detritus comprised over 90% of the sucker's diet AFDM. In laboratory aquaria, sucker that were fed detritus mixed with four different densities of Artemia ingested significantly more detritus from diets that provided lower Artemia densities. In the presence of high Artemia densities, sucker completely rejected detritus and ingested only Artemia, The fact that juvenile sucker can separate detritus from invertebrates that they swallow demonstrates that detritus is not ingested incidentally. Both laboratory and field data support the hypothesis that detritus is ingested intentionally when preferred invertebrate prey are scarce.

A Study on Reaction Bonded Ceramics Fabricated by Silicon Infiltration to B4C Preforms

2012 ◽  
Vol 724 ◽  
pp. 343-346 ◽  
Author(s):  
Rong Zhen Liu ◽  
Qing Wen Duan ◽  
Wen Wei Gu ◽  
Hai Yun Jin ◽  
Shao Chun Xu ◽  
...  
Keyword(s):  
Mechanical Properties ◽  
Fracture Toughness ◽  
Flexural Strength ◽  
Theoretical Result ◽  
Boron Carbide ◽  
Theoretical Calculation ◽  
Vickers Hardness ◽  
Volume Expansion ◽  
Maximum Density ◽  
Infiltration Process

Silicon was infiltrated into B4C preforms to fabricate B4C based composites ceramics at 1600 °C under vacuum circumstance. In this paper, silicon infiltration process was discussed by theoretical calculation. The volume expansion caused by reactions between silicon and boron carbide was about 89.1% from the calculation. In our study, the maximum density of B4C preform for the infiltration of silicon was about 1.5g/cm3 which was larger than theoretical result. The results of mechanical behavior showed that B4C based composites had excellent mechanical properties with a density lower than 2.6g/cm3, Vickers-hardness of this material was 27.2GPa, and this material showed a flexural strength of 349MPa and fracture toughness of 3.8 MPa*m1/2.

Sign in / Sign up

Export Citation Format

Share Document