Quantum computing offers unprecedented computational power, enabling simultaneous computations beyond traditional computers. Quantum computers differ significantly from classical computers, necessitating a distinct ap...Quantum computing offers unprecedented computational power, enabling simultaneous computations beyond traditional computers. Quantum computers differ significantly from classical computers, necessitating a distinct approach to algorithm design, which involves taming quantum mechanical phenomena. This paper extends the numbering of computable programs to be applied in the quantum computing context. Numbering computable programs is a theoretical computer science concept that assigns unique numbers to individual programs or algorithms. Common methods include Gödel numbering which encodes programs as strings of symbols or characters, often used in formal systems and mathematical logic. Based on the proposed numbering approach, this paper presents a mechanism to explore the set of possible quantum algorithms. The proposed approach is able to construct useful circuits such as Quantum Key Distribution BB84 protocol, which enables sender and receiver to establish a secure cryptographic key via a quantum channel. The proposed approach facilitates the process of exploring and constructing quantum algorithms.展开更多
Within the publishing industry,article numbering has emerged as an easy and efficient way to cite journal articles.Article numbering has already been successfully rolled out to Elsevier's multidisciplinary open ac...Within the publishing industry,article numbering has emerged as an easy and efficient way to cite journal articles.Article numbering has already been successfully rolled out to Elsevier's multidisciplinary open access journal Chinese Journal of Aeronautics,as well as more than 1600 other journals,and has been well received by the academic community.Based on that positive feedback,we are now pleased to introduce article numbering to Visual Informatics from Volume 9,Issue 2.展开更多
The theory of numberings studies uniform computations for families of mathematical objects. In this area, computability-theoretic properties of at most countable families of sets S are typically classified via the cor...The theory of numberings studies uniform computations for families of mathematical objects. In this area, computability-theoretic properties of at most countable families of sets S are typically classified via the corresponding Rogers upper semilattices. In most cases, a Rogers semilattice cannot be a lattice. Working within the framework of Formal Concept Analysis, we develop two new approaches to the classification of families S. Similarly to the classical theory of numberings, each of the approaches assigns to a family S its own concept lattice. The first approach captures the cardinality of a family S: if S contains more than 2 elements, then the corresponding concept lattice FC1(S) is a modular lattice of height 3, such that the number of its atoms to the cardinality of S. Our second approach gives a much richer environment. We prove that for any countable poset P, there exists a family S such that the induced concept lattice FC2(S) is isomorphic to the Dedekind-MacNeille completion of P. We also establish connections with the class of enumerative lattices introduced by Hoyrup and Rojas in their studies of algorithmic randomness. We show that every lattice FC2(S) is anti-isomorphic to an enumerative lattice. In addition, every enumerative lattice is anti-isomorphic to a sublattice of the lattice FC2(S) for some family S.展开更多
Revised September 2013 by J.-F. Arguin LBNL）, L. Garren （Fermilab）, F. Krauss （Durham U.）, C.-J. Lin （LBNL）, S. Navas （U. Granada）, P. Richardson （Durham U.）, and T. Sjostrand （Lund U.）.
In this study,the dynamic characteristics of microscale floating bubbles near the vertical wall are studied.This occurrence is common in industrial and natural phenomena.Although many studies have been conducted on mi...In this study,the dynamic characteristics of microscale floating bubbles near the vertical wall are studied.This occurrence is common in industrial and natural phenomena.Although many studies have been conducted on microscale bubbles,few studies investigate floating bubbles with very small Reynolds number(Re)near the wall,which is the main research goal of this study.Therefore,this study establishes a model for the ascent of small-scale bubbles near a vertical wall using the interFoam solver in OpenFOAM.This study investigates the influences of diverse viscosity parameters,varying distances from the wall,and different gas flow rates on the terminal velocity,deformation,and motion trajectory of bubbles.The results reveal that as liquid viscosity increases,the Re of bubbles gradually decreases and reaches a minimum of 0.012,which is similar to the Re of micrometer-sized bubbles in water.The characteristics of the wall-induced force in the longitudinal direction are closely related to the changes in liquid viscosity.Under low-viscosity conditions,the induced lift is the principal form of action,whereas under high-viscosity conditions,it is primarily manifested as induced drag.展开更多
A t-tone coloring of a graph assigns t distinct colors to each vertex with vertices at distance d having fewer than d colors in common.The t-tone chromatic number of a graph is the smallest number of colors used in al...A t-tone coloring of a graph assigns t distinct colors to each vertex with vertices at distance d having fewer than d colors in common.The t-tone chromatic number of a graph is the smallest number of colors used in all t-tone colorings of that graph.In this article,we study t-tone coloring of some finite planar lattices and obtain exact formulas for their t-tone chromatic number.展开更多
In this paper,we establish some strong laws of large numbers,which are for nonindependent random variables under the framework of sublinear expectations.One of our main results is for blockwise m-dependent random vari...In this paper,we establish some strong laws of large numbers,which are for nonindependent random variables under the framework of sublinear expectations.One of our main results is for blockwise m-dependent random variables,and another is for sub-orthogonal random variables.Both extend the strong law of large numbers for independent random variables under sublinear expectations to the non-independent case.展开更多
Amyotrophic lateral sclerosis (ALS) is a fatal neurodegenerative disorder characterized by the progressive degeneration of upper and lower motor neurons in the brainstem and spinal cord,leading to muscle weakness,para...Amyotrophic lateral sclerosis (ALS) is a fatal neurodegenerative disorder characterized by the progressive degeneration of upper and lower motor neurons in the brainstem and spinal cord,leading to muscle weakness,paralysis,and respiratory failure (Morgan and Orrell,2016).展开更多
In this paper,we first give a sufficient condition for a graph being fractional ID-[a,b]-factor-critical covered in terms of its independence number and minimum degree,which partially answers the problem posed by Sizh...In this paper,we first give a sufficient condition for a graph being fractional ID-[a,b]-factor-critical covered in terms of its independence number and minimum degree,which partially answers the problem posed by Sizhong Zhou,Hongxia Liu and Yang Xu(2022).Then,an A_(α)-spectral condition is given to ensure that G is a fractional ID-[a,b]-factor-critical covered graph and an(a,b,k)-factor-critical graph,respectively.In fact,(a,b,k)-factor-critical graph is a graph which has an[a,b]-factor for k=0.Thus,these above results extend the results of Jia Wei and Shenggui Zhang(2023)and Ao Fan,Ruifang Liu and Guoyan Ao(2023)in some sense.展开更多
The growing need for sustainable energy solutions,driven by rising energy shortages,environmental concerns,and the depletion of conventional energy sources,has led to a significant focus on renewable energy.Solar ener...The growing need for sustainable energy solutions,driven by rising energy shortages,environmental concerns,and the depletion of conventional energy sources,has led to a significant focus on renewable energy.Solar energy,among the various renewable sources,is particularly appealing due to its abundant availability.However,the efficiency of commercial solar photovoltaic(PV)modules is hindered by several factors,notably their conversion efficiency,which averages around 19%.This efficiency can further decline to 10%–16%due to temperature increases during peak sunlight hours.This study investigates the cooling of PV modules by applying water to their front surface through Computational fluid dynamics(CFD).The study aimed to determine the optimal conditions for cooling the PV module by analyzing the interplay between water film thickness,Reynolds number,and their effects on temperature reduction and heat transfer.The CFD analysis revealed that the most effective cooling condition occurred with a 5 mm thick water film and a Reynolds number of 10.These specific parameters were found to maximize the heat transfer and temperature reduction efficiency.This finding is crucial for the development of practical and efficient cooling systems for PV modules,potentially leading to improved performance and longevity of solar panels.Alternative cooling fluids or advanced cooling techniques that might offer even better efficiency or practical benefits.展开更多
Subtropical evergreen broad-leaved trees are usually vulnerable to freezing stress,while hexaploid wild Camellia oleifera shows strong freezing tolerance.As a valuable genetic resource of woody oil crop C.oleifera,wil...Subtropical evergreen broad-leaved trees are usually vulnerable to freezing stress,while hexaploid wild Camellia oleifera shows strong freezing tolerance.As a valuable genetic resource of woody oil crop C.oleifera,wild C.oleifera can serve as a case for studying the molecular bases of adaptive evolution to freezing stress.Here,47 wild C.oleifera from 11 natural distribution sites in China and 4 relative species of C.oleifera were selected for genome sequencing.“Min Temperature of Coldest Month”(BIO6)had the highest comprehensive contribution to wild C.oleifera distribution.The population genetic structure of wild C.oleifera could be divided into two groups:in cold winter(BIO6≤0℃)and warm winter(BIO6>0℃)areas.Wild C.oleifera in cold winter areas might have experienced stronger selection pressures and population bottlenecks with lower N_(e) than those in warm winter areas.155 singlenucleotide polymorphisms(SNPs)were significantly correlated with the key bioclimatic variables(106 SNPs significantly correlated with BIO6).Twenty key SNPs and 15 key copy number variation regions(CNVRs)were found with genotype differentiation>50%between the two groups of wild C.oleifera.Key SNPs in cis-regulatory elements might affect the expression of key genes associated with freezing tolerance,and they were also found within a CNVR suggesting interactions between them.Some key CNVRs in the exon regions were closely related to the differentially expressed genes under freezing stress.The findings suggest that rich SNPs and CNVRs in polyploid trees may contribute to the adaptive evolution to freezing stress.展开更多
We are intrigued by the issues of shock instability,with a particular emphasis on numerical schemes that address the carbuncle phenomenon by reducing dissipation rather than increasing it.For a specific class of plana...We are intrigued by the issues of shock instability,with a particular emphasis on numerical schemes that address the carbuncle phenomenon by reducing dissipation rather than increasing it.For a specific class of planar flow fields where the transverse direction exhibits vanishing but non-zero velocity components,such as a disturbed onedimensional(1D)steady shock wave,we conduct a formal asymptotic analysis for the Euler system and associated numerical methods.This analysis aims to illustrate the discrepancies among various low-dissipative numerical algorithms.Furthermore,a numerical stability analysis of steady shock is undertaken to identify the key factors underlying shock-stable algorithms.To verify the stability mechanism,a consistent,low-dissipation,and shock-stable HLLC-type Riemann solver is presented.展开更多
Given two ideals I and J of a commutative ring R,there are two extreme connections between I and J:I+J=R and I∩J={0}.For the former case,graphs whose vertices are defined as the proper ideals of R and that two vertic...Given two ideals I and J of a commutative ring R,there are two extreme connections between I and J:I+J=R and I∩J={0}.For the former case,graphs whose vertices are defined as the proper ideals of R and that two vertices are adjacent if and only if their sum is the whole ring R are known as co-maximal ideal graphs.In this paper,we introduce a new kind of graph structure on R,called co-minimal ideal graph,according to the second case:Its vertices are the nonzero ideals of R and two vertices are adjacent if and only if their intersection is zero.Some important graph parameters(including girth,diameter,clique number and chromatic number)and graph structures(including tree and bipartite graph)of co-minimal ideal graphs over finite commutative rings are studied.In particular,we show that the co-maximal ideal graph and the co-minimal ideal graph over R are isomorphic if and only if the number of maximal ideals of R and the number of minimal ideals of R coincide.展开更多
For k given graphs H_(1),...,H_(k) with k≥2,the k-color Ramsey number R(H_(1),...,H_(k)) represents the minimum integer N with the following property:if the edges of the complete graph K_(N) are colored with k colors...For k given graphs H_(1),...,H_(k) with k≥2,the k-color Ramsey number R(H_(1),...,H_(k)) represents the minimum integer N with the following property:if the edges of the complete graph K_(N) are colored with k colors,then there exists some i with 1≤i≤k such that K_(N) has a subgraph in color i isomorphic to H_(i).Let C_(m) be a cycle of length m and K_(1,n) a star of order n+1.In this paper,we systematically introduce the latest research progress on star-quadrilateral Ramsey numbers and provide an overview of Ramsey numbers concerning quadrilaterals,including multicolor cases.展开更多
TENORM Regulation in the United States of America post-West Virginia vs.EPA Spenser Lynn,Charles Wilson,Emily Caffrey1(1.University of Alabama at Birmingham,School of Health Professions,Clinical and Diagnostic Science...TENORM Regulation in the United States of America post-West Virginia vs.EPA Spenser Lynn,Charles Wilson,Emily Caffrey1(1.University of Alabama at Birmingham,School of Health Professions,Clinical and Diagnostic Sciences,Health Physics Program,1720 University Blvd,Birmingham,AL 35294)Abstract:The regulation of technologically enhanced naturally occurring radioactive materials(TENORM)in the United States of America consists of fragmentary rules split between the federal and state governments.展开更多
We show that the torsion module Tor_(j)^(R)(R/a,H_(a)^(i)(X))is in a Serre subcategory for the bounded below R-complex X.In addition,we prove the isomorphism Tor_(s-t)^(R)(R/a,X)≅Tor_(s)^(R)(R/a,H_(a)^(t)(X))in some c...We show that the torsion module Tor_(j)^(R)(R/a,H_(a)^(i)(X))is in a Serre subcategory for the bounded below R-complex X.In addition,we prove the isomorphism Tor_(s-t)^(R)(R/a,X)≅Tor_(s)^(R)(R/a,H_(a)^(t)(X))in some case.As an application,the Betti number of a complex X in a prime ideal p can be computed by the Betti number of the local cohomology modules of X in p.展开更多
In this paper,large deviations principle(LDP)and moderate deviations principle(MDP)of record numbers in random walks are studied under certain conditions.The results show that the rate functions of LDP and MDP are dif...In this paper,large deviations principle(LDP)and moderate deviations principle(MDP)of record numbers in random walks are studied under certain conditions.The results show that the rate functions of LDP and MDP are different from those of weak record numbers,which are interesting complements of the conclusions by Li and Yao[1].展开更多
Determining the crossing number of a given graph is NP-complete. The cycle of length m is denoted by Cm = v1v2…vmv1. G^((1))_(m) (m ≥ 5) is the graph obtained from Cm by adding two edges v1v3 and vlvl+2 (3 ≤ l ≤ m...Determining the crossing number of a given graph is NP-complete. The cycle of length m is denoted by Cm = v1v2…vmv1. G^((1))_(m) (m ≥ 5) is the graph obtained from Cm by adding two edges v1v3 and vlvl+2 (3 ≤ l ≤ m−2), G^((2))m (m ≥ 4) is the graph obtained from Cm by adding two edges v1v3 and v2v4. The famous Zarankiewicz’s conjecture on the crossing number of the complete bipartite graph Km,n states that cr(Km,n)=Z(m,n)=[m/2][m-1/2][n/2[n-1/2].Based on Zarankiewicz’s conjecture, a natural problem is to study the change in the crossingnumber of the graphs obtained from the complete bipartite graph by adding certain edge sets.If Zarankiewicz’s conjecture is true, this paper proves that cr(G^((1))_(m)+Kn)=Z(m,n)+2[n/2] and cr(G^((2))_(m)+Kn)=Z(m,n)+n.展开更多
The Turan number of a graph H,denoted by ex(n,H),is the maximum number of edges in any graph on n vertices containing no H as a subgraph.Let P_(ι)denote the path onιvertices,S_(ι-1)denote the star onιvertices and ...The Turan number of a graph H,denoted by ex(n,H),is the maximum number of edges in any graph on n vertices containing no H as a subgraph.Let P_(ι)denote the path onιvertices,S_(ι-1)denote the star onιvertices and k_(1)P_(ι)∪k_(2)S_(ι-1)denote the path-star forest with disjoint union of k_(1)copies of P_(ι)and k_(2)copies of S_(ι-1).In 2022,[Graphs Combin.,2022,38(3):Paper No.84,16 pp.] raised a conjecture about the Turan number of k_(1)P_(2ι)∪k_(2)S_(2ι-1).In this paper,we determine the Turan numbers of P_(ι)∪kS_(ι-1)and k_(1)P_(2ι)∪k_(2)S_(2ι-1)for n appropriately large,which implies the above conjecture.The corresponding extremal graphs are also completely characterized.展开更多
文摘Quantum computing offers unprecedented computational power, enabling simultaneous computations beyond traditional computers. Quantum computers differ significantly from classical computers, necessitating a distinct approach to algorithm design, which involves taming quantum mechanical phenomena. This paper extends the numbering of computable programs to be applied in the quantum computing context. Numbering computable programs is a theoretical computer science concept that assigns unique numbers to individual programs or algorithms. Common methods include Gödel numbering which encodes programs as strings of symbols or characters, often used in formal systems and mathematical logic. Based on the proposed numbering approach, this paper presents a mechanism to explore the set of possible quantum algorithms. The proposed approach is able to construct useful circuits such as Quantum Key Distribution BB84 protocol, which enables sender and receiver to establish a secure cryptographic key via a quantum channel. The proposed approach facilitates the process of exploring and constructing quantum algorithms.
文摘Within the publishing industry,article numbering has emerged as an easy and efficient way to cite journal articles.Article numbering has already been successfully rolled out to Elsevier's multidisciplinary open access journal Chinese Journal of Aeronautics,as well as more than 1600 other journals,and has been well received by the academic community.Based on that positive feedback,we are now pleased to introduce article numbering to Visual Informatics from Volume 9,Issue 2.
基金supported by the Nazarbayev University Faculty Development Competitive Research(No.021220FD3851)the Framework of the State Contract of the Sobolev Institute of Mathematics(No.FWNF-2022-0011)the Ministry of Education and Science of the Republic Kazakhstan(No.AP19677451).
文摘The theory of numberings studies uniform computations for families of mathematical objects. In this area, computability-theoretic properties of at most countable families of sets S are typically classified via the corresponding Rogers upper semilattices. In most cases, a Rogers semilattice cannot be a lattice. Working within the framework of Formal Concept Analysis, we develop two new approaches to the classification of families S. Similarly to the classical theory of numberings, each of the approaches assigns to a family S its own concept lattice. The first approach captures the cardinality of a family S: if S contains more than 2 elements, then the corresponding concept lattice FC1(S) is a modular lattice of height 3, such that the number of its atoms to the cardinality of S. Our second approach gives a much richer environment. We prove that for any countable poset P, there exists a family S such that the induced concept lattice FC2(S) is isomorphic to the Dedekind-MacNeille completion of P. We also establish connections with the class of enumerative lattices introduced by Hoyrup and Rojas in their studies of algorithmic randomness. We show that every lattice FC2(S) is anti-isomorphic to an enumerative lattice. In addition, every enumerative lattice is anti-isomorphic to a sublattice of the lattice FC2(S) for some family S.
文摘Revised September 2013 by J.-F. Arguin LBNL）, L. Garren （Fermilab）, F. Krauss （Durham U.）, C.-J. Lin （LBNL）, S. Navas （U. Granada）, P. Richardson （Durham U.）, and T. Sjostrand （Lund U.）.
基金Supported by the National Natural Science Foundation of China(Grant No.52271319)the Jiangsu Funding Program for Excellent Postdoctoral Talent,and the Postdoctoral Fellowship Program of China Postdoctoral Science Foundation(Grant No.GZC20240618)the Natural Science Foundation of Jiangsu Province of China(BK20231525).
文摘In this study,the dynamic characteristics of microscale floating bubbles near the vertical wall are studied.This occurrence is common in industrial and natural phenomena.Although many studies have been conducted on microscale bubbles,few studies investigate floating bubbles with very small Reynolds number(Re)near the wall,which is the main research goal of this study.Therefore,this study establishes a model for the ascent of small-scale bubbles near a vertical wall using the interFoam solver in OpenFOAM.This study investigates the influences of diverse viscosity parameters,varying distances from the wall,and different gas flow rates on the terminal velocity,deformation,and motion trajectory of bubbles.The results reveal that as liquid viscosity increases,the Re of bubbles gradually decreases and reaches a minimum of 0.012,which is similar to the Re of micrometer-sized bubbles in water.The characteristics of the wall-induced force in the longitudinal direction are closely related to the changes in liquid viscosity.Under low-viscosity conditions,the induced lift is the principal form of action,whereas under high-viscosity conditions,it is primarily manifested as induced drag.
基金Supported by the National Natural Science Foundation of China(Grant No.12271210)the Scientific Research Foundation of Jimei University(Grant No.Q202201).
文摘A t-tone coloring of a graph assigns t distinct colors to each vertex with vertices at distance d having fewer than d colors in common.The t-tone chromatic number of a graph is the smallest number of colors used in all t-tone colorings of that graph.In this article,we study t-tone coloring of some finite planar lattices and obtain exact formulas for their t-tone chromatic number.
文摘In this paper,we establish some strong laws of large numbers,which are for nonindependent random variables under the framework of sublinear expectations.One of our main results is for blockwise m-dependent random variables,and another is for sub-orthogonal random variables.Both extend the strong law of large numbers for independent random variables under sublinear expectations to the non-independent case.
文摘Amyotrophic lateral sclerosis (ALS) is a fatal neurodegenerative disorder characterized by the progressive degeneration of upper and lower motor neurons in the brainstem and spinal cord,leading to muscle weakness,paralysis,and respiratory failure (Morgan and Orrell,2016).
基金Supported by the National Natural Science Foundation of China(Grant Nos.11961041,12261055)the Key Project of Natural Science Foundation of Gansu Province(Grant No.24JRRA222)the Foundation for Innovative Fundamental Research Group Project of Gansu Province(Grant No.25JRRA805).
文摘In this paper,we first give a sufficient condition for a graph being fractional ID-[a,b]-factor-critical covered in terms of its independence number and minimum degree,which partially answers the problem posed by Sizhong Zhou,Hongxia Liu and Yang Xu(2022).Then,an A_(α)-spectral condition is given to ensure that G is a fractional ID-[a,b]-factor-critical covered graph and an(a,b,k)-factor-critical graph,respectively.In fact,(a,b,k)-factor-critical graph is a graph which has an[a,b]-factor for k=0.Thus,these above results extend the results of Jia Wei and Shenggui Zhang(2023)and Ao Fan,Ruifang Liu and Guoyan Ao(2023)in some sense.
文摘The growing need for sustainable energy solutions,driven by rising energy shortages,environmental concerns,and the depletion of conventional energy sources,has led to a significant focus on renewable energy.Solar energy,among the various renewable sources,is particularly appealing due to its abundant availability.However,the efficiency of commercial solar photovoltaic(PV)modules is hindered by several factors,notably their conversion efficiency,which averages around 19%.This efficiency can further decline to 10%–16%due to temperature increases during peak sunlight hours.This study investigates the cooling of PV modules by applying water to their front surface through Computational fluid dynamics(CFD).The study aimed to determine the optimal conditions for cooling the PV module by analyzing the interplay between water film thickness,Reynolds number,and their effects on temperature reduction and heat transfer.The CFD analysis revealed that the most effective cooling condition occurred with a 5 mm thick water film and a Reynolds number of 10.These specific parameters were found to maximize the heat transfer and temperature reduction efficiency.This finding is crucial for the development of practical and efficient cooling systems for PV modules,potentially leading to improved performance and longevity of solar panels.Alternative cooling fluids or advanced cooling techniques that might offer even better efficiency or practical benefits.
基金funded by the National Natural Science Foundation of China(grant no.32270238 and 31870311).
文摘Subtropical evergreen broad-leaved trees are usually vulnerable to freezing stress,while hexaploid wild Camellia oleifera shows strong freezing tolerance.As a valuable genetic resource of woody oil crop C.oleifera,wild C.oleifera can serve as a case for studying the molecular bases of adaptive evolution to freezing stress.Here,47 wild C.oleifera from 11 natural distribution sites in China and 4 relative species of C.oleifera were selected for genome sequencing.“Min Temperature of Coldest Month”(BIO6)had the highest comprehensive contribution to wild C.oleifera distribution.The population genetic structure of wild C.oleifera could be divided into two groups:in cold winter(BIO6≤0℃)and warm winter(BIO6>0℃)areas.Wild C.oleifera in cold winter areas might have experienced stronger selection pressures and population bottlenecks with lower N_(e) than those in warm winter areas.155 singlenucleotide polymorphisms(SNPs)were significantly correlated with the key bioclimatic variables(106 SNPs significantly correlated with BIO6).Twenty key SNPs and 15 key copy number variation regions(CNVRs)were found with genotype differentiation>50%between the two groups of wild C.oleifera.Key SNPs in cis-regulatory elements might affect the expression of key genes associated with freezing tolerance,and they were also found within a CNVR suggesting interactions between them.Some key CNVRs in the exon regions were closely related to the differentially expressed genes under freezing stress.The findings suggest that rich SNPs and CNVRs in polyploid trees may contribute to the adaptive evolution to freezing stress.
基金Project supported by the National Natural Science Foundation of China(Nos.12471367 and12361076)the Research Program of Science and Technology at Universities of Inner Mongolia Autonomous Region(Nos.NJZY19186,NJZY22036,and NJZY23003)。
文摘We are intrigued by the issues of shock instability,with a particular emphasis on numerical schemes that address the carbuncle phenomenon by reducing dissipation rather than increasing it.For a specific class of planar flow fields where the transverse direction exhibits vanishing but non-zero velocity components,such as a disturbed onedimensional(1D)steady shock wave,we conduct a formal asymptotic analysis for the Euler system and associated numerical methods.This analysis aims to illustrate the discrepancies among various low-dissipative numerical algorithms.Furthermore,a numerical stability analysis of steady shock is undertaken to identify the key factors underlying shock-stable algorithms.To verify the stability mechanism,a consistent,low-dissipation,and shock-stable HLLC-type Riemann solver is presented.
基金partially supported by the Open Research Fund of Key Laboratory of Nonlinear Analysis&Applications(Central China Normal University),Ministry of Education,P.R.Chinathe Guiding Science and Technology Plan Project of Suqian City in 2023(No.Z2023130)partially supported by NSFC(No.12271234)。
文摘Given two ideals I and J of a commutative ring R,there are two extreme connections between I and J:I+J=R and I∩J={0}.For the former case,graphs whose vertices are defined as the proper ideals of R and that two vertices are adjacent if and only if their sum is the whole ring R are known as co-maximal ideal graphs.In this paper,we introduce a new kind of graph structure on R,called co-minimal ideal graph,according to the second case:Its vertices are the nonzero ideals of R and two vertices are adjacent if and only if their intersection is zero.Some important graph parameters(including girth,diameter,clique number and chromatic number)and graph structures(including tree and bipartite graph)of co-minimal ideal graphs over finite commutative rings are studied.In particular,we show that the co-maximal ideal graph and the co-minimal ideal graph over R are isomorphic if and only if the number of maximal ideals of R and the number of minimal ideals of R coincide.
基金supported by NSFC(Nos.12161141003,11931006)supported by NSFC(Nos.11801520,12171436,12271489)supported by NSFC(No.11601527)。
文摘For k given graphs H_(1),...,H_(k) with k≥2,the k-color Ramsey number R(H_(1),...,H_(k)) represents the minimum integer N with the following property:if the edges of the complete graph K_(N) are colored with k colors,then there exists some i with 1≤i≤k such that K_(N) has a subgraph in color i isomorphic to H_(i).Let C_(m) be a cycle of length m and K_(1,n) a star of order n+1.In this paper,we systematically introduce the latest research progress on star-quadrilateral Ramsey numbers and provide an overview of Ramsey numbers concerning quadrilaterals,including multicolor cases.
文摘TENORM Regulation in the United States of America post-West Virginia vs.EPA Spenser Lynn,Charles Wilson,Emily Caffrey1(1.University of Alabama at Birmingham,School of Health Professions,Clinical and Diagnostic Sciences,Health Physics Program,1720 University Blvd,Birmingham,AL 35294)Abstract:The regulation of technologically enhanced naturally occurring radioactive materials(TENORM)in the United States of America consists of fragmentary rules split between the federal and state governments.
基金Natural Science Foundation of Gansu Province(23JRRA866)Higher Education Innovation Fund of Gansu Provincial Department of Education(2025A-132)+1 种基金University-level Scientific Research and Innovation Project of Gansu University of Political Science and Law(GZF2024XQN16)Youth Foundation of Lanzhou Jiaotong University(2023023)。
文摘We show that the torsion module Tor_(j)^(R)(R/a,H_(a)^(i)(X))is in a Serre subcategory for the bounded below R-complex X.In addition,we prove the isomorphism Tor_(s-t)^(R)(R/a,X)≅Tor_(s)^(R)(R/a,H_(a)^(t)(X))in some case.As an application,the Betti number of a complex X in a prime ideal p can be computed by the Betti number of the local cohomology modules of X in p.
基金supported by the National Natural Science Foundation of China(Grant No.11671145)the Science and Technology Commission of Shanghai Municipality(Grant No.18dz2271000).
文摘In this paper,large deviations principle(LDP)and moderate deviations principle(MDP)of record numbers in random walks are studied under certain conditions.The results show that the rate functions of LDP and MDP are different from those of weak record numbers,which are interesting complements of the conclusions by Li and Yao[1].
基金Supported by Changsha Natural Science Foundation(No.kq2208001)the Key Project Funded by Hunan Provincial Department of Education(No.21A0590)。
文摘Determining the crossing number of a given graph is NP-complete. The cycle of length m is denoted by Cm = v1v2…vmv1. G^((1))_(m) (m ≥ 5) is the graph obtained from Cm by adding two edges v1v3 and vlvl+2 (3 ≤ l ≤ m−2), G^((2))m (m ≥ 4) is the graph obtained from Cm by adding two edges v1v3 and v2v4. The famous Zarankiewicz’s conjecture on the crossing number of the complete bipartite graph Km,n states that cr(Km,n)=Z(m,n)=[m/2][m-1/2][n/2[n-1/2].Based on Zarankiewicz’s conjecture, a natural problem is to study the change in the crossingnumber of the graphs obtained from the complete bipartite graph by adding certain edge sets.If Zarankiewicz’s conjecture is true, this paper proves that cr(G^((1))_(m)+Kn)=Z(m,n)+2[n/2] and cr(G^((2))_(m)+Kn)=Z(m,n)+n.
文摘The Turan number of a graph H,denoted by ex(n,H),is the maximum number of edges in any graph on n vertices containing no H as a subgraph.Let P_(ι)denote the path onιvertices,S_(ι-1)denote the star onιvertices and k_(1)P_(ι)∪k_(2)S_(ι-1)denote the path-star forest with disjoint union of k_(1)copies of P_(ι)and k_(2)copies of S_(ι-1).In 2022,[Graphs Combin.,2022,38(3):Paper No.84,16 pp.] raised a conjecture about the Turan number of k_(1)P_(2ι)∪k_(2)S_(2ι-1).In this paper,we determine the Turan numbers of P_(ι)∪kS_(ι-1)and k_(1)P_(2ι)∪k_(2)S_(2ι-1)for n appropriately large,which implies the above conjecture.The corresponding extremal graphs are also completely characterized.
