928 resultados para Inductive Automaton
Resumo:
Objective: To compare two methods of respiratory inductive plethysmography (RIP) calibration in three different positions. Methods: We evaluated 28 healthy subjects (18 women and 10 men), with a mean age of 25.4 +/- 3.9 years. For all of the subjects, isovolume maneuver calibration (ISOCAL) and qualitative diagnostic calibration (QDC) were used in the orthostatic, sitting, and supine positions. In order to evaluate the concordance between the two calibration methods, we used ANOVA and Bland-Altman plots. Results: The values of the constant of proportionality (X) were significantly different between ISOCAL and QDC in the three positions evaluated: 1.6 +/- 0.5 vs. 2.0 +/- 1.2, in the supine position, 2.5 +/- 0.8 vs. 0.6 +/- 0.3 in the sitting position, and 2.0 +/- 0.8 vs. 0.6 +/- 0.3 in the orthostatic position (p < 0.05 for all). Conclusions: Our results suggest that QDC is an inaccurate method for the calibration of RIP. The K values obtained with ISOCAL reveal that RIP should be calibrated for each position evaluated.
Resumo:
The aim of this thesis is to develop a depth analysis of the inductive power transfer (or wireless power transfer, WPT) along a metamaterial composed of cells arranged in a planar configuration, in order to deliver power to a receiver sliding on them. In this way, the problem of the efficiency strongly affected by the weak coupling between emitter and receiver can be obviated, and the distance of transmission can significantly be increased. This study is made using a circuital approach and the magnetoinductive wave (MIW) theory, in order to simply explain the behavior of the transmission coefficient and efficiency from the circuital and experimental point of view. Moreover, flat spiral resonators are used as metamaterial cells, particularly indicated in literature for WPT metamaterials operating at MHz frequencies (5-30 MHz). Finally, this thesis presents a complete electrical characterization of multilayer and multiturn flat spiral resonators and, in particular, it proposes a new approach for the resistance calculation through finite element simulations, in order to consider all the high frequency parasitic effects. Multilayer and multiturn flat spiral resonators are studied in order to decrease the operating frequency down to kHz, maintaining small external dimensions and allowing the metamaterials to be supplied by electronic power converters (resonant inverters).
Resumo:
Inductive-capacitive (LC) resonant circuit sensors are low-cost, wireless, durable, simple to fabricate and battery-less. Consequently, they are well suited to sensing applications in harsh environments or in situations where large numbers of sensors are needed. They are also advantageous in applications where access to the sensor is limited or impossible or when sensors are needed on a disposable basis. Due to their many advantages, LC sensors have been used for sensing a variety of parameters including humidity, temperature, chemical concentrations, pH, stress/pressure, strain, food quality and even biological growth. However, current versions of the LC sensor technology are limited to sensing only one parameter. The purpose of this work is to develop new types of LC sensor systems that are simpler to fabricate (hence lower cost) or capable of monitoring multiple parameters simultaneously. One design presented in this work, referred to as the multi-element LC sensor, is able to measure multiple parameters simultaneously using a second capacitive element. Compared to conventional LC sensors, this design can sense multiple parameters with a higher detection range than two independent sensors while maintaining the same overall sensor footprint. In addition, the two-element sensor does not suffer from interference issues normally encountered while implementing two LC sensors in close proximity. Another design, the single-spiral inductive-capacitive sensor, utilizes the parasitic capacitance of a coil or spring structure to form a single layer LC resonant circuit. Unlike conventional LC sensors, this design is truly planar, thus simplifying its fabrication process and reducing sensor cost. Due to the simplicity of this sensor layout it will be easier and more cost-effective for embedding in common building or packaging materials during manufacturing processes, thereby adding functionality to current products (such as drywall sheets) while having a minor impact on overall unit cost. These modifications to the LC sensor design significantly improve the functionality and commercial feasibility of this technology, especially for applications where a large array of sensors or multiple sensing parameters are required.
Resumo:
Web-scale knowledge retrieval can be enabled by distributed information retrieval, clustering Web clients to a large-scale computing infrastructure for knowledge discovery from Web documents. Based on this infrastructure, we propose to apply semiotic (i.e., sub-syntactical) and inductive (i.e., probabilistic) methods for inferring concept associations in human knowledge. These associations can be combined to form a fuzzy (i.e.,gradual) semantic net representing a map of the knowledge in the Web. Thus, we propose to provide interactive visualizations of these cognitive concept maps to end users, who can browse and search the Web in a human-oriented, visual, and associative interface.
Resumo:
von Ahron Marcus
Resumo:
A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).
Resumo:
By forcing, we give a direct interpretation of inline image into Avigad's inline image. To the best of the author's knowledge, this is one of the simplest applications of forcing to “real problems”.
Resumo:
In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.
Resumo:
The hair follicle cycle successively goes through the anagen, catagen, telogen, and latency phases, which correspond, respectively, to hair growth, arrest, shedding, and absence before a new anagen phase is initiated. Experimental observations collected over a period of 14 years in a group of 10 male volunteers, alopecic and nonalopecic, allowed us to determine the characteristics of scalp hair follicle cycles. On the basis of these observations, we propose a follicular automaton model to simulate the dynamics of human hair cycles. The automaton model is defined by a set of rules that govern the stochastic transitions of each follicle between the successive states anagen, telogen, and latency, and the subsequent return to anagen. The transitions occur independently for each follicle, after time intervals given stochastically by a distribution characterized by a mean and a variance. The follicular automaton model accounts both for the dynamical transitions observed in a single follicle and for the behavior of an ensemble of independently cycling follicles. Thus, the model successfully reproduces the evolution of the fractions of follicle populations in each of the three phases, which fluctuate around steady-state or slowly drifting values. We apply the follicular automaton model to the study of spatial patterns of follicular growth that result from a spatially heterogeneous distribution of parameters such as the mean duration of anagen phase. When considering that follicles die or miniaturize after going through a critical number of successive cycles, the model can reproduce the evolution to hair patterns similar to well known types of diffuse or androgenetic alopecia.
Resumo:
To clarify the molecular basis of the photoperiodic induction of flowering in the short-day plant Pharbitis nil cv Violet, we examined changes in the level of mRNA in cotyledons during the flower-inductive photoperiod using the technique of differential display by the polymerase chain reaction. A transcript that accumulated during the inductive dark period was identified and a cDNA corresponding to the transcript, designated PnC401 (P. nil C401), was isolated. RNA-blot hybridization verified that levels of PnC401 mRNA fluctuated with a circadian rhythm, with maxima between 12 and 16 h after the beginning of the dark period) and minima of approximately 0. This oscillation continued even during an extended dark period but was damped under continuous light. Accumulation of PnC401 mRNA was reduced by a brief exposure to red light at the 8th h of the dark period (night-break treatment) or by exposure to far-red light at the end of the light period (end-of-day far-red treatment). These results suggest that fluctuations in levels of PnC401 mRNA are regulated by phytochrome(s) and a circadian clock and that they are associated with photoperiodic events that include induction of flowering.
Resumo:
We present a general approach to forming structure-activity relationships (SARs). This approach is based on representing chemical structure by atoms and their bond connectivities in combination with the inductive logic programming (ILP) algorithm PROGOL. Existing SAR methods describe chemical structure by using attributes which are general properties of an object. It is not possible to map chemical structure directly to attribute-based descriptions, as such descriptions have no internal organization. A more natural and general way to describe chemical structure is to use a relational description, where the internal construction of the description maps that of the object described. Our atom and bond connectivities representation is a relational description. ILP algorithms can form SARs with relational descriptions. We have tested the relational approach by investigating the SARs of 230 aromatic and heteroaromatic nitro compounds. These compounds had been split previously into two subsets, 188 compounds that were amenable to regression and 42 that were not. For the 188 compounds, a SAR was found that was as accurate as the best statistical or neural network-generated SARs. The PROGOL SAR has the advantages that it did not need the use of any indicator variables handcrafted by an expert, and the generated rules were easily comprehensible. For the 42 compounds, PROGOL formed a SAR that was significantly (P < 0.025) more accurate than linear regression, quadratic regression, and back-propagation. This SAR is based on an automatically generated structural alert for mutagenicity.
Resumo:
We have developed a paracrine signaling assay capable of mimicking inductive events in the early vertebrate embryo. RNA encoding one or more secreted proteins is microinjected into a Xenopus laevis oocyte. After a brief incubation to allow translation, a piece of embryonic tissue competent to respond to the signaling protein is grafted onto the oocyte. The secreted protein's effect on the grafted explant is then scored by assaying expression of tissue-specific markers. Explants of ectodermal tissue from blastula or gastrula stage embryos were grafted onto oocytes that had been injected with RNA encoding activin or noggin. We found that the paracrine assay faithfully reconstitutes mesoderm induction by activin and neural induction by noggin. Blastula-stage explants grafted onto activin-expressing oocytes expressed the mesodermal marker genes brachyury, goosecoid, and muscle actin. Gastrula-stage explants grafted onto noggin-expressing oocytes expressed neural cell adhesion molecule (NCAM) and formed cement gland. By injecting pools of RNA synthesized from a cDNA expression library into the oocyte, we also used the assay to screen for secreted neural-inducing proteins. We assayed 20,000 independent transformants of a library constructed from LiCl-dorsalized Xenopus laevis embryos, and we identified two cDNAs that induced neural tissue in ectodermal explants from gastrula-stage embryos. Both cDNAs encode noggin. These results suggest that the paracrine assay will be useful for the cloning of novel signaling proteins as well as for the analysis of known factors.
Resumo:
The earliest characterized events during induction of tubulogenesis in renal anlage include the condensation or compaction of metanephrogenic mesenchyme with the concurrent upregulation of WT1, the gene encoding the Wilms tumor transcriptional activator/suppressor. We report that basic fibroblast growth factor (FGF2) can mimic the early effects of an inductor tissue by promoting the condensation of mesenchyme and inhibiting the tissue degeneration associated with the absence of an inductor tissue. By in situ hybridization, FGF2 was also found to mediate the transcriptional activation of WT1 and of the hepatocyte growth factor receptor gene, c-met. Although FGF2 can induce these early events of renal tubulogenesis, it cannot promote the epithelial conversion associated with tubule formation in metanephrogenic mesenchyme. For this, an undefined factor(s) from pituitary extract in combination with FGF2 can cause tubule formation in uninduced mesenchyme. These findings support the concept that induction in kidney is a multiphasic process that is mediated by more than a single comprehensive inductive factor and that soluble molecules can mimic these inductive activities in isolated uninduced metanephrogenic mesenchyme.
Resumo:
Mode of access: Internet.