Multi-agent based simulations of block-free distributed ledgers

In the past ten years distributed ledgers such as Bitcoin and smart contracts that can run code autonomously have seen an exponential growth both in terms of research interest and in terms of industrial and financial applications. These find a natural application in the area of Sensor Networks and Cyber-Physical Systems. However, the incentive architecture of blockchains requires massive computational resources for mining, delays in the confirmation of transactions and, more importantly, continuously growing transaction fees, which are ill-suited to systems in which services may be provided by resource-limited devices and confirmation times and transaction costs should be kept minimal, ideally absent. We focus on a new block-less, feeless paradigm for distributed ledgers suitable for the WSN, IoT and CPS in which transactions are nodes of a directed acyclic graph, that overcomes the limitations of blockchains for these applications, and where e.g. sensors can be at the same time issuers of transactions and validators of previous transactions. In particular, we present and release open-source a simulation environment that can be easily extended and analysed, and confirms the available results on the performance of the network

Trust and distrust in contradictory information transmission

We analyse the problem of contradictory information distribution in networks of agents with positive and negative trust. The networks of interest are built by ranked agents with different epistemic attitudes. In this context, positive trust is a property of the communication between agents required when message passing is executed bottom-up in the hierarchy, or as a result of a sceptic agent checking information. These two situations are associated with a confirmation procedure that has an epistemic cost. Negative trust results from refusing verification, either of contradictory information or because of a lazy attitude. We offer first a natural deduction system called SecureNDsim to model these interactions and consider some meta-theoretical properties of its derivations. We then implement it in a NetLogo simulation to test experimentally its formal properties. Our analysis concerns in particular: conditions for consensus-reaching transmissions; epistemic costs induced by confirmation and rejection operations; the influence of ranking of the initially labelled nodes on consensus and costs; complexity results

Contradictory information flow in networks with trust and distrust

We offer a proof system and a NetLogo simulation for trust and distrust in networks where contradictory information is shared by ranked lazy and sceptic agents. Trust and its negative are defined as properties of edges: the former is required when a message is passed bottom-up in the hierarchy or received by a sceptic agent; the latter is attributed to channels that require contradiction resolution, or whose terminal is a lazy agent. These procedures are associated with epistemic costs, respectively for confirmation and refutation. We describe the logic, illustrate the algorithms implemented in the model and then focus on experimental results concerning the analysis of epistemic costs, the role of the agents’ epistemic attitude on distrust distribution and the influence of (dis)trust in reaching consensus

From raw data to agent perceptions for simulation, verification, and monitoring

In this paper we present a practical solution to the problem of connecting “real world” data exchanged between sensors and actuators with the higher level of abstraction used in frameworks for multiagent systems. In particular, we show how to connect an industry-standard publish-subscribe communication protocol for embedded systems called MQTT with two Belief-Desire-Intention agent modelling and programming languages: Jason/AgentSpeak and Brahms. In the paper we describe the details of our Java implementation and we release all the code open source

A model for trustworthy orchestration in the internet of things

Embedded systems such as Cyber-Physical Systems (CPS) are typically designed as a network of multiple interacting elements with physical input (or sensors) and output (or actuators). One aspect of interest of open systems is fidelity, or the compliance between physical figures of interest and their internal representation. High fidelity is defined as a stable mapping between actions in the physical domain and intended or expected values in the system domain and deviations from fidelity are quantifiable over time by some appropriate informative variable. In this paper, we provide a model for designing such systems based on a framework for trustworthiness monitoring and we provide a Jason implementation to evaluate the feasibility of our approach. In particular, we build a bridge between a standard publish/subscribe framework for CPS called MQTT and Jason to enable automatic reasoning about trustworthines

Implementing virtual pheromones in BDI robots using MQTT and Jason

Robotic coordination is a crucial issue in the development of many applications in swarm robotics, ranging from mapping unknown and potentially dangerous areas to the synthesis of plans to achieve complex tasks such as moving goods between locations under resource constraints. In this context, stigmergy is a widely employed approach to robotic coordination based on the idea of interacting with the environment by means of markers called pheromones. Pheromones do not need to be "physical marks", and a number of works have investigated the use of digital, virtual pheromones. In this paper, we show how the concept of virtual pheromones can be implemented in Jason, a Java-based interpreter for an extended version of AgentSpeak, providing a high-level modelling and execution environment for multi-agent systems. We also exploit MQTT, a messaging infrastructure for the Internet-of-Things. This allows the implementation of stigmergic algorithms in a high-level declarative language, building on top of low-level infrastructures typically used only for controlling sensors and actuators

Changes in the cerebellar cytoarchitecture of hibernating hedgehog Erinaceus europaeus L. (Mammalia): an immunocytochemical approach

Hibernation is an amazing animal strategy to survive when the environmental temperature is very low and food resources are scarce. Successful hibernation requires a variety of complex biological adaptations, in which the brain plays a central regulatory role. Currently, little information is available regarding the morphology and functional activity of specific neurons within the cerebellar cytoarchitecture of hibernating animals. In the present study, we investigated the immunohistochemical expression of essential proteins in the cerebellum of a mammalian hibernator (i.e. hedgehog Erinaceus europaeus L.), focusing on (i) Purkinje neurons, the sole output cells of the cerebellar cortex; (ii) selected neurotransmitters involved in hibernation processes; (iii) intracellular calcium homeostasis, considering that calcium is also an important regulator of neurotransmission mechanisms; and (iv) cytoskeletal proteins, involved in maintenance of neuronal shape and axon calibre. Specifically, we studied in situ immunocytochemical changes during the torpor state of hibernation (November–March) versus the activity phase (April–September). We employed different selected markers, i.e. glutamic acid decarboxylase (GAD67) and postsynaptic glutamate ionotropic receptor GluR2-3, different calcium-binding proteins (i.e. calbindin, parvalbumin and calretinin) and cytoskeletal components (i.e. pNF-H and MAP2). In summary, our data in hibernating animals demonstrated: (i) downregulation of GAD67, indicating loss/changes of synaptic contacts on Purkinje somata and dendrites; (ii) GluR2-3 upregulation in Purkinje neurons, with a drastic decrease of calbindin expression; and (iii) decrease of normal mechanisms regulating intracellular calcium homeostasis. We also found a decrease/modification in the distribution of cytoskeletal proteins, particularly evident for pNF-H. Changes in the functional activity of Purkinje cells were accompanied by some morphological dendrite alterations, signs of degeneration in cell somata and flattened basket pinceaux at the Purkinje axon hillock. These findings confirm that hibernation makes heterothermic animals a valuable model to study physiological adaptations to adverse conditions, and also for understanding cellular and molecular mechanisms aimed at preserving mammalian organs from full degeneration and death

Towards cyber-physical systems as services: the ASIP protocol

The development of Cyber-Physical Systems needs to address the heterogeneity of several components that interact to build a single application. In this paper we present a model to enable easy integration and interaction of micro-controllers. Specifically, we describe the Arduino Service Interface Protocol (ASIP), we provide an implementation and client libraries for Java, Racket and Erlang, together with the description of a practical example

Effect of psychosocial stress and coping strategies on non-surgical periodontal therapy in patients with generalized stage III/IV periodontitis: a longitudinal intervention study

Objectives: The aim of this longitudinal intervention study was to assess the impact of psychosocial stress and coping response strategies on the clinical outcomes in periodontitis patients treated with non-surgical periodontal therapy (NSPT). Materials and methods: After the administration of psychological questionnaires, patients diagnosed with generalized stage III–IV periodontitis were categorized into different groups depending on their stress levels (10-item perceived stress level (PSS-10)) and coping response strategies (coping responses inventory (CRI)). Clinical data were collected 1 week before and 3 months after the completion of NSPT. Results: Of the 90 patients included at baseline, 27 presented major and 63 minor stress levels, while 40 had avoidance and 50 approach coping behavior. All clinical parameters were similar at the baseline across different categories. At re-evaluation, full-mouth bleeding score (FMBS), mean probing pocket depth (PPD), and number of residual pathological pockets were significantly superior in groups with higher stress levels (p <0.001, p =0.001, and p =0.020, respectively), while higher full-mouth plaque scores (FMPS) and FMBS were found in patients with avoidance coping strategies (p =0.009 and p <0.001, respectively). When jointly evaluated, an added detrimental effect of coping styles on allostatic load was observed. Multivariate analysis confirmed a significant effect of stress levels and coping strategies on final FMBS, but not of coping on mean PPD. Conclusion: Psychosocial stress and avoidance coping strategy seem to negatively influence the clinical outcomes of NSPT at short term (NCT04739475; 9/1/2017). Practical implications: Based on these findings, patients reflecting these psychological profiles should be considered at greater risk for poor NSPT response and may benefit from complementary stress management strategies

The Golgi apparatus is a primary site of intracellular damage after photosensitization with Rose Bengal acetate

The aim of the present investigation was to elucidate whether the Golgi apparatus undergoes photodamage following administration of the fluorogenic substrates Rose Bengal acetate (RBAc) and irradiation at the appropriate wavelength. Human HeLa cells were treated in culture and the changes in the organization of the Golgi apparatus were studied using fluorescence confocal microscopy and electron microscopy, after immunocytochemical labeling. To see whether the cytoskeletal components primarily involved in vescicle traffic (i.e., microtubules) might also be affected, experiments of tubulin immunolabeling were performed. After treatment with RBAc and irradiation, cells were allowed to grow in drug-free medium for different times. 24hr after irradiation, the cisternae of the Golgi apparatus became packed, and after 48-72 hr they appeared more fragmented and scattered throughout the cytoplasm; these changes in the organization of the Golgi cisternae were confirmed at electron microscopy. Interestingly enough, apoptosis was found to occur especially 48-72h after irradiation, and apoptotic cells exhibited a dramatic fragmentation of the Golgi membranes. The immunolabeling with anti-tubulin antibody showed that microtubules were also affected by irradiation in RBAc-treated cells