a wind turbine transformer (wtt) is designed using a 3d wound core while the transformer’s total owning cost (toc) and its inrush current performance realized as the two objective functions in a multi-objective optimization process. multi-objective genetic algorithm is utilized to derive pareto optimal solutions. the effects of inrush current improvement on other operating and design parameters...

A wind turbine transformer (WTT) is designed using a 3D wound core while the transformer’s total owning cost (TOC) and its inrush current performance realized as the two objective functions in a multi-objective optimization process. Multi-objective genetic algorithm is utilized to derive Pareto optimal solutions. The effects of inrush current improvement on other operating and design parameters...

We study the weak truth table (wtt) degree spectra of first-order relational structures. We prove a dichotomy among the possible wtt degree spectra along the lines of Knight’s upward-closure theorem for Turing degree spectra. We prove new results contrasting the wtt degree spectra of finiteand infinite-signature structures. We show that, as a method of defining classes of reals, the wtt degree ...

Abstract. We provide a syntax and a derivation system for a formal language of mathematics called Weak Type Theory (WTT). We give the metatheory of WTT and a number of illustrative examples. WTT is a refinement of de Bruijn’s Mathematical Vernacular (MV) and hence: WTT is faithful to the mathematician’s language yet is formal and avoids ambiguities. WTT is close to the usual way in which mathem...

We study the relationship between a computably enumerable real and its presentations. A set A presents a computably enumerable real α if A is a computably enumerable prefix-free set of strings such that α = ∑ σ∈A 2 −|σ|. Note that ∑ σ∈A 2 −|σ| is precisely the measure of the set of reals that have a string in A as an initial segment. So we will simply abbreviate ∑ σ∈A 2 −|σ| by μ(A). It is know...

We prove that any Chaitin number (i.e., the halting probability of a universal self-delimiting Turing machine) is wtt-complete, but not tt-complete. In this way we obtain a whole class of natural examples of wtt-complete but not tt-complete r.e. sets. The proof is direct and elementary.

Men who have sex with men (MSM) in the USA, represent a vulnerable population with lower rates of HIV testing. There are various specific attributes of HIV testing that may impact willingness to test (WTT) for HIV. Identifying specific attributes influencing patients' decisions around WTT for HIV is critical to ensure improved HIV testing uptake. This study examined WTT for HIV by using conjoin...

We prove that any Chaitin Ω number (i.e., the halting probability of a universal self-delimiting Turing machine) is wtt-complete, but not tt-complete. In this way we obtain a whole class of natural examples of wtt-complete but not tt-complete r.e. sets. The proof is direct and elementary.