Dynamic Analysis of Software Systems with Aperiodic Impulse Rejuvenation

This paper aims to obtain the dynamical solution and instantaneous availability of software systems with aperiodic impulse rejuvenation. Firstly, we formulate the generic system with a group of coupled impulsive differential equations and transform it into an abstract Cauchy problem. Then we adopt a difference scheme and establish the convergence of this scheme by applying the Trotter–Kato theorem to obtain the system’s dynamical solution. Moreover, the instantaneous availability as an important evaluation index for software systems is derived, and its range is also estimated. At last, numerical examples are shown to illustrate the validity of theoretical results.

The Dialogic Expansion of Garcia’s We: Chronotopes, Ethics, and Politics in The Expanse Series

Popular culture could be understood as a political battleground where conflicting meanings are inscribed into the “ordinary objects” that constitute that public sphere. This is also true for science fiction television series. This article critically examines how political matters and ethical agencies are represented within The Expanse, a series that takes place within a speculative twenty-fourth century milky way. Firstly, I will situate The Expanse within its generic “system of reference.” Then, I will illustrate how political matters are represented as conjoined with the ethical. While the ethical refers to actions of persons, politics refers to fictional conceptions of what Tristan Garcia’s terms we-ourselves, understood as conflicting and overlapping conceptions of “we.” The conjunction between the political and the ethical in The Expanse is spatiotemporal: the characters, the events they are entangled in, and the spaces that connect discrete events develop through fictional and literal time. I argue that the science fictional representations of “we-ourselves,” and the specific spatiotemporal representational capacities of the television series format, can be understood through the application of Mikhail Bakhtin’s concepts of the chronotope and the dialogic. That is, The Expanse’s we-representations are chronotopic and the refractive rhetoric of television is dialogic.

Design and Implementation of a Gesture-Aided E-Learning Platform

In gesture-aided learning (GAL), learners perform specific body gestures while rehearsing the associated learning content. Although this form of embodiment has been shown to benefit learning outcomes, it has not yet been incorporated into e-learning. This work presents a generic system design for an online GAL platform. It is comprised of five modules for planning, administering, and monitoring remote GAL lessons. To validate the proposed design, a reference implementation for word learning was demonstrated in a field test. 19 participants independently took a predefined online GAL lesson and rated their experience on the System Usability Scale and a supplemental questionnaire. To monitor the correct gesture execution, the reference implementation recorded the participants’ webcam feeds and uploaded them to the instructor for review. The results from the field test show that the reference implementation is capable of delivering an e-learning experience with GAL elements. Designers of e-learning platforms may use the proposed design to include GAL in their applications. Beyond its original purpose in education, the platform is also useful to collect and annotate gesture data.

On Strong f-Electron Localization Effect in a Topological Kondo Insulator

We study a strong f-electron localization effect on the surface state of a generic topological Kondo insulator (TKI) system by performing a mean-field theoretic (MFT) calculation within the framework of the periodic Anderson model (PAM) using the slave boson technique. The surface metallicity, together with bulk insulation, requires this type of localization. A key distinction between surface states in a conventional insulator and a topological insulator is that, along a course joining two time-reversal invariant momenta (TRIM) in the same BZ, there will be an intersection of these surface states, an even/odd number of times, with the Fermi energy inside the spectral gap. For an even (odd) number of surface state crossings, the surface states are topologically trivial (non-trivial). The symmetry consideration and the pictorial representation of the surface band structure obtained here show an odd number of crossings, leading to the conclusion that, at least within the PAM framework, the generic system is a strong topological insulator.

Quantifying Substitutability

<p>In this thesis, we will tackle the problem of how keyphrase extraction systems can be evaluated to reveal their true efficacy. The aim is to develop a new semantically-oriented approximate string matching criteria, one that is comparable to human judgements, but without the cost and energy associated with manual evaluation. This matching criteria can also be adapted for any information retrieval (IR) system where the evaluation process involves comparing candidate strings (produced by the IR system) to a gold standard (created by humans). Our contributions are threefold. First, we define a new semantic relationship called substitutability – how suitable a phrase is when used in place of another – and then design a generic system which measures/quantifies this relationship by exploiting the interlinking structure of external knowledge sources. Second, we develop two concrete substitutability systems based on our generic design: WordSub, which is backed by WordNet; and WikiSub, which is backed by Wikipedia. Third, we construct a dataset, with the help of human volunteers, that isolates the task of measuring substitutability. This dataset is then used to evaluate the performance of our substitutability systems, along with existing approximate string matching techniques, by comparing them using a set of agreement metrics. Our results clearly demonstrate that WordSub and WikiSub comfortably outperform current approaches to approximate string matching, including both lexical-based methods, such as R-precision; and semantically-oriented techniques, such as METEOR. In fact, WikiSub’s performance comes sensibly close to that of an average human volunteer, when comparing it to the optimistic (best-case) interhuman agreement.</p>

Quantifying Substitutability

<p>In this thesis, we will tackle the problem of how keyphrase extraction systems can be evaluated to reveal their true efficacy. The aim is to develop a new semantically-oriented approximate string matching criteria, one that is comparable to human judgements, but without the cost and energy associated with manual evaluation. This matching criteria can also be adapted for any information retrieval (IR) system where the evaluation process involves comparing candidate strings (produced by the IR system) to a gold standard (created by humans). Our contributions are threefold. First, we define a new semantic relationship called substitutability – how suitable a phrase is when used in place of another – and then design a generic system which measures/quantifies this relationship by exploiting the interlinking structure of external knowledge sources. Second, we develop two concrete substitutability systems based on our generic design: WordSub, which is backed by WordNet; and WikiSub, which is backed by Wikipedia. Third, we construct a dataset, with the help of human volunteers, that isolates the task of measuring substitutability. This dataset is then used to evaluate the performance of our substitutability systems, along with existing approximate string matching techniques, by comparing them using a set of agreement metrics. Our results clearly demonstrate that WordSub and WikiSub comfortably outperform current approaches to approximate string matching, including both lexical-based methods, such as R-precision; and semantically-oriented techniques, such as METEOR. In fact, WikiSub’s performance comes sensibly close to that of an average human volunteer, when comparing it to the optimistic (best-case) interhuman agreement.</p>

A Generic System for Processing Insurance

Insurance companies are regularly provided with health check reports by the buyers of insurance. Different forms of printed lab reports/health check reports have to be digitized for each value of captured parameters. Optical Character Recognition (OCR), is used to convert the images of handwritten, typed, printed text or any kind of scanned documents into machine-encoded text in order to digitize the values from the report. Conversion to this standard set of digital values will benefit in automating a lot of backend approval process. we collect the reports from the user and read the values from the report and scrutinize the values. Based on the values with the company’s standard set, the scrutinization is done and it is then visualized using any visualization tool. The result is presented to the user so that the user can get an idea whether he/she is eligible for insurance claim. The foremost objective of this paper is making the insurance backend approval process a lot easier and a quick response to the buyers.

Digital Bandpass Modulation Methods

This chapter presents mathematical models of baseband and bandpass digital communication systems based on binary and quaternary phase-shift keying, frequency-shift keying, and quadrature amplitude modulation. The systems are deduced as special cases from the general generic system structure and the related theory of orthonormal basis functions. The systems are uniquely presented using mathematical operators and detailed derivatives for signals in time and frequency domains at the system’s vital points, that is, the transmitter, the receiver, and the noise generator, using the concepts of both stochastic (continuous and discrete) and deterministic (continuous and discrete) signal processing. The vital characteristics of the system and its blocks are expressed in terms of amplitude spectral density, autocorrelation functions, power and energy spectral densities, and bit error probability.

Evaluation of LiDAR data processing at the mobile network edge for connected vehicles

Abstract5G mobile network technology together with edge computing will create new opportunities for developing novel road safety services in order to better support connected and automated driving in challenging situations. This paper studies the feasibility and benefits of localized mobile network edge applications for supporting vehicles in diverse conditions. We study a particular scenario, where vehicle sensor data processing, required by road safety services, is installed into the mobile network edge in order to extend the electronic horizon of the sensors carried by other vehicles. Specifically, we focus on a LiDAR data-based obstacle warning case where vehicles receive obstacle warnings from the mobile network edge. The proposed solution is based on a generic system architecture. In this paper, we first evaluate different connectivity and computing options associated with such a system using ns-3 simulations. Then, we introduce a proof-of-concept implementation of the LiDAR-based obstacle warning scenario together with first results from an experimental evaluation, conducted both in a real vehicle testbed environment and in a laboratory setting. As a result, we obtain first insights on the feasibility of the overall solution and further enhancements needed.