scholarly journals Model of Process Synchronization in Through Analysis

2021 ◽  
Vol 6 (1) ◽  
pp. 33-38
Author(s):  
Oleksandr Martynyuk ◽  

Synchronization of parallel processes of distributed information systems (DIS) has been largely determined by decisions taken at the stages of their design. Having already been in structural and functional models, when determining cause- and-effect relationships for events and actions in DIS components, it becomes necessary to coordinate them. In the proposed multilevel systemic, structural and functional synchronization model, a hierarchy of such causal relationships with interlevel mappings, inheritance and encapsulation of events and actions have been formed. The model has been also based on hierarchical extended Petri nets, which make it possible to represent various aspects of a special analysis of technical diagnostics, in particular, analysis of correctness, verification, testing, for the adopted display of the asynchronous-behavioral nature of the multilevel interaction of DIS processes. Features of the synchronization model include mapping operations for cross- level inheritance and encapsulations that synchronize events and actions, as well as end-to-end synchronized quasi-order relationships and compatibility for them. The synchronization model is also distinguished by the possibility of specializing its objects, operations and relations for the tasks of check and recognition of behavioral properties set for analysis and verification, basic in technical diagnostics, including in online and offline testing. The synchronization model has allowed one to determine the formal conditions for methods of end-to-end asynchronous coordination of events and actions of multi-level models, that represent design solutions for DIS, in particular, for technical diagnostics methods, and also to reduce the computational complexity of a special synchronization analysis due to an end-to-end decomposition approach. The dimension of the synchronization model has been estimated using the representation of Petri net graphs and special graphs of reachable states using list structures. The above estimates determine the limits of applicability of the formal synchronization model.

Author(s):  
Svetlana S. Vereshchagina

The paper proposes an approach to diagnostics of asynchronous electric motors based on the application of hierarchical functional models that are built using the IDEF0 methodology for integrated consideration of the influence of electric power quality indicators. A brief analysis of the problems of diagnostics for asynchronous electric motors is given, which justifies the relevance of developing new methods and models of diagnostics. A distinctive feature of the proposed hierarchical functional diagnostic models of asynchronous electric motors is a formalized representation of the necessary process functions using the IDEF0 methodology. This allows one to identify the main data flows in the diagnosis process, extract knowledge about the process, and reveal the cause-and-effect relationships of failures of asynchronous electric motors, complementing traditional methods of technical diagnostics by analyzing compliance with regulatory requirements concerning the electrical energy quality. A brief description of the developed methods, models and algorithms, as well as the results of experimental research, efficiency analysis of the proposed methodology is provided.


VASA ◽  
2016 ◽  
Vol 45 (3) ◽  
pp. 223-228 ◽  
Author(s):  
Jan Paweł Skóra ◽  
Jacek Kurcz ◽  
Krzysztof Korta ◽  
Przemysław Szyber ◽  
Tadeusz Andrzej Dorobisz ◽  
...  

Abstract. Background: We present the methods and results of the surgical management of extracranial carotid artery aneurysms (ECCA). Postoperative complications including early and late neurological events were analysed. Correlation between reconstruction techniques and morphology of ECCA was assessed in this retrospective study. Patients and methods: In total, 32 reconstructions of ECCA were performed in 31 symptomatic patients with a mean age of 59.2 (range 33 - 84) years. The causes of ECCA were divided among atherosclerosis (n = 25; 78.1 %), previous carotid endarterectomy with Dacron patch (n = 4; 12.5 %), iatrogenic injury (n = 2; 6.3 %) and infection (n = 1; 3.1 %). In 23 cases, intervention consisted of carotid bypass. Aneurysmectomy with end-to-end suture was performed in 4 cases. Aneurysmal resection with patching was done in 2 cases and aneurysmorrhaphy without patching in another 2 cases. In 1 case, ligature of the internal carotid artery (ICA) was required. Results: Technical success defined as the preservation of ICA patency was achieved in 31 cases (96.9 %). There was one perioperative death due to major stroke (3.1 %). Two cases of minor stroke occurred in the 30-day observation period (6.3 %). Three patients had a transient hypoglossal nerve palsy that subsided spontaneously (9.4 %). At a mean long-term follow-up of 68 months, there were no major or minor ipsilateral strokes or surgery-related deaths reported. In all 30 surviving patients (96.9 %), long-term clinical outcomes were free from ipsilateral neurological symptoms. Conclusions: Open surgery is a relatively safe method in the therapy of ECCA. Surgical repair of ECCAs can be associated with an acceptable major stroke rate and moderate minor stroke rate. Complication-free long-term outcomes can be achieved in as many as 96.9 % of patients. Aneurysmectomy with end-to-end anastomosis or bypass surgery can be implemented during open repair of ECCA.


Author(s):  
Ahmed Mousa ◽  
Ossama M. Zakaria ◽  
Mai A. Elkalla ◽  
Lotfy A. Abdelsattar ◽  
Hamad Al-Game'a

AbstractThis study was aimed to evaluate different management modalities for peripheral vascular trauma in children, with the aid of the Mangled Extremity Severity Score (MESS). A single-center retrospective analysis took place between 2010 and 2017 at University Hospitals, having emergencies and critical care centers. Different types of vascular repair were adopted by skillful vascular experts and highly trained pediatric surgeons. Patients were divided into three different age groups. Group I included those children between 5 and 10 years; group II involved pediatrics between 11 and 15 years; while children between 16 and 21 years participated in group III. We recruited 183 children with peripheral vascular injuries. They were 87% males and 13% females, with the mean age of 14.72 ± 04. Arteriorrhaphy was performed in 32%; end-to-end anastomosis and natural vein graft were adopted in 40.5 and 49%, respectively. On the other hand, 10.5% underwent bypass surgery. The age groups I and II are highly susceptible to penetrating trauma (p = 0.001), while patients with an extreme age (i.e., group III) are more susceptible to blunt injury (p = 0.001). The MESS has a significant correlation to both age groups I and II (p = 0.001). Vein patch angioplasty and end-to-end primary repair should be adopted as the main treatment options for the repair of extremity vascular injuries in children. Moreover, other treatment modalities, such as repair with autologous vein graft/bypass surgery, may be adopted whenever possible. They are cost-effective, reliable, and simple techniques with fewer postoperative complication, especially in poor/limited resources.


2014 ◽  
Vol 1 (1) ◽  
pp. 9-34
Author(s):  
Bobby Suryajaya

SKK Migas plans to apply end-to-end security based on Web Services Security (WS-Security) for Sistem Operasi Terpadu (SOT). However, there are no prototype or simulation results that can support the plan that has already been communicated to many parties. This paper proposes an experiment that performs PRODML data transfer using WS-Security by altering the WSDL to include encryption and digital signature. The experiment utilizes SoapUI, and successfully loaded PRODML WSDL that had been altered with WSP-Policy based on X.509 to transfer a SOAP message.


Controlling ◽  
2019 ◽  
Vol 31 (6) ◽  
pp. 63-65
Author(s):  
Carsten Speckmann ◽  
Péter Horváth

MindSphere ist das cloudbasierte, offene IoT-Betriebssystem von Siemens. Es verbindet Produkte, Anlagen, Systeme und Maschinen und ermöglicht es so, die Fülle von Daten aus dem Internet der Dinge (IoT) mit umfangreichen Analysen zu nutzen. Als eine sichere, skalierbare End-to-End-Lösung für die Industrie sorgt MindSphere für die Konnektivität von Anlagen und liefert somit handlungsrelevante Geschäftserkenntnisse, die zur Steigerung der Produktivität und Effizienz im gesamten Unternehmen nutzbar gemacht werden können. MindSphere ist weltweit verfügbar.


Sign in / Sign up

Export Citation Format

Share Document