Distributed Embedded Real-Time Systems (DERTS) consists of hundreds of interconnected devices, typically small and wirelessly-connected, which are designed to work for a long period of time. The massive interconnection of devices and the usage of heterogeneous languages, operating platforms and data standards make DERTS a competitive and complex system. In addition, the DERTS program is setting a trend of moving away from centralized, high-cost products towards lower cost and high volume products. In this regard, there is nothing more natural than considering the use of Service Oriented Architecture (SOA) to assist in the development of DERTS. This is because SOA enables different devices to exchange data regardless of issues of complexity. Moreover, context-awareness, which is widely studied for DERTS, also plays an important role for effective communication among devices. Thus, to build service-based DERTS while managing the complexity, context-aware ontologies are the best solution. In this paper, we developed a context-aware ontology for DERTS which is known as ConOntDERTS. To evaluate ConOntDERTS, we used two methods. In the first method, a criteria-based ontology evaluation was used; while in the second method, a survey was conducted to show that the results produced by ConOntDERTS were almost the same as human perception. Results of the evaluation show the consistency and feasibility of our ontology and the statistical test results show that ConOntDERTS ontology can produce consistent results with human perception.
AbstractIn this study, we develop the concept of multivalued Suzuki-type θ-contractions via a gauge function and established two new related fixed point theorems on metric spaces. We also discuss an example to validate our results.
This manuscript investigates fixed point of single-valued Hardy-Roger’s type
F
-contraction globally as well as locally in a convex
b
-metric space. The paper, using generalized Mann’s iteration, iterates fixed point of the abovementioned contraction; however, the third axiom (F3) of the
F
-contraction is removed, and thus the mapping
F
is relaxed. An important approach used in the article is, though a subset closed ball of a complete convex
b
-metric space is not necessarily complete, the convergence of the Cauchy sequence is confirmed in the subset closed ball. The results further lead us to some important corollaries, and examples are produced in support of our main theorems. The paper most importantly presents application of our results in finding solution to the integral equations.
This article demonstrates the graphical existence of a single fixed point while imposing the contractive condition of Chatterjea type F-contraction on F-metric space (briefly as F-MS). We present two examples that verify the validity of the results given in the paper. The paper further explains the subsistence of the fixed point even if the contractive condition is valid only for a closed ball inside the space rather than imposing it on the whole F-MS. Moreover, the application of the mentioned results in finding a single solution of functional equations is described that is widely used in computer programming and optimization.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.