Bookmark this page:
If you were Registered and logged in, you could reply and use other advanced thread options
> =A0 Also: what kind of results that hold in CH-math do not
> =A0hold in this non-CH math?. I was reading about some automorphism tower=
s of groups.
> =A0hold in this non-CH math?. I was reading about some automorphism tower=
> =A0 Thanks for comments, refs.
CH-math ?.
function searchBinary() --Defines the start of a function. Function
can then be called at any time.
k =3D 0 -- Variable to count loops in search
VCESource =3D 1 -- Variable for source value
HIGHIb =3D 10e-7 -- Variable for High source limit on B/E channel
LOWIb =3D 1e-9 -- Variable for Lo source limit on B/E channel
HFE1limit =3D 40 -- Variable for hFE limit
TARGETIc =3D 100e-6 -- Variable for target current measurement on C/E
channel
smua.source.func =3D smua.OUTPUT_DCVOLTS -- Set to source voltage
smua.source.rangev =3D 6 -- Set to source range
smua.source.limiti =3D (5 * TARGETIc) -- Set source limit
smua.measure.rangei =3D 10e-3 --Set measure range
smub.source.func =3D smub.OUTPUT_DCAMPS -- Set to source current
smub.measure.rangei =3D 100e-6 -- Set measurement range
smub.source.rangev =3D 6 -- Set source range
smub.measure.rangev =3D 6 -- Set measurement range
smub.source.limitv =3D 6 -- Set voltage source compliance
--Start binary search
smua.source.levelv =3D VCESource -- Set source value
smub.source.leveli =3D 0 -- Set source value
repeat -- Repeat following code until conditions are met
k =3D k + 1 -- Increment
Ib =3D ((HIGHIb-LOWIb)/2) + LOWIb -- Establish source current value
smub.source.leveli =3D Ib -- Source new current value for B/E channel
delay(0.001) -- Source delay
IcMeas =3D smua.measure.i() -- Measure C/E current
if (TARGETIc < IcMeas) then -- Evaluate measurement vs. target
HIGHIb =3D Ib -- If measurement is greater than target, new source value
equals hi limit
else
LOWIb =3D 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 =3D IcMeas/Ib -- Calculate Beta (hFE)
if BETA1_data > HFE1limit then --Evaluate Pass/Fail criterion
Pass =3D 1 --Pass is True
else
Pass =3D 0
end
end -- End of function
setup() --Call function =93setup=94
setup(start) --Call function =93setup=94
VCEO() --Call function =93VCEO=94
VCEsat() --Call function =93VCEsat=94
searchBinary()--Call function =93searchBinary=94
searchBinary(Chi math?)--Call function =93searchBinary=94
http://meami.org 'search for []setup variable ; -s'
- UTM in search & rescue
- Satellite Navigation
- 2006-11-19
> =A0pretty rudimentary.
> =A0 =A0Just curious about this:
> =A0 =A0Say we are working in non-CH mathematics. This means
> =A0 that there are sets of cardinality that is intermediate
> =A0 between Aleph_0 and Aleph_1 . What kind of sets are these, that do no=