In this paper,we consider the fourth-order parabolic equation with p(x)Laplacian and variable exponent source ut+∆^(2)u−div(|■u|^(p(x)−2■u))=|u|^(q(x))−1u.By applying potential well method,we obtain global existence...In this paper,we consider the fourth-order parabolic equation with p(x)Laplacian and variable exponent source ut+∆^(2)u−div(|■u|^(p(x)−2■u))=|u|^(q(x))−1u.By applying potential well method,we obtain global existence,asymptotic behavior and blow-up of solutions with initial energy J(u_(0))≤d.Moreover,we estimate the upper bound of the blow-up time for J(u_(0))≤0.展开更多
We investigate the alpha helical protein structure characterized by fourth-order interspine coupling,focusing on a three-coupled fourth-order nonlinear Schr??dinger system.We introduce a generalized Darboux transforma...We investigate the alpha helical protein structure characterized by fourth-order interspine coupling,focusing on a three-coupled fourth-order nonlinear Schr??dinger system.We introduce a generalized Darboux transformation,departing from the classical Darboux transformation.Based on this,we construct the two-and three-degenerate soliton solutions and four-degenerate asymptotic soliton solutions.Based on the asymptotic analysis,we find that the amplitudes of interacting solitons are retained upon the interactions.Elastic interactions between two degenerate solitons exhibiting four curve-type asymptotic solitons are depicted.When the lattice parameterβchanges,the velocities of the two degenerate solitons also change.Elastic interaction among three degenerate solitons comprising four curve-type asymptotic solitons and two line-type solitons is presented.Interaction among one soliton and two degenerate solitons with different velocities is shown.Elastic interaction among four degenerate solitons comprising eight curve-type asymptotic solitons is also presented.Interaction among two two-degenerate solitons with two spectral parameters is shown.The relative distance between two asymptotic solitons exhibits logarithmic growth with|t|,where t represents the retarded time.Acceleration of soliton separation decays exponentially with relative distance,and eventually approaches zero.Phase shifts depend on t.展开更多
In this paper, we consider the eigenvalue problem of a class of fourth-order operator matrices appearing in mechan- ics, including the geometric multiplicity, algebraic index, and algebraic multiplicity of the eigenva...In this paper, we consider the eigenvalue problem of a class of fourth-order operator matrices appearing in mechan- ics, including the geometric multiplicity, algebraic index, and algebraic multiplicity of the eigenvalue, the symplectic orthogonality, and completeness of eigen and root vector systems. The obtained results are applied to the plate bending problem.展开更多
In this work, an efficient spectral method is proposed to solve the fourth-order eigenvalue problem in cylinder domain. Firstly, the key point of this method is to decompose the original model into a kind of decoupled...In this work, an efficient spectral method is proposed to solve the fourth-order eigenvalue problem in cylinder domain. Firstly, the key point of this method is to decompose the original model into a kind of decoupled two-dimensional eigenvalue problem by cylindrical coordinate transformation and Fourier series expansion, and deduce the crucial essential pole conditions. Secondly, we define a kind of weighted Sobolev spaces, and establish a suitable variational formula and its discrete form for each two-dimensional eigenvalue problem. Furthermore, we derive the equivalent operator formulas and obtain some prior error estimates of spectral theory of compact operators. More importantly, we further obtained error estimates for approximating eigenvalues and eigenfunctions by using two newly constructed projection operators. Finally,some numerical experiments are performed to validate our theoretical results and algorithm.展开更多
In the era of big data,data-driven technologies are increasingly leveraged by industry to facilitate autonomous learning and intelligent decision-making.However,the challenge of“small samples in big data”emerges whe...In the era of big data,data-driven technologies are increasingly leveraged by industry to facilitate autonomous learning and intelligent decision-making.However,the challenge of“small samples in big data”emerges when datasets lack the comprehensive information necessary for addressing complex scenarios,which hampers adaptability.Thus,enhancing data completeness is essential.Knowledge-guided virtual sample generation transforms domain knowledge into extensive virtual datasets,thereby reducing dependence on limited real samples and enabling zero-sample fault diagnosis.This study used building air conditioning systems as a case study.We innovatively used the large language model(LLM)to acquire domain knowledge for sample generation,significantly lowering knowledge acquisition costs and establishing a generalized framework for knowledge acquisition in engineering applications.This acquired knowledge guided the design of diffusion boundaries in mega-trend diffusion(MTD),while the Monte Carlo method was used to sample within the diffusion function to create information-rich virtual samples.Additionally,a noise-adding technique was introduced to enhance the information entropy of these samples,thereby improving the robustness of neural networks trained with them.Experimental results showed that training the diagnostic model exclusively with virtual samples achieved an accuracy of 72.80%,significantly surpassing traditional small-sample supervised learning in terms of generalization.This underscores the quality and completeness of the generated virtual samples.展开更多
BACKGROUND Sorafenib has been the conventional treatment for advanced hepatocellular carcinoma(HCC)since 2008.While radiological complete responses are extremely rare,improved supportive care and multidisciplinary app...BACKGROUND Sorafenib has been the conventional treatment for advanced hepatocellular carcinoma(HCC)since 2008.While radiological complete responses are extremely rare,improved supportive care and multidisciplinary approaches in clinical practice may explain the recent increase in case reports and retrospective series documenting such responses.CASE SUMMARY This case series describes 3 patients with advanced HCC who achieved durable complete responses using first-line sorafenib therapy,even in the presence of portal vein thrombosis or extrahepatic spread,and highlights the potential for sustained remission in selected patients.Dermatologic toxicity and non-viral etiology may correlate with favorable outcomes;however,reliable predictive biomarkers for sorafenib response are lacking.CONCLUSION Future research into the etiology and molecular differences in HCC is necessary to develop more personalized therapy options.展开更多
When patients initially present with atrial fibrillation along with an enlarged heart and heart failure, followed by atrioventricular block, it's essential to consider genetic factors.^([1])Genetic testing can off...When patients initially present with atrial fibrillation along with an enlarged heart and heart failure, followed by atrioventricular block, it's essential to consider genetic factors.^([1])Genetic testing can offer crucial diagnostic evidence, aiding in prognosis assessment and the adoption of appropriate treatment strategies.展开更多
Due to the fact that the fourth-order partial differential equation （PDE） for noise removal can provide a good trade-off between noise removal and edge preservation and avoid blocky effects often caused by the secon...Due to the fact that the fourth-order partial differential equation （PDE） for noise removal can provide a good trade-off between noise removal and edge preservation and avoid blocky effects often caused by the second-order PDE, a domain-based fourth-order PDE method for noise removal is proposed. First, the proposed method segments the image domain into two domains, a speckle domain and a non-speckle domain, based on the statistical properties of isolated speckles in the Laplacian domain. Then, depending on the domain type, different conductance coefficients in the proposed fourth-order PDE are adopted. Moreover, the frequency approach is used to determine the optimum iteration stopping time. Compared with the existing fourth-order PDEs, the proposed fourth-order PDE can remove isolated speckles and keeps the edges from being blurred. Experimental results show the effectiveness of the proposed method.展开更多
This paper deals with off-diagonal operator matrices and their applications in elasticity theory. Two kinds of completeness of the system of eigenvectors are proven, in terms of those of the compositions of two block ...This paper deals with off-diagonal operator matrices and their applications in elasticity theory. Two kinds of completeness of the system of eigenvectors are proven, in terms of those of the compositions of two block operators in the off-diagonal operator matrices. Using these results, the double eigenfunction expansion method for solving upper triangular matrix differential systems is proposed. Moreover, we apply the method to the two-dimensional elasticity problem and the problem of bending of rectangular thin plates on elastic foundation.展开更多
In this paper, a new Banach space ZH is defined, and it is proved that there is completeness of eigenfunction system (symplectic orthogonal system) of a class of Hamiltonian system in ZH space. We have also proved the...In this paper, a new Banach space ZH is defined, and it is proved that there is completeness of eigenfunction system (symplectic orthogonal system) of a class of Hamiltonian system in ZH space. We have also proved the following results: ZH space can be continuously imbedded to L-2[0,1] X L-2[0,1], but ZH not equal L-2[0,1] X L-1[0,1].展开更多
The completeness theorem of the eigenfunction systems for the product of two 2 × 2 symmetric operator matrices is proved. The result is applied to 4 × 4 infinite-dimensional Hamiltonian operators. A modified...The completeness theorem of the eigenfunction systems for the product of two 2 × 2 symmetric operator matrices is proved. The result is applied to 4 × 4 infinite-dimensional Hamiltonian operators. A modified method of separation of variables is proposed for a separable Hamiltonian system. As an application of the theorem, the general solutions for the plate bending equation and the free vibration of rectangular thin plates are obtained. Finally, a numerical test is analysed to show the correctness of the results.展开更多
Based on the concrete conditions of earthquake data in the west of China, East China and SOuth China, we studied the completeness of data in these regions by suitable methods to local conditions. Otherwise, we roughly...Based on the concrete conditions of earthquake data in the west of China, East China and SOuth China, we studied the completeness of data in these regions by suitable methods to local conditions. Otherwise, we roughly estimated monitoring capability of local networks in China since 1970 and some outlying regions where the data is lack. Finally, we gave the regional distribution of the beginning years since which the data for different magnitude intervals are largely complete in the Chinese mainland.展开更多
Several existence theorems were established for a nonlinear fourth-order two-point boundary value problem with second derivative by using Leray-Schauder fixed point theorem, equivalent norm and technique on system of ...Several existence theorems were established for a nonlinear fourth-order two-point boundary value problem with second derivative by using Leray-Schauder fixed point theorem, equivalent norm and technique on system of integral equations. The main conditions of our results are local. In other words, the existence of the solution can be determined by considering the height of the nonlinear term on a bounded set. This class of problems usually describes the equilibrium state of an elastic beam which is simply supported at both ends.展开更多
For the off-diagonal infinite dimensional Hamiltonian operators, which have at most countable eigenvalues, a necessary and sufficient condition of the eigenfunction systems to be complete in the sense of Cauchy princi...For the off-diagonal infinite dimensional Hamiltonian operators, which have at most countable eigenvalues, a necessary and sufficient condition of the eigenfunction systems to be complete in the sense of Cauchy principal value is presented by using the spectral symmetry and new orthogonal relationship of the operators. Moreover, the above result is extended to a more general case. At last, the completeness of eigenfunction systems for the operators arising from the isotropic plane magnetoelectroelastic solids is described to illustrate the effectiveness of the criterion. The whole results offer theoretical guarantee for separation of variables in Hamiltonian system for some mechanics equations.展开更多
In this work, we present a computational method for solving eigenvalue problems of fourth-order ordinary differential equations which based on the use of Chebychev method. The efficiency of the method is demonstrated ...In this work, we present a computational method for solving eigenvalue problems of fourth-order ordinary differential equations which based on the use of Chebychev method. The efficiency of the method is demonstrated by three numerical examples. Comparison results with others will be presented.展开更多
In order to solve the parallel algorithm of Petri net system with concurrent function, so as to achieve the parallel control and simulation operation of this system, this paper proposes the function partition complete...In order to solve the parallel algorithm of Petri net system with concurrent function, so as to achieve the parallel control and simulation operation of this system, this paper proposes the function partition completeness theory and algorithms of Petri net parallelization, thereby providing the theoretical support for the realization of Petri parallel algorithms. Firstly, according to the concurrent characteristics of Petri net model, we analyze the parallelism of Petri net system; then, by giving the solving process of place invariants and the function partitioning of Petri net, we propose the function partitioning conditions and determination theorem of Petri net parallelization, and conduct its theoretical proof and practical verification. On this basis, we conduct the theoretical study and analysis on the situation that Petri net system has several kinds of parallel function partitioning, propose the completeness theorem of parallelism function partitioning in Petri net system, and verify it. Finally, we give the algorithms, application examples and simulation experiment results of parallel function partitioning of Petri net systems based on place invariant. The theoretical proof and experimental results show that the function partitioning conditions and completeness theory of Petri net parallelization based on place invariant are correct, and the parallel algorithms under such theoretical basis are also correct and effective.展开更多
The eigenvalue problem of a class of fourth-order Hamiltonian operators is studied. We first obtain the geometric multiplicity, the algebraic index and the algebraic multiplicity of each eigenvalue of the Hamiltonian ...The eigenvalue problem of a class of fourth-order Hamiltonian operators is studied. We first obtain the geometric multiplicity, the algebraic index and the algebraic multiplicity of each eigenvalue of the Hamiltonian operators. Then, some necessary and sufficient conditions for the completeness of the eigen or root vector system of the Hamiltonian operators are given, which is characterized by that of the vector system consisting of the first components of all eigenvectors. Moreover, the results are applied to the plate bending problem.展开更多
A fourth-order convergence method of solving roots for nonlinear equation, which is a variant of Newton＇s method given. Its convergence properties is proved. It is at least fourth-order convergence near simple roots ...A fourth-order convergence method of solving roots for nonlinear equation, which is a variant of Newton＇s method given. Its convergence properties is proved. It is at least fourth-order convergence near simple roots and one order convergence near multiple roots. In the end, numerical tests are given and compared with other known Newton and Newton-type methods. The results show that the proposed method has some more advantages than others. It enriches the methods to find the roots of non-linear equations and it is important in both theory and application.展开更多
Under suitable conditions on h(x) and f(u), the authors show that the following boundary value problem has at least one positive solution. Moreover, the authors also establish several existence theorems of multiple po...Under suitable conditions on h(x) and f(u), the authors show that the following boundary value problem has at least one positive solution. Moreover, the authors also establish several existence theorems of multiple positive solutions.展开更多
This paper is devoted to studying symmetry reduction of Cauchy problems for the fourth-order quasi-linear parabolic equations that admit certain generalized conditional symmetries （GCSs）. Complete group classificati...This paper is devoted to studying symmetry reduction of Cauchy problems for the fourth-order quasi-linear parabolic equations that admit certain generalized conditional symmetries （GCSs）. Complete group classification results are presented, and some examples are given to show the main reduction procedure.展开更多
基金Supported by NSFC(No.12101482)the Natural Science Foundation of Shaanxi Province,China(No.2018JQ1052)。
文摘In this paper,we consider the fourth-order parabolic equation with p(x)Laplacian and variable exponent source ut+∆^(2)u−div(|■u|^(p(x)−2■u))=|u|^(q(x))−1u.By applying potential well method,we obtain global existence,asymptotic behavior and blow-up of solutions with initial energy J(u_(0))≤d.Moreover,we estimate the upper bound of the blow-up time for J(u_(0))≤0.
基金supported by the Natural Science Foundation of Shandong Province(Grant No.ZR2025QC30)。
文摘We investigate the alpha helical protein structure characterized by fourth-order interspine coupling,focusing on a three-coupled fourth-order nonlinear Schr??dinger system.We introduce a generalized Darboux transformation,departing from the classical Darboux transformation.Based on this,we construct the two-and three-degenerate soliton solutions and four-degenerate asymptotic soliton solutions.Based on the asymptotic analysis,we find that the amplitudes of interacting solitons are retained upon the interactions.Elastic interactions between two degenerate solitons exhibiting four curve-type asymptotic solitons are depicted.When the lattice parameterβchanges,the velocities of the two degenerate solitons also change.Elastic interaction among three degenerate solitons comprising four curve-type asymptotic solitons and two line-type solitons is presented.Interaction among one soliton and two degenerate solitons with different velocities is shown.Elastic interaction among four degenerate solitons comprising eight curve-type asymptotic solitons is also presented.Interaction among two two-degenerate solitons with two spectral parameters is shown.The relative distance between two asymptotic solitons exhibits logarithmic growth with|t|,where t represents the retarded time.Acceleration of soliton separation decays exponentially with relative distance,and eventually approaches zero.Phase shifts depend on t.
基金supported by the National Natural Science Foundation of China (Grant Nos. 11061019 and 10962004)the Chunhui Program of Ministry of Education of China (Grant No. Z2009-1-01010)+1 种基金the Natural Science Foundation of Inner Mongolia, China(Grant Nos. 2010MS0110 and 2009BS0101)the Cultivation of Innovative Talent of ‘211 Project’ of Inner Mongolia University
文摘In this paper, we consider the eigenvalue problem of a class of fourth-order operator matrices appearing in mechan- ics, including the geometric multiplicity, algebraic index, and algebraic multiplicity of the eigenvalue, the symplectic orthogonality, and completeness of eigen and root vector systems. The obtained results are applied to the plate bending problem.
基金Supported by the National Natural Science Foundation of China(Grant No.12261017)the Scientific Research Foundation of Guizhou University of Finance and Economics(Grant No.2022ZCZX077)。
文摘In this work, an efficient spectral method is proposed to solve the fourth-order eigenvalue problem in cylinder domain. Firstly, the key point of this method is to decompose the original model into a kind of decoupled two-dimensional eigenvalue problem by cylindrical coordinate transformation and Fourier series expansion, and deduce the crucial essential pole conditions. Secondly, we define a kind of weighted Sobolev spaces, and establish a suitable variational formula and its discrete form for each two-dimensional eigenvalue problem. Furthermore, we derive the equivalent operator formulas and obtain some prior error estimates of spectral theory of compact operators. More importantly, we further obtained error estimates for approximating eigenvalues and eigenfunctions by using two newly constructed projection operators. Finally,some numerical experiments are performed to validate our theoretical results and algorithm.
基金supported by the National Natural Science Foundation of China(No.62306281)the Natural Science Foundation of Zhejiang Province(Nos.LQ23E060006 and LTGG24E050005)the Key Research Plan of Jiaxing City(No.2024BZ20016).
文摘In the era of big data,data-driven technologies are increasingly leveraged by industry to facilitate autonomous learning and intelligent decision-making.However,the challenge of“small samples in big data”emerges when datasets lack the comprehensive information necessary for addressing complex scenarios,which hampers adaptability.Thus,enhancing data completeness is essential.Knowledge-guided virtual sample generation transforms domain knowledge into extensive virtual datasets,thereby reducing dependence on limited real samples and enabling zero-sample fault diagnosis.This study used building air conditioning systems as a case study.We innovatively used the large language model(LLM)to acquire domain knowledge for sample generation,significantly lowering knowledge acquisition costs and establishing a generalized framework for knowledge acquisition in engineering applications.This acquired knowledge guided the design of diffusion boundaries in mega-trend diffusion(MTD),while the Monte Carlo method was used to sample within the diffusion function to create information-rich virtual samples.Additionally,a noise-adding technique was introduced to enhance the information entropy of these samples,thereby improving the robustness of neural networks trained with them.Experimental results showed that training the diagnostic model exclusively with virtual samples achieved an accuracy of 72.80%,significantly surpassing traditional small-sample supervised learning in terms of generalization.This underscores the quality and completeness of the generated virtual samples.
文摘BACKGROUND Sorafenib has been the conventional treatment for advanced hepatocellular carcinoma(HCC)since 2008.While radiological complete responses are extremely rare,improved supportive care and multidisciplinary approaches in clinical practice may explain the recent increase in case reports and retrospective series documenting such responses.CASE SUMMARY This case series describes 3 patients with advanced HCC who achieved durable complete responses using first-line sorafenib therapy,even in the presence of portal vein thrombosis or extrahepatic spread,and highlights the potential for sustained remission in selected patients.Dermatologic toxicity and non-viral etiology may correlate with favorable outcomes;however,reliable predictive biomarkers for sorafenib response are lacking.CONCLUSION Future research into the etiology and molecular differences in HCC is necessary to develop more personalized therapy options.
基金Military Healthcare Special Scientific Research Project(25BJZ31, awarded to SHI XM)。
文摘When patients initially present with atrial fibrillation along with an enlarged heart and heart failure, followed by atrioventricular block, it's essential to consider genetic factors.^([1])Genetic testing can offer crucial diagnostic evidence, aiding in prognosis assessment and the adoption of appropriate treatment strategies.
基金The National Natural Science Foundation of China(No.60972001)the National Key Technology R&D Program of China during the 11th Five-Year Period(No.2009BAG13A06)
文摘Due to the fact that the fourth-order partial differential equation （PDE） for noise removal can provide a good trade-off between noise removal and edge preservation and avoid blocky effects often caused by the second-order PDE, a domain-based fourth-order PDE method for noise removal is proposed. First, the proposed method segments the image domain into two domains, a speckle domain and a non-speckle domain, based on the statistical properties of isolated speckles in the Laplacian domain. Then, depending on the domain type, different conductance coefficients in the proposed fourth-order PDE are adopted. Moreover, the frequency approach is used to determine the optimum iteration stopping time. Compared with the existing fourth-order PDEs, the proposed fourth-order PDE can remove isolated speckles and keeps the edges from being blurred. Experimental results show the effectiveness of the proposed method.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.10962004 and 11061019)the Doctoral Foundation of Inner Mongolia(Grant Nos.2009BS0101 and 2010MS0110)+1 种基金the Specialized Research Fund for the Doctoral Program of Higher Education of China(Grant No.20070126002)the Chunhui Program of the Ministry of Education of China(Grant No.Z2009-1-01010)
文摘This paper deals with off-diagonal operator matrices and their applications in elasticity theory. Two kinds of completeness of the system of eigenvectors are proven, in terms of those of the compositions of two block operators in the off-diagonal operator matrices. Using these results, the double eigenfunction expansion method for solving upper triangular matrix differential systems is proposed. Moreover, we apply the method to the two-dimensional elasticity problem and the problem of bending of rectangular thin plates on elastic foundation.
文摘In this paper, a new Banach space ZH is defined, and it is proved that there is completeness of eigenfunction system (symplectic orthogonal system) of a class of Hamiltonian system in ZH space. We have also proved the following results: ZH space can be continuously imbedded to L-2[0,1] X L-2[0,1], but ZH not equal L-2[0,1] X L-1[0,1].
基金supported by the National Natural Science Foundation of China (Grant No. 10962004)the Natural Science Foundation of Inner Mongolia Autonomous Region of China (Grant No. 20080404MS0104)
文摘The completeness theorem of the eigenfunction systems for the product of two 2 × 2 symmetric operator matrices is proved. The result is applied to 4 × 4 infinite-dimensional Hamiltonian operators. A modified method of separation of variables is proposed for a separable Hamiltonian system. As an application of the theorem, the general solutions for the plate bending equation and the free vibration of rectangular thin plates are obtained. Finally, a numerical test is analysed to show the correctness of the results.
文摘Based on the concrete conditions of earthquake data in the west of China, East China and SOuth China, we studied the completeness of data in these regions by suitable methods to local conditions. Otherwise, we roughly estimated monitoring capability of local networks in China since 1970 and some outlying regions where the data is lack. Finally, we gave the regional distribution of the beginning years since which the data for different magnitude intervals are largely complete in the Chinese mainland.
文摘Several existence theorems were established for a nonlinear fourth-order two-point boundary value problem with second derivative by using Leray-Schauder fixed point theorem, equivalent norm and technique on system of integral equations. The main conditions of our results are local. In other words, the existence of the solution can be determined by considering the height of the nonlinear term on a bounded set. This class of problems usually describes the equilibrium state of an elastic beam which is simply supported at both ends.
基金Supported by the National Natural Science Foundation of China under Grant No. 10962004the Specialized Research Fund for the Doctoral Program of Higher Education of China under Grant No. 20070126002+1 种基金the Natural Science Foundation of Inner Mongolia under Grant No. 20080404MS0104the Research Foundation for Talented Scholars of Inner Mongolia University under Grant No. 207066
文摘For the off-diagonal infinite dimensional Hamiltonian operators, which have at most countable eigenvalues, a necessary and sufficient condition of the eigenfunction systems to be complete in the sense of Cauchy principal value is presented by using the spectral symmetry and new orthogonal relationship of the operators. Moreover, the above result is extended to a more general case. At last, the completeness of eigenfunction systems for the operators arising from the isotropic plane magnetoelectroelastic solids is described to illustrate the effectiveness of the criterion. The whole results offer theoretical guarantee for separation of variables in Hamiltonian system for some mechanics equations.
文摘In this work, we present a computational method for solving eigenvalue problems of fourth-order ordinary differential equations which based on the use of Chebychev method. The efficiency of the method is demonstrated by three numerical examples. Comparison results with others will be presented.
基金Supported by the National Natural Science Foundation of China(61866006,61741203)the Natural Science Foundation of Guangxi Province(2016GXNSFAA380243)+1 种基金the Guangxi Innovation-Driven Development of Special Funds Project(Gui Ke AA17204091)the Guangxi Nanning Science and Technology Development Planning Project(2018015-5)
文摘In order to solve the parallel algorithm of Petri net system with concurrent function, so as to achieve the parallel control and simulation operation of this system, this paper proposes the function partition completeness theory and algorithms of Petri net parallelization, thereby providing the theoretical support for the realization of Petri parallel algorithms. Firstly, according to the concurrent characteristics of Petri net model, we analyze the parallelism of Petri net system; then, by giving the solving process of place invariants and the function partitioning of Petri net, we propose the function partitioning conditions and determination theorem of Petri net parallelization, and conduct its theoretical proof and practical verification. On this basis, we conduct the theoretical study and analysis on the situation that Petri net system has several kinds of parallel function partitioning, propose the completeness theorem of parallelism function partitioning in Petri net system, and verify it. Finally, we give the algorithms, application examples and simulation experiment results of parallel function partitioning of Petri net systems based on place invariant. The theoretical proof and experimental results show that the function partitioning conditions and completeness theory of Petri net parallelization based on place invariant are correct, and the parallel algorithms under such theoretical basis are also correct and effective.
基金Supported by the National Natural Science Foundation of China (11261034,11061019)the Chunhui Program of Ministry of Education of China (Z2009-1-01010)the Inner Mongolia Natural Science Foundation of China (2010MS0110)
文摘The eigenvalue problem of a class of fourth-order Hamiltonian operators is studied. We first obtain the geometric multiplicity, the algebraic index and the algebraic multiplicity of each eigenvalue of the Hamiltonian operators. Then, some necessary and sufficient conditions for the completeness of the eigen or root vector system of the Hamiltonian operators are given, which is characterized by that of the vector system consisting of the first components of all eigenvectors. Moreover, the results are applied to the plate bending problem.
基金Foundation item： Supported by the National Science Foundation of China（10701066） Supported by the National Foundation of the Education Department of Henan Province（2008A110022）
文摘A fourth-order convergence method of solving roots for nonlinear equation, which is a variant of Newton＇s method given. Its convergence properties is proved. It is at least fourth-order convergence near simple roots and one order convergence near multiple roots. In the end, numerical tests are given and compared with other known Newton and Newton-type methods. The results show that the proposed method has some more advantages than others. It enriches the methods to find the roots of non-linear equations and it is important in both theory and application.
文摘Under suitable conditions on h(x) and f(u), the authors show that the following boundary value problem has at least one positive solution. Moreover, the authors also establish several existence theorems of multiple positive solutions.
基金Supported by the National Natural Science Foundation of China under Grant No.10671156the Natural Science Foundation of Shaanxi Province of China under Grant No.SJ08A05
文摘This paper is devoted to studying symmetry reduction of Cauchy problems for the fourth-order quasi-linear parabolic equations that admit certain generalized conditional symmetries （GCSs）. Complete group classification results are presented, and some examples are given to show the main reduction procedure.
