On condition that the basic equations set of atmospheric motion possesses the best stability in the smooth function classes, the structure of solution space for local analytical solution is discussed, by which the thi...On condition that the basic equations set of atmospheric motion possesses the best stability in the smooth function classes, the structure of solution space for local analytical solution is discussed, by which the third-class initial value problem with typ- icality and application is analyzed. The calculational method and concrete expressions of analytical solution about the well-posed initial value problem of the third-kind are given in the analytic function classes. Near an appointed point, the relevant theoretical and computational problems about analytical solution of initial value problem are solved completely in the meaning of local solution. Moreover, for other type ofproblems for determining solution, the computational method and process of their stable analytical solution can be obtained in a similar way given in this paper.展开更多
In this paper,a compound-type inclusion interval of basic coneigenvalues of(com- plex)matrix is obtained.The corresponding boundary theorem and isolating theorem are given.
In this paper, the new development of three basic theories of Extenics, including basic element theory, extension set theory and extension logic theory, has been introduced. And the new theoretical frame of Extenics h...In this paper, the new development of three basic theories of Extenics, including basic element theory, extension set theory and extension logic theory, has been introduced. And the new theoretical frame of Extenics has also been set forth.展开更多
This study contains comparative research of sulfate resistance of ordinary Portland cement pastes with addition of basic aluminum sulfate (hydroxosulfate, Al(OH)1.78(SO4)0.61) and amorphous Al(OH)3. Over 3 months of s...This study contains comparative research of sulfate resistance of ordinary Portland cement pastes with addition of basic aluminum sulfate (hydroxosulfate, Al(OH)1.78(SO4)0.61) and amorphous Al(OH)3. Over 3 months of storing in sodium sulfate solution, the most significant expansion and deterioration occur in case of samples with aluminum hydroxide. During sulfate resistance test, the ratio between aluminum nuclei in AFt (ettringite) and AFm phases was studied by 27Al-MAS NMR, and the impact of aluminum-containing admixtures on this ratio was specified. In accordance with NMR data, in samples with Al(OH)3, the rate of secondary ettringite formation becomes noticeable after one month of storing in sulfate solution. For samples with Al(OH)1.78(SO4)0.61, the rate of elongation and temper of changes in molar ratio between sulfoaluminate phases were comparable with reference samples without admixtures.展开更多
基于回答集语义的逻辑程序(Answer Set Programming,ASP)是描述性问题求解的典范,广泛应用于规划、诊断、调度以及生物信息学等领域。为了增强ASP的表达能力,一些工作在ASP引入了数据库系统中的聚合函数约束,并提出了SPT,FLP等语义,抽...基于回答集语义的逻辑程序(Answer Set Programming,ASP)是描述性问题求解的典范,广泛应用于规划、诊断、调度以及生物信息学等领域。为了增强ASP的表达能力,一些工作在ASP引入了数据库系统中的聚合函数约束,并提出了SPT,FLP等语义,抽象约束剥离聚合函数约束的具体形式成为研究ASP语义等性质的重要工具,并得到了抽象约束逻辑程序的各种回答集语义之间的关系和复杂性问题等的相关结果。对此,进一步研究了仅含凸抽象约束原子抽象约束逻辑的性质,证明了仅含凸抽象约束原子的正规逻辑程序判定是否存在FLP回答集是Σ_(2)^(p)完全的,其审慎推理和大胆推理分别是Π_(2)^(p)完全的和Σ_(2)^(p)完全的。这些复杂性结果进一步理清了各类逻辑程序间的表达能力关系,为设计有效的回答集求解器提供了新的思路,也为进一步探索ASP在解决用凸抽象约束表示的问题中的应用提供了理论基础。展开更多
基金Project supported by the National Natural Science Foundation of China (Major Program of the Tenth Five-Year Plan) (No.90411006).
文摘On condition that the basic equations set of atmospheric motion possesses the best stability in the smooth function classes, the structure of solution space for local analytical solution is discussed, by which the third-class initial value problem with typ- icality and application is analyzed. The calculational method and concrete expressions of analytical solution about the well-posed initial value problem of the third-kind are given in the analytic function classes. Near an appointed point, the relevant theoretical and computational problems about analytical solution of initial value problem are solved completely in the meaning of local solution. Moreover, for other type ofproblems for determining solution, the computational method and process of their stable analytical solution can be obtained in a similar way given in this paper.
文摘In this paper,a compound-type inclusion interval of basic coneigenvalues of(com- plex)matrix is obtained.The corresponding boundary theorem and isolating theorem are given.
文摘In this paper, the new development of three basic theories of Extenics, including basic element theory, extension set theory and extension logic theory, has been introduced. And the new theoretical frame of Extenics has also been set forth.
文摘This study contains comparative research of sulfate resistance of ordinary Portland cement pastes with addition of basic aluminum sulfate (hydroxosulfate, Al(OH)1.78(SO4)0.61) and amorphous Al(OH)3. Over 3 months of storing in sodium sulfate solution, the most significant expansion and deterioration occur in case of samples with aluminum hydroxide. During sulfate resistance test, the ratio between aluminum nuclei in AFt (ettringite) and AFm phases was studied by 27Al-MAS NMR, and the impact of aluminum-containing admixtures on this ratio was specified. In accordance with NMR data, in samples with Al(OH)3, the rate of secondary ettringite formation becomes noticeable after one month of storing in sulfate solution. For samples with Al(OH)1.78(SO4)0.61, the rate of elongation and temper of changes in molar ratio between sulfoaluminate phases were comparable with reference samples without admixtures.
文摘基于回答集语义的逻辑程序(Answer Set Programming,ASP)是描述性问题求解的典范,广泛应用于规划、诊断、调度以及生物信息学等领域。为了增强ASP的表达能力,一些工作在ASP引入了数据库系统中的聚合函数约束,并提出了SPT,FLP等语义,抽象约束剥离聚合函数约束的具体形式成为研究ASP语义等性质的重要工具,并得到了抽象约束逻辑程序的各种回答集语义之间的关系和复杂性问题等的相关结果。对此,进一步研究了仅含凸抽象约束原子抽象约束逻辑的性质,证明了仅含凸抽象约束原子的正规逻辑程序判定是否存在FLP回答集是Σ_(2)^(p)完全的,其审慎推理和大胆推理分别是Π_(2)^(p)完全的和Σ_(2)^(p)完全的。这些复杂性结果进一步理清了各类逻辑程序间的表达能力关系,为设计有效的回答集求解器提供了新的思路,也为进一步探索ASP在解决用凸抽象约束表示的问题中的应用提供了理论基础。
