For realism,the ultimate rational standard is the law of non-contradiction because the basic proposition for the intellect requires:Being is not non-being.The One of Plotinus is beyond being,but the Intellect,emanated...For realism,the ultimate rational standard is the law of non-contradiction because the basic proposition for the intellect requires:Being is not non-being.The One of Plotinus is beyond being,but the Intellect,emanated from the One,has being and is also one.With essence and existence,Aquinas endeavors to serve faith with reason in that God is defined as being itself according to the name of God who revealed to Moses.Writing for the atheists in his Five Ways,Aquinas defines God with five names,and his conclusion from the Third Way is the existence of a necessary being.The One is timeless without will;the necessary being exists in time;if I Am Who I Am is understood rationally with essence and existence,then the Biblical God becomes a god of intellect.Being itself is neither life-giving nor holy.Regarding time,being itself can be viewed as a compromise of the One and the necessary being of the Five Ways.展开更多
In situ tensile testing in a scanning electron microscope(SEM)in conjunction with high-resolution electron backscatter diffraction(HR-EBSD)under load was used to characterize the evolution of geometrically necessary d...In situ tensile testing in a scanning electron microscope(SEM)in conjunction with high-resolution electron backscatter diffraction(HR-EBSD)under load was used to characterize the evolution of geometrically necessary dislocation(GND)densities at individual grain boundaries as a function of applied strain in a polycrystalline Mg-4Al alloy.The increase in GND density was investigated at plastic strains of 0%,0.6%,2.2%,3.3% from the area including 76 grains and correlated with(i)geometric compatibility between slip systems across grain boundaries,and(ii)plastic incompatibility.We develop expressions for the grain boundary GND density evolution as a function of plastic strain and plastic incompatibility,from which uniaxial tensile stress-strain response of polycrystalline Mg-4Al are computed and compared with experimental measurement.The findings in this study contribute to understanding the mechanisms governing the strain hardening response of single-phase polycrystalline alloys and more reliable prediction of mechanical behaviors in diverse microstructures.展开更多
Nanoindentation and high resolution electron backscatter diffraction（EBSD） were combined to examine the elastic modulus and hardness of α and β phases,anisotropy in residual elastic stress strain fields and distri...Nanoindentation and high resolution electron backscatter diffraction（EBSD） were combined to examine the elastic modulus and hardness of α and β phases,anisotropy in residual elastic stress strain fields and distributions of geometrically necessary dislocation（GND） density around the indentations within TA15 titanium alloy.The nano-indention tests were conducted on α and β phases,respectively.The residual stress strain fields surrounding the indentation were calculated through crosscorrelation method from recorded patterns.The GND density distribution around the indentation was calculated based on the strain gradient theories to reveal the micro-mechanism of plastic deformation.The results indicate that the elastic modulus and hardness for α p hase are 129.05 GPas and 6.44 GPa,while for β phase,their values are 109.80 GPa and 4.29 GPa,respectively.The residual Mises stress distribution around the indentation is relatively heterogeneous and significantly influenced by neighboring soft β phase.The region with low residual stress around the indentation is accompanied with markedly high a type and prismatic-GND density.展开更多
Hanson and Mond have grven sets of necessary and sufficient conditions for optimality in constrained optimization by introducing classes of generalized functions, called type Ⅰ functions. Recently, Bector definded un...Hanson and Mond have grven sets of necessary and sufficient conditions for optimality in constrained optimization by introducing classes of generalized functions, called type Ⅰ functions. Recently, Bector definded univex functions, a new class of functions that unifies several concepts of generalized convexity. In this paper, additional conditions are attached to the Kuhn Tucker conditions giving a set of conditions which are both necessary and sufficient for optimality in constrained optimization, under appropriate constraint qualifications.展开更多
In this note, we consider stochastic heat equation with general additive Gaussian noise. Our aim is to derive some necessary and sufficient conditions on the Gaussian noise in order to solve the corresponding heat equ...In this note, we consider stochastic heat equation with general additive Gaussian noise. Our aim is to derive some necessary and sufficient conditions on the Gaussian noise in order to solve the corresponding heat equation. We investigate this problem invoking two differen t met hods, respectively, based on variance compu tations and on pat h-wise considerations in Besov spaces. We are going to see that, as anticipated, both approaches lead to the same necessary and sufficient condition on the noise. In addition, the path-wise approach brings out regularity results for the solution.展开更多
Permanent loss of vital functions after central nervous system （CNS） injury, e.g., blindness in traumatic optic nerve （ON） injury or paralysis in spinal cord injury, occurs in part because axons in the adult mamma...Permanent loss of vital functions after central nervous system （CNS） injury, e.g., blindness in traumatic optic nerve （ON） injury or paralysis in spinal cord injury, occurs in part because axons in the adult mammalian CNS do not regenerate after injury. Growth failure is due to the diminished intrinsic regenerative capacity of mature neurons and the inhibitory environment of the adult CNS. Neutralizing extracellular inhibitory molecules genetically or pharmacologically yields only limited regeneration and functional recovery, highlighting the critical importance of neuron-intrinsic factors.展开更多
Necessary and sufficient conditions for azeotropy in reactive mixtures are derived in terms of elemental composition, which shows that in the space of elemental compositions, they take the same functional form as the ...Necessary and sufficient conditions for azeotropy in reactive mixtures are derived in terms of elemental composition, which shows that in the space of elemental compositions, they take the same functional form as the conditions for azeotropy in non-reactive mixtures. The production of methyl tert-butyl ether (MTBE) is taken as an example. It is found that there are a 'pseudo' intermediate-boiling ternary reactive azeotrope at p = 101.325kPa and two 'real' ternary reactive azeotropes at p = 101.325 Pa. The introduced elemental compositions also reduce the dimensionality of the phase diagrams and provide a natural set of variables for visualization of phase behavior.展开更多
In this paper, we discuss the limit cycles of the systemdx/dt=y·[1+(A(x)]oy/dt=(-x+δy+α_1x^2+α_2xy+α_5x^2y)[1+B(x)] (1)where A(x)=sum form i=1 to n(a_ix~), B(x)=sum form j=1 to m(β_jx^j) and 1+B(x)>0. We ...In this paper, we discuss the limit cycles of the systemdx/dt=y·[1+(A(x)]oy/dt=(-x+δy+α_1x^2+α_2xy+α_5x^2y)[1+B(x)] (1)where A(x)=sum form i=1 to n(a_ix~), B(x)=sum form j=1 to m(β_jx^j) and 1+B(x)>0. We prove that (1) possesses at most one limit cycle and give out the necessary and sufficient conditions of existence and uniqueness of limit cycles.展开更多
In this paper, necessary optimality conditions for a class of Semi-infinite Variational Problems are established which are further generalized to a class of Multi-objective Semi-Infinite Variational Problems. These co...In this paper, necessary optimality conditions for a class of Semi-infinite Variational Problems are established which are further generalized to a class of Multi-objective Semi-Infinite Variational Problems. These conditions are responsible for the development of duality theory which is an extremely important feature for any class of problems, but the literature available so far lacks these necessary optimality conditions for the stated problem. A lemma is also proved to find the topological dual of as it is required to prove the desired result.展开更多
Neuromuscular blocking agents(NMBAs)were introduced into clinical anesthesia in the 1940s^([1]),and have enabled anesthesiologists to safely anesthetize patients with significant cardiopulmonary diseases.By employing ...Neuromuscular blocking agents(NMBAs)were introduced into clinical anesthesia in the 1940s^([1]),and have enabled anesthesiologists to safely anesthetize patients with significant cardiopulmonary diseases.By employing neuromuscular blockade patient movement could be abolished, without producing excessive cardiovascular depression.展开更多
The CD retrieval svstem of Journal of Traditional Chinese Medicine(JTCM)contains all of the periodicals of JTCM published from 1981 to 2008.You can read any articles on computer bv searching any words or combination o...The CD retrieval svstem of Journal of Traditional Chinese Medicine(JTCM)contains all of the periodicals of JTCM published from 1981 to 2008.You can read any articles on computer bv searching any words or combination of the words.The retrieval results can be printed or downloaded.You may retrieve the relevant articles about a certain disease,therapy or drug in a few seconds,user-friendly with convenient handling.展开更多
The CD retrieval system of Journal of Traditional Chinese Medicine (JTCM) contains all of the periodicals of JTCM published from 1981 to 2008. You can read any articles on computer by searching any words or combinatio...The CD retrieval system of Journal of Traditional Chinese Medicine (JTCM) contains all of the periodicals of JTCM published from 1981 to 2008. You can read any articles on computer by searching any words or combination of the words.The retrieval results can be printed or downloaded. You may retrieve the relevant articles about a certain disease.展开更多
Let?denote a smooth,bounded domain in R^(N)(N≥2).Suppose that g is a nondecreasing C^(1)positive function and assume that b(x)is continuous and nonnegative inΩ,and that it may be singular on■Ω.In this paper,we pro...Let?denote a smooth,bounded domain in R^(N)(N≥2).Suppose that g is a nondecreasing C^(1)positive function and assume that b(x)is continuous and nonnegative inΩ,and that it may be singular on■Ω.In this paper,we provide sufficient and necessary conditions on the existence of boundary blow-up solutions to the p-Laplacian problem△_(p)u=b(x)g(u)for x∈Ω,u(x)→+∞as dist(x,■Ω)→0.The estimates of such solutions are also investigated.Moreover,when b has strong singularity,the nonexistence of boundary blow-up(radial)solutions and infinitely many radial solutions are also considered.展开更多
Although the isogeometric collocation(IGA-C)method has been successfully utilized in practical applications due to its simplicity and efficiency,only a little theoretical results have been established on the numerical...Although the isogeometric collocation(IGA-C)method has been successfully utilized in practical applications due to its simplicity and efficiency,only a little theoretical results have been established on the numerical analysis of the IGA-C method.In this paper,we deduce the convergence rate of the consistency of the IGA-C method.Moreover,based on the formula of the convergence rate,the necessary and sufficient condition for the consistency of the IGA-C method is developed.These results advance the numerical analysis of the IGA-C method.展开更多
We consider the comparison theorem of one-dimensional stochastic differential equation with non-Lipschitz diffusion coefficient. Considering the two one-dimensional stochastic differential equations as a two-dimension...We consider the comparison theorem of one-dimensional stochastic differential equation with non-Lipschitz diffusion coefficient. Considering the two one-dimensional stochastic differential equations as a two-dimensional equation,we present a necessary condition such that comparison theorem holds by viscosity solution approach.展开更多
In this paper, a necessary and sufficient condition for teh solution of Lienard typesystem with muliiple singular points to oscillation under the more general assumptionis given.Results of the papers [1-4] are also ex...In this paper, a necessary and sufficient condition for teh solution of Lienard typesystem with muliiple singular points to oscillation under the more general assumptionis given.Results of the papers [1-4] are also extended and improved in this paper.展开更多
Non-dimensionalized equations and boundary conditions are presented for the torsion problem of an anisotropic body. The error of the fundamental solution cited in some boundary element books Is pointed out after an ex...Non-dimensionalized equations and boundary conditions are presented for the torsion problem of an anisotropic body. The error of the fundamental solution cited in some boundary element books Is pointed out after an examination of the fundamental solution. Furthermore,a necessary and sufficient boundary integral equation is given for the problem and compared with the conventional boundary integral equation. Numerical results show that great errors of the boundary shear stresses obtained by the conventional boundary integral equation appear with a small error of torsion stiffness. Meanwhile,the necessary and sufficient;boundary integral equation always gives accurate results.展开更多
In this paper. it is discussed that the absohue stability for zero solution of thediscrete type Lurie control systmin which the nonlinear function f(σ) satisfying conditions as followsIt gives the necessary and suffi...In this paper. it is discussed that the absohue stability for zero solution of thediscrete type Lurie control systmin which the nonlinear function f(σ) satisfying conditions as followsIt gives the necessary and sufficent conditions for the absolute stability forystem (I) under conditions (2).We also obtain the sufficient criteria for absolutesiability of the simplified system of (I) under conditions (3) .展开更多
Introduction Vascular endothelial (VE)-cadherin is localized to the endothelial borders and the adherens junctions,which are regulated by changes in mitogen activated protein kinases (MAPK),GTPases,and intracellular c...Introduction Vascular endothelial (VE)-cadherin is localized to the endothelial borders and the adherens junctions,which are regulated by changes in mitogen activated protein kinases (MAPK),GTPases,and intracellular calcium. We previously展开更多
基金Current project:The Study of the Separation of Judaism and Early Christianity on the Texts,Ideas,and Community(犹太教和早期基督教“文本、思想和社群”的分离研究),awarded by the Ministry of Education of the People’s Republic of China,number:22JJD73001.
文摘For realism,the ultimate rational standard is the law of non-contradiction because the basic proposition for the intellect requires:Being is not non-being.The One of Plotinus is beyond being,but the Intellect,emanated from the One,has being and is also one.With essence and existence,Aquinas endeavors to serve faith with reason in that God is defined as being itself according to the name of God who revealed to Moses.Writing for the atheists in his Five Ways,Aquinas defines God with five names,and his conclusion from the Third Way is the existence of a necessary being.The One is timeless without will;the necessary being exists in time;if I Am Who I Am is understood rationally with essence and existence,then the Biblical God becomes a god of intellect.Being itself is neither life-giving nor holy.Regarding time,being itself can be viewed as a compromise of the One and the necessary being of the Five Ways.
基金supported by the U.S.Department of Energy,Office of Basic Energy Sciences,Division of Materials Sciences and Engineering under Award#DE-SC0008637 as part of the Center for PRedictive Integrated Materials Science(PRISMS Center)at the University of Michigan。
文摘In situ tensile testing in a scanning electron microscope(SEM)in conjunction with high-resolution electron backscatter diffraction(HR-EBSD)under load was used to characterize the evolution of geometrically necessary dislocation(GND)densities at individual grain boundaries as a function of applied strain in a polycrystalline Mg-4Al alloy.The increase in GND density was investigated at plastic strains of 0%,0.6%,2.2%,3.3% from the area including 76 grains and correlated with(i)geometric compatibility between slip systems across grain boundaries,and(ii)plastic incompatibility.We develop expressions for the grain boundary GND density evolution as a function of plastic strain and plastic incompatibility,from which uniaxial tensile stress-strain response of polycrystalline Mg-4Al are computed and compared with experimental measurement.The findings in this study contribute to understanding the mechanisms governing the strain hardening response of single-phase polycrystalline alloys and more reliable prediction of mechanical behaviors in diverse microstructures.
文摘Nanoindentation and high resolution electron backscatter diffraction（EBSD） were combined to examine the elastic modulus and hardness of α and β phases,anisotropy in residual elastic stress strain fields and distributions of geometrically necessary dislocation（GND） density around the indentations within TA15 titanium alloy.The nano-indention tests were conducted on α and β phases,respectively.The residual stress strain fields surrounding the indentation were calculated through crosscorrelation method from recorded patterns.The GND density distribution around the indentation was calculated based on the strain gradient theories to reveal the micro-mechanism of plastic deformation.The results indicate that the elastic modulus and hardness for α p hase are 129.05 GPas and 6.44 GPa,while for β phase,their values are 109.80 GPa and 4.29 GPa,respectively.The residual Mises stress distribution around the indentation is relatively heterogeneous and significantly influenced by neighboring soft β phase.The region with low residual stress around the indentation is accompanied with markedly high a type and prismatic-GND density.
文摘Hanson and Mond have grven sets of necessary and sufficient conditions for optimality in constrained optimization by introducing classes of generalized functions, called type Ⅰ functions. Recently, Bector definded univex functions, a new class of functions that unifies several concepts of generalized convexity. In this paper, additional conditions are attached to the Kuhn Tucker conditions giving a set of conditions which are both necessary and sufficient for optimality in constrained optimization, under appropriate constraint qualifications.
基金supported by an NSERC granta startup fund of University of Albertasupported by the NSF grant DMS1613163
文摘In this note, we consider stochastic heat equation with general additive Gaussian noise. Our aim is to derive some necessary and sufficient conditions on the Gaussian noise in order to solve the corresponding heat equation. We investigate this problem invoking two differen t met hods, respectively, based on variance compu tations and on pat h-wise considerations in Besov spaces. We are going to see that, as anticipated, both approaches lead to the same necessary and sufficient condition on the noise. In addition, the path-wise approach brings out regularity results for the solution.
基金supported by grants from National Eye Institute,Bright Focus Foundation and Shriners Hospital for Children
文摘Permanent loss of vital functions after central nervous system （CNS） injury, e.g., blindness in traumatic optic nerve （ON） injury or paralysis in spinal cord injury, occurs in part because axons in the adult mammalian CNS do not regenerate after injury. Growth failure is due to the diminished intrinsic regenerative capacity of mature neurons and the inhibitory environment of the adult CNS. Neutralizing extracellular inhibitory molecules genetically or pharmacologically yields only limited regeneration and functional recovery, highlighting the critical importance of neuron-intrinsic factors.
基金Supported by the National Natural Science Foundation of China (No.29976035) and Zhejiang and Fujian Provincial Natural Science Foundation of China.
文摘Necessary and sufficient conditions for azeotropy in reactive mixtures are derived in terms of elemental composition, which shows that in the space of elemental compositions, they take the same functional form as the conditions for azeotropy in non-reactive mixtures. The production of methyl tert-butyl ether (MTBE) is taken as an example. It is found that there are a 'pseudo' intermediate-boiling ternary reactive azeotrope at p = 101.325kPa and two 'real' ternary reactive azeotropes at p = 101.325 Pa. The introduced elemental compositions also reduce the dimensionality of the phase diagrams and provide a natural set of variables for visualization of phase behavior.
文摘In this paper, we discuss the limit cycles of the systemdx/dt=y·[1+(A(x)]oy/dt=(-x+δy+α_1x^2+α_2xy+α_5x^2y)[1+B(x)] (1)where A(x)=sum form i=1 to n(a_ix~), B(x)=sum form j=1 to m(β_jx^j) and 1+B(x)>0. We prove that (1) possesses at most one limit cycle and give out the necessary and sufficient conditions of existence and uniqueness of limit cycles.
文摘In this paper, necessary optimality conditions for a class of Semi-infinite Variational Problems are established which are further generalized to a class of Multi-objective Semi-Infinite Variational Problems. These conditions are responsible for the development of duality theory which is an extremely important feature for any class of problems, but the literature available so far lacks these necessary optimality conditions for the stated problem. A lemma is also proved to find the topological dual of as it is required to prove the desired result.
基金supported by University of California Davis HealthNIH grant UL1 TR001860 of the University of Califomia Davis Health
文摘Neuromuscular blocking agents(NMBAs)were introduced into clinical anesthesia in the 1940s^([1]),and have enabled anesthesiologists to safely anesthetize patients with significant cardiopulmonary diseases.By employing neuromuscular blockade patient movement could be abolished, without producing excessive cardiovascular depression.
文摘The CD retrieval svstem of Journal of Traditional Chinese Medicine(JTCM)contains all of the periodicals of JTCM published from 1981 to 2008.You can read any articles on computer bv searching any words or combination of the words.The retrieval results can be printed or downloaded.You may retrieve the relevant articles about a certain disease,therapy or drug in a few seconds,user-friendly with convenient handling.
文摘The CD retrieval system of Journal of Traditional Chinese Medicine (JTCM) contains all of the periodicals of JTCM published from 1981 to 2008. You can read any articles on computer by searching any words or combination of the words.The retrieval results can be printed or downloaded. You may retrieve the relevant articles about a certain disease.
基金supported by the Beijing Natural Science Foundation(1212003)。
文摘Let?denote a smooth,bounded domain in R^(N)(N≥2).Suppose that g is a nondecreasing C^(1)positive function and assume that b(x)is continuous and nonnegative inΩ,and that it may be singular on■Ω.In this paper,we provide sufficient and necessary conditions on the existence of boundary blow-up solutions to the p-Laplacian problem△_(p)u=b(x)g(u)for x∈Ω,u(x)→+∞as dist(x,■Ω)→0.The estimates of such solutions are also investigated.Moreover,when b has strong singularity,the nonexistence of boundary blow-up(radial)solutions and infinitely many radial solutions are also considered.
基金supported by the National Natural Science Foundation of China(61872316)the Natural Science Foundation of Zhejiang Province,China(LY19F020004)
文摘Although the isogeometric collocation(IGA-C)method has been successfully utilized in practical applications due to its simplicity and efficiency,only a little theoretical results have been established on the numerical analysis of the IGA-C method.In this paper,we deduce the convergence rate of the consistency of the IGA-C method.Moreover,based on the formula of the convergence rate,the necessary and sufficient condition for the consistency of the IGA-C method is developed.These results advance the numerical analysis of the IGA-C method.
基金The China Scholarship Council,the National Basic Research Program(2009CB219301) of China(973) in partthe National Public Benefit Scientific Research Foundation(201011078) of China+2 种基金the National Innovation Research Project for Exploration and Development of Oil Shale(OSP-02 and OSR-02)the NSF(41304087,11071026,61133011,61170092,60973088,61202308,11001100,11171131 and 11026043) of Chinathe Basic Research Foundation of Jilin University in 2012
文摘In this paper, we have studied the necessary maximum principle of stochastic optimal control problem with delay and jump diffusion.
基金Supported by the National Natural Science Foundation of China (10871153)
文摘We consider the comparison theorem of one-dimensional stochastic differential equation with non-Lipschitz diffusion coefficient. Considering the two one-dimensional stochastic differential equations as a two-dimensional equation,we present a necessary condition such that comparison theorem holds by viscosity solution approach.
文摘In this paper, a necessary and sufficient condition for teh solution of Lienard typesystem with muliiple singular points to oscillation under the more general assumptionis given.Results of the papers [1-4] are also extended and improved in this paper.
文摘Non-dimensionalized equations and boundary conditions are presented for the torsion problem of an anisotropic body. The error of the fundamental solution cited in some boundary element books Is pointed out after an examination of the fundamental solution. Furthermore,a necessary and sufficient boundary integral equation is given for the problem and compared with the conventional boundary integral equation. Numerical results show that great errors of the boundary shear stresses obtained by the conventional boundary integral equation appear with a small error of torsion stiffness. Meanwhile,the necessary and sufficient;boundary integral equation always gives accurate results.
文摘In this paper. it is discussed that the absohue stability for zero solution of thediscrete type Lurie control systmin which the nonlinear function f(σ) satisfying conditions as followsIt gives the necessary and sufficent conditions for the absolute stability forystem (I) under conditions (2).We also obtain the sufficient criteria for absolutesiability of the simplified system of (I) under conditions (3) .
基金supported by grants from NIH CA-125707 NSF CBET-0729091 (C D ),as well as NIH AI-065566 (A A )
文摘Introduction Vascular endothelial (VE)-cadherin is localized to the endothelial borders and the adherens junctions,which are regulated by changes in mitogen activated protein kinases (MAPK),GTPases,and intracellular calcium. We previously
