942 resultados para Fold and flip bifurcation curves
Resumo:
Topological quantum error correction codes are currently among the most promising candidates for efficiently dealing with the decoherence effects inherently present in quantum devices. Numerically, their theoretical error threshold can be calculated by mapping the underlying quantum problem to a related classical statistical-mechanical spin system with quenched disorder. Here, we present results for the general fault-tolerant regime, where we consider both qubit and measurement errors. However, unlike in previous studies, here we vary the strength of the different error sources independently. Our results highlight peculiar differences between toric and color codes. This study complements previous results published in New J. Phys. 13, 083006 (2011).
Resumo:
This paper presents a methodology to emulate Single Event Upsets (SEUs) in FPGA flip-flops (FFs). Since the content of a FF is not modifiable through the FPGA configuration memory bits, a dedicated design is required for fault injection in the FFs. The method proposed in this paper is a hybrid approach that combines FPGA partial reconfiguration and extra logic added to the circuit under test, without modifying its operation. This approach has been integrated into a fault-injection platform, named NESSY (Non intrusive ErrorS injection SYstem), developed by our research group. Finally, this paper includes results on a Virtex-5 FPGA demonstrating the validity of the method on the ITC’99 benchmark set and a Feed-Forward Equalization (FFE) filter. In comparison with other approaches in the literature, this methodology reduces the resource consumption introduced to carry out the fault injection in FFs, at the cost of adding very little time overhead (1.6 �μs per fault).
Resumo:
Acknowledgements The authors acknowledge the projects supported by the National Basic Research Program of China (973 Project)(No. 2015CB057405) and the National Natural Science Foundation of China (No. 11372082) and the State Scholarship Fund of CSC. DW thanks for the hospitality of the University of Aberdeen.
Resumo:
Peer reviewed
Resumo:
Peer reviewed
Resumo:
BACKGROUND: To explore the activity of dasatinib alone and in combination with gemcitabine and docetaxel in uterine leiomyosarcoma (uLMS) cell lines, and determine if dasatinib inhibits the SRC pathway. METHODS: SK-UT-1 and SK-UT-1B uLMS cells were treated with gemcitabine, docetaxel and dasatinib individually and in combination. SRC and paxcillin protein expression were determined pre- and post-dasatinib treatment using Meso Scale Discovery (MSD) multi-array immunogenicity assay. Dose-response curves were constructed and the coefficient of drug interaction (CDI) and combination index (CI) for drug interaction calculated. RESULTS: Activated phosphorylated levels of SRC and paxillin were decreased after treatment with dasatinib in both cell lines (p < 0.001). The addition of a minimally active concentration of dasatinib (IC25) decreased the IC50 of each cytotoxic agent by 2-4 fold. The combination of gemcitabine-docetaxel yielded a synergistic effect in SK-UT-1 (CI = 0.59) and an antagonistic effect in SK-UT-1B (CI = 1.36). Dasatinib combined with gemcitabine or docetaxel revealed a synergistic anti-tumor effect (CDI < 1) in both cell lines. The triple drug combination and sequencing revealed conflicting results with a synergistic effect in SK-UT-1B and antagonistic in SK-UT-1. CONCLUSION: Dasatinib inhibits the SRC pathway and yields a synergistic effect with the two-drug combination with either gemcitabine or docetaxel. The value of adding dasatinib to gemcitabine and docetaxel in a triple drug combination is uncertain, but may be beneficial in select uLMS cell lines. Based on our pre-clinical data and known activity of gemcitabine and docetaxel, further evaluation of dasatinib in combination with these agents for the treatment of uLMS is warranted.
Resumo:
Technological developments in biomedical microsystems are opening up new opportunities to improve healthcare procedures. Swallowable diagnostic sensing capsules are an example of these. In none of the diagnostic sensing capsules, is the sensor’s first level packaging achieved via Flip Chip Over Hole (FCOH) method using Anisotropic Conductive Adhesive (ACA). In a capsule application with direct access sensor (DAS), ACA not only provides the electrical interconnection but simultaneously seals the interconnect area and the underlying electronics. The development showed that the ACA FCOH was a viable option for the DAS interconnection. Adequate adhesive formed a strong joint that withstood a shear stress of 120N/mm2 and a compressive stress of 6N required to secure the final sensor assembly in place before encapsulation. Electrical characterization of the ACA joint in a fluid environment showed that the ACA was saturated with moisture and that the ions in the solution actively contributed to the leakage current, characterized by the varying rate of change of conductance. Long term hygrothermal aging of the ACA joint showed that a thermal strain of 0.004 and a hygroscopic strain of 0.0052 were present and resulted in a fatigue like process. In-vitro tests showed that high temperature and acidity had a deleterious effect of the ACA and its joint. It also showed that the ACA contact joints positioned at around or over 1mm would survive the gastrointestinal (GI) fluids and would be able to provide a reliable contact during the entire 72hr of the GI transit time. A final capsule demonstrator was achieved by successfully integrating the DAS, the battery and the final foldable circuitry into a glycerine capsule. Final capsule soak tests suggested that the silicone encapsulated system could survive the 72hr gut transition.
Resumo:
In functional programming, fold is a standard operator that encapsulates a simple pattern of recursion for processing lists. This article is a tutorial on two key aspects of the fold operator for lists. First of all, we emphasize the use of the universal property of fold both as a proof principle that avoids the need for inductive proofs, and as a definition principle that guides the transformation of recursive functions into definitions using fold. Secondly, we show that even though the pattern of recursion encapsulated by fold is simple, in a language with tuples and functions as first-class values the fold operator has greater expressive power than might first be expected.
Resumo:
This article is concerned with the numerical detection of bifurcation points of nonlinear partial differential equations as some parameter of interest is varied. In particular, we study in detail the numerical approximation of the Bratu problem, based on exploiting the symmetric version of the interior penalty discontinuous Galerkin finite element method. A framework for a posteriori control of the discretization error in the computed critical parameter value is developed based upon the application of the dual weighted residual (DWR) approach. Numerical experiments are presented to highlight the practical performance of the proposed a posteriori error estimator.
Resumo:
Loading of the replicative ring helicase onto the origin of replication (oriC) is the final outcome of a well coordinated series of events that collectively constitute a primosomal cascade. Once the ring helicase is loaded, it recruits the primase and signals the switch to the polymerization mode. The transient nature of the helicase-primase (DnaB-DnaG) interaction in the Escherichia coli system has hindered our efforts to elucidate its structure and function. Taking advantage of the stable DnaB-DnaG complex in Bacillus stearothermophilus, we have reviewed conflicting mutagenic data from other bacterial systems and shown that DnaG interacts with the flexible linker that connects the N- and C-terminal domains of DnaB. Furthermore, atomic force microscopy (AFM) imaging experiments show that binding of the primase to the helicase induces predominantly a 3-fold symmetric morphology to the hexameric ring. Overall, three DnaG molecules appear to interact with the hexameric ring helicase but a small number of complexes with two and even one DnaG molecule bound to DnaB were also detected. The structural/functional significance of these data is discussed and a speculative structural model for this complex is suggested.
Resumo:
The rural electrification is characterized by geographical dispersion of the population, low consumption, high investment by consumers and high cost. Moreover, solar radiation constitutes an inexhaustible source of energy and in its conversion into electricity photovoltaic panels are used. In this study, equations were adjusted to field conditions presented by the manufacturer for current and power of small photovoltaic systems. The mathematical analysis was performed on the photovoltaic rural system I- 100 from ISOFOTON, with power 300 Wp, located at the Experimental Farm Lageado of FCA/UNESP. For the development of such equations, the circuitry of photovoltaic cells has been studied to apply iterative numerical methods for the determination of electrical parameters and possible errors in the appropriate equations in the literature to reality. Therefore, a simulation of a photovoltaic panel was proposed through mathematical equations that were adjusted according to the data of local radiation. The results have presented equations that provide real answers to the user and may assist in the design of these systems, once calculated that the maximum power limit ensures a supply of energy generated. This real sizing helps establishing the possible applications of solar energy to the rural producer and informing the real possibilities of generating electricity from the sun.
Resumo:
In this article we consider the a posteriori error estimation and adaptive mesh refinement of discontinuous Galerkin finite element approximations of the bifurcation problem associated with the steady incompressible Navier-Stokes equations. Particular attention is given to the reliable error estimation of the critical Reynolds number at which a steady pitchfork or Hopf bifurcation occurs when the underlying physical system possesses reflectional or Z_2 symmetry. Here, computable a posteriori error bounds are derived based on employing the generalization of the standard Dual-Weighted-Residual approach, originally developed for the estimation of target functionals of the solution, to bifurcation problems. Numerical experiments highlighting the practical performance of the proposed a posteriori error indicator on adaptively refined computational meshes are presented.
Resumo:
Protective relaying comprehends several procedures and techniques focused on maintaining the power system working safely during and after undesired and abnormal network conditions, mostly caused by faulty events. Overcurrent relay is one of the oldest protective relays, its operation principle is straightforward: when the measured current is greater than a specified magnitude the protection trips; less variables are required from the system in comparison with other protections, causing the overcurrent relay to be the simplest and also the most difficult protection to coordinate; its simplicity is reflected in low implementation, operation, and maintenance cost. The counterpart consists in the increased tripping times offered by this kind of relays mostly before faults located far from their location; this problem can be particularly accentuated when standardized inverse-time curves are used or when only maximum faults are considered to carry out relay coordination. These limitations have caused overcurrent relay to be slowly relegated and replaced by more sophisticated protection principles, it is still widely applied in subtransmission, distribution, and industrial systems. In this work, the use of non standardized inverse-time curves, the model and implementation of optimization algorithms capable to carry out the coordination process, the use of different levels of short circuit currents, and the inclusion of distance relays to replace insensitive overcurrent ones are proposed methodologies focused on the overcurrent relay performance improvement. These techniques may transform the typical overcurrent relay into a more sophisticated one without changing its fundamental principles and advantages. Consequently a more secure and still economical alternative can be obtained, increasing its implementation area
Resumo:
This study aimed to provide height, body mass, BMI and waist circumference (WC) growth centile charts for school-children, aged 4–17 years, from central Peru, and to compare Peruvian data with North-American and Argentinean references. The sample consisted of 8753 children and adolescents (4130 boys and 4623 girls) aged 4 to 17 years, from four Peruvian cities: Barranco, La Merced, San Ramón and Junín. Height, body mass and WC were measured according to standardized techniques. Centile curves for height, body mass, BMI and WC were obtained separately for boys and girls using the LMS method. Student t-tests were used to compare mean values. Overall boys have higher median heights than girls, and the 50th percentile for body mass increases curvilinearly from 4 years of age onwards. In boys, the BMI and WC 50th percentiles increase linearly and in girls, the increase presents a curvilinear pattern. Peruvian children are shorter, lighter and have higher BMI than their counterparts in the U.S. and Argentina; in contrast, age and sex-specific WC values are lower. Height, body mass and WC of Peruvian children increased with age and variability was higher at older ages. The growth patterns for height, body mass, BMI and WC among Peruvian children were similar to those observed in North-American and Argentinean peers.
Resumo:
The pace at which challenges are introduced in a game has long been identified as a key determinant of both the enjoyment and difficulty experienced by game players, and their ability to learn from game play. In order to understand how to best pace challenges in games, there is great value in analysing games already demonstrated as highly engaging. Play-through videos of four puzzle games (Portal, Portal 2 Co-operative mode, Braid and Lemmings), were observed and analysed using metrics derived from a behavioural psychology understanding of how people solve problems. Findings suggest that; 1) the main skills learned in each game are introduced separately, 2) through simple puzzles that require only basic performance of that skill, 3) the player has the opportunity to practice and integrate that skill with previously learned skills, and 4) puzzles increase in complexity until the next new skill is introduced. These data provide practical guidance for designers, support contemporary thinking on the design of learning structures in games, and suggest future directions for empirical research.