On Woolhouse's Cotton-Spinning Problem
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914921259728896 |
|---|---|
| author | Groote, Jan Friso Willemse, Tim A. C. |
| author_facet | Groote, Jan Friso Willemse, Tim A. C. |
| contents | In 1864 W.S.B. Woolhouse formulated the Cotton-Spinning problem. This problem boils down to the following. A piecer works at a spinning mule and walks back and forth to repair broken threads. The question is how far the piecer is expected to walk when the threads break at random. This problem can neatly be solved using process modelling and quantitative model checking, showing that Woolhouse's model led to an overestimation of the walking distance. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_12623 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On Woolhouse's Cotton-Spinning Problem Groote, Jan Friso Willemse, Tim A. C. Logic in Computer Science 68Q60, 68Q85, 68Q87 I.6.5; I.6.4; F.4.1; F.3.1 In 1864 W.S.B. Woolhouse formulated the Cotton-Spinning problem. This problem boils down to the following. A piecer works at a spinning mule and walks back and forth to repair broken threads. The question is how far the piecer is expected to walk when the threads break at random. This problem can neatly be solved using process modelling and quantitative model checking, showing that Woolhouse's model led to an overestimation of the walking distance. |
| title | On Woolhouse's Cotton-Spinning Problem |
| topic | Logic in Computer Science 68Q60, 68Q85, 68Q87 I.6.5; I.6.4; F.4.1; F.3.1 |
| url | https://arxiv.org/abs/2408.12623 |