基于Xscale腕戴式单兵通讯系统设计与实现

设计并实现了适用于作战单兵的无线通讯系统,将通常为头盔式或背心式的通讯系统设计为腕带式通讯系统;文中在嵌入式平台上结合单兵通讯系统的要求,提出了腕戴式单兵通讯系统的总体设计;并根据军用要求,通过简化修改TCP/IP协议栈,提出适用于嵌入式的网络协议栈,来实现以单兵通讯系统为基点的局域网组网:选用以Intel Xscale PXA270为处理器的腕式计算机作为单兵数字助理单元以及军用无线电台共同构成单兵无线通讯系统;通过硬件实现完成了两点间的基本通讯功能以及简单的组网过程.     

The technology profile inventory: Construction,validation, and application

The technology profile inventory (TPI) measures attitudes toward computers and the internet. We describe the most recent phase of the construction of the TPI. The studies reported refine and validate the instrument, and we present the final version as an Appendix A. Using a new sample of respondents (N = 394), we replicated the three major factors found previously (Confidence, Approval, and Interest). The TPI scores were related to patterns of information technology (IT) usage and also to gender. To demonstrate the practical utility of the TPI we report (1) results linking TPI scores to behavior during an internet search task; (2) test–retest results obtained as part of a cognitive training experiment using action video games; and (3) results showing that attitudes to IT may be modified by a particular experience with information technology.     

Multi-modal demands of a smartphone used to place calls and enter addresses during highway driving relative to two embedded systems

There is limited research on trade-offs in demand between manual and voice interfaces of embedded and portable technologies. Mehler et al. identified differences in driving performance, visual engagement and workload between two contrasting embedded vehicle system designs (Chevrolet MyLink and Volvo Sensus). The current study extends this work by comparing these embedded systems with a smartphone (Samsung Galaxy S4). None of the voice interfaces eliminated visual demand. Relative to placing calls manually, both embedded voice interfaces resulted in less eyes-off-road time than the smartphone. Errors were most frequent when calling contacts using the smartphone. The smartphone and MyLink allowed addresses to be entered using compound voice commands resulting in shorter eyes-off-road time compared with the menu-based Sensus but with many more errors. Driving performance and physiological measures indicated increased demand when performing secondary tasks relative to ‘just driving’, but were not significantly different between the smartphone and embedded systems.

Practitioner Summary: The findings show that embedded system and portable device voice interfaces place fewer visual demands on the driver than manual interfaces, but they also underscore how differences in system designs can significantly affect not only the demands placed on drivers, but also the successful completion of tasks.     

Robust finite-time boundedness of multi-agent systems subject to parametric uncertainties and disturbances

In this paper, we consider finite-time control problems for linear multi-agent systems subject to exogenous constant disturbances and impulses. Some sufficient conditions are obtained to ensure the finite-time boundedness of the multi-agent systems, which could be then reduced to a feasibility problem involving linear matrix inequalities. Numerical examples are given to illustrate the results.     

Benchmarking stereo-derived DSMs to lidar by land cover and slope for resource development in northern Ontario,Canada

Topographic and elevation data are essential in the development of supporting infrastructure around mining sites. The de facto standard for acquiring elevation data is through light detection and ranging (lidar). The high labour and monetary cost of acquiring lidar has fostered more cost-effective approaches for creating elevation models that use stereo photogrammetry. To assess the accuracy of stereo-photogrammetry-derived elevation models and their potential application, we benchmark satellite (Worldview-2) and aircraft (South Central Ontario Orthoimagery Project; SCOOP) stereo-derived digital surface models (DSMs) against a lidar-derived DSM. Our results show that both stereo-derived DSMs have strong monotonic correlations with lidar across a range of land-cover types and slopes. The overall vertical accuracy of Worldview-2 and SCOOP DSMs are similar and do not meet the United States National Digital Elevation Program (NDEP) standards. However, accuracy assessment across land-cover types and slope categories show that specific land cover types (i.e. grass, row crops/pasture, sparse vegetation and marsh) on gently sloping terrain compare well to lidar data and meet NDEP accuracy standards. We situate the presented research in the context of northern resource development and discuss opportunities to improve the vertical accuracy of stereo-derived DSMs, for example, through unmanned aerial systems.     

Generalised rely-guarantee concurrency: an algebraic foundation

The rely-guarantee technique allows one to reason compositionally about concurrent programs. To handle interference the technique makes use of rely and guarantee conditions, both of which are binary relations on states. A rely condition is an assumption that the environment performs only atomic steps satisfying the rely relation and a guarantee is a commitment that every atomic step the program makes satisfies the guarantee relation. In order to investigate rely-guarantee reasoning more generally, in this paper we allow interference to be represented by a process rather than a relation and hence derive more general rely-guarantee laws. The paper makes use of a weak conjunction operator between processes, which generalises a guarantee relation to a guarantee process, and introduces a rely quotient operator, which generalises a rely relation to a process. The paper focuses on the algebraic properties of the general rely-guarantee theory. The Jones-style rely-guarantee theory can be interpreted as a model of the general algebraic theory and hence the general laws presented here hold for that theory.     

Nonlinear robust state feedback control system design for nonlinear uncertain systems

This paper presents a systematic approach to the design of a nonlinear robust dynamic state feedback controller for nonlinear uncertain systems using copies of the plant nonlinearities. The technique is based on the use of integral quadratic constraints and minimax linear quadratic regulator control, and uses a structured uncertainty representation. The approach combines a linear state feedback guaranteed cost controller and copies of the plant nonlinearities to form a robust nonlinear controller with a novel control architecture. A nonlinear state feedback controller is designed for a synchronous machine using the proposed method. The design provides improved stability and transient response in the presence of uncertainty and nonlinearity in the system and also provides a guaranteed bound on the cost function. An automatic voltage regulator to track reference terminal voltage is also provided by a state feedback equivalent robust nonlinear proportional integral controller. Copyright © 2016 John Wiley & Sons, Ltd.     

A semantics for Behavior Trees using CSP with specification commands

In this paper we give a formal definition of the requirements translation language Behavior Trees. This language has been used with success in industry to systematically translate large, complex, and often erroneous requirements documents into a structured model of the system. It contains a mixture of state-based manipulations, synchronisation, message passing, and parallel, conditional, and iterative control structures. The formal semantics of a Behavior Tree is given via a translation to a version of Hoare’s process algebra CSP, extended with state-based constructs such as guards and updates, and a message passing facility similar to that used in publish/subscribe protocols. We first provide the extension of CSP and its operational semantics, which preserves the meaning of the original CSP operators, and then the Behavior Tree notation and its translation into the extended version of CSP.