By studying the spectral properties of the underlying operator corresponding to the M/G/1 queueing model with optional second service we obtain that the time-dependent solution of the model strongly converges to its s...By studying the spectral properties of the underlying operator corresponding to the M/G/1 queueing model with optional second service we obtain that the time-dependent solution of the model strongly converges to its steady-state solution. We also show that the time-dependent queueing size at the departure point converges to the corresponding steady-state queueing size at the departure point.展开更多
In this paper, we consider point spectra of the operator corresponding to the M/M/1 queueing model with working vacation and vacation interruption. We prove that the underlying operator has uncountable eigenvalues on ...In this paper, we consider point spectra of the operator corresponding to the M/M/1 queueing model with working vacation and vacation interruption. We prove that the underlying operator has uncountable eigenvalues on the left real line and these results describe the point spectra of the operator. Then, we show that the essential growth bound of the C_0-semigroup generated by the operator is 0 and therefore it is not quasi compact, the essential spectral bound of the C_0-semigroup is equal to 1. Moreover, our results imply it is impossible that the time-dependent solution of the model exponentially converges to its steady-state solution.展开更多
An Ethereum blockchain based on proof of stake ( PoS) consensus mechanism is used to achieve the data sharing within the civil aviation service platform for both airport group management and passengers. Considering th...An Ethereum blockchain based on proof of stake ( PoS) consensus mechanism is used to achieve the data sharing within the civil aviation service platform for both airport group management and passengers. Considering the Gas consumption of Ethereum, the dynamic batch-service capacity constraint by the Block Gas Limit and the priority mechanism depending on the different Gas Price of transactions, M/ G/1 queuing theory with batch-service is used to construct the service model of transactions confirmation process in the proposed blockchain system, where the effects of transactions arrival rate, block capacity, service rate and number of nodes on the average confirmation time of transactions with different priority are analyzed, and eventually a performance analysis model of blockchain for civil aviation business data is proposed. The simulation results prove the usability and accuracy of the model, which can provide both theoretical basis for data sharing of civil aviation using Ethereum blockchain and the further optimization of transactions confirmation time.展开更多
To discover new lead compounds for M1 agonists. Ten typical M1 agonists were superimposed to build a M1 agonists 3D-pharmacophore model using distance-comparisons （DISCO） method without the previous knowledge of the...To discover new lead compounds for M1 agonists. Ten typical M1 agonists were superimposed to build a M1 agonists 3D-pharmacophore model using distance-comparisons （DISCO） method without the previous knowledge of the three-dimensional structure of M1 receptor. Virtual screening strategy was used to analyze the Available Chemicals Directory-Screening Compounds （ACD-SC） to identify possible new hits. Twenty-two compounds which fit the pharmacophore model well and are not similar with known M1 agonists were purchased in order to evaluate their M1 receptor agonist activity. One of them shows M1 receptor agonist activity with EC50 of 4.90 μmol/L and maximum response. Multiple of 10.0 which shows it worthy of further study as a new lead compound for M1 agonists.展开更多
基金supported by the National Natural Science Foundation of China(11371303)Natural Science Foundation of Xinjiang(2012211A023)Science Foundation of Xinjiang University(XY110101)
文摘By studying the spectral properties of the underlying operator corresponding to the M/G/1 queueing model with optional second service we obtain that the time-dependent solution of the model strongly converges to its steady-state solution. We also show that the time-dependent queueing size at the departure point converges to the corresponding steady-state queueing size at the departure point.
基金Supported by the National Natural Science Foundation of China(Grant No.11801485)
文摘In this paper, we consider point spectra of the operator corresponding to the M/M/1 queueing model with working vacation and vacation interruption. We prove that the underlying operator has uncountable eigenvalues on the left real line and these results describe the point spectra of the operator. Then, we show that the essential growth bound of the C_0-semigroup generated by the operator is 0 and therefore it is not quasi compact, the essential spectral bound of the C_0-semigroup is equal to 1. Moreover, our results imply it is impossible that the time-dependent solution of the model exponentially converges to its steady-state solution.
基金the Open Foundation of Key Laboratory of Airports Cluster Intelligent Operation(No.KLACIO201900006124)National Natural Science Foundation of China(No.61901011)+1 种基金Foundation of Beijing Municipal Commission of Education(No.KM202010005017,KM202110005021)Beijing Natural Science Foundation(No.L192002).
文摘An Ethereum blockchain based on proof of stake ( PoS) consensus mechanism is used to achieve the data sharing within the civil aviation service platform for both airport group management and passengers. Considering the Gas consumption of Ethereum, the dynamic batch-service capacity constraint by the Block Gas Limit and the priority mechanism depending on the different Gas Price of transactions, M/ G/1 queuing theory with batch-service is used to construct the service model of transactions confirmation process in the proposed blockchain system, where the effects of transactions arrival rate, block capacity, service rate and number of nodes on the average confirmation time of transactions with different priority are analyzed, and eventually a performance analysis model of blockchain for civil aviation business data is proposed. The simulation results prove the usability and accuracy of the model, which can provide both theoretical basis for data sharing of civil aviation using Ethereum blockchain and the further optimization of transactions confirmation time.
基金National Natural Science Foundation of China (Grant No. 30271538)985 program,Ministry of Education of China
文摘To discover new lead compounds for M1 agonists. Ten typical M1 agonists were superimposed to build a M1 agonists 3D-pharmacophore model using distance-comparisons （DISCO） method without the previous knowledge of the three-dimensional structure of M1 receptor. Virtual screening strategy was used to analyze the Available Chemicals Directory-Screening Compounds （ACD-SC） to identify possible new hits. Twenty-two compounds which fit the pharmacophore model well and are not similar with known M1 agonists were purchased in order to evaluate their M1 receptor agonist activity. One of them shows M1 receptor agonist activity with EC50 of 4.90 μmol/L and maximum response. Multiple of 10.0 which shows it worthy of further study as a new lead compound for M1 agonists.
