Multiple Sources At Different Frequencies (Probability)

AI Thread Summary
The discussion revolves around calculating the probability that outputs from two sources, A and B, are more recent than each other given their different output frequencies. Source A outputs every 100ms, while source B outputs every 250ms, leading to a potential overlap where A can be ahead of B by up to 50ms. The initial inquiry seeks assistance in determining this probability. After some analysis, it was concluded that the probability of source A being ahead of source B is 0.1. The conversation highlights a desire for a more elegant proof of this finding.
rollypollybear
Messages
2
Reaction score
0
Hi

My prob theory is rusty and I am a little embarrassed I can't figure this one out - but:

If we have two sources A and B that are producing an output at different frequencies - say A produces outputs every 100ms and B produces an output every 250ms .. Obviously even if they are perfectly synced, A may be ahead of B at certain times (by up to 50ms)...I am trying to calculate the probability that an event from A will be more recent than B at any point in time

Can someone help me out with some pointers on this?

Cheers
 
Physics news on Phys.org
OK I did some scenarios on paper and it looks like the solution is stupidly simple - the probability of source A running at 250ms intervals being ahead of source B running at 100ms intervals is 0.1 ... I don't know if anyone knows how to prove this more elegantly though..
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top