Abstract: In order to analyze large-scale scientific data, research
on data exploration and visualization has gained popularity. In this
paper, we focus on the exploration and visualization of scientific
simulation data, and define a spatial V-Optimal histogram for
data summarization. We propose histogram construction algorithms
based on a general binary hierarchical partitioning as well as
a more specific one, the l-grid partitioning. For effective data
summarization and efficient data visualization in scientific data
analysis, we propose an optimal algorithm as well as a heuristic
algorithm for histogram construction. To verify the effectiveness and
efficiency of the proposed methods, we conduct experiments on the
massive evacuation simulation data.
Abstract: The output error of the globoidal cam mechanism can
be considered as a relevant indicator of mechanism performance,
because it determines kinematic and dynamical behavior of
mechanical transmission. Based on the differential geometry and the
rigid body transformations, the mathematical model of surface
geometry of the globoidal cam is established. Then we present the
analytical expression of the output error (including the transmission
error and the displacement error along the output axis) by considering
different manufacture and assembly errors. The effects of the center
distance error, the perpendicular error between input and output axes
and the rotational angle error of the globoidal cam on the output error
are systematically analyzed. A globoidal cam mechanism which is
widely used in automatic tool changer of CNC machines is applied for
illustration. Our results show that the perpendicular error and the
rotational angle error have little effects on the transmission error but
have great effects on the displacement error along the output axis. This
study plays an important role in the design, manufacture and assembly
of the globoidal cam mechanism.
Abstract: The UML modeling of complex distributed systems often is a great challenge due to the large amount of parallel real-time operating components. In this paper the problems of verification of such systems are discussed. ECPN, an Extended Colored Petri Net is defined to formally describe state transitions of components and interactions among components. The relationship between sequence diagrams and Free Choice Petri Nets is investigated. Free Choice Petri Net theory helps verifying the liveness of sequence diagrams. By converting sequence diagrams to ECPNs and then comparing behaviors of sequence diagram ECPNs and statecharts, the consistency among models is analyzed. Finally, a verification process for an example model is demonstrated.