Search results for "example"
showing 10 items of 114 documents
Erratum: An Inverse Backscatter Problem for Electric Impedance Tomography
2011
We fix an incorrect statement from our paper [M. Hanke, N. Hyvonen, and S. Reusswig, SIAM J. Math. Anal., 41 (2009), pp. 1948–1966] claiming that two different perfectly conducting inclusions necessarily have different backscatter in impedance tomography. We also present a counterexample to show that this kind of nonuniqueness does indeed occur.
H∞ fuzzy control of DC-DC converters with input constraint
2012
Published version of an article in the journal: Mathematical Problems in Engineering. Also available from the publisher at: http://dx.doi.org/10.1155/2012/973082 Open access This paper proposes a method for designing H∞ fuzzy control of DC-DC converters under actuator saturation. Because linear control design methods do not take into account the nonlinearity of the system, a T-S fuzzy model and a controller design approach is used. The designed control not only handles the external disturbance but also the saturation of duty cycle. The input constraint is first transformed into a symmetric saturation which is represented by a polytopic model. Stabilization conditions for the H∞ state feedba…
Conjunction of Conditional Events and t-Norms
2019
We study the relationship between a notion of conjunction among conditional events, introduced in recent papers, and the notion of Frank t-norm. By examining different cases, in the setting of coherence, we show each time that the conjunction coincides with a suitable Frank t-norm. In particular, the conjunction may coincide with the Product t-norm, the Minimum t-norm, and Lukasiewicz t-norm. We show by a counterexample, that the prevision assessments obtained by Lukasiewicz t-norm may be not coherent. Then, we give some conditions of coherence when using Lukasiewicz t-norm
An infinite family of counterexamples to a conjecture on positivity
2021
Recently, G. Mason has produced a counterexample of order 128 to a conjecture in conformal field theory and tensor category theory in [Ma]. Here we easily produce an infinite family of counterexamples, the smallest of which has order 72.
Finite Alphabet Control of Logistic Networks with Discrete Uncertainty
2014
We consider logistic networks in which the control and disturbance inputs take values in finite sets. We derive a necessary and sufficient condition for the existence of robustly control invariant (hyperbox) sets. We show that a stronger version of this condition is sufficient to guarantee robust global attractivity, and we construct a counterexample demonstrating that it is not necessary. Being constructive, our proofs of sufficiency allow us to extract the corresponding robust control laws and to establish the invariance of certain sets. Finally, we highlight parallels between our results and existing results in the literature, and we conclude our study with two simple illustrative exampl…
Integrating digital documents by means of concept maps: testing an intervention program with eye-movements modelling examples
2021
When using the Internet to learn about a curricular topic students face the challenge of not only understanding each single document, but also of integrating the ideas in a combined representation. Several intervention studies have tested instructional methods, such as building concept maps, aimed at teaching integration of multiple documents to Secondary education and older students. However, building a concept map may be demanding for learners and requires competencies to build maps in an appropriate way. In the current study we explore the extent to which such integration processes relying a concept map mapping instruction can be efficiently taught to 6th grade students. Specifically, we…
Hidden oscillations in nonlinear control systems
2011
Abstract The method of harmonic linearization, numerical methods, and the applied bifurcation theory together discover new opportunities for analysis of hidden oscillations of control systems. In the present paper new analytical-numerical algorithm for hidden oscillation localization is discussed. Counterexamples construction to Aizerman's conjecture and Kalman's conjecture on absolute stability of control systems are considered.
Hairy black-holes in shift-symmetric theories
2020
Scalar hair of black holes in theories with a shift symmetry are constrained by the no-hair theorem of Hui and Nicolis, assuming spherical symmetry, time-independence of the scalar field and asymptotic flatness. The most studied counterexample is a linear coupling of the scalar with the Gauss-Bonnet invariant. However, in this case the norm of the shift-symmetry current $J^2$ diverges at the horizon casting doubts on whether the solution is physically sound. We show that this is not an issue since $J^2$ is not a scalar quantity, since $J^\mu$ is not a diff-invariant current in the presence of Gauss-Bonnet. The same theory can be written in Horndeski form with a non-analytic function $G_5 \s…
The visual query language CQL for transitive and relational computation
2000
Abstract Classification query language (CQL) is a high-level visual query language with a great expressive power. In CQL the processing of ordinary relations and classifications based on transitive relationships is integrated seamlessly. Relations and classifications are represented in the visual interface in a uniform way through relation and classification skeletons. All query formulation in CQL is QBE-like – based on the intuitive way of filling constants and sample values into the skeletons. In order to guarantee great expressive power, relational and classification expressions can be nested freely with each other at unlimited nesting levels. Recursive definition of transitive processin…
A Note on added information in the RAS Procedure: reexamination of some evidence
2006
International audience; An example in Miernyk (1977) presented a rather counterintuitive result, namely that introducing accurate exogenous information into an RAS matrix estimating procedure could lead to an estimate that was worse than one generated by RAS using no exogenous information at all. This became an oft-cited black mark against RAS. Miller and Blair (1985) included a different (and small) illustration of the same possibility. It was recently pointed out by one of us that the Miller/Blair numerical results are wrong. For that reason, we decided to reexamine all the empirical evidence we could find on the subject. While figures in both Miernyk and Miller/Blair appear to be wrong, …