Algorithms and complexity concerning the preemptive scheduling of periodic,real-time tasks on one processor

We investigate the preemptive scheduling of periodic, real-time task systems on one processor. First, we show that when all parameters to the system are integers, we may assume without loss of generality that all preemptions occur at integer time values. We then assume, for the remainder of the paper, that all parameters are indeed integers. We then give, as our main lemma, both necessary and sufficient conditions for a task system to be feasible on one processor. Although these conditions cannot, in general, be tested efficiently (unless P=NP), they do allow us to give efficient algorithms for deciding feasibility on one processor for certain types of periodic task systems. For example, we give a pseudo-polynomial-time algorithm for synchronous systems whose densities are bounded by a fixed constant less than 1. This algorithm represents an exponential improvement over the previous best algorithm. We also give a polynomial-time algorithm for systems having a fixed number of distinct types of tasks. Furthermore, we are able to use our main lemma to show that the feasibility problem for task systems on one processor is co-NP-complete in the strong sence. In order to show this last result, we first show the Simultaneous Congruences Problem to be NP-complete in the strong sense. Both of these last two results answer questions that have been open for ten years. We conclude by showing that for incomplete task systems, that is, task systems in which the start times are not specified, the feasibility problem is ₂ ^p -complete.This work was supported in part by National Science Foundation Grant No. CCR-8711579. Some of these results were presented at the 15th Symposium on Mathematical Foundations of Computer Science, 1990.     

HSWOA: An ensemble of hunger games search and whale optimization algorithm for global optimization

The search for food stimulated by hunger is a common phenomenon in the animal world. Mimicking the concept, recently, an optimization algorithm Hunger Games Search (HGS) has been proposed for global optimization. On the other side, the Whale Optimization Algorithm (WOA) is a commonly utilized nature-inspired algorithm portrayed by a straightforward construction with easy parameters imitating the hunting behavior of humpback whales. However, due to minimum exploration of the search space, WOA has a high chance of trapping into local solutions, and more exploitation leads it towards premature convergence. The concept of hunger from HGS is merged with the food searching techniques of the whale to lessen the inherent drawbacks of WOA. Two weights of HGS are adaptively designed for every whale using the respective hunger level for balancing search strategies. Performance verification of the proposed hunger search-based whale optimization algorithm (HSWOA) is done by comparing it with 10 state-of-the-art algorithms, including three very recently developed algorithms on 30 classical benchmark functions. Comparison with some basic algorithms, recently modified algorithms, and WOA variants is performed using IEEE CEC 2019 function set. Statistical performance of the proposed algorithm is verified with Friedman's test, boxplot analysis, and Nemenyi multiple comparison test. The operating speed of the algorithm is determined and tested with complexity analysis and convergence analysis. Finally, seven real-world engineering problems are solved and compared with a list of metaheuristic algorithms. Numerical and statistical performance comparison with state-of-the-art algorithms confirms the efficacy of the newly designed algorithm.     

The feasibility of general task systems with precedence constraints on multiprocessor platforms

Feasibility analysis determines (prior to system execution-time) whether a specified collection of hard-real-time jobs executed on a processing platform can meet all deadlines. In this paper, we derive near-optimal sufficient tests for determining whether a given collection of jobs can feasibly meet all deadlines upon a specified multiprocessor platform assuming job migration is permitted. The collection of jobs may contain precedence constraints upon the order of execution of these jobs. The derived tests are general enough to be applied even when the collection of jobs is incompletely specified. We discuss the applicability of these tests to the scheduling of collections of jobs that are generated by systems of recurrent real-time tasks. We also show that our feasibility conditions may be used to obtain global-EDF schedulability conditions.

A dynamic model for short-term prediction of stream attributes

Multiple data streams coming out of a complex system form the observable state of the system. The streams may correspond to various sensors attached with the system or outcome of internal processes. Such stream data may consist of multiple attributes and may differ in terms of their frequency of generation and observation. The streams may have dependency among themselves. One will have to rely on such data streams for monitoring the health of the system or to take any corrective measure. Predicting the value of certain stream data is an important task that can help one to take decision and act accordingly. In this work, a simple but generic visualization of a complex system is presented and thereafter a linear regression-based dynamic model for short-term prediction is proposed. The model is based on the past history of the attributes of multiple streams as suggested by the domain experts. But, it automatically determines the meaningful attributes and reformulates the model. The model is also re-computed if the prediction error exceeds the allowable tolerance. All these make the model dynamic. Experiment is carried out with stock market data streams to predict the close value well in advance. It is observed that in terms of quality of prediction and performance metric, the proposed model is quite effective.     

Effect of Polysaccharides on the Properties of the Mucoadhesive Poly(Vinyl Alcohol) Multicore–Shell Microparticles

This study discusses about the effect of polysaccharides (agar, gum tragacanth, and guar gum) on the properties of the core (organogel)–shell [poly(vinyl alcohol)] microparticles. The size, swelling, and mucoadhesive properties of the poly(vinyl alcohol) microparticles were altered in the presence of the polysaccharides. Thermal analysis confirmed the presence of organogels within the microparticles. Fourier transform infrared spectroscopy confirmed the presence of the polysaccharides within the microparticles. The microparticles were biocompatible in nature. Drug release indicated that an alteration in the shell composition can be used for altering drug release. Ciprofloxacin-loaded microparticles showed sufficient antimicrobial efficiency.     

Study on rheology and thermal stability of mixed (nonionic–anionic) surfactant based fracturing fluids

Mixed surfactant systems have gained significant importance in the development of fracturing fluid due to polymorphism of self‐assembly structures that have combined properties of the surfactants in the mixture. In this article, a comparative study on the phase behavior and viscoelastic properties of mixed surfactant based fluids, prepared from Tween 80+NaOA/2‐ethyl hexanol/clove oil/water and Tween 20+NaOA/2‐ethyl hexanol/clove oil/water quaternary system is investigated in details. The viscoelastic surfactant (VES) based fluids prepared from the former system offered superior rheological properties than the latter system. The addition of 0.1% NaOH and 500 ppm ZnO nano‐particles in the VES fluids presented enhanced viscoelastic properties as concluded by static and dynamic rheological tests. Miscibility test indicated the miscibility of the VES fluids with water, unlike in the presence of diesel oil and satisfactory proppant suspension capabilities were exhibited by the developed fluids. © 2016 American Institute of Chemical Engineers AIChE J, 62: 2177–2187, 2016     

Synthesis of ethylene and butyl methacrylate-based copolymer by emulsion polymerization

The emulsion copolymerization of ethylene with butyl methacrylate (BMA) was carried out in an aqueous medium at 60 °C under moderate reaction conditions. The polymer system is well controlled with a linear increase in the molecular weight (M_n) versus ethylene feed pressure and narrow molecular weight distributions (>1.36) were observed throughout the copolymerization reaction. The spectroscopic analyses confirm the presence of acrylate functional as well as methylene group in the synthesized poly(ethylene-co-BMA) copolymer. Morphological behavior of poly(ethylene-co-BMA) has been studied using SEM and TEM analyses. Thermal stability of the copolymers was investigated by thermogravimetric analysis and it was observed that the copolymer is stable up to 380 °C. X-ray diffraction analysis confirmed the amorphous behavior of poly(ethylene-co-BMA). Dynamic light scattering measurement confirms the formation of poly(ethylene-co-BMA) nanoparticles. The particle size of copolymer nanoparticles were in the range of 85–108 nm with low polydispersity indexes (>0.2). The viscous and the elastic property of the copolymer were investigated and established that at high temperature elastic behavior predominant over viscous effect. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 47994.     

Pluronic lecithin organogel of 5-aminosalicylic acid for wound healing

5-Aminosalicylic acid (5-ASA) is an aminosalicylate anti-inflammatory drug, which is also known as mesalazine or mesalamine. Currently employed in treating inflammatory bowel disease, ulcerative colitis, inflamed anus or rectum, and maintain remission in Crohn's disease. Evidence from the researchers highlighted its significant re-epithelization in allergic asthma, aphthous, and gastric ulcerative conditions. The objective of the study was to formulate the pluronic lecithin organogel (PLO) containing 5-ASA and evaluate its wound-healing ability in a full thickness excision wound rat model. The data obtained from in silico docking studies revealed 5-ASA is having an affinity towards the transforming growth factor-beta (TGF-β) specifically towards beta1. Among various formulations prepared (F1 to F8), F1, and F6 have shown a maximum in vitro drug release with optimum pH and viscosity. From MTT assay it was found that selected PLO formulations showed no toxicity and enhanced cell proliferation in HaCaT cell lines. In vivo wound-healing studies in albino Wistar rats has revealed that PLO accelerates wound closure and reepithelization to the statistically significant level on day 3 (p?相似文献