956 resultados para Differential Inclusions with Constraints
Resumo:
Euryhaline decapod crustaceans possess an efficient regulation apparatus located in the gill epithelia, providing a high adaptation potential to varying environmental abiotic conditions. Even though many studies focussed on the osmoregulatory capacity of the gills, acid-base regulatory mechanisms have obtained much less attention. In the present study, underlying principles and effects of elevated pCO2 on acid-base regulatory patterns were investigated in the green crab Carcinus maenas acclimated to diluted seawater. In gill perfusion experiments, all investigated gills 4-9 were observed to up-regulate the pH of the hemolymph by 0.1-0.2 units. Anterior gills, especially gill 4, were identified to be most efficient in the equivalent proton excretion rate. Ammonia excretion rates mirrored this pattern among gills, indicating a linkage between both processes. In specimen exposed to elevated pCO2 levels for at least 7 days, mimicking a future ocean scenario as predicted until the year 2300, hemolymph K+ and ammonia concentrations were significantly elevated, and an increased ammonia excretion rate was observed. A detailed quantitative gene expression analysis revealed that upon elevated pCO2 exposure, mRNA levels of transcripts hypothesized to be involved in ammonia and acid-base regulation (Rhesus-like protein, membrane-bound carbonic anhydrase, Na+/K+-ATPase) were affected predominantly in the non-osmoregulating anterior gills.
Resumo:
The tolerance and physiological responses of the larvae of two congeneric gastropods, the intertidal Nassarius festivus and subtidal Nassarius conoidalis, to the combined effects of ocean acidification (PCO2 at 380, 950, 1250 ppm), temperature (15, 30 degrees C) and salinity (10, 30 psu) were compared. Results of three-way ANOVA on cumulative mortality after 72-h exposure showed significant interactive effects in which mortality increased with pCO(2) and temperature, but reduced at higher salinity for both species, with higher mortality being obtained for N. conoidalis. Similarly, respiration rate of the larvae increased with temperature and pCO(2) level for both species, with a larger percentage increase for N. conoidalis. Larval swimming speed increased with temperature and salinity for both species whereas higher pCO(2) reduced swimming speed in N. conoidalis but not N. festivus. The present findings indicated that subtidal congeneric species are more sensitive than their intertidal counterparts to the combined effects of these stressors. (c) 2014 Elsevier Ltd. All rights reserved.
Resumo:
We consider a linear precoder design for an underlay cognitive radio multiple-input multiple-output broadcast channel, where the secondary system consisting of a secondary base-station (BS) and a group of secondary users (SUs) is allowed to share the same spectrum with the primary system. All the transceivers are equipped with multiple antennas, each of which has its own maximum power constraint. Assuming zero-forcing method to eliminate the multiuser interference, we study the sum rate maximization problem for the secondary system subject to both per-antenna power constraints at the secondary BS and the interference power constraints at the primary users. The problem of interest differs from the ones studied previously that often assumed a sum power constraint and/or single antenna employed at either both the primary and secondary receivers or the primary receivers. To develop an efficient numerical algorithm, we first invoke the rank relaxation method to transform the considered problem into a convex-concave problem based on a downlink-uplink result. We then propose a barrier interior-point method to solve the resulting saddle point problem. In particular, in each iteration of the proposed method we find the Newton step by solving a system of discrete-time Sylvester equations, which help reduce the complexity significantly, compared to the conventional method. Simulation results are provided to demonstrate fast convergence and effectiveness of the proposed algorithm.
Resumo:
Wireless sensor networks (WSNs) differ from conventional distributed systems in many aspects. The resource limitation of sensor nodes, the ad-hoc communication and topology of the network, coupled with an unpredictable deployment environment are difficult non-functional constraints that must be carefully taken into account when developing software systems for a WSN. Thus, more research needs to be done on designing, implementing and maintaining software for WSNs. This thesis aims to contribute to research being done in this area by presenting an approach to WSN application development that will improve the reusability, flexibility, and maintainability of the software. Firstly, we present a programming model and software architecture aimed at describing WSN applications, independently of the underlying operating system and hardware. The proposed architecture is described and realized using the Model-Driven Architecture (MDA) standard in order to achieve satisfactory levels of encapsulation and abstraction when programming sensor nodes. Besides, we study different non-functional constrains of WSN application and propose two approaches to optimize the application to satisfy these constrains. A real prototype framework was built to demonstrate the developed solutions in the thesis. The framework implemented the programming model and the multi-layered software architecture as components. A graphical interface, code generation components and supporting tools were also included to help developers design, implement, optimize, and test the WSN software. Finally, we evaluate and critically assess the proposed concepts. Two case studies are provided to support the evaluation. The first case study, a framework evaluation, is designed to assess the ease at which novice and intermediate users can develop correct and power efficient WSN applications, the portability level achieved by developing applications at a high-level of abstraction, and the estimated overhead due to usage of the framework in terms of the footprint and executable code size of the application. In the second case study, we discuss the design, implementation and optimization of a real-world application named TempSense, where a sensor network is used to monitor the temperature within an area.
Resumo:
Thesis (Ph.D.)--University of Washington, 2016-08
Resumo:
The aim of this paper is to provide an efficient control design technique for discrete-time positive periodic systems. In particular, stability, positivity and periodic invariance of such systems are studied. Moreover, the concept of periodic invariance with respect to a collection of boxes is introduced and investigated with connection to stability. It is shown how such concept can be used for deriving a stabilizing state-feedback control that maintains the positivity of the closed-loop system and respects states and control signals constraints. In addition, all the proposed results can be efficiently solved in terms of linear programming.
Resumo:
Abstract not available
Resumo:
Topology optimization of linear elastic continuum structures is a challenging problem when considering local stress constraints. The reasons are the singular behavior of the constraint with the density design variables, combined with the large number of constraints even for small finite element meshes. This work presents an alternative formulation for the s-relaxation technique, which provides an workaround for the singularity of the stress constraint. It also presents a new global stress constraint formulation. Derivation of the sensitivities for the constraint by the adjoint method is shown. Results for single and multiple load cases show the potential of the new formulation.
Resumo:
Mental illness affects a sizable minority of Americans at any given time, yet many people with mental illness (hereafter PWMI) remain unemployed or underemployed relative to the general population. Research has suggested that part of the reason for this is discrimination toward PWMI. This research investigated mechanisms that affect employment discrimination against PWMI. Drawing from theories on stigma and power, three studies assessed 1) the stereotyping of workers with mental illness as unfit for workplace success, 2) the impact of positive information on countering these negative stereotypes, and whether negatively-stereotyped conditions elicited discrimination; and 3) the effects of power on mental illness stigma components. I made a series of predictions related to theories on the Stereotype Content Model, illness attribution, the contact hypothesis, gender and mental health, and power. Studies tested predictions using, 1) an online vignette survey measuring attitudes, 2) an online survey measuring responses to fictitious applications for a middle management position, and 3) a laboratory experiment in which some participants were primed to feel powerful and some were not. Results of Study 1 demonstrated that PWMI were routinely stigmatized as incompetent, dangerous, and lacking valued employment attributes, relative to a control condition. This was especially evident for workers presented as having PTSD from wartime service and workers with schizophrenia, and when the worker was a woman. Study 2 showed that, although both war-related PTSD and schizophrenia evoke negative stereotypes, only schizophrenia evoked hiring discrimination. Finally, Study 3 found no effect of being primed to feel powerful on stigmatizing attitudes toward a person with symptoms of schizophrenia. Taken together, findings suggest that employment discrimination towards PWMI is driven by negative stereotypes; but, stereotypes might not lead to actual hiring discrimination for some labeled individuals.
Resumo:
Motion planning, or trajectory planning, commonly refers to a process of converting high-level task specifications into low-level control commands that can be executed on the system of interest. For different applications, the system will be different. It can be an autonomous vehicle, an Unmanned Aerial Vehicle(UAV), a humanoid robot, or an industrial robotic arm. As human machine interaction is essential in many of these systems, safety is fundamental and crucial. Many of the applications also involve performing a task in an optimal manner within a given time constraint. Therefore, in this thesis, we focus on two aspects of the motion planning problem. One is the verification and synthesis of the safe controls for autonomous ground and air vehicles in collision avoidance scenarios. The other part focuses on the high-level planning for the autonomous vehicles with the timed temporal constraints. In the first aspect of our work, we first propose a verification method to prove the safety and robustness of a path planner and the path following controls based on reachable sets. We demonstrate the method on quadrotor and automobile applications. Secondly, we propose a reachable set based collision avoidance algorithm for UAVs. Instead of the traditional approaches of collision avoidance between trajectories, we propose a collision avoidance scheme based on reachable sets and tubes. We then formulate the problem as a convex optimization problem seeking control set design for the aircraft to avoid collision. We apply our approach to collision avoidance scenarios of quadrotors and fixed-wing aircraft. In the second aspect of our work, we address the high level planning problems with timed temporal logic constraints. Firstly, we present an optimization based method for path planning of a mobile robot subject to timed temporal constraints, in a dynamic environment. Temporal logic (TL) can address very complex task specifications such as safety, coverage, motion sequencing etc. We use metric temporal logic (MTL) to encode the task specifications with timing constraints. We then translate the MTL formulae into mixed integer linear constraints and solve the associated optimization problem using a mixed integer linear program solver. We have applied our approach on several case studies in complex dynamical environments subjected to timed temporal specifications. Secondly, we also present a timed automaton based method for planning under the given timed temporal logic specifications. We use metric interval temporal logic (MITL), a member of the MTL family, to represent the task specification, and provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find an optimal motion (or path) sequence for the robot to complete the task.
Resumo:
Interaction between the complement system and carbon nanotubes (CNTs) can modify their intended biomedical applications. Pristine and derivatised CNTs can activate complement primarily via the classical pathway which enhances uptake of CNTs and suppresses pro-inflammatory response by immune cells. Here, we report that the interaction of C1q, the classical pathway recognition molecule, with CNTs involves charge pattern and classical pathway activation that is partly inhibited by factor H, a complement regulator. C1q and its globular modules, but not factor H, enhanced uptake of CNTs by macrophages and modulated the pro-inflammatory immune response. Thus, soluble complement factors can interact differentially with CNTs and alter the immune response even without complement activation. Coating CNTs with recombinant C1q globular heads offers a novel way of controlling classical pathway activation in nanotherapeutics. Surprisingly, the globular heads also enhance clearance by phagocytes and down-regulate inflammation, suggesting unexpected complexity in receptor interaction. From the Clinical Editor: Carbon nanotubes (CNTs) maybe useful in the clinical setting as targeting drug carriers. However, it is also well known that they can interact and activate the complement system, which may have a negative impact on the applicability of CNTs. In this study, the authors functionalized multi-walled CNT (MWNT), and investigated the interaction with the complement pathway. These studies are important so as to gain further understanding of the underlying mechanism in preparation for future use of CNTs in the clinical setting.
Resumo:
Production companies use raw materials to compose end-products. They often make different products with the same raw materials. In this research, the focus lies on the production of two end-products consisting of (partly) the same raw materials as cheap as possible. Each of the products has its own demand and quality requirements consisting of quadratic constraints. The minimization of the costs, given the quadratic constraints is a global optimization problem, which can be difficult because of possible local optima. Therefore, the multi modal character of the (bi-) blend problem is investigated. Standard optimization packages (solvers) in Matlab and GAMS were tested on their ability to solve the problem. In total 20 test cases were generated and taken from literature to test solvers on their effectiveness and efficiency to solve the problem. The research also gives insight in adjusting the quadratic constraints of the problem in order to make a robust problem formulation of the bi-blend problem.
Resumo:
The aim of this paper is to extend the classical envelope theorem from scalar to vector differential programming. The obtained result allows us to measure the quantitative behaviour of a certain set of optimal values (not necessarily a singleton) characterized to become minimum when the objective function is composed with a positive function, according to changes of any of the parameters which appear in the constraints. We show that the sensitivity of the program depends on a Lagrange multiplier and its sensitivity.
Resumo:
The t/t production cross section is measured with the CMS detector in the all-jets channel in $pp$ collisions at the centre-of-mass energy of 13 TeV. The analysis is based on the study of t/t events in the boosted topology, namely events in which decay products of the quark top have a high Lorentz boost and are thus reconstructed in the detector as a single, wide jet. The data sample used in this analysis corresponds to an integrated luminosity of 2.53 fb-1. The inclusive cross section is found to be sigma(t/t) = 727 +- 46 (stat.) +115-112 (sys.) +- 20~(lumi.) pb, a value which is consistent with the theoretical predictions. The differential, detector-level cross section is measured as a function of the transverse momentum of the leading jet and compared to the QCD theoretical predictions. Finally, the differential, parton-level cross section is reported, measured as a function of the transverse momentum of the leading parton, extrapolated to the full phase space and compared to the QCD predictions.
Resumo:
In this work, we report theoretical and experimental cross sections for elastic scattering of electrons by chlorobenzene (ClB). The theoretical integral and differential cross sections (DCSs) were obtained with the Schwinger multichannel method implemented with pseudopotentials (SMCPP) and the independent atom method with screening corrected additivity rule (IAM-SCAR). The calculations with the SMCPP method were done in the static-exchange (SE) approximation, for energies above 12 eV, and in the static-exchange plus polarization approximation, for energies up to 12 eV. The calculations with the IAM-SCAR method covered energies up to 500 eV. The experimental differential cross sections were obtained in the high resolution electron energy loss spectrometer VG-SEELS 400, in Lisbon, for electron energies from 8.0 eV to 50 eV and angular range from 7 degrees to 110 degrees. From the present theoretical integral cross section (ICS) we discuss the low-energy shape-resonances present in chlorobenzene and compare our computed resonance spectra with available electron transmission spectroscopy data present in the literature. Since there is no other work in the literature reporting differential cross sections for this molecule, we compare our theoretical and experimental DCSs with experimental data available for the parent molecule benzene. Published by AIP Publishing.