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. 相似文献
As heterogeneous data from different sources are being increasingly linked, it becomes difficult for users to understand how the data are connected, to identify what means are suitable to analyze a given data set, or to find out how to proceed for a given analysis task. We target this challenge with a new model-driven design process that effectively codesigns aspects of data, view, analytics, and tasks. We achieve this by using the workflow of the analysis task as a trajectory through data, interactive views, and analytical processes. The benefits for the analysis session go well beyond the pure selection of appropriate data sets and range from providing orientation or even guidance along a preferred analysis path to a potential overall speedup, allowing data to be fetched ahead of time. We illustrate the design process for a biomedical use case that aims at determining a treatment plan for cancer patients from the visual analysis of a large, heterogeneous clinical data pool. As an example for how to apply the comprehensive design approach, we present Stack'n'flip, a sample implementation which tightly integrates visualizations of the actual data with a map of available data sets, views, and tasks, thus capturing and communicating the analytical workflow through the required data sets. 相似文献
In this paper, we present a formulation of the quaternion constraint for rigid body rotations in the form of a standard perfect
bilateral mechanical constraint, for which the associated Lagrangian multiplier has the meaning of a constraint force. First,
the equations of motion of a scalable body are derived. A scalable body has three translational, three rotational, and one
uniform scaling degree of freedom. As generalized coordinates, an unconstrained quaternion and a displacement vector are used.
To the scalable body, a perfect bilateral constraint is added, restricting the quaternion to unit length and making the body
rigid. This way a quaternion based differential algebraic equation (DAE) formulation for the dynamics of a rigid body is obtained,
where the 7×7 mass matrix is regular and the unit length restriction of the quaternion is enforced by a mechanical constraint.
Finally, the equations of motion in the form of a DAE are linked to the Newton–Euler equations of motion of a rigid body.
The rigid body DAE formulation is useful for the construction of (energy) consistent integrators. 相似文献
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. 相似文献
The present theoretical note shows how a natural objective function in stiffness optimization, including both prescribed forces
and non-zero prescribed displacements, is the equilibrium potential energy. It also shows how the resulting problem has a
saddle point character that may be utilized when calculating sensitivities. 相似文献
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. 相似文献