1. |
- An, Jie, et al.
(författare)
-
Model Checking Bounded Continuous-time Extended Linear Duration Invariants
- 2018
-
Ingår i: HSCC 2018. - New York, NY, USA : ASSOC COMPUTING MACHINERY. ; , s. 81-90
-
Konferensbidrag (refereegranskat)abstract
- Extended Linear Duration Invariants (ELDI), an important subset of Duration Calculus, extends well-studied Linear Duration Invariants with logical connectives and the chop modality. It is known that the model checking problem of ELDI is undecidable with both the standard continuous-time and discrete-time semantics [12, 13], but it turns out to be decidable if only bounded execution fragments of timed automata are concerned in the context of the discrete-time semantics [36]. In this paper, we prove that this problem is still decidable in the continuous-time semantics, although it is well-known that model-checking Duration Calculus with the continuous-time semantics is much more complicated than the one with the discrete-time semantics. This is achieved by reduction to the validity of Quantified Linear Real Arithmetic (QLRA). Some examples are provided to illustrate the efficiency of our approach.
|
|
2. |
- Bieging, John H., et al.
(författare)
-
The Arizona Radio Observatory CO Mapping Survey of Galactic Molecular Clouds. VI. The Cep OB3 Cloud (Cepheus B and C) in CO J=2-1, (CO)-C-13 J=2-1, and CO J=3-2
- 2018
-
Ingår i: Astrophysical Journal, Supplement Series. - : American Astronomical Society. - 1538-4365 .- 0067-0049. ; 238:2
-
Tidskriftsartikel (refereegranskat)abstract
- We present (1) new fully sampled maps of CO and (CO)-C-13 J = 2-1 emission and CO J = 3-2 emission toward the molecular clouds Cep B and C, associated with the Cep OB3 association; (2) a map of extinction, A(V), derived from IR colors of background stars; and (3) the distribution of young stellar objects (YSOs) over the same field as the molecular maps. An LTE analysis of the CO and (CO)-C-13. maps yields the distribution of molecular column densities and temperatures. Substantial variations are evident across the clouds; smaller subregions show correlations between molecular properties and dust extinction, consistent with a picture of outer photodissociation regions with a layer of CO-dark molecular gas, a CO self-shielded interior, and an inner cold dense region where CO is largely depleted onto grains. Comparing the distribution of YSOs with molecular gas surface density shows a power-law relation very similar in slope to that for the giant molecular cloud associated with the H II region Sh2-235 from a previous paper in this series that employed the same methodology. We note the presence of several compact, isolated CO emission sources in the J = 3-2 maps. The gas temperature and (CO)-C-13. velocity dispersion yield a map of the sonic Mach number, which varies across the cloud but always exceeds unity, confirming the pervasiveness of supersonic turbulence over length scales greater than or similar to 0.1 pc (the map resolution). We also compute a J = 2-1 CO X-factor that varies with position but is, on average, within. 20% of the Galactic average derived from CO J = 1-0 observations.
|
|
3. |
- Guo, Pengzhi, et al.
(författare)
-
Twisted Alkylthiothien-2-yl Flanks and Extended Conjugation Length Synergistically Enhanced Photovoltaic Performance by Boosting Dielectric Constant and Carriers Kinetic Characteristics
- 2021
-
Ingår i: Macromolecular Chemistry and Physics. - : Wiley. - 1022-1352 .- 1521-3935. ; 222:12
-
Tidskriftsartikel (refereegranskat)abstract
- Alternating conjugated polymers (CPs), derived from 2-ethylhexylthiothiophen-2-yl (TS) or 2-ethylhexylthiophen-2-yl (T) flanked dithieno[3,2-d:3,2-d ']benzo[1,2-b:4,5-b ']dithiophene (DTBDT) and diketopyrrolo-pyrrole (DPP) termed as PDTBDT-TS-DPP and PDTBDT-T-DPP, are prepared and characterized. It is found that the PDTBDT-TS-DPP not only exhibits slightly deepening the highest occupied molecular orbital energy levels, and similar absorption, etc., but also presents higher dielectric constant (epsilon(r)) of 6.7 at 1 kHz in contrast to 3.2 for PDTBDT-T-DPP, which are even higher than those of 4.3 and 3.0 for PBDT-TS-DPP/PBDT-T-DPP generated from TS and T flanked benzo[1,2-b:4,5-bMODIFIER LETTER PRIME]dithiophene and DPP. Beyond that, the power conversion efficiency of 8.17% for the inverted photovoltaic devices from DPP-based CPs, is achieved from PDTBDT-TS-DPP. The alkylthio side chains are used in the DTBDT of the larger twisting angles of TS flanks and longer conjugation length, synergistically contribute to the highest dipole moments, and then lead to the enhancement of epsilon(r), thus devoted the modification exciton dissociation and charge carriers kinetic characteristics. To the authors' knowledge, it is the first time to report that epsilon(r) of the CPs is connected with the twisting angle of flanks and conjugation length of the building blocks, besides the use of functional side chains and atoms.
|
|
4. |
- Liang, Miaomiao, et al.
(författare)
-
Phytochemicals with activity against methicillin-resistant Staphylococcus aureus
- 2022
-
Ingår i: Phytomedicine. - : Elsevier. - 0944-7113 .- 1618-095X. ; 100
-
Forskningsöversikt (refereegranskat)abstract
- Background: The evolution of resistance to antimicrobials is a ubiquitous phenomenon. The evolution of antibiotic resistance in Staphylococcus aureus suggests that there is no remedy with sustaining effectiveness against this pathogen. The limited number of antibacterial drug classes and the common occurrence of cross-resistant bacteria reinforce the urgent need to discover new compounds targeting novel cellular functions. Natural products are a potential source of novel antibacterial agents. Anti-MRSA (methicillin-resistant S. aureus) bioactive compounds from Streptomyces and the anti-MRSA activity of a series of plant extracts have been reviewed respectively. However, there has been no detailed review of the precise bioactive components from plants.Purpose: The present review aimed to summarize the phytochemicals that have been reported with anti-MRSA activities, analyze their structure-activity relationship and novel anti-MRSA mechanisms.Methods: Data contained in this review article are compiled from the authoritative databases PubMed, Web of Science, Google Scholar, and so on.Results: This review summarizes 100 phytochemicals (27 flavonoids, 23 alkaloids, 17 terpenes and 33 others) that have been tested for their anti-MRSA activity. Among these phytochemicals, 39 compounds showed remarkable anti-MRSA activity with MIC values less than 10 mu g/ml, 14 compounds with MIC ranges including values <10 mu g/ml, 5 compounds with MIC values less than 5 mu M; 11 phytochemicals show synergism anti-MRSA effects in combination with antibiotics. Phytochemicals exerted anti-MRSA activities mainly by destroying the membrane structure and inhibiting the efflux pump.Conclusions: The 58 compounds with excellent anti-MRSA activity the 11 compounds with synergistic anti-MRSA effect, especially cannabinoids, xanthones and fatty acids should be further studied in vitro. Novel targets, such as cell membrane and efflux pump could be promising alternatives to develop antibacterial drugs in the future in order to prevent drug resistance.
|
|