Evaluation of artery visualizations for heart disease diagnosis

Heart disease is the number one killer in the United States, and finding indicators of the disease at an early stage is critical for treatment and prevention. In this paper we evaluate visualization techniques that enable the diagnosis of coronary artery disease. A key physical quantity of medical interest is endothelial shear stress (ESS). Low ESS has been associated with sites of lesion formation and rapid progression of disease in the coronary arteries. Having effective visualizations of a patient's ESS data is vital for the quick and thorough non-invasive evaluation by a cardiologist. We present a task taxonomy for hemodynamics based on a formative user study with domain experts. Based on the results of this study we developed HemoVis, an interactive visualization application for heart disease diagnosis that uses a novel 2D tree diagram representation of coronary artery trees. We present the results of a formal quantitative user study with domain experts that evaluates the effect of 2D versus 3D artery representations and of color maps on identifying regions of low ESS. We show statistically significant results demonstrating that our 2D visualizations are more accurate and efficient than 3D representations, and that a perceptually appropriate color map leads to fewer diagnostic mistakes than a rainbow color map.     

Cognitive,social and teaching presence in a virtual world and a text chat

Using a framework of cognitive, social, and teaching presence, the nature of learning experiences in a three-dimensional virtual world environment (Second Life) and a text-chat learning environment without visuals (TeachNet) were investigated. A mixed method of code frequencies, coherence graphs, interviews, and a survey was used. The results revealed that the TeachNet debates included more cognitive presence codes that indicate higher levels of cognitive processing than in SL debates. The teams were significantly different from each other in the collaboration style for developing arguments and in the ways to use utterances associated with cognitive, social, and teaching presences, and the groups’ collaboration style became more established with more experience with the tasks. The three critical factors–tool, tasks and group cohesion–that affect cognitive, teaching, and social presence are discussed.     

A Fast Explicit Operator Splitting Method for Passive Scalar Advection

The dispersal and mixing of scalar quantities such as concentrations or thermal energy are often modeled by advection-diffusion equations. Such problems arise in a wide variety of engineering, ecological and geophysical applications. In these situations a quantity such as chemical or pollutant concentration or temperature variation diffuses while being transported by the governing flow. In the passive scalar case, this flow prescribed and unaffected by the scalar. Both steady laminar and complex (chaotic, turbulent or random) time-dependent flows are of interest and such systems naturally lead to questions about the effectiveness of the stirring to disperse and mix the scalar. The development of reliable numerical methods for advection-diffusion equations is crucial for understanding their properties, both physical and mathematical. In this paper, we extend a fast explicit operator splitting method, recently proposed in (A. Chertock, A. Kurganov, G. Petrova, Int. J. Numer. Methods Fluids 59:309–332, 2009), for solving deterministic convection-diffusion equations, to the problems with random velocity fields and singular source terms. A superb performance of the method is demonstrated on several two-dimensional examples.     

Experimental test of a robust formation controller for marine unmanned surface vessels

Experiments with two formation controllers for marine unmanned surface vessels are reported. The formation controllers are designed using the nonlinear robust model-based sliding mode approach. The marine vehicles can operate in arbitrary formation configurations by using two leader-follower control schemes. For the design of these controller schemes 3 degrees of freedom (DOFs) of surge, sway, and yaw are assumed in the planar motion of the marine surface vessels. Each vessel only has two actuators; therefore, the vessels are underactuated and the lack of a kinematic constraint puts them into the holonomic system category. In this work, the position of a control point on the vessel is controlled, and the orientation dynamics is not directly controlled. Therefore, there is a potential for an oscillatory yaw motion to occur. It is shown that the orientation dynamics, as the internal dynamics of this underactuated system, is stable, i.e., the follower vehicle does not oscillate about its control point during the formation maneuvers. The proposed formation controller relies only on the state information obtained from the immediate neighbors of the vessel and the vessel itself. The effectiveness and robustness of formation control laws in the presence of parameter uncertainty and environmental disturbances are demonstrated by using both simulations and field experiments. The experiments were performed in a natural environment on a lake using a small test boat, and show robust performance to parameter uncertainty and disturbance. This paper reports the first experimental verification of the above mentioned approach, whose unique features are the use of a control point, the zero-dynamic stability analysis, the use of leader-follower method and a nonlinear robust control approach.     

Usability principles and best practices for the user interface design of complex 3D architectural design and engineering tools

This study proposes usability principles for the user interfaces (UI) design of complex 3D parametric architectural design and engineering tools. Numerous usability principles have been developed for generic desktop or web applications. The authors tried to apply existing usability principles as guidelines for evaluating complex 3D design and engineering applications. However, the principles were too generic and high-level to be useful as design or evaluation guidelines. The authors, all with more than 10 or 30 years of experience with various CAD systems, selected and reviewed 10 state-of-the-art 3D parametric design and engineering applications and captured what they thought were best practices, as screenshots and videos. The collected best practices were reviewed through a series of discussion sessions. During the discussion sessions, UI design principles underlying the collected best practices were characterized in the line of existing UI principles. Based on the best practices and the derived common UI principles, a new set of refined and detailed UI principles were proposed for improving and evaluating 3D parametric engineering design tools in the future.     

Complexity results on labeled shortest path problems from wireless routing metrics

Metrics to assess the cost of paths through networks are critical to ensuring the efficiency of network routing. This is particularly true in multi-radio multi-hop wireless networks. Effective metrics for these networks must measure the cost of a wireless path based not only on traditional measures such as throughput, but also on the distribution of wireless channels used. In this paper, we argue that routing metrics over such networks may be viewed as a class of existing shortest path problems, the formal language constrained path problems.On this basis, we describe labeled path problems corresponding to two multi-radio wireless routing metrics: Weighted Cumulative Expected Transmission Time (WCETT), developed by Draves et al., and Metric for Interference and Channel-switch (MIC), developed by Yang et al. For the first, we give a concise proof that calculating shortest WCETT paths is strongly NP-Complete for a variety of graph classes. We also show that the existing heuristic given by Draves et al. is an approximator. For the second, we show that calculating loop-free (simple) shortest MIC paths is NP-Complete, and additionally show that the optimization version of the problem is NPO PB-Complete. This result implies that shortest simple MIC paths are only poorly approximable in the worst case.Furthermore, we demonstrate how the polynomial-time algorithm for shortest MIC paths is derivable from an existing language constrained shortest path algorithm. We use this as a basis to exhibit the general utility of viewing multi-channel wireless routing metrics as labeled graph problems, and discuss how a class of related polynomial-time computable metrics are derivable from this algorithm.     

NX CMM数控测量编程产品

一、行业趋势与要求 零件测量检验仍然是质量保证过程中的一个重要要素.在过去几年中,与测量相关的技术在硬件和软件上都发生了很大变化,测量探头与扫描装置采集数据的速度快了很多.但是如果遇到几何图形复杂的零件,要想在单一装置上实现高效测量,则需要多轴探测路径编程.     

Deriving industrial logistics hub reference models for manufacturing based economies

Global enterprises require extended logistics operations that integrate channel intermediaries into the network. The method for deriving integrated models for logistics hubs that improve the efficiency of manufacturers’ global operations is the focus of this paper. Under government sponsorship, six industrial logistics hubs were implemented by leading manufacturing sectors across Taiwan over a five year period from 2004 until 2008. Each industry sector had unique industry characteristics, business strategies, and logistics models. Therefore, this paper describes how generalized and quick to implement integrated logistics hubs are developed by studying the successful reference models and systems used by six independent industrial sectors. The research results provide a field tested method for deriving integrated logistics hub models in different manufacturing economies with notes that provide sufficient methodological detail for repeating the construction of logistics hubs in other manufacturing economies.     

Students’ performance and satisfaction with Web vs. paper-based practice quizzes and lecture notes

The use of computers to deliver course-related materials is rapidly expanding in most universities. Yet the effects of computer vs. printed delivery modes on students’ performance and motivation are not yet fully known. We compared the impacts of Web vs. paper to deliver practice quizzes that require information search in lecture notes. Hundred and twenty two undergraduate students used either a web site or printed documents to answer 18 mathematics questions during a tutored session. A revised Web site was designed based on ergonomic criteria, to test the hypothesis that improved usability would decrease time spent on the task, the number of pages consulted, and students’ perceived cognitive load. The group working with printed documents had the highest performance. Furthermore, students perceived the paper materials as less effortful to read, and expressed preference for printing lecture notes and questions. However, students appreciated having a Web site available. No differences were found between the two sites. We conclude that Web delivery imposed higher perceived cognitive load due to the need to read lengthy documents. We suggest possible ways to improve Web-based practice materials, such as simultaneous display of questions and lecture notes.