Strong Bisimilarity: Find Out Q1-P3 & P3->Q1

  • Thread starter Thread starter XodoX
  • Start date Start date
AI Thread Summary
The discussion focuses on determining whether the processes q1-p3 and p3->q1 are strongly bi-similar. The original poster expresses confusion about how to analyze the transitions between the two processes and how to match them properly. There is a suggestion that moving the question to a mathematics forum might attract more responses. The conversation emphasizes the need for a clear understanding of bi-simulation and transition matching in this context. Overall, the thread highlights the challenges faced in solving the problem and the potential for seeking help in a more specialized forum.
XodoX
Messages
195
Reaction score
0

Homework Statement



https://www.dropbox.com/s/p09aulbcf02pfhk/Bisimilarity.jpg

Find out if q1-p3 and p3->q1 are "strongly bi-similar"

Homework Equations


The Attempt at a Solution



No idea.

I have to consider the transition of p and then show it's properly matched by some transition of q ?
I still can't find out how to do the transition here.
And how can I have 2 figures and get the bi-simulation for the paths ?
 
Last edited:
Physics news on Phys.org
This might attract more response if it were moved to a mathematics forum? If you think so, ask one of the mentors to move it for you.

Good luck with your studies.
 
Thread 'Have I solved this structural engineering equation correctly?'
Hi all, I have a structural engineering book from 1979. I am trying to follow it as best as I can. I have come to a formula that calculates the rotations in radians at the rigid joint that requires an iterative procedure. This equation comes in the form of: $$ x_i = \frac {Q_ih_i + Q_{i+1}h_{i+1}}{4K} + \frac {C}{K}x_{i-1} + \frac {C}{K}x_{i+1} $$ Where: ## Q ## is the horizontal storey shear ## h ## is the storey height ## K = (6G_i + C_i + C_{i+1}) ## ## G = \frac {I_g}{h} ## ## C...

Similar threads

Back
Top