The Chern-Galois character

Following the idea of Galois-type extensions and entwining structures, we define the notion of a principal extension of noncommutative algebras. We show that modules associated to such extensions via finite-dimensional corepresentations are finitely generated projective, and determine an explicit formula for the Chern character applied to the thus obtained modules.Comment: 4 pages, LaTe

Towards the Methodological Harmonization of Passive Testing Across ICT Communities

Non

A square root of the harmonic oscillator

Allowing for the inclusion of the parity operator, it is possible to construct an oscillator model whose Hamiltonian admits an EXACT square root, which is different from the conventional approach based on creation and annihilation operators. We outline such a model, the method of solution and some generalizations.Comment: RevTex, 10 pages in preprint form, no figure

Decision Support Design for Workload Mitigation in Human Supervisory Control of Multiple Unmanned Aerial Vehicles

As UAVs become increasingly autonomous, the multiple personnel currently required to operate a single UAV may eventually be superseded by a single operator concurrently managing multiple UAVs. Instead of lower-level tasks performed by today’s UAV teams, the sole operator would focus on high-level supervisory control tasks such as monitoring mission timelines and reacting to emergent mission events. A key challenge in the design of such single-operator systems will be the need to minimize periods of excessive workload that could arise when critical tasks for several UAVs occur simultaneously. To a certain degree, it is possible to predict and mitigate such periods in advance. However, actions that mitigate a particular period of high workload in the short term may create long term episodes of high workload that were previously non-existent. Thus some kind of decision support is needed that facilitates an operator’s ability to evaluate different options for managing a mission schedule in real-time. This paper describes two decision support visualizations designed for supervisory control of four UAVs performing a time-critical targeting mission. A configural display common to both visualizations, named the StarVis, was designed to highlight potential periods of high workload corresponding to the current mission timeline, as well as “what if” projections of possible high workload periods based upon different operator options. The first visualization design allows an operator to compare different high workload mitigation options for individual UAVs. This is termed the local visualization. The second visualization is indicates the combined effects of multiple high workload mitigation decisions on the timeline. This is termed the global visualization. The main advantage of the local visualization is that options can be compared directly; however, the possible effects of these options on the mission timeline are only indicated for the individual UAV primarily affected by the decision. For the global visualization, different decisions can be combined to show possible effects on the system propagated across all UAVs, but the different alternatives of a single decision option alternative cannot be directly compared. An experiment was conducted testing these visualizations against a control with no visualization. Results showed that subject using the local visualization had better performance, higher situational awareness, and no significant increase in workload over the other two experimental conditions. This occurred despite the fact that the local and global StarVis displays were very similar. Not only did the Global StarVis produce degraded results as compared to the local StarVis, but those participants with no visualization performed as well as those with the global StarVis. This disparity in performance despite strong visual similarities in the StarVis designs is attributed to operators’ inability to process all the information presented in the global StarVis as well as the fact that participants with the local StarVis were able to rapidly develop effective cognitive problem strategies. This research effort highlights a very important design consideration, in that a single decision support design can produce very different performance results when applied at different levels of abstraction.Prepared for Kevin Burns, The MITRE Corporatio

Z3_3-graded differential geometry of quantum plane

In this work, the Z$_3$-graded differential geometry of the quantum plane is constructed. The corresponding quantum Lie algebra and its Hopf algebra structure are obtained. The dual algebra, i.e. universal enveloping algebra of the quantum plane is explicitly constructed and an isomorphism between the quantum Lie algebra and the dual algebra is given.Comment: 17 page

Meso-Scale Hydrologic Modeling for Climate Impact Assessments: A Conceptual and A Regresssion Approach

The paper presents two different approaches to hydrologic modeling for Climate Impact Assessments: A conceptual water balance model and a non-parametric regression model. They both are designed for modeling large-scale river basins (Meso-Scale) at a monthly time step and to accept GCM-based climate scenarios defined as changes in monthly precipitation and temperature. The data requirements for the models are historical, multi-annual series of mean monthly temperature, precipitation, and runoff. These data are used to calibrate the models. GCM data or user-defined sensitivity of climatic variable must be provided for the assessment analyses. The paper describes the theoretical bases of both approaches and presents the results of a comparison of the application of the models to the Vistula River Basin in Poland

Quantum Principal Bundles and Corresponding Gauge Theories

A generalization of classical gauge theory is presented, in the framework of a noncommutative-geometric formalism of quantum principal bundles over smooth manifolds. Quantum counterparts of classical gauge bundles, and classical gauge transformations, are introduced and investigated. A natural differential calculus on quantum gauge bundles is constructed and analyzed. Kinematical and dynamical properties of corresponding gauge theories are discussed.Comment: 28 pages, AMS-LaTe