UbiSrvInt

2009 ◽  
pp. 135-171
Author(s):  
Soe-Tsyr Yuan ◽  
Fang-Yu Chen
Keyword(s):  
Service Provision ◽  
Ad Hoc ◽  
Fault Tolerant ◽  
Service Needs ◽  
Novel Approach ◽  
Distributed Problem Solving ◽  
Wireless Service ◽  
Wireless Environments ◽  
P2p Applications ◽  
Performance Results

Peer-to-Peer applications harness sharing between free resources (storage, contents, services, human presence, etc.). Most existing wireless P2P applications concern merely the sharing of a variety of contents. For magnifying the sharing extent for wireless service provision in the vicinity (i.e., the wireless P2P environments), this chapter presents a novel approach (briefly named UbiSrvInt) that is an attempt to enable a pure P2P solution that is context aware and fault tolerant for ad-hoc wireless service provision. This approach empowers an autonomous peer to propel distributed problem solving (e.g., in the travel domain) through service sharing and execution in an intelligent P2P way. This approach of ad-hoc wireless service provision is not only highly robust to failure (based on a specific clustering analysis of failure correlation among peers) but also capable of inferring a user’s service needs (through a BDI reasoning mechanism utilizing the surrounding context) in ad-hoc wireless environments. The authors have implemented UbiSrvInt into a system platform with P-JXTA that shows good performance results on fault tolerance and context awareness.

Research on robust adaptive sliding film fault-tolerant control under nonlinear distortion of signal transmission in amorphous flat air-to-ground wireless ad-hoc network system

2022 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Zhifang Wang ◽  
Jianguo Yu ◽  
Shangjing Lin
Keyword(s):  
Nonlinear Distortion ◽  
Ad Hoc ◽  
Fault Tolerant ◽  
Signal Transmission ◽  
Network System ◽  
Long Distance ◽  
Content Type ◽  
Wireless Signal ◽  
Robust Adaptive ◽  
Self Organizing

Purpose To solve the above problems and ensure the stability of the ad hoc network node topology in the process of wireless signal transmission, this paper aims to design a robust adaptive sliding film fault-tolerant controller under the nonlinear distortion of signal transmission in an amorphous flat air-to-ground wireless ad hoc network system. Design/methodology/approach This paper designs a robust adaptive sliding film fault-tolerant controller under the nonlinear distortion of signal transmission in an amorphous flat air-to-ground wireless ad hoc network system. Findings The simulation results show that the amorphous flat wireless self-organizing network system has good nonlinear distortion fault-tolerant correction ability under the feedback control of the designed controller, and the system has the asymptotically stable convergence ability; the test results show: the node topology of the self-organizing network structural stability is significantly improved, which provides a foundation for the subsequent realization of long-distance transmission of ad hoc network nodes. Research limitations/implications Because of the chosen research approach, the research results may lack generalizability. Therefore, researchers are encouraged to test the proposed propositions further. Originality/value The controller can extract the fault information caused by nonlinear distortion in the wireless signal transmission process, and at the same time, its feedback matrix K can gradually converge the generated wireless signal error to zero, to realize the stable transmission of the wireless signal.

scholarly journals A Novel Approach for Reliable Route Discovery in Mobile Ad-Hoc Network

2015 ◽  
Vol 83 (2) ◽  
pp. 1519-1529 ◽  
Author(s):  
Shariq Mahmood Khan ◽  
R. Nilavalan ◽  
Abdulhafid F. Sallama
Keyword(s):  
Ad Hoc Network ◽  
Ad Hoc ◽  
Mobile Ad Hoc Network ◽  
Route Discovery ◽  
Novel Approach ◽  
Mobile Ad Hoc

scholarly journals Shearlet-based regularized reconstruction in region-of-interest computed tomography

2018 ◽  
Vol 13 (4) ◽  
pp. 34
Author(s):  
T.A. Bubba ◽  
D. Labate ◽  
G. Zanghirati ◽  
S. Bonettini
Keyword(s):  
Optimization Problem ◽  
Ad Hoc ◽  
Iterative Scheme ◽  
Tomographic Reconstruction ◽  
Region Of Interest ◽  
Projection Data ◽  
Reconstruction Problem ◽  
Convex Optimization Problem ◽  
Scanning Time ◽  
Novel Approach

Region of interest (ROI) tomography has gained increasing attention in recent years due to its potential to reducing radiation exposure and shortening the scanning time. However, tomographic reconstruction from ROI-focused illumination involves truncated projection data and typically results in higher numerical instability even when the reconstruction problem has unique solution. To address this problem, bothad hocanalytic formulas and iterative numerical schemes have been proposed in the literature. In this paper, we introduce a novel approach for ROI tomographic reconstruction, formulated as a convex optimization problem with a regularized term based on shearlets. Our numerical implementation consists of an iterative scheme based on the scaled gradient projection method and it is tested in the context of fan-beam CT. Our results show that our approach is essentially insensitive to the location of the ROI and remains very stable also when the ROI size is rather small.

scholarly journals How to make ad hoc proof automation less ad hoc

2013 ◽  
Vol 23 (4) ◽  
pp. 357-401 ◽  
Author(s):  
GEORGES GONTHIER ◽  
BETA ZILIANI ◽  
ALEKSANDAR NANEVSKI ◽  
DEREK DREYER
Keyword(s):  
Design Patterns ◽  
Ad Hoc ◽  
Type System ◽  
Type Inference ◽  
Interactive Theorem Provers ◽  
Proof Automation ◽  
Novel Approach ◽  
Type Classes ◽  
Structure Programming ◽  
Base Logic

AbstractMost interactive theorem provers provide support for some form of user-customizable proof automation. In a number of popular systems, such as Coq and Isabelle, this automation is achieved primarily through tactics, which are programmed in a separate language from that of the prover's base logic. While tactics are clearly useful in practice, they can be difficult to maintain and compose because, unlike lemmas, their behavior cannot be specified within the expressive type system of the prover itself.We propose a novel approach to proof automation in Coq that allows the user to specify the behavior of custom automated routines in terms of Coq's own type system. Our approach involves a sophisticated application of Coq's canonical structures, which generalize Haskell type classes and facilitate a flexible style of dependently-typed logic programming. Specifically, just as Haskell type classes are used to infer the canonical implementation of an overloaded term at a given type, canonical structures can be used to infer the canonical proof of an overloaded lemma for a given instantiation of its parameters. We present a series of design patterns for canonical structure programming that enable one to carefully and predictably coax Coq's type inference engine into triggering the execution of user-supplied algorithms during unification, and we illustrate these patterns through several realistic examples drawn from Hoare Type Theory. We assume no prior knowledge of Coq and describe the relevant aspects of Coq type inference from first principles.

Measuring mono-word termhood by rank difference via corpus comparison

Terminology ◽  
2008 ◽  
Vol 14 (2) ◽  
pp. 204-229 ◽  
Author(s):  
Chunyu Kit ◽  
Xiaoyue Liu
Keyword(s):  
Ad Hoc ◽  
Critical Role ◽  
Novel Approach ◽  
Rank Difference ◽  
Special Knowledge ◽  
British National Corpus ◽  
Automatic Term Recognition ◽  
Core Issues ◽  
Term Candidate ◽  
National Corpus

Terminology as a set of concept carriers crystallizes our special knowledge about a subject. Automatic term recognition (ATR) plays a critical role in the processing and management of various kinds of information, knowledge and documents, e.g., knowledge acquisition via text mining. Measuring termhood properly is one of the core issues involved in ATR. This article presents a novel approach to termhood measurement for mono-word terms via corpus comparison, which quantifies the termhood of a term candidate as its rank difference in a domain and a background corpus. Our ATR experiments to identify legal terms in Hong Kong (HK) legal texts with the British National Corpus (BNC) as background corpus provide evidence to confirm the validity and effectiveness of this approach. Without any prior knowledge and ad hoc heuristics, it achieves a precision of 97.0% on the top 1000 candidates and a precision of 96.1% on the top 10% candidates that are most highly ranked by the termhood measure, illustrating a state-of-the-art performance on mono-word ATR in the field.

Distributed robust H∞ adaptive fault-tolerant control of amorphous and flat air-to-ground wireless self-organizing network system

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Zhifang Wang ◽  
Jianguo Yu ◽  
Shangjing Lin ◽  
Junguo Dong ◽  
Zheng Yu
Keyword(s):  
Flight Control ◽  
Control Algorithm ◽  
Ad Hoc ◽  
Fault Tolerant ◽  
Fault Tolerant Control ◽  
Integrated System ◽  
External Disturbances ◽  
Content Type ◽  
Actuator Failures ◽  
Wireless Signal

Purpose The paper takes the air-ground integrated wireless ad hoc network-integrated system as the research object, this paper aims to propose a distributed robust H∞ adaptive fault-tolerant control algorithm suitable for the system to distribute to solve the problem of control and communication failure at the same time. Design/methodology/approach In the paper, the authors propose a distributed robust H∞ adaptive fault-tolerant control algorithm suitable for the air-ground integrated wireless ad hoc network-integrated system. Findings The results show that the integrated system has good robustness and fault tolerance performance indicators for flight control and wireless signal transmission when confronted with external disturbances, internal actuator failures and wireless network associated failures and the flight control curve of the quadrotor unmanned aerial vehicle (UAV) is generally smooth and stable, even if it encounters external disturbances and actuator failures, its fault tolerance performance is very good. Then in the range of 400–800 m wireless communication distance, the success rate of wireless signal loop transmission is stable at 80%–100% and the performance is at least relatively improved by 158.823%. Originality/value This paper takes the air-ground integrated wireless ad hoc network-integrated system as the research object, based on the robust fault-tolerant control algorithm, the authors propose a distributed robust H∞ adaptive fault-tolerant control algorithm suitable for the system and through the Riccati equation and linear matrix inequation method, the designed distributed robust H∞ adaptive fault-tolerant controller further optimizes the fault suppression factor γ, so as to break through the limitation of only one Lyapunov matrix for different fault modes to distribute to solve the problem of control and communication failure at the same time.

Sign in / Sign up

Export Citation Format

Share Document