scholarly journals Verification of Distributed Epistemic Gossip Protocols

2018 ◽  
Vol 62 ◽  
pp. 101-132 ◽  
Author(s):  
Krzysztof R. Apt ◽  
Dominik Wojtczak
Keyword(s):  
Epistemic Logic ◽  
Group Communications ◽  
Partial Correctness ◽  
Knowledge Based ◽  
Point To Point ◽  
Definition Of ◽  
Gossip Protocols

Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets. Distributed epistemic gossip protocols use as guards formulas from a simple epistemic logic and as statements calls between the agents. They are natural examples of knowledge based programs.We prove here that these protocols are implementable, that their partial correctness is decidable and that termination and two forms of fair termination of these protocols are decidable, as well. To establish these results we show that the definition of semantics and of truth of the underlying logic are decidable.

scholarly journals On the Computational Complexity of Gossip Protocols

2017 ◽  
Author(s):  
Krzysztof R. Apt ◽  
Eryk Kopczyński ◽  
Dominik Wojtczak
Keyword(s):  
Computational Complexity ◽  
Private Information ◽  
Epistemic Logic ◽  
Distributed Programs ◽  
Distributed Protocols ◽  
Partial Correctness ◽  
Complete Problem ◽  
Gossip Protocol ◽  
Np Complete ◽  
Gossip Protocols

Gossip protocols deal with a group of communicating agents, each holding a private information, and aim at arriving at a situation in which all the agents know each other secrets. Distributed epistemic gossip protocols are particularly simple distributed programs that use formulas from an epistemic logic. Recently, the implementability of these distributed protocols was established (which means that the evaluation of these formulas is decidable), and the problems of their partial correctness and termination were shown to be decidable, but their exact computational complexity was left open. We show that for any monotonic type of calls the implementability of a distributed epistemic gossip protocol is a P^{NP}_{||}-complete problem, while the problems of its partial correctness and termination are in coNP^{NP}.

scholarly journals Decidability of Fair Termination of Gossip Protocols

10.29007/62s4 ◽  
2018 ◽  
Author(s):  
Krzysztof Apt ◽  
Dominik Wojtczak
Keyword(s):  
Private Information ◽  
Epistemic Logic ◽  
Distributed Programs ◽  
Partial Correctness ◽  
Gossip Protocols

Gossip protocols deal with a group of communicating agents, each holding some private information, and aim at arriving at a situation in which all the agents know each other secrets. Distributed epistemic gossip protocols are particularly simple distributed programs that use as guards formulas from an epistemic logic. We showed recently that the implementability of these distributed gossip protocols and the problems of their partial correctness and termination are decidable, but the problem of decidability of their fair termination was left open. We study here rule-fair and agent-fair termination of these protocols and show that both properties are decidable.

scholarly journals A Reliable Turning Process by the Early Use of a Deep Simulation Model at Several Manufacturing Stages

2017 ◽  
Author(s):  
Gorka Urbikain ◽  
Luis Norberto López De Lacalle ◽  
Mikel Arsuaga ◽  
Alvaro Alvarez ◽  
Miguel A. Alonso
Keyword(s):  
Machine Tools ◽  
Manufacturing Companies ◽  
Machining Processes ◽  
Knowledge Based ◽  
Direct Benefits ◽  
Definition Of ◽  
The Right ◽  
Machining Operations ◽  
Physical Laws ◽  
Manufacturing Problems

The future of machine tools will be dominated by highly flexible and interconnected systems, in order to achieve the required productivity, accuracy and reliability. Nowadays, distortion and vibration problems are easily solved in labs for the most common machining operations by using models based on equations describing the physical laws of the machining processes; however additional efforts are needed to overcome the gap between scientific research and the real manufacturing problems. In fact, there is an increasing interest in developing simulation packages based on “deep-knowledge and models” that aid machine designers, production engineers or machinists to get the best of the machine-tools. This article proposes a methodology to reduce problems in machining by means of a simulation utility, which uses the main variables of the system&process as input data, and generates results that help in the proper decision-making and machining planification. Direct benefits can be found in a) the fixture/clamping optimal design, b) the machine tool configuration, c) the definition of chatter-free optimum cutting conditions and d) the right programming of cutting toolpaths at the Computer Aided Manufacturing (CAM) stage. The information and knowledge-based approach showed successful results in several local manufacturing companies and are explained in the paper.

scholarly journals Occupational exoskeletons: A roadmap toward large-scale adoption. Methodology and challenges of bringing exoskeletons to workplaces

2021 ◽  
Vol 2 ◽  
Author(s):  
Simona Crea ◽  
Philipp Beckerle ◽  
Michiel De Looze ◽  
Kevin De Pauw ◽  
Lorenzo Grazi ◽  
...  
Keyword(s):  
Large Scale ◽  
Health And Safety ◽  
Field Studies ◽  
Specific Work ◽  
Safety Standards ◽  
Knowledge Based ◽  
Scientific Papers ◽  
Large Scale Field ◽  
Standards And Regulations ◽  
Definition Of

Abstract The large-scale adoption of occupational exoskeletons (OEs) will only happen if clear evidence of effectiveness of the devices is available. Performing product-specific field validation studies would allow the stakeholders and decision-makers (e.g., employers, ergonomists, health, and safety departments) to assess OEs’ effectiveness in their specific work contexts and with experienced workers, who could further provide useful insights on practical issues related to exoskeleton daily use. This paper reviews present-day scientific methods for assessing the effectiveness of OEs in laboratory and field studies, and presents the vision of the authors on a roadmap that could lead to large-scale adoption of this technology. The analysis of the state-of-the-art shows methodological differences between laboratory and field studies. While the former are more extensively reported in scientific papers, they exhibit limited generalizability of the findings to real-world scenarios. On the contrary, field studies are limited in sample sizes and frequently focused only on subjective metrics. We propose a roadmap to promote large-scale knowledge-based adoption of OEs. It details that the analysis of the costs and benefits of this technology should be communicated to all stakeholders to facilitate informed decision making, so that each stakeholder can develop their specific role regarding this innovation. Large-scale field studies can help identify and monitor the possible side-effects related to exoskeleton use in real work situations, as well as provide a comprehensive scientific knowledge base to support the revision of ergonomics risk-assessment methods, safety standards and regulations, and the definition of guidelines and practices for the selection and use of OEs.

Event Management in Tourism Industry

2021 ◽  
pp. 220-230
Author(s):  
Liudmyla Maliuta ◽  
◽  
Roman Sherstiuk ◽  
Halyna Ostrovska ◽  
◽  
...  
Keyword(s):  
Corporate Culture ◽  
Tourism Industry ◽  
Practical Significance ◽  
Event Management ◽  
Knowledge Based ◽  
Knowledge Based Economy ◽  
Management Concept ◽  
Event Tourism ◽  
Innovative Tool ◽  
Definition Of

In a knowledge-based economy, the most important issues of modernity areas development – event management become especially relevant. Current trends in the development of such socio-economic activity areas as event management is directly represented in the practice of event tourism, within which the creation, planning, conduction and event management. In order to manage a modern system of event tourism, event management is called to summarize the existing experience, give practical recommendations taking into account the specifics of various events, as well as improving this system of relations. Event management becomes an innovative tool for achieving the goals of the organization at its all operation stages. It is also worthily to note the importance of using event management technologies in the formation of a positive organization image, corporate culture and increase its competitiveness in the market. The article highlights the scientific approaches to the interpretation of the category "event management" according to certain criteria and characteristics. The author's definition of the categories essences "tourism industry" and "event management" is given. It is proved that event tourism is a fast-growing industry, which in recent years occupies a dominant position in the general classification of tourism. The potential of event management in the tourism industry is revealed. The system of organization and event-management carrying out in the world practice is investigated and recommendations concerning its application in Ukrainian realities are substantiated. The state of event management in Ukraine is analyzed and perspective directions of its development within the tourist business are outlined. The practical significance of the obtained results is manifested in their usefulness for optimizing the event managers’ work in the process of creating, planning, organizing and conducting events, as well as for improving and increasing the efficiency of existing technologies in the event organization field. In addition, they contribute to the clarification of "event management" concept in Ukrainian scientific community. Prospects for further research are to develop the basic processes of event management, which form its essence.

Institutional Ethnography and Exploring the Social

2021 ◽  
Vol 13 (4) ◽  
pp. 119-140
Author(s):  
Amal Adel Abdrabo
Keyword(s):  
Large Scale ◽  
Institutional Ethnography ◽  
Sociological Perspective ◽  
Knowledge Based ◽  
The Social ◽  
Definition Of ◽  
Egyptian Government ◽  
Global Agenda ◽  
Developmental Policies ◽  
The Relationship

There is a new trend taking place in Egypt over the last decades that is attempting to establish a new culture of development arguing for a knowledge-based development of Egyptian society. Consequently, Egyptian society has begun to witness the emergence of different policies, national strategies, and mega development projects that try to translate these policies into reality. But the question that remains is what type of knowledge, and in which context, should be developed? In this vein, this research serves two purposes. First, it contests the notion of knowledge while using a new method of inquiry that creates an opening for an alternative-more-humanized sociology that opposes the dominant sociological perspective that studies people as quantitative objects. The research uses institutional ethnography to provide new-actor-related insights and interpretations while exploring the social momentum within Egyptian society. Second, the research seeks to investigate the relationship between the desire to transform Egypt into a knowledge-based society through the knowledge precincts projects, following the global agenda, and the creation of a political, social, and cultural environment that allows knowledge to thrive, leading to more social justice and equity. In the end, the research asks: What is the definition of ‘knowledge' provided by the Egyptian government through its different developmental policies? How does it function inside the knowledge precincts projects? It also asks: Does Egypt's commitment to large scale programs through knowledge precincts reveal an authoritarian inclination?

Issues of organizing computations in multicomputersystems with the software-controlled failure- and fault-tolerance. Part 1

2021 ◽  
Author(s):  
I.V. Asharina
Keyword(s):  
Fault Tolerance ◽  
Critical Level ◽  
Fault Tolerant ◽  
Communication Channels ◽  
State Standards ◽  
Modern Concept ◽  
Multiple Faults ◽  
Point To Point ◽  
Definition Of ◽  
Test Diagnostics

This three-part paper analyzes existing approaches and methods of organizing failure- and fault-tolerant computing in distributed multicomputer systems (DMCS), identifies and provides rationale for a list of issues to be solved. We present the concept of fault tolerance proposed by A. Avizienis, explicate its dissimilarity from the modern concept and the reason for its inapplicability with regard to modern distributed multicomputer systems. We justify the necessity to refine the definition of fault tolerance approved by the State Standards, as well as the necessity to specify three input parameters to be taken into account in the DMCS design methods: permitted fault models, permitted multiplicity of faults, permitted fault sequence capabilities. We formulate the questions that must be answered in order to design a truly reliable, fault-tolerant system and consider the application areas of the failure- and fault-tolerant control systems for complex network and distributed objects. System, functional, and test diagnostics serve as the basis for building unattended failure- and fault-tolerant systems. The concept of self-managed degradation (with the DMCS eventually proceeding to a safe shutdown at a critical level of degradation) is a means to increase the DMCS active life. We consider the issues related to the diagnosis of multiple faults and present the main differences in ensuring fault tolerance between systems with broadcast communication channels and systems with point-to-point communication channels. The first part of the work mainly deals with the analysis of existing approaches and methods of organizing failure- and fault-tolerant computing in DMCS and the definition of the concept of fault-tolerance.

The Regional Innovation Capacity Model

2012 ◽  
pp. 243-256
Author(s):  
Antonio Lerro ◽  
Giovanni Schiuma
Keyword(s):  
Local System ◽  
Point Of View ◽  
Future Research ◽  
Regional Innovation ◽  
Knowledge Based ◽  
Future Research Agenda ◽  
Capacity Model ◽  
Innovation Dynamics ◽  
Innovation Capacity ◽  
Definition Of

This chapter aims to present a conceptual model aimed to understand the Intellectual Capital-based (IC) characteristics of the regional innovation capacity. The proposed Regional Innovation Capacity Model (RICM) can be used for interpretative and normative purposes to analyse the innovation dynamics taking place at regional and territorial level. From an interpretative point of view, the model identifies the pillars grounding the innovation capacity of a local system. While, from a normative perspective, the model can inspire the definition of guidelines driving the design and the implementation of actions, projects and programmes aimed to stimulate and sustain regional development dynamics. The RICM adopts a knowledge-based perspective assuming that IC, in the forms of regional knowledge assets, and knowledge dynamics, in the form of knowledge transfer and learning processes, are the drivers of innovative processes and outputs. The chapter concludes proposing a future research agenda.

scholarly journals Building an integrated enhanced virtual research environment metadata catalogue

2019 ◽  
Vol 37 (6) ◽  
pp. 929-951 ◽  
Author(s):  
Laurent Remy ◽  
Dragan Ivanović ◽  
Maria Theodoridou ◽  
Athina Kritsotaki ◽  
Paul Martin ◽  
...  
Keyword(s):  
Data Model ◽  
Data Science ◽  
Science Research ◽  
Dublin Core ◽  
Content Type ◽  
Knowledge Based ◽  
Novel Approach ◽  
Virtual Research Environment ◽  
Definition Of ◽  
Practical Implications

Purpose The purpose of this paper is to boost multidisciplinary research by the building of an integrated catalogue or research assets metadata. Such an integrated catalogue should enable researchers to solve problems or analyse phenomena that require a view across several scientific domains. Design/methodology/approach There are two main approaches for integrating metadata catalogues provided by different e-science research infrastructures (e-RIs): centralised and distributed. The authors decided to implement a central metadata catalogue that describes, provides access to and records actions on the assets of a number of e-RIs participating in the system. The authors chose the CERIF data model for description of assets available via the integrated catalogue. Analysis of popular metadata formats used in e-RIs has been conducted, and mappings between popular formats and the CERIF data model have been defined using an XML-based tool for description and automatic execution of mappings. Findings An integrated catalogue of research assets metadata has been created. Metadata from e-RIs supporting Dublin Core, ISO 19139, DCAT-AP, EPOS-DCAT-AP, OIL-E and CKAN formats can be integrated into the catalogue. Metadata are stored in CERIF RDF in the integrated catalogue. A web portal for searching this catalogue has been implemented. Research limitations/implications Only five formats are supported at this moment. However, description of mappings between other source formats and the target CERIF format can be defined in the future using the 3M tool, an XML-based tool for describing X3ML mappings that can then be automatically executed on XML metadata records. The approach and best practices described in this paper can thus be applied in future mappings between other metadata formats. Practical implications The integrated catalogue is a part of the eVRE prototype, which is a result of the VRE4EIC H2020 project. Social implications The integrated catalogue should boost the performance of multi-disciplinary research; thus it has the potential to enhance the practice of data science and so contribute to an increasingly knowledge-based society. Originality/value A novel approach for creation of the integrated catalogue has been defined and implemented. The approach includes definition of mappings between various formats. Defined mappings are effective and shareable.

Sign in / Sign up

Export Citation Format

Share Document