This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this m...This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.展开更多
It is of great significance to study the relationship between the excited state intramolecular proton transfer(ESIPT)properties and antioxidant activities of compounds in the field of life sciences.In this work,two no...It is of great significance to study the relationship between the excited state intramolecular proton transfer(ESIPT)properties and antioxidant activities of compounds in the field of life sciences.In this work,two novel compounds 5HF-OMe and 5HF-NH2 are designed through introducing a methoxy-and amino-group into the structure of 5-hydroxyflavone(5HF)respectively.The relationship between the ESIPT reaction and antioxidant activities of the three compounds is studied via the density functional theory(DFT)and time-dependent DFT(TD-DFT)methods.The calculated potential energy curves suggest that the rate of ESIPT reaction will gradually slow down from 5HF to 5HF-OMe and 5HF-NH2.In addition,the antioxidant activities of the three compounds gradually enhance from 5HF to 5HF-OMe and 5HF-NH2,which can be seen from the calculated energy gaps and ionization potential values.Interestingly,the above results imply that the rate of ESIPT reaction has a negative relationship with the antioxidant activities of the compounds,i.e.,the slower rate of ESIPT reaction will reflect the higher antioxidant activity of the compound,which will provide valuable reference for detecting the antioxidant activity of compound via the photophysical method.展开更多
The influences of the substituent base position on the excited state intramolecular proton transfer fluorescence properties were explored in 2-(2'-hydroxyphenyl)imidazo[1,2-a]-pyridine(HPIP)and HPIP's derivati...The influences of the substituent base position on the excited state intramolecular proton transfer fluorescence properties were explored in 2-(2'-hydroxyphenyl)imidazo[1,2-a]-pyridine(HPIP)and HPIP's derivatives(5'Br-HPIP and 6'BrHPIP).And the density functional theory(DFT)and time-dependent DFT(TD-DFT)methods were used to calculate the molecule structures.The calculated results showed that the influence of 5'Br-HPIP on the fluorescence intensity is stronger than that of 6'Br-HPIP.The fluorescence emission peak of 5'Br-HPIP occurred a blue shift compared with HPIP,and 6'BrHPIP exhibited an opposite red shift.The change of the fluorescence emission peak was attributed to the decrease of the energy gap from 6'Br-HPIP to 5'Br-HPIP.Our work on the substituent position influence could be helpful to design and develop new materials.展开更多
Supersolidity is a counterintuitive quantum phase of matter where the long-range spatial order of a solid coexists with the frictionless flow characteristic of a superfluid.Recently,evidence of supersolidity has been ...Supersolidity is a counterintuitive quantum phase of matter where the long-range spatial order of a solid coexists with the frictionless flow characteristic of a superfluid.Recently,evidence of supersolidity has been demonstrated in polariton condensates in III-V photonic crystal microcavities by condensing into a topological bound state in the continuum,offering a new light-matter hybrid platform for exploring such quantum phase.In this work,we propose a theoretical scheme for realizing room-temperature supersolidity based on halide perovskite exciton polaritons operating in the optical parametric oscillation regime.By employing a waveguide microcavity geometry,we confine polariton scattering direction in reciprocal space,enabling controlled momentum selection.Leveraging the intrinsic nonlinear interactions among polaritons,we theoretically demonstrate the spontaneous breaking of both continuous translational symmetry and global phase symmetry,i.e.,the evidence of supersolidity.Furthermore,we identify a tunable phase transition sequence in our system:from a Bose-Einstein condensate to a supersolid phase,and ultimately to an insulating phase,as the nonlinear interaction strength increases.展开更多
(±)-Penicithrones A–D(1a/1b–4a/4b),four novel pairs of anthrone–cyclopentenone heterodimers characterized by a distinctive bridged 6/6/6−5 tetracyclic core skeleton,together with three previously identified co...(±)-Penicithrones A–D(1a/1b–4a/4b),four novel pairs of anthrone–cyclopentenone heterodimers characterized by a distinctive bridged 6/6/6−5 tetracyclic core skeleton,together with three previously identified compounds(5–7),were isolated from the crude extract of the mangrove-derived fungus Penicillium sp.,guided by heteronuclear single quantum correlation(HSQC)-based small molecule accurate recognition technology(SMART 2.0)and liquid chromatography-tandem mass spectrometry(LC-MS/MS)-based molecular networking.The structural elucidation of new compounds was accomplished through comprehensive spectroscopic analysis,and their absolute configurations were determined using DP4+^(13)C nuclear magnetic resonance(NMR)calculations and electronic circular dichroism(ECD)calculations.Compounds 1a/1b–4a/4b demonstrated moderate cytotoxicity against three human cancer cell lines HeLa,HCT116 and MCF-7 with half maximal inhibitory concentration(IC50)values ranging from 15.95±1.64 to 28.56±2.59μmol·L–1.展开更多
Chronic obstructive pulmonary disease(COPD)is a respiratory condition characterized by several symptoms.The pathogenesis of COPD is complex and involves multiple factors.A fantastic drug from traditional Chinese medic...Chronic obstructive pulmonary disease(COPD)is a respiratory condition characterized by several symptoms.The pathogenesis of COPD is complex and involves multiple factors.A fantastic drug from traditional Chinese medicine,Isodon Suzhouensis(ISZ)is a perennial herb belonging to the Labiaceae family.It has the functions of resolving phlegm,removing stasis,promoting blood circulation and eliminating qi stagnation.ISZ has been found to possess great potential against COPD.Present study is focused on identifying micro RNA(mi RNA)biomarkers for COPD and determining the role of ISZ leaf extract in regulating the disease through mi RNA expression in serum exosomes.The Sprague Dawley(SD)rats were randomly divided into control group,COPD group and COPD+ISZ group.After the establishment of the model,the rats were sacrificed,and the results were compared with the control group.Then the total RNA of rat serum was extracted and identified by nanoparticle tracker.Finally,high-throughput screening and sequencing were performed to screen mi RNAs with significant differential expression.Then,different databases were used to figure out the possible target genes,and their functions were assessed by employing Gene Ontology(GO)as well as Kyoto Encyclopedia of Genes and Genomes(KEGG)analyses.The sequencing results were then further verified by q RT-PCR.The results pointed out that these 17 differentially expressed mi RNAs may have the potential of diagnostic and prognostic biomarkers against COPD.Interestingly,it was also found that ISZ leaf extract may regulate the occurrence of COPD by affecting the expression of mi RNAs.This study identified the biomarkers of COPD and clarified the mechanism of the treatment of COPD by ISZ leaf extract,which is helpful to improve the level of early diagnosis and treatment of COPD.展开更多
Internal multiples are commonly present in seismic data due to variations in velocity or density of subsurface media.They can reduce the signal-to-noise ratio of seismic data and degrade the quality of the image.With ...Internal multiples are commonly present in seismic data due to variations in velocity or density of subsurface media.They can reduce the signal-to-noise ratio of seismic data and degrade the quality of the image.With the development of seismic exploration into deep and ultradeep events,especially those from complex targets in the western region of China,the internal multiple eliminations become increasingly challenging.Currently,three-dimensional(3D)seismic data are primarily used for oil and gas target recognition and drilling.Effectively eliminating internal multiples in 3D seismic data of complex structures and mitigating their adverse effects is crucial for enhancing the success rate of drilling.In this study,we propose an internal multiple prediction algorithm for 3D seismic data in complex structures using the Marchenko autofocusing theory.This method can predict the accurate internal multiples of time difference without an accurate velocity model and the implementation process mainly consists of several steps.Firstly,simulating direct waves with a 3D macroscopic velocity model.Secondly,using direct waves and 3D full seismic acquisition records to obtain the upgoing and down-going Green's functions between the virtual source point and surface.Thirdly,constructing internal multiples of the relevant layers by upgoing and downgoing Green's functions.Finally,utilizing the adaptive matching subtraction method to remove predicted internal multiples from the original data to obtain seismic records without multiples.Compared with the two-dimensional(2D)Marchenko algo-rithm,the performance of the 3D Marchenko algorithm for internal multiple prediction has been significantly enhanced,resulting in higher computational accuracy.Numerical simulation test results indicate that our proposed method can effectively eliminate internal multiples in 3D seismic data,thereby exhibiting important theoretical and industrial application value.展开更多
基金Supported by the National Natural Science F oundation of China(6 98730 35 ) and the Research Fund for the Doctoral Program of Hi
文摘This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.
基金Project supported by the National Basic Research Program of China(Grant No.2019YFA0307701)the National Natural Science Foundation of China(Grant No.11874180)the Science and Technology Development Project of Jilin Province of China(Grant No.20190103101JH).
文摘It is of great significance to study the relationship between the excited state intramolecular proton transfer(ESIPT)properties and antioxidant activities of compounds in the field of life sciences.In this work,two novel compounds 5HF-OMe and 5HF-NH2 are designed through introducing a methoxy-and amino-group into the structure of 5-hydroxyflavone(5HF)respectively.The relationship between the ESIPT reaction and antioxidant activities of the three compounds is studied via the density functional theory(DFT)and time-dependent DFT(TD-DFT)methods.The calculated potential energy curves suggest that the rate of ESIPT reaction will gradually slow down from 5HF to 5HF-OMe and 5HF-NH2.In addition,the antioxidant activities of the three compounds gradually enhance from 5HF to 5HF-OMe and 5HF-NH2,which can be seen from the calculated energy gaps and ionization potential values.Interestingly,the above results imply that the rate of ESIPT reaction has a negative relationship with the antioxidant activities of the compounds,i.e.,the slower rate of ESIPT reaction will reflect the higher antioxidant activity of the compound,which will provide valuable reference for detecting the antioxidant activity of compound via the photophysical method.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.11874180 and 11704146)the Program of Science and Technology Development Plan of Jilin Province,China(Grant Nos.20190201138TC and 20190103101JH)。
文摘The influences of the substituent base position on the excited state intramolecular proton transfer fluorescence properties were explored in 2-(2'-hydroxyphenyl)imidazo[1,2-a]-pyridine(HPIP)and HPIP's derivatives(5'Br-HPIP and 6'BrHPIP).And the density functional theory(DFT)and time-dependent DFT(TD-DFT)methods were used to calculate the molecule structures.The calculated results showed that the influence of 5'Br-HPIP on the fluorescence intensity is stronger than that of 6'Br-HPIP.The fluorescence emission peak of 5'Br-HPIP occurred a blue shift compared with HPIP,and 6'BrHPIP exhibited an opposite red shift.The change of the fluorescence emission peak was attributed to the decrease of the energy gap from 6'Br-HPIP to 5'Br-HPIP.Our work on the substituent position influence could be helpful to design and develop new materials.
基金supported by the National Natural Science Foundation of China(Grant No.12434011 obtained by Q X)the China Postdoctoral Science Foundation(Grant No.Y24PJ2425214 obtained by L T).
文摘Supersolidity is a counterintuitive quantum phase of matter where the long-range spatial order of a solid coexists with the frictionless flow characteristic of a superfluid.Recently,evidence of supersolidity has been demonstrated in polariton condensates in III-V photonic crystal microcavities by condensing into a topological bound state in the continuum,offering a new light-matter hybrid platform for exploring such quantum phase.In this work,we propose a theoretical scheme for realizing room-temperature supersolidity based on halide perovskite exciton polaritons operating in the optical parametric oscillation regime.By employing a waveguide microcavity geometry,we confine polariton scattering direction in reciprocal space,enabling controlled momentum selection.Leveraging the intrinsic nonlinear interactions among polaritons,we theoretically demonstrate the spontaneous breaking of both continuous translational symmetry and global phase symmetry,i.e.,the evidence of supersolidity.Furthermore,we identify a tunable phase transition sequence in our system:from a Bose-Einstein condensate to a supersolid phase,and ultimately to an insulating phase,as the nonlinear interaction strength increases.
基金supported by the National Key Research and Development Program of China(No.2022YFC2303100)the National Natural Science Foundation of China(Nos.32022002 and 21977113).
文摘(±)-Penicithrones A–D(1a/1b–4a/4b),four novel pairs of anthrone–cyclopentenone heterodimers characterized by a distinctive bridged 6/6/6−5 tetracyclic core skeleton,together with three previously identified compounds(5–7),were isolated from the crude extract of the mangrove-derived fungus Penicillium sp.,guided by heteronuclear single quantum correlation(HSQC)-based small molecule accurate recognition technology(SMART 2.0)and liquid chromatography-tandem mass spectrometry(LC-MS/MS)-based molecular networking.The structural elucidation of new compounds was accomplished through comprehensive spectroscopic analysis,and their absolute configurations were determined using DP4+^(13)C nuclear magnetic resonance(NMR)calculations and electronic circular dichroism(ECD)calculations.Compounds 1a/1b–4a/4b demonstrated moderate cytotoxicity against three human cancer cell lines HeLa,HCT116 and MCF-7 with half maximal inhibitory concentration(IC50)values ranging from 15.95±1.64 to 28.56±2.59μmol·L–1.
基金supported by the National Natural Science Foundation of China(82170481,82570069)Anhui Natural Science Foundation(2008085J39 and 2108085MH314)+1 种基金Anhui Province Innovation Team of Authentic Medicinal Materials Development and High Value Utilization(2022AH010080)Suzhou University Joint Cultivation Postgraduate Research Innovation Fund Project(2023KYCX04)。
文摘Chronic obstructive pulmonary disease(COPD)is a respiratory condition characterized by several symptoms.The pathogenesis of COPD is complex and involves multiple factors.A fantastic drug from traditional Chinese medicine,Isodon Suzhouensis(ISZ)is a perennial herb belonging to the Labiaceae family.It has the functions of resolving phlegm,removing stasis,promoting blood circulation and eliminating qi stagnation.ISZ has been found to possess great potential against COPD.Present study is focused on identifying micro RNA(mi RNA)biomarkers for COPD and determining the role of ISZ leaf extract in regulating the disease through mi RNA expression in serum exosomes.The Sprague Dawley(SD)rats were randomly divided into control group,COPD group and COPD+ISZ group.After the establishment of the model,the rats were sacrificed,and the results were compared with the control group.Then the total RNA of rat serum was extracted and identified by nanoparticle tracker.Finally,high-throughput screening and sequencing were performed to screen mi RNAs with significant differential expression.Then,different databases were used to figure out the possible target genes,and their functions were assessed by employing Gene Ontology(GO)as well as Kyoto Encyclopedia of Genes and Genomes(KEGG)analyses.The sequencing results were then further verified by q RT-PCR.The results pointed out that these 17 differentially expressed mi RNAs may have the potential of diagnostic and prognostic biomarkers against COPD.Interestingly,it was also found that ISZ leaf extract may regulate the occurrence of COPD by affecting the expression of mi RNAs.This study identified the biomarkers of COPD and clarified the mechanism of the treatment of COPD by ISZ leaf extract,which is helpful to improve the level of early diagnosis and treatment of COPD.
文摘Internal multiples are commonly present in seismic data due to variations in velocity or density of subsurface media.They can reduce the signal-to-noise ratio of seismic data and degrade the quality of the image.With the development of seismic exploration into deep and ultradeep events,especially those from complex targets in the western region of China,the internal multiple eliminations become increasingly challenging.Currently,three-dimensional(3D)seismic data are primarily used for oil and gas target recognition and drilling.Effectively eliminating internal multiples in 3D seismic data of complex structures and mitigating their adverse effects is crucial for enhancing the success rate of drilling.In this study,we propose an internal multiple prediction algorithm for 3D seismic data in complex structures using the Marchenko autofocusing theory.This method can predict the accurate internal multiples of time difference without an accurate velocity model and the implementation process mainly consists of several steps.Firstly,simulating direct waves with a 3D macroscopic velocity model.Secondly,using direct waves and 3D full seismic acquisition records to obtain the upgoing and down-going Green's functions between the virtual source point and surface.Thirdly,constructing internal multiples of the relevant layers by upgoing and downgoing Green's functions.Finally,utilizing the adaptive matching subtraction method to remove predicted internal multiples from the original data to obtain seismic records without multiples.Compared with the two-dimensional(2D)Marchenko algo-rithm,the performance of the 3D Marchenko algorithm for internal multiple prediction has been significantly enhanced,resulting in higher computational accuracy.Numerical simulation test results indicate that our proposed method can effectively eliminate internal multiples in 3D seismic data,thereby exhibiting important theoretical and industrial application value.
