Un index de stabilité pour l’embrochage percutané latéral parallèle des fractures supracondyliennes du coude chez l’enfant

Smida, M.; Smaoui, H.; Jlila, T. Ben; Saeid, W.; Safi, Hatem; Ammar, C.; Jalel, C.; Ghachem, Maher Ben

doi:10.1016/s0035-1040(07)90301-3

Cited by 3 publications

(3 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We assume that the error rate is the ratio of RC to MC . Since type‐I fractures don't need pinning to be treated, the error rate is only calculated for type‐IIA, IIB, IIC and III fractures . We obtain the graph illustrated in Figure .…”

Section: Brometh Methodologymentioning

confidence: 99%

“…The pinning robotic arm, P‐BROS, inserts two parallel Kirschner wires using the Judet technique to fix the fractured elbow fragments. To ensure optimal postoperative stability, BROS respects the formula:

S = B true/ D > 0.22

where S is the stability threshold, B the distance separating the two wires and D the humeral palette's width …”

Section: Industrial National‐european Project: Brosmentioning

confidence: 99%

See 1 more Smart Citation

BROMETH: Methodology to design safe reconfigurable medical robotic systems

Salem

Mosbahi

Khalgui

et al. 2016

Robotics Computer Surgery

View full text Add to dashboard Cite

show abstract

Section: Brometh Methodologymentioning

confidence: 99%

S = B true/ D > 0.22

where S is the stability threshold, B the distance separating the two wires and D the humeral palette's width …”

Section: Industrial National‐european Project: Brosmentioning

confidence: 99%

BROMETH: Methodology to design safe reconfigurable medical robotic systems

Salem

Mosbahi

Khalgui

et al. 2016

Robotics Computer Surgery

View full text Add to dashboard Cite

show abstract

“…The two pining robotic arms, P-BROS1 and P-BROS2, insert two parallel Kirschner wires according to Judet technique (Judet, 1953) to fix the fractured elbow's fragments. To insure an optimal postoperative stability, BROS respects the formula = > 0.22, where S is the stability threshold, B the distance separating the two wires and D the humeral palette's width (Smida et al, 2007).…”

Section: Pining Robotic Armsmentioning

confidence: 99%

ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS

Salem

Mosbahi

Khalgui

et al. 2015

Proceedings of the International Conference on Health Informatics

View full text Add to dashboard Cite

This research paper deals with the modeling, simulation and model checking of reconfigurable discreteevent control systems to be distributed on networked devices. A system is composed of software tasks with shared resources to control physical processes. A reconfiguration scenario is assumed to be a run-time automatic operation that modifies the system's structure by adding or removing tasks or resources according to user requirements in order to adapt the whole architecture to its environment. Nevertheless, a reconfiguration can bring the system to a blocking problem that is sometimes unsafe, or violates real-time properties. We define new Petri Nets-based modeling solutions for both tasks and resources to meet these constraints. These solutions are applied to a real case study named Browser-based Reconfigurable Orthopedic Surgery (abbrev. BROS) to illustrate the paper's contribution. A new Petri Nets-based editor and random-simulator named ZiZo is developed to model and simulate the BROS reconfigurable architecture. It is based also on the model checker SESA to apply an exhaustive CTL-based formal verification of this architecture to ensure safe reconfiguration scenarios of tasks and resources.

show abstract