By using the Riemann-Hilbert method and the Corona theorem, Wiener-Hopf factorization for a class of matrix functions is studied. Under appropriate assumption, a sufficient and neces- sary condition for the existence ...By using the Riemann-Hilbert method and the Corona theorem, Wiener-Hopf factorization for a class of matrix functions is studied. Under appropriate assumption, a sufficient and neces- sary condition for the existence of the matrix function admitting canonical factorization is obtained and the solution to a class of non-linear Riemann-Hilbert problems is also given. Furthermore, by means of non-standard Corona theorem partial estimation of the general factorization can be obtained.展开更多
Fractional calculus is widely used to deal with nonconservative dynamics because of its memorability and non-local properties.In this paper,the Herglotz principle with generalized operators is discussed,and the Herglo...Fractional calculus is widely used to deal with nonconservative dynamics because of its memorability and non-local properties.In this paper,the Herglotz principle with generalized operators is discussed,and the Herglotz type equations for nonholonomic systems are established.Then,the Noether symmetries are studied,and the conserved quantities are obtained.The results are extended to nonholonomic canonical systems,and the Herglotz type canonical equations and the Noether theorems are obtained.Two examples are provided to demonstrate the validity of the methods and results.展开更多
In this paper,the Paley-Wiener theorem is extended to the analytic function spaces with general weights.We first generalize the theorem to weighted Hardy spaces Hp(0<p<∞)on tube domains by constructing a sequen...In this paper,the Paley-Wiener theorem is extended to the analytic function spaces with general weights.We first generalize the theorem to weighted Hardy spaces Hp(0<p<∞)on tube domains by constructing a sequence of L^(1)functions converging to the given function and verifying their representation in the form of Fourier transform to establish the desired result of the given function.Applying this main result,we further generalize the Paley-Wiener theorem for band-limited functions to the analytic function spaces L^(p)(0<p<∞)with general weights.展开更多
Fine particulatematter(PM_(2.5))samples were collected in two neighboring cities,Beijing and Baoding,China.High-concentration events of PM_(2.5) in which the average mass concentration exceeded 75μg/m^(3) were freque...Fine particulatematter(PM_(2.5))samples were collected in two neighboring cities,Beijing and Baoding,China.High-concentration events of PM_(2.5) in which the average mass concentration exceeded 75μg/m^(3) were frequently observed during the heating season.Dispersion Normalized Positive Matrix Factorization was applied for the source apportionment of PM_(2.5) as minimize the dilution effects of meteorology and better reflect the source strengths in these two cities.Secondary nitrate had the highest contribution for Beijing(37.3%),and residential heating/biomass burning was the largest for Baoding(27.1%).Secondary nitrate,mobile,biomass burning,district heating,oil combustion,aged sea salt sources showed significant differences between the heating and non-heating seasons in Beijing for same period(2019.01.10–2019.08.22)(Mann-Whitney Rank Sum Test P<0.05).In case of Baoding,soil,residential heating/biomass burning,incinerator,coal combustion,oil combustion sources showed significant differences.The results of Pearson correlation analysis for the common sources between the two cities showed that long-range transported sources and some sources with seasonal patterns such as oil combustion and soil had high correlation coefficients.Conditional Bivariate Probability Function(CBPF)was used to identify the inflow directions for the sources,and joint-PSCF(Potential Source Contribution Function)was performed to determine the common potential source areas for sources affecting both cities.These models facilitated a more precise verification of city-specific influences on PM_(2.5) sources.The results of this study will aid in prioritizing air pollution mitigation strategies during the heating season and strengthening air quality management to reduce the impact of downwind neighboring cities.展开更多
Quantum software development utilizes quantum phenomena such as superposition and entanglement to address problems that are challenging for classical systems.However,it must also adhere to critical quantum constraints...Quantum software development utilizes quantum phenomena such as superposition and entanglement to address problems that are challenging for classical systems.However,it must also adhere to critical quantum constraints,notably the no-cloning theorem,which prohibits the exact duplication of unknown quantum states and has profound implications for cryptography,secure communication,and error correction.While existing quantum circuit representations implicitly honor such constraints,they lack formal mechanisms for early-stage verification in software design.Addressing this constraint at the design phase is essential to ensure the correctness and reliability of quantum software.This paper presents a formal metamodeling framework using UML-style notation and and Object Constraint Language(OCL)to systematically capture and enforce the no-cloning theorem within quantum software models.The proposed metamodel formalizes key quantum concepts—such as entanglement and teleportation—and encodes enforceable invariants that reflect core quantum mechanical laws.The framework’s effectiveness is validated by analyzing two critical edge cases—conditional copying with CNOT gates and quantum teleportation—through instance model evaluations.These cases demonstrate that the metamodel can capture nuanced scenarios that are often mistaken as violations of the no-cloning theorem but are proven compliant under formal analysis.Thus,these serve as constructive validations that demonstrate the metamodel’s expressiveness and correctness in representing operations that may appear to challenge the no-cloning theorem but,upon rigorous analysis,are shown to comply with it.The approach supports early detection of conceptual design errors,promoting correctness prior to implementation.The framework’s extensibility is also demonstrated by modeling projective measurement,further reinforcing its applicability to broader quantum software engineering tasks.By integrating the rigor of metamodeling with fundamental quantum mechanical principles,this work provides a structured,model-driven approach that enables traditional software engineers to address quantum computing challenges.It offers practical insights into embedding quantum correctness at the modeling level and advances the development of reliable,error-resilient quantum software systems.展开更多
We propose the scaling rule of Morse oscillator,based on this rule and by virtue of the Her-mann-Feymann theorem,we respectively obtain the distribution of potential and kinetic ener-gy of the Morse Hamiltonian.Also,w...We propose the scaling rule of Morse oscillator,based on this rule and by virtue of the Her-mann-Feymann theorem,we respectively obtain the distribution of potential and kinetic ener-gy of the Morse Hamiltonian.Also,we derive the exact upper limit of physical energy level.Further,we derive some recursive relations for energy matrix elements of the potential and other similar operators in the context of Morse oscillator theory.展开更多
Dear Editor,This letter presents a novel latent factorization model for high dimensional and incomplete (HDI) tensor, namely the neural Tucker factorization (Neu Tuc F), which is a generic neural network-based latent-...Dear Editor,This letter presents a novel latent factorization model for high dimensional and incomplete (HDI) tensor, namely the neural Tucker factorization (Neu Tuc F), which is a generic neural network-based latent-factorization-of-tensors model under the Tucker decomposition framework.展开更多
The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to ...The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to appear steadily.The theorem has fostered discussion about the nature of proof itself,direct and indirect.Here we continue the momentum by providing a trigonometric proof,relatively short,based on an analytic estimate that leverages algebraic trigonometric identities.Many proofs of the theorem exist in the literature.Some of these contain key ideas that already appeared in C.L.Lehmus’1850 proofs,not always with citation.In the aim of increasing awareness of and making more accessible Lehmus’proofs,we provide an annotated translation.We conclude with remarks on different proofs and relations among them.展开更多
Substantial effects of photochemical reaction losses of volatile organic compounds(VOCs)on factor profiles can be investigated by comparing the differences between daytime and nighttime dispersion-normalized VOC data ...Substantial effects of photochemical reaction losses of volatile organic compounds(VOCs)on factor profiles can be investigated by comparing the differences between daytime and nighttime dispersion-normalized VOC data resolved profiles.Hourly speciated VOC data measured in Shijiazhuang,China from May to September 2021 were used to conduct study.The mean VOC concentration in the daytime and at nighttime were 32.8 and 36.0 ppbv,respectively.Alkanes and aromatics concentrations in the daytime(12.9 and 3.08 ppbv)were lower than nighttime(15.5 and 3.63 ppbv),whereas that of alkenes showed the opposite tendency.The concentration differences between daytime and nighttime for alkynes and halogenated hydrocarbonswere uniformly small.The reactivities of the dominant species in factor profiles for gasoline emissions,natural gas and diesel vehicles,and liquefied petroleum gas were relatively low and their profiles were less affected by photochemical losses.Photochemical losses produced a substantial impact on the profiles of solvent use,petrochemical industry emissions,combustion sources,and biogenic emissions where the dominant species in these factor profiles had high reactivities.Although the profile of biogenic emissions was substantially affected by photochemical loss of isoprene,the low emissions at nighttime also had an important impact on its profile.Chemical losses of highly active VOC species substantially reduced their concentrations in apportioned factor profiles.This study results were consistent with the analytical results obtained through initial concentration estimation,suggesting that the initial concentration estimation could be the most effective currently availablemethod for the source analyses of active VOCs although with uncertainty.展开更多
In this paper,we study Liouville theorem for the 3D stationary Q-tensor system of liquid crystal in Lorentz and Morrey spaces.Under some additional hypotheses,stated in terms of Lorentz and Morrey spaces,using energy ...In this paper,we study Liouville theorem for the 3D stationary Q-tensor system of liquid crystal in Lorentz and Morrey spaces.Under some additional hypotheses,stated in terms of Lorentz and Morrey spaces,using energy estimation,we obtain that the trivial solution u=Q=0 is the unique solution.Our theorems correspond to improvements of some recent results and contain some known results as particular cases.展开更多
In this paper,we study the basic p-harmonic forms on the complete foliated Riemannian manifolds.By using the method in[1],we show that if the basic mean curvature form is bounded and co-closed,and the transversal curv...In this paper,we study the basic p-harmonic forms on the complete foliated Riemannian manifolds.By using the method in[1],we show that if the basic mean curvature form is bounded and co-closed,and the transversal curvature operator is nonnegative and positive at least one point,then we obtain a vanishing theorem for L^(p)-integrably p-harmonic r-forms.展开更多
In this paper,we obtain a vector bundle valued mixed hard Lefschetz theorem.The argument is mainly based on the works of Tien-Cuong Dinh and Viet-Anh Nguyen.
In this paper,we compute sub-Riemannian limits of some important curvature variants associated with the connection with torsion for four dimensional twisted BCV spaces and derive a Gauss-Bonnet theorem for four dimens...In this paper,we compute sub-Riemannian limits of some important curvature variants associated with the connection with torsion for four dimensional twisted BCV spaces and derive a Gauss-Bonnet theorem for four dimensional twisted BCV spaces.展开更多
this paper,we study Liouville theorem for 3D steady Q-tensor system of liquid crystal in mixed Lorentz spaces.We obtain u=0,Q=0 on the conditions that μ∈L^(p,∞x_(1)L^(q,∞x_(2)L^(r,∞x_(3)(R^(4)∩H^(1)(R^(3),Q∈H^(...this paper,we study Liouville theorem for 3D steady Q-tensor system of liquid crystal in mixed Lorentz spaces.We obtain u=0,Q=0 on the conditions that μ∈L^(p,∞x_(1)L^(q,∞x_(2)L^(r,∞x_(3)(R^(4)∩H^(1)(R^(3),Q∈H^(2)(R^(3),p,q,r∈(3,∞],and 1/p+1/q+1/r≥2/3, which extends some known results.展开更多
Data factors are becoming the core driving force in the intelligent transformation of libraries.Based on a systematic review of the progress in data governance practices in libraries both domestically and internationa...Data factors are becoming the core driving force in the intelligent transformation of libraries.Based on a systematic review of the progress in data governance practices in libraries both domestically and internationally,this study delves into the mechanism by which data governance promotes data factorization and proposes implementation paths for data governance oriented toward data factorization.The aim is to facilitate the intelligent transformation and high-quality development of libraries.展开更多
CircRNAs,widely found throughout the human bodies,play a crucial role in regulating various biological processes and are closely linked to complex human diseases.Investigating potential associations between circRNAs a...CircRNAs,widely found throughout the human bodies,play a crucial role in regulating various biological processes and are closely linked to complex human diseases.Investigating potential associations between circRNAs and diseases can enhance our understanding of diseases and provide new strategies and tools for early diagnosis,treatment,and disease prevention.However,existing models have limitations in accurately capturing similarities,handling the sparse and noise attributes of association networks,and fully leveraging bioinformatical aspects from multiple viewpoints.To address these issues,this study introduces a new non-negative matrix factorization-based framework called NMFMSN.First,we incorporate circRNA sequence data and disease semantic information to compute circRNA and disease similarity,respectively.Given the sparse known associations between circRNAs and diseases,we reconstruct the network to complete more associations by imputing missing links based on neighboring circRNA and disease interactions.Finally,we integrate these two similarity networks into a non-negative matrix factorization framework to identify potential circRNA-disease associations.Upon conducting 5-fold cross-validation and leave-one-out cross-validation,the AUC values for NMFMSN reach 0.9712 and 0.9768,respectively,outperforming the currently most advanced models.Case studies on lung cancer and hepatocellular carcinoma show that NMFMSN is a good way to predict new associations between circRNAs and diseases.展开更多
In this paper,a nonlinear control approach for an unstable networked plant in the presence of actuator and sensor limitations using robust right coprime factorization is proposed.The actuator is limited by upper and l...In this paper,a nonlinear control approach for an unstable networked plant in the presence of actuator and sensor limitations using robust right coprime factorization is proposed.The actuator is limited by upper and lower constraints and the sensor in the feedback loop is subjected to network-induced unknown time-varying delay and noise.With this nonlinear control method,we first employ right coprime factorization based on isomorphism and operator theory to factorize the plant,so that bounded input bounded output(BIBO)stability can be guaranteed.Next,continuous-time generalized predictive control(CGPC)is utilized for the unstable operator of the right coprime factorized plant to guarantee inner stability and enables the closed-loop dynamics of the system with predictive characteristics.Meanwhile,a second-Do F(degrees of freedom)switched controller that satisfies a perturbed Bezout identity and a robustness condition is designed.By using the CGPC controller that possesses predictive behavior and the second-Do F switched stabilizer,the overall stability of the plant subjected to actuator limitations is guaranteed.To address sensor limitations that exist in networked plants in the form of delay and noise which often cause system performance degradation,we implement an identity operator definition in the feedback loop to compensate for these adverse effects.Further,a pre-operator is designed to ensure that the plant output tracks the reference input.Finally,the effectiveness of the proposed design scheme is demonstrated by simulations.展开更多
Dear Editor,This letter presents a latent-factorization-of-tensors(LFT)-incorporated battery cycle life prediction framework.Data-driven prognosis and health management(PHM)for battery pack(BP)can boost the safety and...Dear Editor,This letter presents a latent-factorization-of-tensors(LFT)-incorporated battery cycle life prediction framework.Data-driven prognosis and health management(PHM)for battery pack(BP)can boost the safety and sustainability of a battery management system(BMS),which relies heavily on the quality of the measured BP data like the voltage(V),current(I),and temperature(T).展开更多
基金Supported by the National Natural Science Foundation of China(10471107)the Specialized Research Fund for the Doctoral Program of Higher Education of China (20060486001)
文摘By using the Riemann-Hilbert method and the Corona theorem, Wiener-Hopf factorization for a class of matrix functions is studied. Under appropriate assumption, a sufficient and neces- sary condition for the existence of the matrix function admitting canonical factorization is obtained and the solution to a class of non-linear Riemann-Hilbert problems is also given. Furthermore, by means of non-standard Corona theorem partial estimation of the general factorization can be obtained.
基金supported by the National Natural Science Foundation of China(Grant No.12272248)the Postgraduate Research and Practice Innovation Program of Jiangsu Province of China(Grant No.KYCX23_3296).
文摘Fractional calculus is widely used to deal with nonconservative dynamics because of its memorability and non-local properties.In this paper,the Herglotz principle with generalized operators is discussed,and the Herglotz type equations for nonholonomic systems are established.Then,the Noether symmetries are studied,and the conserved quantities are obtained.The results are extended to nonholonomic canonical systems,and the Herglotz type canonical equations and the Noether theorems are obtained.Two examples are provided to demonstrate the validity of the methods and results.
基金Supported by the National Natural Science Foundation of China(12301101)the Guangdong Basic and Applied Basic Research Foundation(2022A1515110019 and 2020A1515110585)。
文摘In this paper,the Paley-Wiener theorem is extended to the analytic function spaces with general weights.We first generalize the theorem to weighted Hardy spaces Hp(0<p<∞)on tube domains by constructing a sequence of L^(1)functions converging to the given function and verifying their representation in the form of Fourier transform to establish the desired result of the given function.Applying this main result,we further generalize the Paley-Wiener theorem for band-limited functions to the analytic function spaces L^(p)(0<p<∞)with general weights.
基金supported by the National Institute of Environmental Research(NIER)funded by the Ministry of Environment(No.NIER-2019-04-02-039)supported by Particulate Matter Management Specialized Graduate Program through the Korea Environmental Industry&Technology Institute(KEITI)funded by the Ministry of Environment(MOE).
文摘Fine particulatematter(PM_(2.5))samples were collected in two neighboring cities,Beijing and Baoding,China.High-concentration events of PM_(2.5) in which the average mass concentration exceeded 75μg/m^(3) were frequently observed during the heating season.Dispersion Normalized Positive Matrix Factorization was applied for the source apportionment of PM_(2.5) as minimize the dilution effects of meteorology and better reflect the source strengths in these two cities.Secondary nitrate had the highest contribution for Beijing(37.3%),and residential heating/biomass burning was the largest for Baoding(27.1%).Secondary nitrate,mobile,biomass burning,district heating,oil combustion,aged sea salt sources showed significant differences between the heating and non-heating seasons in Beijing for same period(2019.01.10–2019.08.22)(Mann-Whitney Rank Sum Test P<0.05).In case of Baoding,soil,residential heating/biomass burning,incinerator,coal combustion,oil combustion sources showed significant differences.The results of Pearson correlation analysis for the common sources between the two cities showed that long-range transported sources and some sources with seasonal patterns such as oil combustion and soil had high correlation coefficients.Conditional Bivariate Probability Function(CBPF)was used to identify the inflow directions for the sources,and joint-PSCF(Potential Source Contribution Function)was performed to determine the common potential source areas for sources affecting both cities.These models facilitated a more precise verification of city-specific influences on PM_(2.5) sources.The results of this study will aid in prioritizing air pollution mitigation strategies during the heating season and strengthening air quality management to reduce the impact of downwind neighboring cities.
文摘Quantum software development utilizes quantum phenomena such as superposition and entanglement to address problems that are challenging for classical systems.However,it must also adhere to critical quantum constraints,notably the no-cloning theorem,which prohibits the exact duplication of unknown quantum states and has profound implications for cryptography,secure communication,and error correction.While existing quantum circuit representations implicitly honor such constraints,they lack formal mechanisms for early-stage verification in software design.Addressing this constraint at the design phase is essential to ensure the correctness and reliability of quantum software.This paper presents a formal metamodeling framework using UML-style notation and and Object Constraint Language(OCL)to systematically capture and enforce the no-cloning theorem within quantum software models.The proposed metamodel formalizes key quantum concepts—such as entanglement and teleportation—and encodes enforceable invariants that reflect core quantum mechanical laws.The framework’s effectiveness is validated by analyzing two critical edge cases—conditional copying with CNOT gates and quantum teleportation—through instance model evaluations.These cases demonstrate that the metamodel can capture nuanced scenarios that are often mistaken as violations of the no-cloning theorem but are proven compliant under formal analysis.Thus,these serve as constructive validations that demonstrate the metamodel’s expressiveness and correctness in representing operations that may appear to challenge the no-cloning theorem but,upon rigorous analysis,are shown to comply with it.The approach supports early detection of conceptual design errors,promoting correctness prior to implementation.The framework’s extensibility is also demonstrated by modeling projective measurement,further reinforcing its applicability to broader quantum software engineering tasks.By integrating the rigor of metamodeling with fundamental quantum mechanical principles,this work provides a structured,model-driven approach that enables traditional software engineers to address quantum computing challenges.It offers practical insights into embedding quantum correctness at the modeling level and advances the development of reliable,error-resilient quantum software systems.
基金supported by the National Natural Science Foundation of China(No.10874174)。
文摘We propose the scaling rule of Morse oscillator,based on this rule and by virtue of the Her-mann-Feymann theorem,we respectively obtain the distribution of potential and kinetic ener-gy of the Morse Hamiltonian.Also,we derive the exact upper limit of physical energy level.Further,we derive some recursive relations for energy matrix elements of the potential and other similar operators in the context of Morse oscillator theory.
基金supported by the National Natural Science Foundation of China(62272078)Chongqing Natural Science Foundation(CSTB2023NSCQ-LZX0069)the Science and Technology Research Program of Chongqing Municipal Education Commission(KJQN202300210)
文摘Dear Editor,This letter presents a novel latent factorization model for high dimensional and incomplete (HDI) tensor, namely the neural Tucker factorization (Neu Tuc F), which is a generic neural network-based latent-factorization-of-tensors model under the Tucker decomposition framework.
文摘The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to appear steadily.The theorem has fostered discussion about the nature of proof itself,direct and indirect.Here we continue the momentum by providing a trigonometric proof,relatively short,based on an analytic estimate that leverages algebraic trigonometric identities.Many proofs of the theorem exist in the literature.Some of these contain key ideas that already appeared in C.L.Lehmus’1850 proofs,not always with citation.In the aim of increasing awareness of and making more accessible Lehmus’proofs,we provide an annotated translation.We conclude with remarks on different proofs and relations among them.
基金supported by the National Key R&D Program of China(No.2023YFC3705801)the National Natural Science Foundation of China(No.42177085).
文摘Substantial effects of photochemical reaction losses of volatile organic compounds(VOCs)on factor profiles can be investigated by comparing the differences between daytime and nighttime dispersion-normalized VOC data resolved profiles.Hourly speciated VOC data measured in Shijiazhuang,China from May to September 2021 were used to conduct study.The mean VOC concentration in the daytime and at nighttime were 32.8 and 36.0 ppbv,respectively.Alkanes and aromatics concentrations in the daytime(12.9 and 3.08 ppbv)were lower than nighttime(15.5 and 3.63 ppbv),whereas that of alkenes showed the opposite tendency.The concentration differences between daytime and nighttime for alkynes and halogenated hydrocarbonswere uniformly small.The reactivities of the dominant species in factor profiles for gasoline emissions,natural gas and diesel vehicles,and liquefied petroleum gas were relatively low and their profiles were less affected by photochemical losses.Photochemical losses produced a substantial impact on the profiles of solvent use,petrochemical industry emissions,combustion sources,and biogenic emissions where the dominant species in these factor profiles had high reactivities.Although the profile of biogenic emissions was substantially affected by photochemical loss of isoprene,the low emissions at nighttime also had an important impact on its profile.Chemical losses of highly active VOC species substantially reduced their concentrations in apportioned factor profiles.This study results were consistent with the analytical results obtained through initial concentration estimation,suggesting that the initial concentration estimation could be the most effective currently availablemethod for the source analyses of active VOCs although with uncertainty.
基金Supported by National Natural Science Foundation of China(11871305,11901346).
文摘In this paper,we study Liouville theorem for the 3D stationary Q-tensor system of liquid crystal in Lorentz and Morrey spaces.Under some additional hypotheses,stated in terms of Lorentz and Morrey spaces,using energy estimation,we obtain that the trivial solution u=Q=0 is the unique solution.Our theorems correspond to improvements of some recent results and contain some known results as particular cases.
基金supported by Guangzhou Science and Technology Program(202102021174)Guangdong Basic and Applied Basic Research Foundation(2023A1515012121).The second author was supported by the Natural Science Foundation of Jiangsu Province(BK20230900)+1 种基金the Fundamental Research Funds for the Central Universities(30924010838)Both authors are partially supported by NSF in China(12141104).
文摘In this paper,we study the basic p-harmonic forms on the complete foliated Riemannian manifolds.By using the method in[1],we show that if the basic mean curvature form is bounded and co-closed,and the transversal curvature operator is nonnegative and positive at least one point,then we obtain a vanishing theorem for L^(p)-integrably p-harmonic r-forms.
基金supported by the National key R and D Program of China 2020YFA0713100the NSFC(12141104,12371062 and 12431004).
文摘In this paper,we obtain a vector bundle valued mixed hard Lefschetz theorem.The argument is mainly based on the works of Tien-Cuong Dinh and Viet-Anh Nguyen.
基金Supported by National Natural Science Foundation of China(Grant No.11771070).
文摘In this paper,we compute sub-Riemannian limits of some important curvature variants associated with the connection with torsion for four dimensional twisted BCV spaces and derive a Gauss-Bonnet theorem for four dimensional twisted BCV spaces.
基金Supported by the National Natural Science Foundation of China(11871305)。
文摘this paper,we study Liouville theorem for 3D steady Q-tensor system of liquid crystal in mixed Lorentz spaces.We obtain u=0,Q=0 on the conditions that μ∈L^(p,∞x_(1)L^(q,∞x_(2)L^(r,∞x_(3)(R^(4)∩H^(1)(R^(3),Q∈H^(2)(R^(3),p,q,r∈(3,∞],and 1/p+1/q+1/r≥2/3, which extends some known results.
文摘Data factors are becoming the core driving force in the intelligent transformation of libraries.Based on a systematic review of the progress in data governance practices in libraries both domestically and internationally,this study delves into the mechanism by which data governance promotes data factorization and proposes implementation paths for data governance oriented toward data factorization.The aim is to facilitate the intelligent transformation and high-quality development of libraries.
基金the Gansu Province Industrial Support Plan(No.2023CYZC-25)Natural Science Foundation of Gansu Province(No.23JRRA770)the National Natural Science Foundation of China(No.62162040)。
文摘CircRNAs,widely found throughout the human bodies,play a crucial role in regulating various biological processes and are closely linked to complex human diseases.Investigating potential associations between circRNAs and diseases can enhance our understanding of diseases and provide new strategies and tools for early diagnosis,treatment,and disease prevention.However,existing models have limitations in accurately capturing similarities,handling the sparse and noise attributes of association networks,and fully leveraging bioinformatical aspects from multiple viewpoints.To address these issues,this study introduces a new non-negative matrix factorization-based framework called NMFMSN.First,we incorporate circRNA sequence data and disease semantic information to compute circRNA and disease similarity,respectively.Given the sparse known associations between circRNAs and diseases,we reconstruct the network to complete more associations by imputing missing links based on neighboring circRNA and disease interactions.Finally,we integrate these two similarity networks into a non-negative matrix factorization framework to identify potential circRNA-disease associations.Upon conducting 5-fold cross-validation and leave-one-out cross-validation,the AUC values for NMFMSN reach 0.9712 and 0.9768,respectively,outperforming the currently most advanced models.Case studies on lung cancer and hepatocellular carcinoma show that NMFMSN is a good way to predict new associations between circRNAs and diseases.
文摘In this paper,a nonlinear control approach for an unstable networked plant in the presence of actuator and sensor limitations using robust right coprime factorization is proposed.The actuator is limited by upper and lower constraints and the sensor in the feedback loop is subjected to network-induced unknown time-varying delay and noise.With this nonlinear control method,we first employ right coprime factorization based on isomorphism and operator theory to factorize the plant,so that bounded input bounded output(BIBO)stability can be guaranteed.Next,continuous-time generalized predictive control(CGPC)is utilized for the unstable operator of the right coprime factorized plant to guarantee inner stability and enables the closed-loop dynamics of the system with predictive characteristics.Meanwhile,a second-Do F(degrees of freedom)switched controller that satisfies a perturbed Bezout identity and a robustness condition is designed.By using the CGPC controller that possesses predictive behavior and the second-Do F switched stabilizer,the overall stability of the plant subjected to actuator limitations is guaranteed.To address sensor limitations that exist in networked plants in the form of delay and noise which often cause system performance degradation,we implement an identity operator definition in the feedback loop to compensate for these adverse effects.Further,a pre-operator is designed to ensure that the plant output tracks the reference input.Finally,the effectiveness of the proposed design scheme is demonstrated by simulations.
文摘Dear Editor,This letter presents a latent-factorization-of-tensors(LFT)-incorporated battery cycle life prediction framework.Data-driven prognosis and health management(PHM)for battery pack(BP)can boost the safety and sustainability of a battery management system(BMS),which relies heavily on the quality of the measured BP data like the voltage(V),current(I),and temperature(T).
