scholarly journals Input-Driven Double-Head Pushdown Automata

2017 ◽  
Vol 252 ◽  
pp. 128-142
Author(s):  
Markus Holzer ◽  
Martin Kutrib ◽  
Andreas Malcher ◽  
Matthias Wendlandt
Keyword(s):  
Pushdown Automata ◽  
Double Head

FUZZY CONJUNCTIVE GRAMMAR AND FUZZY SYNCHRONIZED ALTERNATING PUSHDOWN AUTOMATA

2020 ◽  
Vol 9 (11) ◽  
pp. 9463-9480
Author(s):  
R. Pathrakumar ◽  
M. Rajasekar
Keyword(s):  
Pushdown Automata ◽  
Conjunctive Grammar

scholarly journals Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties

2021 ◽  
Vol 22 (2) ◽  
pp. 1-37
Author(s):  
Christopher H. Broadbent ◽  
Arnaud Carayol ◽  
C.-H. Luke Ong ◽  
Olivier Serre
Keyword(s):  
Model Checking ◽  
Free Variable ◽  
Higher Order ◽  
Second Order ◽  
Effective Solution ◽  
Parity Games ◽  
Transition Graphs ◽  
Second Order Logic ◽  
Pushdown Automata ◽  
Monadic Second Order Logic

This article studies the logical properties of a very general class of infinite ranked trees, namely, those generated by higher-order recursion schemes. We consider, for both monadic second-order logic and modal -calculus, three main problems: model-checking, logical reflection (a.k.a. global model-checking, that asks for a finite description of the set of elements for which a formula holds), and selection (that asks, if exists, for some finite description of a set of elements for which an MSO formula with a second-order free variable holds). For each of these problems, we provide an effective solution. This is obtained, thanks to a known connection between higher-order recursion schemes and collapsible pushdown automata and on previous work regarding parity games played on transition graphs of collapsible pushdown automata.

scholarly journals From Security Protocols to Pushdown Automata

2015 ◽  
Vol 17 (1) ◽  
pp. 1-45 ◽  
Author(s):  
Rémy Chrétien ◽  
Véronique Cortier ◽  
Stéphanie Delaune
Keyword(s):  
Security Protocols ◽  
Pushdown Automata

scholarly journals Reachability relations of timed pushdown automata

2021 ◽  
Vol 117 ◽  
pp. 202-241
Author(s):  
Lorenzo Clemente ◽  
Sławomir Lasota
Keyword(s):  
Pushdown Automata

Experimental investigation on gliding arc plasma ignition in double-head swirling combustor

2021 ◽  
Vol 113 ◽  
pp. 106726
Author(s):  
Min Jia ◽  
Dong Lin ◽  
Shengfang Huang ◽  
Zhibo Zhang ◽  
Wei Cui ◽  
...  
Keyword(s):  
Experimental Investigation ◽  
Arc Plasma ◽  
Gliding Arc ◽  
Gliding Arc Plasma ◽  
Plasma Ignition ◽  
Double Head

Pushdown Automata

2019 ◽  
pp. 161-182
Author(s):  
Ganesh Lalitha Gopalakrishnan
Keyword(s):  
Pushdown Automata

scholarly journals Comparison of Ordinary Cannulated Compression Screw and Double-Head Cannulated Compression Screw Fixation in Vertical Femoral Neck Fractures

2020 ◽  
Vol 2020 ◽  
pp. 1-9
Author(s):  
Yuelei Zhang ◽  
Chao Yan ◽  
Lecheng Zhang ◽  
Wei Zhang ◽  
Gang Wang
Keyword(s):  
Femoral Neck ◽  
Maximum Load ◽  
Femoral Neck Fractures ◽  
Axial Stiffness ◽  
Screw Loosening ◽  
Compression Screw ◽  
Fixation Failure ◽  
Fracture Displacement ◽  
Load To Failure ◽  
Double Head

Background. The treatment of vertical femoral neck fractures in young patients remains a challenge. This study is aimed at comparing ordinary cannulated compression screw (OCCS) and double-head cannulated compression screw (DhCCS) fixation in vertical femoral neck fractures both clinically and biomechanically. Materials and Methods. Clinically, the radiographs of 81 patients with Pauwel’s III femoral neck fractures, including 54 fractures fixed with three parallel OCCSs and 27 fractures fixed with three parallel DhCCSs, were reviewed retrospectively. Complications consisting of fixation failure (screw loosening, obvious fracture displacement, varus deformity, or femoral neck shortening), bony nonunion, and avascular necrosis (AVN) were determined. Biomechanically, twenty synthetic femur models of vertical femoral fractures with an 80° Pauwel’s angle were divided into two groups and subsequently fixed with three parallel OCCSs or DhCCSs. All specimens were tested for axial stiffness, load to 5 mm displacement, and a maximum load to failure with a loading rate of 2 mm/min. Results. Clinically, 22 fractures in the OCCS group experienced fixation failure, including 19 screw loosening, 18 femoral neck shortening, 14 varus deformities, and 8 obvious fracture displacements, whereas only 4 fractures experienced fixation failure in the DhCCS group, including 3 screw loosening, 3 femoral neck shortening, 3 varus deformities, and 1 obvious fracture displacement. Additionally, 11 fractures in the OCCS group exhibited nonunion, whereas only 3 in the DhCCS group exhibited nonunion. Nine fractures with AVN were noted in the OCCS group, whereas only 1 was observed in the DhCCS group. Biomechanically, the axial stiffness of the DhCCS group was greater than that of the OCCS group ( 154.9 ± 6.81 vs. 128.1 ± 7.41  N/mm), and the load to 5 mm displacement was also significantly greater in the DhCCS group ( 646.1 ± 25.87 vs. 475.8 ± 21.46  N). Moreover, the maximum load to failure in the DhCCS group exhibited significant advantages compared with that of the OCCS group ( 1148 ± 39.47 vs. 795.9 ± 51.39  N). Conclusion. Our results suggested that using three DhCCSs improved the outcome of vertical femoral neck fractures compared to three OCCSs, offering a new choice for the treatment of femoral neck fracture.

Sign in / Sign up

Export Citation Format

Share Document