Regularity and relaxed problems of minimizing biharmonic maps into spheres

For n >= 5 and k >= 4, we show that any minimizing biharmonic map from Omega subset of R-n to S-k is smooth off a closed set whose Hausdorff dimension is at most n - 5. When n = 5 and k = 4, for a parameter lambda is an element of [0, 1] we introduce lambda-relaxed energy H-lambda of the Hessian energy for maps in W-2,W-2 (Omega; S-4) so that each minimizer u(lambda) of H-lambda is also a biharmonic map. We also establish the existence and partial regularity of a minimizer of H-lambda for lambda is an element of [0, 1).

Positive solutions of a Neumann problem with competing critical nonlinearities

We present existence results for a Neumann problem involving critical Sobolev nonlinearities both on the right hand side of the equation and at the boundary condition.. Positive solutions are obtained through constrained minimization on the Nehari manifold. Our approach is based on the concentration 'compactness principle of P. L. Lions and M. Struwe.

Summary of the 7th international workshop on Models@run.time

The Models@run.time (MRT) workshop series offers a discussion forum for the rising need to leverage modeling techniques for the software of the future. The main goals are to explore the benefits of models@run.time and to foster collaboration and cross-fertilization between different research communities like for example like model-driven engineering (e.g. MODELS), self-adaptive/autonomous systems communities (e.g., SEAMS and ICAC), the control theory community and the artificial intelligence community. © 2012 Authors.

Self-Learning Fuzzy Spiking Neural Network as a Nonlinear Pulse-Position Threshold Detection Dynamic System Based on Second-Order Critically Damped Response Units

Architecture and learning algorithm of self-learning spiking neural network in fuzzy clustering task are outlined. Fuzzy receptive neurons for pulse-position transformation of input data are considered. It is proposed to treat a spiking neural network in terms of classical automatic control theory apparatus based on the Laplace transform. It is shown that synapse functioning can be easily modeled by a second order damped response unit. Spiking neuron soma is presented as a threshold detection unit. Thus, the proposed fuzzy spiking neural network is an analog-digital nonlinear pulse-position dynamic system. It is demonstrated how fuzzy probabilistic and possibilistic clustering approaches can be implemented on the base of the presented spiking neural network.

Linear binocular combination of responses to contrast modulation:contrast-weighted summation in first- and second-order vision

Binocular combination for first-order (luminancedefined) stimuli has been widely studied, but we know rather little about this binocular process for spatial modulations of contrast (second-order stimuli). We used phase-matching and amplitude-matching tasks to assess binocular combination of second-order phase and modulation depth simultaneously. With fixed modulation in one eye, we found that binocularly perceived phase was shifted, and perceived amplitude increased almost linearly as modulation depth in the other eye increased. At larger disparities, the phase shift was larger and the amplitude change was smaller. The degree of interocular correlation of the carriers had no influence. These results can be explained by an initial extraction of the contrast envelopes before binocular combination (consistent with the lack of dependence on carrier correlation) followed by a weighted linear summation of second-order modulations in which the weights (gains) for each eye are driven by the first-order carrier contrasts as previously found for first-order binocular combination. Perceived modulation depth fell markedly with increasing phase disparity unlike previous findings that perceived first-order contrast was almost independent of phase disparity. We present a simple revision to a widely used interocular gain-control theory that unifies first- and second-order binocular summation with a single principle-contrast-weighted summation-and we further elaborate the model for first-order combination. Conclusion: Second-order combination is controlled by first-order contrast.

Régularité Lipschitzienne des Géodésiques Minimisantes pour Quelques Distributions Affines

2000 Mathematics Subject Classification: 49J15, 49J30, 53B50.

A Dynamic Input-Output Model with Renewable Resources

The paper studies a generalisation of the dynamic Leontief input-output model. The standard dynamic Leontief model will be extended with the balance equation of renewable resources. The renewable stocks will increase regenerating and decrease exploiting primary natural resources. In this study the controllability of this extended model is examined by taking the consumption as the control parameter. Assuming balanced growth for both consumption and production, we investigate the exhaustion of renewable resources in dependence on the balanced growth rate and on the rate of natural regeneration. In doing so, classic results from control theory and on eigenvalue problems in linear algebra are applied.

A Dynamic Input-Output Model with Renewable Resources

The paper studies a generalisation of the dynamic Leontief input-output model. The standard dynamic Leontief model will be extended with the balance equation of renewable resources. The renewable stocks will increase regenerating and decrease exploiting primary natural resources. In this study the controllability of this extended model is examined by taking the consumption as the control parameter. Assuming balanced growth for both consumption and production, we investigate the exhaustion of renewable resources in dependence on the balanced growth rate and on the rate of natural regeneration. In doing so, classic results from control theory and on eigenvalue problems in linear algebra are applied.

Hybrid Power System Intelligent Operation and Protection Involving Plug-in Electric Vehicles

Two key solutions to reduce the greenhouse gas emissions and increase the overall energy efficiency are to maximize the utilization of renewable energy resources (RERs) to generate energy for load consumption and to shift to low or zero emission plug-in electric vehicles (PEVs) for transportation. The present U.S. aging and overburdened power grid infrastructure is under a tremendous pressure to handle the issues involved in penetration of RERS and PEVs. The future power grid should be designed with for the effective utilization of distributed RERs and distributed generations to intelligently respond to varying customer demand including PEVs with high level of security, stability and reliability. This dissertation develops and verifies such a hybrid AC-DC power system. The system will operate in a distributed manner incorporating multiple components in both AC and DC styles and work in both grid-connected and islanding modes. The verification was performed on a laboratory-based hybrid AC-DC power system testbed as hardware/software platform. In this system, RERs emulators together with their maximum power point tracking technology and power electronics converters were designed to test different energy harvesting algorithms. The Energy storage devices including lithium-ion batteries and ultra-capacitors were used to optimize the performance of the hybrid power system. A lithium-ion battery smart energy management system with thermal and state of charge self-balancing was proposed to protect the energy storage system. A grid connected DC PEVs parking garage emulator, with five lithium-ion batteries was also designed with the smart charging functions that can emulate the future vehicle-to-grid (V2G), vehicle-to-vehicle (V2V) and vehicle-to-house (V2H) services. This includes grid voltage and frequency regulations, spinning reserves, micro grid islanding detection and energy resource support. The results show successful integration of the developed techniques for control and energy management of future hybrid AC-DC power systems with high penetration of RERs and PEVs.

Estudo comparativo de dois conversores Boost quadrático com comutação suave monochaveados para aplicação de rastreamento de máxima potência em sistemas fotovoltaicos

This paper makes a comparative study of two Soft Single Switched Quadratic Boost Converters (SSS1 and SSS2) focused on Maximum Power Point Tracking (MPPT) of a PV array using Perturb and Observe (P&O) algorithm. The proposed converters maintain the static gain characteristics and dynamics of the original converter with the advantage of considerably reducing the switching losses and Electromagnetic Interference (EMI). It is displayed the input voltage Quadratic Boost converter modeling; qualitative and quantitative analysis of soft switching converters, defining the operation principles, main waveforms, time intervals and the state variables in each operation steps, phase planes of resonant elements, static voltage gain expressions, analysis of voltage and current efforts in semiconductors and the operational curves at 200 W to 800 W. There are presented project of PI, PID and PID + Notch compensators for MPPT closed-loop system and resonant elements design. In order to analyze the operation of a complete photovoltaic system connected to the grid, it was chosen to simulate a three-phase inverter using the P-Q control theory of three-phase instantaneous power. Finally, the simulation results and experimental with the necessary comparative analysis of the proposed converters will be presented.

Optimising power take-off of an oscillating wave surge converter using high fidelity numerical simulations

Oscillating wave surge converters are a promising technology to harvest ocean wave energy in the near shore region. Although research has been going on for many years, the characteristics of the wave action on the structure and especially the phase relation between the driving force and wave quantities like velocity or surface elevation have not been investigated in detail. The main reason for this is the lack of suitable methods. Experimental investigations using tank tests do not give direct access to overall hydrodynamic loads, only damping torque of a power take off system can be measured directly. Non-linear computational fluid dynamics methods have only recently been applied in the research of this type of devices. This paper presents a new metric named wave torque, which is the total hydrodynamic torque minus the still water pitch stiffness at any given angle of rotation. Changes in characteristics of that metric over a wave cycle and for different power take off settings are investigated using computational fluid dynamics methods. Firstly, it is shown that linearised methods cannot predict optimum damping in typical operating states of OWSCs. We then present phase relationships between main kinetic parameters for different damping levels. Although the flap seems to operate close to resonance, as predicted by linear theory, no obvious condition defining optimum damping is found.

Passivity Framework for Modeling, Composing and Mitigating Cyber Attacks

Thesis (Ph.D.)--University of Washington, 2016-08

Motivation in action: A process model of L2 motivation

As part of a long-term project aimed at designing classroom interventions to motivate language learners, we have searched for a motivation model that could serve as a theoretical basis for the methodological applications. We have found that none of the existing models we considered were entirely adequate for our purpose for three reasons: (1) they did not provide a sufficiently comprehensive and detailed summary of all the relevant motivational influences on classroom behaviour; (2) they tended to focus on how and why people choose certain courses of action, while ignoring or playing down the importance of motivational sources of executing goal-directed behaviour; and (3) they did not do justice to the fact that motivation is not static but dynamically evolving and changing in time, making it necessary for motivation constructs to contain a featured temporal axis. Consequently, partly inspired by Heckhausen and Kuhl's 'Action Control Theory', we have developed a new 'Process Model of L2 Motivation', which is intended both to account for the dynamics of motivational change in time and to synthesise many of the most important motivational conceptualisations to date. In this paper we describe the main components of this model, also listing a number of its limitations which need to be resolved in future research.