Members
Search
FAQ
Register
Login
Home
| Forum | Messages | Topics | Last message | ||
|---|---|---|---|---|---|
 Relativistische processen - Probleem 4 | |||||
 |
Probleem 4 Ga uit van een commmunicatieprotocol dat enkele in de ruimte verdeelde componenten van een stilstaand systeem verbindt. Neem aan dat het protocol een gegeven specificatie correct implementeert. Als men het functionerende protocol nu vanaf een eenparig bewegend punt waarneemt dan neem ik aan dat het nog steeds correct werkt. De theorie van dit idee vergt protocolbeschrijvingen en -specificaties waarop men Lorentztransformaties kan uitvoeren en verificaties die onder Lorentztransformatie correct blijven. Het probleem is ten eerste om zulke theorie te ontwikkelen door generalisatie van een (klassieke) procesalgebra waarin de acties tijd en plaats hebben. Het probleem is ten tweede om compatibiliteit te bereiken met algemene relativiteit. Ten derde wil men beide generalisaties uitvoeren vanuit een hybride procesalgebra. Dit drietal vragen laat zich vanzelfsprekend ook in het kader van andere procesformalismen stellen. Het moet dan blijken vanuit welke van de bestaande formalismen men tot hanteerbare antwoorden op deze vragen komt. |
0 | 0 | n/a | |
Current Time: Thu Feb 9 13:38:01 CET 2012