We present a number of alternative ways of handling transitive binary relations that commonly occur in first-order problems, in particular equivalence relations, total orders, and transitive relations in general. We show how such relations can be discovered syntactically in an input theory, and how they can be expressed in alternative ways. We experimentally evaluate different such ways on problems from the TPTP, using resolution-based reasoning tools as well as instance-based tools. Our conclusions are that (1) it is beneficial to consider different treatments of binary relations as a user, and that (2) reasoning tools could benefit from using a preprocessor or even built-in support for certain types of binary relations.
This paper experimentally investigates the role of visual complexity (VC) and prototypicality (PT) as design factors of websites, shaping users' first impressions by means of two studies. In the first study, 119 screenshots of real websites varying in VC (low vs. medium vs. high) and PT (low vs. high) were rated on perceived aesthetics. Screenshot presentation time was varied as a between-subject factor (50 ms vs. 500 ms vs. 1000 ms). Results reveal that VC and PT affect participants' aesthetics ratings within the first 50 ms of exposure. In the second study presentation times were shortened to 17, 33 and 50 ms. Results suggest that VC and PT affect aesthetic perception even within 17 ms, though the effect of PT is less pronounced than the one of VC. With increasing presentation time the effect of PT becomes as influential as the VC effect. This supports the reasoning of the information-processing stage model of aesthetic processing (Leder et al., 2004), where VC is processed at an earlier stage than PT. Overall, websites with low VC and high PT were perceived as highly appealing. 相似文献
This article presents a comprehensive review of numerical methods and models for interface resolving simulations of multiphase
flows in microfluidics and micro process engineering. The focus of the paper is on continuum methods where it covers the three
common approaches in the sharp interface limit, namely the volume-of-fluid method with interface reconstruction, the level
set method and the front tracking method, as well as methods with finite interface thickness such as color-function based
methods and the phase-field method. Variants of the mesoscopic lattice Boltzmann method for two-fluid flows are also discussed,
as well as various hybrid approaches. The mathematical foundation of each method is given and its specific advantages and
limitations are highlighted. For continuum methods, the coupling of the interface evolution equation with the single-field
Navier–Stokes equations and related issues are discussed. Methods and models for surface tension forces, contact lines, heat
and mass transfer and phase change are presented. In the second part of this article applications of the methods in microfluidics
and micro process engineering are reviewed, including flow hydrodynamics (separated and segmented flow, bubble and drop formation,
breakup and coalescence), heat and mass transfer (with and without chemical reactions), mixing and dispersion, Marangoni flows
and surfactants, and boiling. 相似文献
Tantalum— the Earth’s 49th most abundant element— is frequently produced as a by-product of tin smelting. The metal is also extracted from concentrates by reduction with sodium or fused-salt electrolysis; tantalum carbide is produced by carburization of Ta2O5 or tantalum hydride. Sintering, electric-arc melting and electron-beam melting are used to refine and purify raw tantalum. Tantalum’s unique properties make it suitable for a number of diverse applications, including capacitors, chemical equipment, hard-metal tooling and alloys. Tantalum consumption is expected to increase in the capacitor market, because of the demand for electronics equipment. 相似文献
The ionic conductivity of pressed pellets of dehydrated synthetic analcime, sodalite and offretite was determined by a.c. measurements within the range 10 Hz to 10 MHz. The ionic conductivity values of those zeolites exchanged with various monovalent cations were determined by the complex impedance plane method. The conduction activation energies range between 63 and 101 kJ mol–1. Sodium analcime shows the best ionic conductivity, namely 1.8×10–4–1 cm–1 at 400° C. A comparison with the conductivity of other ion-conducting solids was made. 相似文献
Rapidly solidified metal matrix composites have been produced on a laboratory scale either by (1) melt spinning a composite after introduction of the ceramic phase and extrusion of the flakes obtained, or (2) blending melt-spun powder (basic alloy) with the ceramic phase and subsequent extrusion. AlMg(Si) alloys were used as matrix material while SiC particles with diameters of 3 or 20 m were used as the ceramic phase. For the composites prepared by route 1 it was found that the basic alloy was reinforced by the addition of 3 m particles whereas for the 20m particles reinforcement was observed only for very ductile matrices. The bond between SiC particles and matrix was good. A diffusion and wetting bond was formed. For the composites prepared by route 2 it was found that reinforcement did not occur and that the bond between particles and matrix was weak. Debonding of the particles took place in the case of tensile fracture. The advantage of a rapidly solidified matrix for these composites is that relatively high ductilities are combined with good reinforcement effects. Prior contact of the ceramic phase and the aluminium melt is needed for a good bond between SiC and the matrix material. It is concluded that route 1 should be preferred for the production of rapidly solidified aluminium matrix composites. 相似文献
A Fourier Transform Spectrometer using a 250 Watt Mercury lamp, a lamellar grating and a pumped He-cooled detector is applied to the millimeter wave spectral region. The pure rotation spectrum of CH2F, the transmission of graphite particles in a cloud chamber, the interference on round copper dots and the absorption of iron whiskers have been observed. 相似文献
The dynamic performance of point-type smoke detectors is described by a simple model including two independent parameters, the static response threshold, and the characteristic length of the detector. An experimental system with constant rate of increase of smoke density under varying velocity conditions is used to determine the model parameters.Nomenclature
k
constant smoke density gradient (dB/m/s)
-
L
characteristic length of the detector (m)
-
mi
smoke density inside the detector (dB/m)
-
mo
smoke density outside the detector (dB/m)
-
mor
measured smoke density at response (dB/m)
-
mr
response threshold of the detector (dB/m)
-
t
time(s)
-
v
gas flow velocity at the detector (m/s)
-
time constant(s) 相似文献
A study was made of the appraisers' effect on the estimation of metabolic rate with the Edholm scale and a table of the ISO 7243 heat stress standard. The appraisers, five experienced and five inexperienced persons, estimated the metabolic rate of three different work tasks from videotapes. Analysis of variance indicated significant ( [Formula: see text] ) differences in the appraisers' recordings of the activities. The appraisers were grouped according to the similarity of the estimated values they gave. The groups thus contained both experienced and inexperienced appraisers, and it was not possible to classify the appraisers into experienced and inexperienced groups according to their earlier experience. The metabolic rates according to the Edholm scale were higher than according to the ISO 7243 table. The differences in metabolic rates given by the individual observers varied from 38 to 118 W/m(2). The variations in the estimation of metabolic rates were greater when the Edholm scale was used. This variation caused considerable variation also in the predicted mean vote, PMV index. It is recommended that the appraisers be selected carefully, because it is not possible to know whether a randomly selected appraiser is an 'average' or an 'extreme' appraiser without a test. Before conducting extensive field surveys where several appraisers estimate the metabolic rates, it would be useful to arrange training in order to calibrate the levels of the Edholm scale as well as ISO method among the appraisers because training clearly unified the estimation. 相似文献