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
2p
-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. 相似文献
Studying the changes of shape is a common concern in many scientific fields. We address here two problems: (1) quantifying the deformation between two given shapes and (2) transporting this deformation to morph a third shape. These operations can be done with or without point correspondence, depending on the availability of a surface matching algorithm, and on the type of mathematical procedure adopted. In computer vision, the re-targeting of emotions mapped on faces is a common application. We contrast here four different methods used for transporting the deformation toward a target once it was estimated upon the matching of two shapes. These methods come from very different fields such as computational anatomy, computer vision and biology. We used the large diffeomorphic deformation metric mapping and thin plate spline, in order to estimate deformations in a deformational trajectory of a human face experiencing different emotions. Then we use naive transport (NT), linear shift (LS), direct transport (DT) and fanning scheme (FS) to transport the estimated deformations toward four alien faces constituted by 240 homologous points and identifying a triangulation structure of 416 triangles. We used both local and global criteria for evaluating the performance of the 4 methods, e.g., the maintenance of the original deformation. We found DT, LS and FS very effective in recovering the original deformation while NT fails under several aspects in transporting the shape change. As the best method may differ depending on the application, we recommend carefully testing different methods in order to choose the best one for any specific application.
The world is on the verge of a major antibiotic crisis as the emergence of resistant bacteria is increasing, and very few novel molecules have been discovered since the 1960s. In this context, scientists have been exploring alternatives to conventional antibiotics, such as ribosomally synthesized and post-translationally modified peptides (RiPPs). Interestingly, the highly potent in vitro antibacterial activity and safety of ruminococcin C1, a recently discovered RiPP belonging to the sactipeptide subclass, has been demonstrated. The present results show that ruminococcin C1 is efficient at curing infection and at protecting challenged mice from Clostridium perfringens with a lower dose than the conventional antibiotic vancomycin. Moreover, antimicrobial peptide (AMP) is also effective against this pathogen in the complex microbial community of the gut environment, with a selective impact on a few bacterial genera, while maintaining a global homeostasis of the microbiome. In addition, ruminococcin C1 exhibits other biological activities that could be beneficial for human health, as well as other fields of applications. Overall, this study, by using an in vivo infection approach, confirms the antimicrobial clinical potential and highlights the multiple functional properties of ruminococcin C1, thus extending its therapeutic interest. 相似文献
The FcγRIIA/CD32A is mainly expressed on platelets, myeloid and several endothelial cells. Its affinity is considered insufficient for allowing significant binding of monomeric IgG, while its H131R polymorphism (histidine > arginine at position 131) influences affinity for multimeric IgG2. Platelet FcγRIIA has been reported to contribute to IgG-containing immune-complexe clearance. Given our finding that platelet FcγRIIA actually binds monomeric IgG, we investigated the role of platelets and FcγRIIA in IgG antibody elimination. We used pharmacokinetics analysis of infliximab (IgG1) in individuals with controlled Crohn’s disease. The influence of platelet count and FcγRIIA polymorphism was quantified by multivariate linear modelling. The infliximab half-life increased with R allele number (13.2, 14.4 and 15.6 days for HH, HR and RR patients, respectively). It decreased with increasing platelet count in R carriers: from ≈20 days (RR) and ≈17 days (HR) at 150 × 109/L, respectively, to ≈13 days (both HR and RR) at 350 × 109/L. Moreover, a flow cytometry assay showed that infliximab and monomeric IgG1 bound efficiently to platelet FcγRIIA H and R allotypes, whereas panitumumab and IgG2 bound poorly to the latter. We propose that infliximab (and presumably any IgG1 antibody) elimination is partly due to an unappreciated mechanism dependent on binding to platelet FcγRIIA, which is probably tuned by its affinity for IgG2. 相似文献
The present investigation focuses on the synthesis of crabshell-derived hydroxyapatite (CS-HAP)/ water-soluble synthetic polymer—polyvinylpyrrolidone(PVP)/aloevera(AV)—a natural biopolymer, as a composite for enhanced mechanical, antibacterial and biocompatible properties. The reinforcement of polymer has a significant function in increasing the mechanical property of the composite, whereas the incorporation of AV improves the antibacterial and biocompatibility. Phase composition, morphology, mechanical property, and hydrophilicity of CS-HAP/PVP/AV biocomposite with different concentrations of PVP and AV were examined by Fourier transform infrared spectroscopy (FTIR), X-Ray diffraction (XRD), scanning electron microscopy with energy dispersive X-ray (SEM-EDX), Vickers microhardness tests, contact angle, respectively. Furthermore, the antibacterial efficiency of the composite is assessed using Escherichia coli (E coli) and Staphylococcus aureus (S aureus). The biocompatibility of HOS MG 63 cells on the CS-HAP/PVP/AV composite is evaluated by MTT assay test. The obtained results evidence that the as-synthesized composite have appropriate mechanical, antibacterial and biocompatible properties. Overall, the combination of mechanical property of PVP, antibacterial and biocompatible property of AV in CS-HAP/PVP/AV, makes the composite a potential therapeutic material for various biomedical applications. 相似文献
Paf is a phospholipid mediator present in human skin which induces inflammatory events such as neutrophil infiltration and
increased vascular permeability. Recent data suggest that cutaneous cells, such as fibroblasts and keratinocytes, produce
paf and that paf is released during allergic cutaneous reactions. It is tempting to speculate that paf may contribute to the
development of various skin disorders with acute and chronic skin inflammation. Paf antagonists may help in bringing answers
to this hypothesis and may offer new prospects for the treatment of cutaneous inflammatory diseases.
Based on a paper presented at the Third International Conference on Platelet-Activating Factor and Structurally Related Alkyl
Ether Lipids, Tokyo, Japan, May 1989. 相似文献
Silphinene sesquiterpenes are established chrysomelid antifeedants. In this work, nine silphinene analogs, 11-acetoxy-5-angeloyloxysilphinen-3-one (1), 11-acetoxy-5-tigloyloxysilphinen-3-one (2), 11-acetoxy-5-iso- butyryloxysilphinen-3-one (3), 11-hydroxy-5-angeloyloxysilphinen-3-one (4), 11,5-dihydroxysilphinen-3-one (5), 11,5-diacetoxysilphinen-3-one (6), 5,11-diisobutyryloxysilphinen-3-one (7), silphinen-3,5,11-trione (8), and O-methyl-5-epicantabrenolic acid methyl ester (10), and a presilphiperfolane sesquiterpene (9) were tested against several divergent insect species, including the lepidopteran Spodoptera littoralis, the chrysomelid Leptinotarsa decemlineata, and five aphid species, and their antifeedant effects were compared with those of picrotoxinin, a GABA-antagonist, and thymol, an allosteric modulator for insect GABA receptors. All insects tested responded to at least one silphinene analog and/or GABA antagonist. Compound 3 and thymol were effective antifeedants against all species tested except S. littoralis, with varying potencies according to their feeding ecologies. The toxicity of these compounds was species-dependent and did not correlate with their antifeedant effect. 相似文献
Summary The herbicide 2,4-D was microencapsulated using ethyl cellulose to develop controlled release formulations that protect it from photodegradation and evaporation and to reduce the environment pollution. Ethyl cellulose microspheres loaded with 2,4-D were prepared by the emulsion solvent-evaporation technique. We have obtained the desired microspheres with higher drug entrapment and encapsulation yield by varying certain conditions as stirring speed, polymer-solvent ratio, drug-polymer ratio, pH of continuous phase and organic phase solvent. The shape and size of microspheres were analysed by scanning electron microscopy. The herbicide release was studied at 25 °C and the release data were analysed according to Fick’s Law. The results demonstrate that we can control the release rate by modifying the process parameters. 相似文献
Structural analysis derived from the crystallographic studyof the chimeric B72.3 antibody illustrated some major atomicinteractions between complementarity determining region (CDR)residues. For example, hydrogen bonds are formed between H35/H95,L50/H97, H53/H55 and H96/L96 respectively. These CDR residuesmay play important roles in the B72.3TAG72 (antibody-antigen)interaction either by direct interaction with the TAG72 antigenor by maintaining a CDR loop conformation through atomic interactionsbetween CDR residues. In order to confirm these assumptions,we altered these CDR residues by site-directed mutagenesis anddetermined binding affinities of these mutant chimeric antibodiesfor the TAG72 antigen in a solid-phase radioimmunoassay. Wefound that H55, H95, H97 and L96 are important CDR residuesfor the B72.3TAG72 interaction. Single amino acid substitutionsof aspartic acid and serine by alanine at H55 of CDR2 and atH95 of CDR3 respectively and of tyrosine by phenylalanine atH97 and L96 of CDR3, significantly reduced the binding affinityfor the TAG72 antigen by 20-, 8-, 16- and 45-fold respectively.Therefore, this study reveals some of the requirements for maintainingthe integrity of the B72.3 antibody combining sites. 相似文献