932 resultados para COUNTABLY CLOSED FORCING
Resumo:
Port-Hamiltonian Systems (PHS) have a particular form that incorporates explicitly a function of the total energy in the system (energy function) and also other functions that describe structure of the system in terms of energy distribution. For PHS, the product of the input and output variables gives the rate of energy change. This type of systems have the property that under certain conditions on the energy function, the system is passive; and thus, stable. Therefore, if one can design a controller such that the closed-loop system retains - or takes - a PHS form, such closed-loop system will inherit the properties of passivity and stability. In this paper, the classical model of marine craft is put into a PHS form. It is shown that models used for positioning control do not have a PHS form due to a kinematic transformation, but a control design can be done such that the closed-loop system takes a PHS form. It is further shown how integral action can be added and how the PHS-form can be exploited to provide a procedure for control design that ensures passivity and thus stability.
Resumo:
In this paper, we address the control design problem of positioning of over-actuated underwater vehicles. The proposed design is based on a control architecture with combined position and velocity loops and a control tuning method based on the decoupled models. We derive analytical tuning rules based on requirements of closed-loop stability, positioning performance, and the vehicle velocity dynamic characteristics. The vehicle modelling is considered from force to motion with appropriate simplifications related to low-speed manoeuvring hydrodynamics and vehicle symmetry. The control design is considered together with a control allocation mapping. This approach makes the control tuning independent of the characteristics of the force actuators and provides the basis for control reconfiguration in the presence of actuator failure. We propose an anti-wind-up implementation of the controller, which ensures that the constraints related to actuation capacity are not violated. This approach simplifies the control allocation problem since the actuator constraints are mapped into generalised force constraints.
Resumo:
Background Numerous studies demonstrate the generation and short-term survival of adipose tissue; however, long-term persistence remains elusive. This study evaluates long-term survival and transferability of de novo adipose constructs based on a ligated vascular pedicle and tissue engineering chamber combination. Methods Defined adipose tissue flaps were implanted into rats in either intact or perforated domed chambers. In half of the groups, the chambers were removed after 10 weeks and the constructs transferred on their vascular pedicle to a new site, where they were observed for a further 10 weeks. In the remaining groups, the tissue construct was observed for 20 weeks inside the chamber. Tissue volume was assessed using magnetic resonance imaging and histologic measures, and constructs were assessed for stability and necrosis. Sections were assessed histologically and for proliferation using Ki-67. Results At 20 weeks, volume analysis revealed an increase in adipose volume from 0.04 ± 0.001 ml at the time of insertion into the chambers to 0.27 ± 0.004 ml in the closed and 0.44 ± 0.014 ml in the perforated chambers. There was an additional increase of approximately 10 to 15 percent in tissue volume in flaps that remained in chambers for 20 weeks, whereas the volume of the transferred tissue not in chambers remained unaltered. Histomorphometric assessment of the tissues documented no signs of hypertrophy, fat necrosis, or atypical changes of the newly generated tissue. Conclusion This study presents a promising new method of generating significant amounts of mature, vascularized, stable, and transferable adipose tissue for permanent autologous soft-tissue replacement.
Resumo:
This paper presents the modeling and motion-sensorless direct torque and flux control of a novel dual-airgap axial-flux permanent-magnet machine optimized for use in flywheel energy storage system (FESS) applications. Independent closed-loop torque and stator flux regulation are performed in the stator flux ( x-y) reference frame via two PI controllers. This facilitates fast torque dynamics, which is critical as far as energy charging/discharging in the FESS is concerned. As FESS applications demand high-speed operation, a new field-weakening algorithm is proposed in this paper. Flux weakening is achieved autonomously once the y-axis voltage exceeds the available inverter voltage. An inherently speed sensorless stator flux observer immune to stator resistance variations and dc-offset effects is also proposed for accurate flux and speed estimation. The proposed observer eliminates the rotary encoder, which in turn reduces the overall weight and cost of the system while improving its reliability. The effectiveness of the proposed control scheme has been verified by simulations and experiments on a machine prototype.
Resumo:
The second of the Hermelin Brain Tumor Center Symposia was held once again at Henry Ford Hospital in Detroit, Michigan on October 24th and 25th, 2003. A public conference was held on the 24th while a closed-door session took place on the 25th. The purpose of these symposia is to bring together experts in a particular field of study with the aim to share information with each other and the public, but then to meet privately to present novel data, hold discussions, and share concepts. While the interaction is intended to benefit all involved, the incentive is the expectation that the shared information will aid researchers at the Hermelin Brain Tumor Center in their quest to identify potential therapeutic targets and explore translational therapeutic strategies for the treatment of patients suffering nervous system tumors...
Resumo:
We initially described a rat chamber model with an inserted arteriovenous pedicle which spontaneously generates 3-dimensional vascularized connective tissue (Tanaka Y et al., Br J Plast Surg 2000; 53: 51-7). More recently we have developed a murine chamber model containing reconstituted basement membrane (Matrigel®) and FGF-2 that generates vascularized adipose tissue in vivo (Cronin K et al., Plast Reconstr Surg 2004; in press). We have extended this work to assess the cellular and matrix requirements for the Matrigel®- induced neo-adipogenesis. We found that chambers sealed to host fat were unable to grow new adipose tissue. In these chambers the Matrigel® became vascularized with maximal outgrowth of vessels extending to the periphery at 6 weeks. A small amount of adipose tissue was found adjacent to the vessels, most likely arising from periadventitial adipose tissue. In contrast, chambers open to interaction with endogenous adipose tissue showed abundant new fat, and partial exposure to adjacent adipose tissue clearly showed neo-adipogenesis only in this area. Addition of small amounts of free fat to the closed chamber containing Matrigel® was able to induce neo-adipogenesis. Addition of small pieces of human fat also caused neo-adipogenesis in immunocompromised (SCID) mice. Also, we found Matrigel® to induce adipogenesis of Lac-Z-tagged (Rosa-26) murine bone marrow-derived mesenchymal stem cells, and cells similar to these have been isolated from human adipose tissue. Given that Matrigel® is a mouse product and cannot be used in humans, we have started investigating alternative matrix scaffolds for adipogenesis such as the PDA-approved PLGA, collagen and purified components derived from Matrigel®, such as laminin-1. The optimal conditions for adipogenesis with these matrices are still being elucidated. In conclusion, we have demonstrated that a precursor cell source inside the chamber is essential for the generation of vascularized adipose tissue in vivo. This technique offers unique potential for the reconstruction of soft tissue defects and may enable the generation of site-specific tissue using the correct microenvironment.
Resumo:
Aim Our aim was to clarify the lineage-level relationships for Melomys cervinipes and its close relatives and investigate whether the patterns of divergence observed for these wet-forest-restricted mammals may be associated with recognized biogeographical barriers. Location Mesic closed forest along the east coast of Australia, from north Queensland to mid-eastern New South Wales. Methods To enable rigorous phylogenetic reconstruction, divergence-date estimation and phylogeographical inference, we analysed DNA sequence and microsatellite data from 307 specimens across the complete distribution of M. cervinipes (45 localities). Results Three divergent genetic lineages were found within M. cervinipes, corresponding to geographically delineated northern, central and southern clades. Additionally, a fourth lineage, comprising M. rubicola and M. capensis, was identified and was most closely related to the northern M. cervinipes lineage. Secondary contact of the northern and central lineages was identified at one locality to the north of the Burdekin Gap. Main conclusions Contemporary processes of repeated habitat fragmentation and contraction, local extinction events and subsequent re-expansion across both small and large areas, coupled with the historical influence of the Brisbane Valley Barrier, the St Lawrence Gap and the Burdekin Gap, have contributed to the present phylogeographical structure within M. cervinipes. Our study highlights the need to sample close to the periphery of putative biogeographical barriers or risk missing vital phylogeographical information that may significantly alter the interpretation of biogeographical hypotheses.
Resumo:
In two earlier papers, an intricate Jackpot structure and analysis of pseudo-random numbers for Keno in the Australian state of Queensland circa 2000 were described. Aspects of the work were also reported at an international conference . Since that time, many aspects of the game in Australia have changed. The present paper presents more up-to-date details of Keno throughout the states of Queensland, New South Wales and Victoria. A much simpler jackpot structure is now in place and this is described. Two add-ons or side-bets to the game are detailed: the trivial Heads or Tails and the more interesting Keno Bonus, which leads to consideration of the subset sum problem. The most intricate structure is where Heads or Tails and Keno Bonus are combined, and here, the issue of independence arises. Closed expressions for expected return to player (ERTP) are presented in all cases.
Resumo:
Recurrence relations in mathematics form a very powerful and compact way of looking at a wide range of relationships. Traditionally, the concept of recurrence has often been a difficult one for the secondary teacher to convey to students. Closely related to the powerful proof technique of mathematical induction, recurrences are able to capture many relationships in formulas much simpler than so-called direct or closed formulas. In computer science, recursive coding often has a similar compactness property, and, perhaps not surprisingly, suffers from similar problems in the classroom as recurrences: the students often find both the basic concepts and practicalities elusive. Using models designed to illuminate the relevant principles for the students, we offer a range of examples which use the modern spreadsheet environment to powerfully illustrate the great expressive and computational power of recurrences.
Resumo:
The occurrence of extreme water level events along low-lying, highly populated and/or developed coastlines can lead to devastating impacts on coastal infrastructure. Therefore it is very important that the probabilities of extreme water levels are accurately evaluated to inform flood and coastal management and for future planning. The aim of this study was to provide estimates of present day extreme total water level exceedance probabilities around the whole coastline of Australia, arising from combinations of mean sea level, astronomical tide and storm surges generated by both extra-tropical and tropical storms, but exclusive of surface gravity waves. The study has been undertaken in two main stages. In the first stage, a high-resolution (~10 km along the coast) hydrodynamic depth averaged model has been configured for the whole coastline of Australia using the Danish Hydraulics Institute’s Mike21 modelling suite of tools. The model has been forced with astronomical tidal levels, derived from the TPX07.2 global tidal model, and meteorological fields, from the US National Center for Environmental Prediction’s global reanalysis, to generate a 61-year (1949 to 2009) hindcast of water levels. This model output has been validated against measurements from 30 tide gauge sites around Australia with long records. At each of the model grid points located around the coast, time series of annual maxima and the several highest water levels for each year were derived from the multi-decadal water level hindcast and have been fitted to extreme value distributions to estimate exceedance probabilities. Stage 1 provided a reliable estimate of the present day total water level exceedance probabilities around southern Australia, which is mainly impacted by extra-tropical storms. However, as the meteorological fields used to force the hydrodynamic model only weakly include the effects of tropical cyclones the resultant water levels exceedance probabilities were underestimated around western, northern and north-eastern Australia at higher return periods. Even if the resolution of the meteorological forcing was adequate to represent tropical cyclone-induced surges, multi-decadal periods yielded insufficient instances of tropical cyclones to enable the use of traditional extreme value extrapolation techniques. Therefore, in the second stage of the study, a statistical model of tropical cyclone tracks and central pressures was developed using histroic observations. This model was then used to generate synthetic events that represented 10,000 years of cyclone activity for the Australia region, with characteristics based on the observed tropical cyclones over the last ~40 years. Wind and pressure fields, derived from these synthetic events using analytical profile models, were used to drive the hydrodynamic model to predict the associated storm surge response. A random time period was chosen, during the tropical cyclone season, and astronomical tidal forcing for this period was included to account for non-linear interactions between the tidal and surge components. For each model grid point around the coast, annual maximum total levels for these synthetic events were calculated and these were used to estimate exceedance probabilities. The exceedance probabilities from stages 1 and 2 were then combined to provide a single estimate of present day extreme water level probabilities around the whole coastline of Australia.
Resumo:
This article lays down the foundations of the renormalization group (RG) approach for differential equations characterized by multiple scales. The renormalization of constants through an elimination process and the subsequent derivation of the amplitude equation [Chen, Phys. Rev. E 54, 376 (1996)] are given a rigorous but not abstract mathematical form whose justification is based on the implicit function theorem. Developing the theoretical framework that underlies the RG approach leads to a systematization of the renormalization process and to the derivation of explicit closed-form expressions for the amplitude equations that can be carried out with symbolic computation for both linear and nonlinear scalar differential equations and first order systems but independently of their particular forms. Certain nonlinear singular perturbation problems are considered that illustrate the formalism and recover well-known results from the literature as special cases. © 2008 American Institute of Physics.
Resumo:
In this article we obtain closed-form solutions for the combined inflation and axial shear of an elastic tube in respect of the compressible Isotropic elastic material introduced by Levinson and Burgess. Several other boundary-value problems are also examined, including the bending of a rectangular block and straightening of a cylindrical sector, both coupled with stretching and shearing, and an axially varying twist deformation. Some of the solutions appear in closed form, others are expressible in terms of elliptic functions.
Resumo:
Aspects of Keno modelling throughout the Australian states of Queensland, New South Wales and Victoria are discussed: the trivial Heads or Tails and the more interesting Keno Bonus, which leads to consideration of the subset sum problem. The most intricate structure is where Heads or Tails and Keno Bonus are combined, and here, the issue of independence arises. Closed expressions for expected return to player are presented in each case.
Resumo:
The literature around Library 2.0 remains largely theoretical with few empirically studies and is particularly limited in developing countries such as Indonesia. This study addresses this gap and aims to provide information about the current state of knowledge on Indonesian LIS professionals’ understanding of Library 2.0. The researchers used qualitative and quantitative approaches for this study, asking thirteen closed- and open-ended questions in an online survey. The researchers used descriptive and in vivo coding to analyze the responses. Through their analysis, they identified three themes: technology, interactivity, and awareness of Library 2.0. Respondents demonstrated awareness of Library 2.0 and a basic understanding of the roles of interactivity and technology in libraries. However, overreliance on technology used in libraries to conceptualize Library 2.0 without an emphasis on its core characteristics and principles could lead to the misalignment of limited resources. The study results will potentially strengthen the research base for Library 2.0 practice, as well as inform LIS curriculum in Indonesia so as to develop practitioners who are able to adapt to users’ changing needs and expectations. It is expected that the preliminary data of this study could be used to design a much larger and more complex future research project in this area.
Resumo:
The propagation of Langmuir waves in nonisothermal plasmas contaminated by fine dust particles with variable charge is investigated for a self-consistent closed system. Dust charge relaxation, ionization, recombination, and collisional dissipation are taken into account. It is shown that the otherwise unstable coupling of the Langmuir and dust-charge relaxation modes becomes stable and the Langmuir waves are frequency down-shifted.