Search results for "NETWORKING"

Frames for fusions of modal logics

2018

Let us consider multimodal logics and . We assume that is characterised by a class of connected frames, and there exists an -frame with a so-called -starting point. Similarly, the logic is characterised by a class of connected frames, and there exists an -frame with a -starting point. Using isomorphic copies of the frames and , we construct a connected frame which characterises the fusion . The frame thus obtained has some useful properties. Among others, is countable if both and are countable, and there is a special world of the frame such that any formula is valid in the frame if and only if it is valid at the point . We also describe a similar construction where we assume the existence o…

Stability of genetic regulatory networks with time-varying delay: Delta operator method

2015

This paper investigates the stability problem for a class of uncertain genetic regulatory networks (GRNs) with time-varying delay via delta operator approach. Both the parameter uncertainty and the generalized activations are considered in the model under study. By constructing an appropriate Lyapunov-Krasovskii functional, the stability and robust stability conditions of GRNs are presented under the delta operator frame. These conditions can be expressed in terms of linear matrix inequalities (LMIs). Finally, a numerical example is employed to illustrate the effectiveness of the proposed results.

Nonlocal Interface Mechanical Model

2007

The paper presents a nonlocal elastic damage-frictional interface model. The reason to introduce nonlocal mechanical features inside the constitutive relations is justified by the fact that there are several circumstances, in which the interface displays inside an extended process zone with microstructural spatial interactions. Typically, spatial bridging mechanical effects can be effectively modeled by integral (strongly nonlocal) stress-strain relations. The paper develops an elastic nonlocal model with local isotropic damage and the relations are constructed following a thermodynamical consistent approach.

An Investigation of Security and Privacy for Human Bond Communications

2017

Self-establishing a Service Level Agreement within Autonomic Cloud Networking Environment

2014

International audience; Today, cloud networking which is the ability to connect the user with his cloud services and to interconnect these services within an inter-cloud approach, is one of the recent research areas in the cloud computing research communities. The main drawback of cloud networking consists in the lack of Quality of Service (QoS) guarantee and management in conformance with a corresponding Service Level Agreement (SLA). Several research works have been proposed for the SLA establishing in cloud computing, but not in cloud networking. In this paper, we propose an architecture for self-establishing an end-to-end service level agreement between a Cloud Service User (CSU) and a …

Autonomic Brokerage Service for an End-to-End Cloud Networking Service Level Agreement

2014

8 pages; International audience; Today, cloud networking which is the ability to connect the user with his cloud services and to interconnect these services within an inter-cloud approach, is one of the recent research areas in the cloud computing research communities. The main drawback of cloud networking consists in the lack of Quality of Service (QoS) assurance and management in conformance with a corresponding Service Level Agreement (SLA). In this paper, we propose a framework for self-establishing an end-to-end service level agreement between a Cloud Service User (CSU) and multiple Cloud Service Providers (CSPs) in a cloud networking environment using brokerage service. We focus on Qo…

ROS/Gazebo Based Simulation of Co-operative UAVs

2019

UAVs can be assigned different tasks such as e.g., rendez-vous and space coverage, which require processing and communication capabilities. This work extends the architecture ROS/Gazebo with the possibility of simulation of co-operative UAVs. We assume UAV with the underlying attitude controller based on the open-source Ardupilot software. The integration of the co-ordination algorithm in Gazebo is implemented with software modules extending Ardupilot with the capability of sending/receiving messages to/from drones, and executing the co-ordination protocol. As far as it concerns the simulation environment, we have extended the world in Gazebo to hold more than one drone and to open a specif…

A Cognitive Model of Trust for Biological and Artificial Humanoid Robots

2018

Abstract This paper presents a model of trust for biological and artificial humanoid robots and agents as antecedent condition of interaction. We discuss the cognitive engines of social perception that accounts for the units on which agents operate and the rules they follow when they bestow trust and assess trustworthiness. We propose that this structural information is the domain of the model. The model represents it in terms of modular cognitive structures connected by a parallel architecture. Finally we give a preliminary formalization of the model in the mathematical framework of the I/O automata for future computational and human-humanoid application.

System times and channel availability analyses in multi-channel cognitive radio networks

2014

Channel accessibility by a secondary user (SU) in cognitive radio networks (CRNs) depends on the availability of the spectrum based on primary user and other SU activities. A new SU request may be blocked and an ongoing SU service may also be discarded if no sufficient spectrum is available. So far, little work has been done to analyze the reliability and availability aspects of CRNs from the perspective of the dependability theory. In this paper, we introduce the concept of availability for spectrum access in multi-channel CRNs, which is defined as the fraction of time that a CRN can allocate at least the minimum number of required channels for a new SU request. Through a proposed continuo…

More Support for More-Support

2009

This book provides the most comprehensive account so far of novel and hitherto unexplained factors operative in the choice between synthetic ( prouder ) and analytic ( more proud ) comparatives. It argues that the underlying motivation in using the analytic variant is to mitigate processing demands – a compensatory strategy referred to as more -support. The analytic variant is claimed to be better suited to environments of increased processing complexity – presumably owing to its ability to facilitate early phrase structure recognition, the more transparent one-to-one relation between form and function and possibly because the degree marker more can serve as a structural signal foreshadowin…