Symmetry Breaking for Answer Set Programming

In the context of answer set programming, this work investigates symmetry detection and symmetry breaking to eliminate symmetric parts of the search space and, thereby, simplify the solution process. We contribute a reduction of symmetry detection to a graph automorphism problem which allows to extract symmetries of a logic program from the symmetries of the constructed coloured graph. We also propose an encoding of symmetry-breaking constraints in terms of permutation cycles and use only generators in this process which implicitly represent symmetries and always with exponential compression. These ideas are formulated as preprocessing and implemented in a completely automated flow that first detects symmetries from a given answer set program, adds symmetry-breaking constraints, and can be applied to any existing answer set solver. We demonstrate computational impact on benchmarks versus direct application of the solver. Furthermore, we explore symmetry breaking for answer set programming in two domains: first, constraint answer set programming as a novel approach to represent and solve constraint satisfaction problems, and second, distributed nonmonotonic multi-context systems. In particular, we formulate a translation-based approach to constraint answer set solving which allows for the application of our symmetry detection and symmetry breaking methods. To compare their performance with a-priori symmetry breaking techniques, we also contribute a decomposition of the global value precedence constraint that enforces domain consistency on the original constraint via the unit-propagation of an answer set solver. We evaluate both options in an empirical analysis. In the context of distributed nonmonotonic multi-context system, we develop an algorithm for distributed symmetry detection and also carry over symmetry-breaking constraints for distributed answer set programming.Comment: Diploma thesis. Vienna University of Technology, August 201

Reaction Wheel Disturbance Model Extraction Software - RWDMES

The RWDMES is a tool for modeling the disturbances imparted on spacecraft by spinning reaction wheels. Reaction wheels are usually the largest disturbance source on a precision pointing spacecraft, and can be the dominating source of pointing error. Accurate knowledge of the disturbance environment is critical to accurate prediction of the pointing performance. In the past, it has been difficult to extract an accurate wheel disturbance model since the forcing mechanisms are difficult to model physically, and the forcing amplitudes are filtered by the dynamics of the reaction wheel. RWDMES captures the wheel-induced disturbances using a hybrid physical/empirical model that is extracted directly from measured forcing data. The empirical models capture the tonal forces that occur at harmonics of the spin rate, and the broadband forces that arise from random effects. The empirical forcing functions are filtered by a physical model of the wheel structure that includes spin-rate-dependent moments (gyroscopic terms). The resulting hybrid model creates a highly accurate prediction of wheel-induced forces. It accounts for variation in disturbance frequency, as well as the shifts in structural amplification by the whirl modes, as the spin rate changes. This software provides a point-and-click environment for producing accurate models with minimal user effort. Where conventional approaches may take weeks to produce a model of variable quality, RWDMES can create a demonstrably high accuracy model in two hours. The software consists of a graphical user interface (GUI) that enables the user to specify all analysis parameters, to evaluate analysis results and to iteratively refine the model. Underlying algorithms automatically extract disturbance harmonics, initialize and tune harmonic models, and initialize and tune broadband noise models. The component steps are described in the RWDMES user s guide and include: converting time domain data to waterfall PSDs (power spectral densities); converting PSDs to order analysis data; extracting harmonics; initializing and simultaneously tuning a harmonic model and a wheel structural model; initializing and tuning a broadband model; and verifying the harmonic/broadband/structural model against the measurement data. Functional operation is through a MATLAB GUI that loads test data, performs the various analyses, plots evaluation data for assessment and refinement of analysis parameters, and exports the data to documentation or downstream analysis code. The harmonic models are defined as specified functions of frequency, typically speed-squared. The reaction wheel structural model is realized as mass, damping, and stiffness matrices (typically from a finite element analysis package) with the addition of a gyroscopic forcing matrix. The broadband noise model is realized as a set of speed-dependent filters. The tuning of the combined model is performed using nonlinear least squares techniques. RWDMES is implemented as a MATLAB toolbox comprising the Fit Manager for performing the model extraction, Data Manager for managing input data and output models, the Gyro Manager for modifying wheel structural models, and the Harmonic Editor for evaluating and tuning harmonic models. This software was validated using data from Goodrich E wheels, and from GSFC Lunar Reconnaissance Orbiter (LRO) wheels. The validation testing proved that RWDMES has the capability to extract accurate disturbance models from flight reaction wheels with minimal user effort

A New Hypothesis on the Origin of the Three Generations

We suggest that the Standard Model may undergo a supercritical transition near the Landau scale, where the U(1) gauge boson couples to the left and right handed states of any given fermion with different charges. This scenario naturally gives rise to three generations of fermion, corresponding to the three critical scales for the right-right, right-left and left-left fermion interactions going supercritical, as well as CP violation in the quark sector.Comment: 12 pages, LaTeX, To appear in Mod.Phys.Lett.A (1996

Biotechnological Valorization of Food Marine Wastes: Microbial Productions on Peptones Obtained from Aquaculture By-Products

© 2020 by the authors.Based on a biotechnological strategy, in the present work several peptones are produced from the Alcalase hydrolysis (0.1–0.2% v/w, 56–64 °C, pH 8.27–8.98, 3 h) and thermal processing (105 °C, 60 min) of wastes generated from the industrial processing of turbot, salmon, trout, seabream and seabass. These peptones were included (in the range of 2.6–11 g/L of soluble protein) as main source of organic nitrogen (protein substrates) in low-cost media for the culture of lactic acid bacteria (LAB), marine probiotic bacteria (MPB) and ubiquitous Gram+ bacteria. In most cases, batch fermentations conducted in aquaculture peptone media led to the best growth, metabolic productions and yields. Nevertheless, no significant differences between aquaculture peptones and commercial media were generally observed. Kinetic parameters from a logistic equation and used for cultures modeling were applied with the purpose of comparing the bioproduction outcomes. In economical terms, the validity of the aquaculture peptones as substitutives of the peptones (meat extract, casitone, etc.) from commercial media was also compared. The decreasing of the costs for LAB bioproductions ranged between 3–4 times and the growth costs of MPB and Gram+ bacteria were improved more than 70 and 15 times, respectively, in relation to those found in control commercial media.This research was funded by the projects GAIN (EU, Horizon 2020 Framework Research and Innovation Programme under GA n. 773330) and Xunta de Galicia (Grupos de Potencial Crecimiento, IN607B 2018/19).Peer reviewe

Mass-Market Receiver for Static Positioning: Tests and Statistical Analyses

Nowadays, there are several low cost GPS receivers able to provide both pseudorange and carrier phase measurements in the L1band, that allow to have good realtime performances in outdoor condition. The present paper describes a set of dedicated tests in order to evaluate the positioning accuracy in static conditions. The quality of the pseudorange and the carrier phase measurements let hope for interesting results. The use of such kind of receiver could be extended to a large number of professional applications, like engineering fields: survey, georeferencing, monitoring, cadastral mapping and cadastral road. In this work, the receivers performance is verified considering a single frequency solution trying to fix the phase ambiguity, when possible. Different solutions are defined: code, float and fix solutions. In order to solve the phase ambiguities different methods are considered. Each test performed is statistically analyzed, highlighting the effects of different factors on precision and accurac

Contribution of GNSS CORS Infrastructure to the Mission of Modern Geodesy and Status of GNSS CORS in Thailand

Geodesy is the science of measuring and mapping the geometry, orientation and gravity field of the Earth including the associated variations with time. Geodesy has also provided the foundation for high accuracy surveying and mapping. Modern Geodesy involves a range of space and terrestrial technologies that contribute to our knowledge of the solid earth, atmosphere and oceans. These technologies include: Global Positioning System/Global Navigation Satellite Systems (GPS/GNSS), Satellite Laser Ranging (SLR), Very Long Baseline Interferometry (VLBI), Satellite Altimetry, Gravity Mapping Missions such as GRACE, CHAMP and GOCE, satelliteborne Differential Interferometric Synthetic Aperture Radar (DInSAR), Absolute and Relative Gravimetry, and Precise Terrestrial Surveying (Levelling and Traversing). A variety of services have been established in recent years to ensure high accuracy and reliable geodetic products to support geoscientific research. The reference frame defined by Modern Geodesy is now the basis for most national and regional datums. Furthermore, the GPS/GNSS technology is a crucial geopositioning tool for both Geodesy and Surveying. There is therefore a blurring of the distinction between geodetic and surveying GPS/GNSS techniques, and increasingly the ground infrastructure of continuously operating reference stations (CORS) receivers attempts to address the needs of both geodesists and other positioning professionals. Yet Geodesy is also striving to increase the level of accuracy by a factor of ten over the next decade in order to address the demands of “global change” studies. The Global Geodetic Observing System (GGOS) is an important component of the International Association of Geodesy. GGOS aims to integrate all geodetic observations in order to generate a consistent high quality set of geodetic parameters for monitoring the phenomena and processes within the “System Earth”. Integration implies the inclusion of all relevant information for parameter estimation, implying the combination of geometric and gravimetric data, and the common estimation of all the necessary parameters representing the solid Earth, the hydrosphere (including oceans, ice-caps, continental water), and the atmosphere. This paper will describe the background to the establishment of GGOS, discuss the important role to be played by GPS/GNSS infrastructure in realising the GGOS mission and provide an update status of GNSS CORS in Thailand

Особенности применения дискретизации в задачах поиска глобального минимума

В работе рассматривается задача нейросетевой минимизации квадратичного функционала в пространстве бинарных переменных. Для решения задачи предложен и исследован модифицированный алгоритм минимизации, основанный на применении метода дискретизации. Показано, что его применение дает уменьшение объема вычислений.The problem of neural network minimization of quadratic functional in binary space is considered in this paper. To solve problem, modified minimization algorithm is proposed and researched. This algorithm is based on discretization procedure. It is shown that its applying decrease amount of calculation

Morphotectonic and neotectonic control on river pattern in the Sierra de la Cantera piedmont, Central Precordillera, province of San Juan, Argentina

The drainage pattern on the western piedmont of the Sierra de La Cantera is divergent, typical of alluvial fans and showing anomalies that are directly related to the trace of La Cantera thrust. In previous studies, two types of anomalies were identified: upstream of the fault scarp, rivers have a broom-shaped pattern, while downstream – in the hanging block – streams become denser, more sinuous and incised. In this contribution, these morphotectonic aspects were analyzed in detail, making direct and indirect analysis to quantify the relationship between these anomalies and the faults affecting alluvial fans. In addition, the influence of neotectonic activity on smaller water course patterns in the alluvial fan areas was investigated in order to find indicators of on-going vertical movements, since the spatial arrangements of these piedmont channels are determined by slope and structure, where active faults cause diversions or anomalies. Topographic profiles in two selected channels cutting across the trace of the fault were performed using a differential GPS in order to establish the relationship between the sinuosity and slope of these rivers. The results obtained allow us to state that the most sinuous channels have lower slopes and are located in the hanging wall of the fault. Morphometric analysis of scarps stated that active tectonics have played an essential role in controlling the drainage pattern in the piedmont, leading the rivers to adjust to these slope variations.Fil: Perucca, Laura Patricia A.. Universidad Nacional de San Juan. Facultad de Ciencias Exactas Fisicas y Naturales. Instituto de Geologia "Dr. Emiliano Aparicio". Gabinete de Neotectonica y Geomorfologia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Rothis, Luis Martin. Universidad Nacional de San Juan. Facultad de Ciencias Exactas Fisicas y Naturales. Instituto de Geologia "Dr. Emiliano Aparicio". Gabinete de Neotectonica y Geomorfologia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Provincia de San Juan. Ministerio de Planificacion Federal, Inversion Publica y Servicios. Secretaria de Obras Publicas. Instituto Nacional de Prevencion Sismica; ArgentinaFil: Vargas, Horacio N.. CHISÑANCO SRL.; Argentin