{binary search} WAS Re: Non-Ch math, by set-theory non-expert.
http://alexslemonade.org
> Hi, everyone: Please be patient, my set theory is
> pretty rudimentary.
>
> Just curious about this:
>
> Say we are working in non-CH mathematics. This means
> that there are sets of cardinality that is intermediate
> between Aleph_0 and Aleph_1 . What kind of sets are these, that do not exist in CH-math ?.
> Also: what kind of results that hold in CH-math do not
> hold in this non-CH math?. I was reading about some automorphism towers of groups.
>
> Thanks for comments, refs.
CH-math ?.
function searchBinary() --Defines the start of a function. Function
can then be called at any time.
k = 0 -- Variable to count loops in search
VCESource = 1 -- Variable for source value
HIGHIb = 10e-7 -- Variable for High source limit on B/E channel
LOWIb = 1e-9 -- Variable for Lo source limit on B/E channel
HFE1limit = 40 -- Variable for hFE limit
TARGETIc = 100e-6 -- Variable for target current measurement on C/E
channel
smua.source.func = smua.OUTPUT_DCVOLTS -- Set to source voltage
smua.source.rangev = 6 -- Set to source range
smua.source.limiti = (5 * TARGETIc) -- Set source limit
smua.measure.rangei = 10e-3 --Set measure range
smub.source.func = smub.OUTPUT_DCAMPS -- Set to source current
smub.measure.rangei = 100e-6 -- Set measurement range
smub.source.rangev = 6 -- Set source range
smub.measure.rangev = 6 -- Set measurement range
smub.source.limitv = 6 -- Set voltage source compliance
--Start binary search
smua.source.levelv = VCESource -- Set source value
smub.source.leveli = 0 -- Set source value
repeat -- Repeat following code until conditions are met
k = k + 1 -- Increment
Ib = ((HIGHIb-LOWIb)/2) + LOWIb -- Establish source current value
smub.source.leveli = Ib -- Source new current value for B/E channel
delay(0.001) -- Source delay
IcMeas = smua.measure.i() -- Measure C/E current
if (TARGETIc < IcMeas) then -- Evaluate measurement vs. target
HIGHIb = Ib -- If measurement is greater than target, new source value
equals hi limit
else
LOWIb = Ib -- Else new source value equals lo limit
end
until ((math.abs(IcMeas - TARGETIc) < (0.05*TARGETIc))or(k>10)) --
Conditions to continue loop
BETA1_data = IcMeas/Ib -- Calculate Beta (hFE)
if BETA1_data > HFE1limit then --Evaluate Pass/Fail criterion
Pass = 1 --Pass is True
else
Pass = 0
end
end -- End of function
setup() --Call function “setup”
setup(start) --Call function “setup”
VCEO() --Call function “VCEO”
VCEsat() --Call function “VCEsat”
searchBinary()--Call function “searchBinary”
searchBinary(Chi math?)--Call function “searchBinary”
http://meami.org 'search for []setup variable ; -s'