Visualizing Waypoints‐Constrained Origin‐Destination Patterns for Massive Transportation Data

Origin‐destination (OD) pattern is a highly useful means for transportation research since it summarizes urban dynamics and human mobility. However, existing visual analytics are insufficient for certain OD analytical tasks needed in transport research. For example, transport researchers are interested in path‐related movements across congested roads, besides global patterns over the entire domain. Driven by this need, we propose waypoints‐constrained OD visual analytics, a new approach for exploring path‐related OD patterns in an urban transportation network. First, we use hashing‐based query to support interactive filtering of trajectories through user‐specified waypoints. Second, we elaborate a set of design principles and rules, and derive a novel unified visual representation called the waypoints‐constrained OD view by carefully considering the OD flow presentation, the temporal variation, spatial layout and user interaction. Finally, we demonstrate the effectiveness of our interface with two case studies and expert interviews with five transportation experts.     

BubbleNet: A Cyber Security Dashboard for Visualizing Patterns

The field of cyber security is faced with ever‐expanding amounts of data and a constant barrage of cyber attacks. Within this space, we have designed BubbleNet as a cyber security dashboard to help network analysts identify and summarize patterns within the data. This design study faced a range of interesting constraints from limited time with various expert users and working with users beyond the network analyst, such as network managers. To overcome these constraints, the design study employed a user‐centered design process and a variety of methods to incorporate user feedback throughout the design of BubbleNet. This approach resulted in a successfully evaluated dashboard with users and further deployments of these ideas in both research and operational environments. By explaining these methods and the process, it can benefit future visualization designers to help overcome similar challenges in cyber security or alternative domains.     

Nonlinear aircraft sensor fault reconstruction in the presence of disturbances validated by real flight data

This paper proposes an approach for Inertial Measurement Unit sensor fault reconstruction by exploiting a ground speed-based kinematic model of the aircraft flying in a rotating earth reference system. Two strategies for the validation of sensor fault reconstruction are presented: closed-loop validation and open-loop validation. Both strategies use the same kinematic model and a newly-developed Adaptive Two-Stage Extended Kalman Filter to estimate the states and faults of the aircraft. Simulation results demonstrate the effectiveness of the proposed approach compared to an approach using an airspeed-based kinematic model. Furthermore, the major contribution is that the proposed approach is validated using real flight test data including the presence of external disturbances such as turbulence. Three flight scenarios are selected to test the performance of the proposed approach. It is shown that the proposed approach is robust to model uncertainties, unmodeled dynamics and disturbances such as time-varying wind and turbulence. Therefore, the proposed approach can be incorporated into aircraft Fault Detection and Isolation systems to enhance the performance of the aircraft.     

利用三角形法高校机房管理策略探讨

计算机教育在高等院校的教育中占据了愈来愈重要的位置,而随着计算机设备的不断更新换代,网络环境的日趋复杂多变,对高校计算机机房的管理提出了更高的要求,突破传统的机房管理模式,拓展新的管理方法成为高校机房管理的一个不可避免的问题。提出了利用三角形法管理高校机房的新观点,以期能提高高校机房的管理效能,使之更好地服务于日常教学和科研的需要。     

Observability of switching structured linear systems with unknown input. A graph-theoretic approach

This paper deals with the observability of the discrete mode, the internal state and the input of switching structured linear systems with unknown input. The proposed method, based on a graph-theoretic approach, assumes only the knowledge of the system’s structure. We express, in graphical terms, necessary and sufficient conditions for the generic observability of the discrete mode, the continuous internal state and the input of a switching structured linear system. These conditions can be implemented by classical graph theory algorithms based on finding particular paths and cycles in a digraph.     

Indirect augmented reality

Developing augmented reality (AR) applications for mobile devices and outdoor environments has historically required a number of technical trade-offs related to tracking. One approach is to rely on computer vision which provides very accurate tracking, but can be brittle, and limits the generality of the application. Another approach is to rely on sensor-based tracking which enables widespread use, but at the cost of generally poor tracking performance. In this paper we present and evaluate a new approach, which we call Indirect AR, that enables perfect alignment of virtual content in a much greater number of application scenarios.To achieve this improved performance we replace the live camera view used in video see through AR with a previously captured panoramic image. By doing this we improve the perceived quality of the tracking while still maintaining a similar overall experience. There are some limitations of this technique, however, related to the use of panoramas. We evaluate these boundaries conditions on both a performance and experiential basis through two user studies. The result of these studies indicates that users preferred Indirect AR over traditional AR in most conditions, and when conditions do degrade to the point the experience changes, Indirect AR can still be a very useful tool in many outdoor application scenarios.     

Visualising Errors in Animal Pedigree Genotype Data

Genetic analysis of a breeding animal population involves determining the inheritance pattern of genotypes for multiple genetic markers across the individuals in the population pedigree structure. However, experimental pedigree genotype data invariably contains errors in both the pedigree structure and in the associated individual genotypes, introducing inconsistencies into the dataset, rendering them useless for further analysis. The resolution of these errors requires consideration of genotype inheritance patterns in the context of the pedigree structure. Existing pedigree visualisations are typically more suited to human pedigrees and are less suitable for large complex animal pedigrees which may exhibit cross generational inbreeding. Similarly, table‐based viewers of genotype marker data can highlight where errors become apparent but lack the functionality and interactive visual feedback to allow users to locate the origin of errors within the pedigree. In this paper, we detail a design study steered by biologists who work with pedigree data, and describe successive iterations through approaches and prototypes for viewing genotyping errors in the context of a displayed pedigree. We describe how each approach performs with real pedigree genotype data and why eventually we deemed them unsuitable. Finally, a novel prototype visualisation for pedigrees, which we term the ‘sandwich view’, is detailed and we demonstrate how the approach effectively communicates errors in the pedigree context, supporting the biologist in the error identification task.     

基于AADL的软件重构工具设计与实现

模态(Mode)表示的是软件可操作配置的状态,在一个或多个模态内可对资源和属性进行重新配置,即重构。目前,在对VxWorks系统下C程序的AADL架构进行模态的提取和蓝图制定过程中,还没有现成的工具。因而,设计一个基于AADL架构的软件重构工具将给软件架构的重构提供更大的帮助。为了搭建起基于AADL架构的软件重构可扩展工具平台,在Eclipse开源开发环境下,设计了SRM2( Software Reconfiguration Middlcware based on Mode)插件工具。SRM2工具主要完成对C程序的AADL架构的扫描进而描述程序架构的静态蓝图信息,以及结合代码(探针设计和植入)在VxWorks系统下的运行信息生成动态蓝图,从而指导软件的重构。     

面向智能小区的远程健康监护系统的模式与功能

智能化住宅小区是住宅发展的必然趋势,远程健康监护则是家庭自动化的重要内容之一。本文阐述了建立面向智能小区的远程健康监护系统的结构模式,并讨论了其主要功能。     

基于“合同模块数据库”的电子商务系统设计

文章阐述了在线生成合同,实现网上实时谈判的电子商务软件设计。在设计中用“合同范式数据库”和“合同条款模块数据库”实现了这一功能。