Coalgebra Gauge Theory

We develop a generalised gauge theory in which the role of gauge group is played by a coalgebra and the role of principal bundle by an algebra. The theory provides a unifying point of view which includes quantum group gauge theory, embeddable quantum homogeneous spaces and braided group gauge theory, the latter being introduced now by these means. Examples include ones in which the gauge groups are the braided line and the quantum plane.Comment: 32 pages, LaTeX, uses eps

Use of Semi-Autonomous Tools for ISS Commanding and Monitoring

As the International Space Station (ISS) has moved into a utilization phase, operations have shifted to become more ground-based with fewer mission control personnel monitoring and commanding multiple ISS systems. This shift to fewer people monitoring more systems has prompted use of semi-autonomous console tools in the ISS Mission Control Center (MCC) to help flight controllers command and monitor the ISS. These console tools perform routine operational procedures while keeping the human operator "in the loop" to monitor and intervene when off-nominal events arise. Two such tools, the Pre-positioned Load (PPL) Loader and Automatic Operators Recorder Manager (AutoORM), are used by the ISS Communications RF Onboard Networks Utilization Specialist (CRONUS) flight control position. CRONUS is responsible for simultaneously commanding and monitoring the ISS Command & Data Handling (C&DH) and Communications and Tracking (C&T) systems. PPL Loader is used to uplink small pieces of frequently changed software data tables, called PPLs, to ISS computers to support different ISS operations. In order to uplink a PPL, a data load command must be built that contains multiple user-input fields. Next, a multiple step commanding and verification procedure must be performed to enable an onboard computer for software uplink, uplink the PPL, verify the PPL has incorporated correctly, and disable the computer for software uplink. PPL Loader provides different levels of automation in both building and uplinking these commands. In its manual mode, PPL Loader automatically builds the PPL data load commands but allows the flight controller to verify and save the commands for future uplink. In its auto mode, PPL Loader automatically builds the PPL data load commands for flight controller verification, but automatically performs the PPL uplink procedure by sending commands and performing verification checks while notifying CRONUS of procedure step completion. If an off-nominal condition occurs during procedure execution, PPL Loader notifies CRONUS through popup messages, allowing CRONUS to examine the situation and choose an option of how PPL loader should proceed with the procedure. The use of PPL Loader to perform frequent, routine PPL uplinks offloads CRONUS to better monitor two ISS systems. It also reduces procedure performance time and decreases risk of command errors. AutoORM identifies ISS communication outage periods and builds commands to lock, playback, and unlock ISS Operations Recorder files. Operation Recorder files are circular buffer files of continually recorded ISS telemetry data. Sections of these files can be locked from further writing, be played back to capture telemetry data that occurred during an ISS loss of signal (LOS) period, and then be unlocked for future recording use. Downlinked Operation Recorder files are used by mission support teams for data analysis, especially if failures occur during LOS. The commands to lock, playback, and unlock Operations Recorder files are encompassed in three different operational procedures and contain multiple user-input fields. AutoORM provides different levels of automation for building and uplinking the commands to lock, playback, and unlock Operations Recorder files. In its automatic mode, AutoORM automatically detects ISS LOS periods, then generates and uplinks the commands to lock, playback, and unlock Operations Recorder files when MCC regains signal with ISS. AutoORM also features semi-autonomous and manual modes which integrate CRONUS more into the command verification and uplink process. AutoORMs ability to automatically detect ISS LOS periods and build the necessary commands to preserve, playback, and release recorded telemetry data greatly offloads CRONUS to perform more high-level cognitive tasks, such as mission planning and anomaly troubleshooting. Additionally, since Operations Recorder commands contain numerical time input fields which are tedious for a human to manually build, AutoORM's ability to automatically build commands reduces operational command errors. PPL Loader and AutoORM demonstrate principles of semi-autonomous operational tools that will benefit future space mission operations. Both tools employ different levels of automation to perform simple and routine procedures, thereby offloading human operators to perform higher-level cognitive tasks. Because both tools provide procedure execution status and highlight off-nominal indications, the flight controller is able to intervene during procedure execution if needed. Semi-autonomous tools and systems that can perform routine procedures, yet keep human operators informed of execution, will be essential in future long-duration missions where the onboard crew will be solely responsible for spacecraft monitoring and control

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

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

Symplectic Geometry on Quantum Plane

A study of symplectic forms associated with two dimensional quantum planes and the quantum sphere in a three dimensional orthogonal quantum plane is provided. The associated Hamiltonian vector fields and Poissonian algebraic relations are made explicit.Comment: 12 pages, Late

Metric On Quantum Spaes

We introduce the analogue of the metric tensor in case of $q$-deformed differential calculus. We analyse the consequences of the existence of such metric, showing that this enforces severe restrictions on the parameters of the theory. We discuss in detail the examples of the Manin plane and the $q$-deformation of $SU(2)$. Finally we touch the topic of relations with the Connes' approach.Comment: 7 pages (LaTeX), preprint TPJU 14/9

Computer Support for Petroleum and Natural Gas Industries

The paper presents computer tools usage for supporting petroleum and natural gas industries. These tools are the most effective on infrastructure design and monitoring, as on financial management problem solution.Описано применение компьютерных средств моделирования в нефтяной и газовой промышленности. Эти средства наиболее эффективны при формировании инфраструктуры и мониторинге, а также при решении задач финансового менеджмента.Описано застосування комп’ютерних засобів моделювання у нафтовій та газовій промисловості. Ці засоби є найефективнішими при формуванні інфраструктури і моніторингу, а також при розв’язуванні задач фінансового менеджменту

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