The fourth industrial revolution or industry 4.0 has become a trend topic nowadays, this standard-based strategy integrates Smart Factories, Cyber-physical systems, Internet of Things, and Service with the aim extended capacities manufacturing systems. Although several authors have presented advantages approach, few papers refer to an architecture that allows correct implementation applications using guidelines reference model (RAMI 4.0). In way, article exposes essential characteristics...

Purpose: this paper investigates the biomechanical effect of thermo-formed aligners equipped with complementary attachments (CBAs) on periodontal ligaments (PDL) during expansion process maxillary arch. The analysis was conducted using advanced simulations based finite element method (FEM). Methods: High-resolution 3D CAD models were created for four tooth types: canine (3), first premolar (4), second (5), and molar (6). Additional developed aligners, CBAs, PDLs. These integrated into a...

Purpose: This paper investigates the biomechanical effect of thermoformed aligners equipped with complementary attachments (CBAs) on periodontal ligaments (PDLs) during expansion process maxillary arch. The analysis was conducted using advanced simulations based finite element method (FEM). Methods: High-resolution 3D CAD models were created for four tooth types: canine, first premolar, second and molar. Additional developed aligners, CBAs, PDLs. These integrated into a comprehensive FEM...

In recent years, Industry 4.0 has gained relevance in the manufacturing sector. On one hand, it is expected that this new paradigm will affect entire value chain and increase capabilities of system as a whole, terms interoperability communication throughout factories beyond. other considering small medium-sized enterprises represent main forces economic development employment generation, focus shifting toward said order to ensure competitiveness market nearby future. However, factors could...

The growth of the productive sector has driven evolution supply chains into highly complex, dynamic and concurrent systems. Consequently, emerging structures have been developed through integration advances in information hardware technologies with aim increasing effectiveness efficiency, as Industry 4.0. In this context, although several works use a multi-agent approach, they offer limited on formal models to specification system. Considering potentially serious consequences inaccurate...

Robotic-assisted rehabilitation is currently being applied to improve the effectiveness of human gait and recover mobility strength after a stroke or spinal cord injury; robotic assistant can allow active participation patient supervision collected data decrease labor required from therapists during patient’s training exercises. The goal with robotic-based assistance restore motor function by using diverse control strategies, taking account physical interaction lower limbs patient. Over last...

In this paper, we introduce a procedure for diagnosis and treatment of faults in productive systems, i.e., supervision strategy that considers not only the normal behavior system's components, but also abnormal (faulty) conditions them. The present approach uses Bayesian networks decision-making purposes, Petri net synthesis, modeling control purposes. integration these techniques guarantees specified functionality system. Special emphasis is laid on methodological issues industrial where...

Mechanical ventilators are increasingly used for life support of critically ill patients. In this sense, despite recent technological advances, the accurate specification their properties remains challenging, and use formal tools is limited. This work focuses on verifying architecture a mechanical ventilator using UPPAAL as modeling tool. As result, system requirements functional prototype were verified improved model ventilator. approach provides valuable means ensuring correctness...

Purpose: this paper evaluates the effect of thermo-formed aligners with complementary biomechanical attachments (CBA) on periodontal ligaments (PDL) during expansion process maxillary arch using simulations based finite element method (FEM). Methods: four types teeth (canine 3, premolar 4, 5 and molar 6) were modeled 3D CAD. In addition, aligners, CBAs PDL also modeled. With information, a FEM model was generated, clinical rehabilitation scenario simulated. For validation results, comparison...

This work presents a supervisory fault tolerant system for hybrid productive systems based on Bayesian networks and OO-DPT (Object-Oriented Differential Predicate-Transition Nets) formalism. Here, are characterized as when they contain continuous discrete variables both fundamental to describe the systems' dynamics. The present approach introduce procedure construction of models analysis normal an abnormal behavior that can be converted in control specification proper practical...

The accelerated pace with which new diagnostic possibilities are produced and the budget re-strictions of healthcare sector require that decision-making process acquiring technologies becomes systematic in nature. There some methodologies such as Health Technology Assessment (HTA) encompasses technological domains, clinical effectiveness, patient safety, organizational financial aspects, among others. However, these methods do not contemplate learning curve (LC) is a differential factor...

The industrial organization of productive processes have presented a tendency for dispersion and distribution manufacturing plants based on an increase resources functionality information mobility technology. In this sense, Local Operating Networks (LON, LonWorks) is the name one leading technologies in sensor/control networking, addressed to wide range applications with topology free spite its popularity, only few design tools are available simulate LonWorks architectures predict their...

A significant part of the activities in a manufacturing system involve assembly tasks. Nowadays, these tasks are object automation due to market increasing demand for quality, productivity and variety products. Consequently, systems should consider flexibility face product diversification, functionalities, delivery times, volumes involved. However, vulnerable faults characteristic their mechanism complex interaction among control devices. In this context, present work is focused on modeling...

Distributed control systems consist of sensors, actuators and controllers, interconnected by communication networks are characterized a high number concurrent process. This work presents proposal for procedure to model analyze distributed in intelligent building. The approach considered this purpose is based on the characterization system as discrete event application coloured Petri net formal method specification, analysis verification solutions. With approach, we develop models that...

Nowadays, the manufacturing industry trends for reorganization in geographically dispersed systems with activities realized by distributed and autonomous components. Advances mechatronics, automation, communication, information technologies support feasibility of these novel structures. In this sense, SOA (Service Oriented Architecture) is a way to treat distribution resources considering heterogeneous nature environment. Aim guarantee autonomy interoperability system service, systematical...

In Drinking Water treatment plants (DWTPs) is critical make an early fault detection and diagnosis for warranty a qualified service, this helpfully good take decisions process on day by operations This paper presents the development of rule based supervisory system, that uses fuzzy logic predict fails in turbidity sensor water intake stage zone, those rules were built expert's information historical reviews. sense, introduces practical example located Puerto Mallarino DWTP's from Public...

Advances in informatics technologies have enabled new ways of attention a health-care system. This kind approach is commonly referred as telemedicine. In this context, work proposes an environment that facilitates the execution specific protocol physical rehabilitation on patient by health care specialist through tele-operating technical aids. For purpose, service-oriented architecture was designed and implemented. addition, considering dynamics system oriented to occurrence discrete events,...

Objective: This research work proposes and evaluates a model for the provision of physical rehabilitation services supported by teleoperated technological aids, using Internet as communication channel care rural population, taking study region, western subregion Colombia around municipality Santiago de Cali- Colombia. Methodology: From dynamics generated interaction between service system users, characterized occurrence events, formal was built, Colored Petri Net. To do this, modelling...

Currently, manufacturing system is being restructured to face the global competitiveness. As result, new strategies need be considered, taking into account aspects such as costs, quality, delivery times and flexibility, among other. However, in practice, none of these can effectively implemented if they disconsider occurrence faults system. In this sense, paper introduces a procedure for supervision systems including diagnosis treatment faults, i.e., strategy that considers not only normal...