首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 50 毫秒
1.
In this two part paper, the first part deals with five different nonlinear theories applicable to the analysis of arches in the context of solving the large displacement and the large rotation problem. These theories include, classical theory, first-order shear deformation theory, third-order shear deformation theory, modified classical theory and the Donnell-type theory. All the theories are developed using the Total Lagrangian approach. Simplifications and assumptions used in each of the theory are discussed. Explicit strain displacement gradient relations and element independent equilibrium equations in terms of displacement gradients are given for all the theories. Limitations of each of theory are discussed. In the second part of this paper, application of these theories for the classification of arch geometries is considered.  相似文献   

2.
An interesting positive theory is the GPK theory. The models of this theory include all hyperuniverses (see [5] for a definition of these ones). Here we add a form of the axiom of infinity and a new scheme to obtain GPK+. We show that in these conditions, we can interprete the Kelley-Morse theory (KM) in GPK+ (Theorem 3.7). This needs a preliminary property which give an interpretation of the Zermelo-Fraenkel set theory (ZF) in GPK+. We also see what happens in the original GPK theory. Before doing this, we first need to study the basic properties of the theory. This is done in the first two sections.  相似文献   

3.
We present a new approach to perturbation theory for quantum field theory based on convergent series instead of asymptotic expansions. This approach could be considered as the next step after traditional perturbation theory calculations, which allows more comprehensive use of previously obtained information in finding numerical values with greater accuracy.  相似文献   

4.
Local set theory     
In 1945, Eilenberg and MacLane introduced the new mathematical notion of category. Unfortunately, from the very beginning, category theory did not fit into the framework of either Zermelo—Fraenkel set theory or even von Neumann—Bernays—Gödel set-class theory. For this reason, in 1959, MacLane posed the general problem of constructing a new, more flexible, axiomatic set theory which would be an adequate logical basis for the whole of naïve category theory. In this paper, we give axiomatic foundations for local set theory. This theory might be one of the possible solutions of the MacLane problem.Translated from Matematicheskie Zametki, vol. 77, no. 2, 2005, pp. 194–212.Original Russian Text Copyright © 2005 by V. K. Zakharov.This revised version was published online in April 2005 with a corrected issue number.  相似文献   

5.
This essay offers a personal view of developments in two main areas of decision theory — decision making under risk and uncertainty, and social choice theory — with emphasis on the past half century and on likely future directions. Remarks on helpful research practices are also included.  相似文献   

6.
We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin.One level is given by an intensional type theory, called Minimal type theory. This theory extends a previous version with collections.The other level is given by an extensional set theory that is interpreted in the first one by means of a quotient model.This two-level theory has two main features: it is minimal among the most relevant foundations for constructive mathematics; it is constructive thanks to the way the extensional level is linked to the intensional one which fulfills the “proofs-as-programs” paradigm and acts as a programming language.  相似文献   

7.
We consider the perturbation theory in the fermion mass (chiral perturbation theory) in the two-dimensional quantum electrodynamics. With this aim, we rewrite the theory in the equivalent bosonic form in which the interaction has the exponential form and the fermion mass becomes the coupling constant. We reformulate the bosonic perturbation theory in the superpropagator language and analyze its ultraviolet behavior. We show that the boson Green's functions without vacuum loops remain finite in all orders of the perturbation theory in the fermion mass.  相似文献   

8.
In this paper we survey the topic of bifurcation theory of functionaldifferential equations. We begin with a brief discussion of the position of bifurcationand functional differential equations in dynamical systems. We followwith a survey of the state of the art on the bifurcation theory of functionaldifferential equations, including results on Hopf bifurcation, center manifoldtheory, normal form theory, Lyapunov-Schmidt reduction, and degree theory.  相似文献   

9.
非ε-极限理论与微积分的教学改革   总被引:2,自引:0,他引:2  
讨论了由第一作者提出的“非ε-极限理论”,它所提出的缘由、理论体系 ,它的合理性 ,它所需要加以解决的问题及其改进方案 .同时 ,还介绍了第二作者根据这种理论编写的教材《新微积分学》及其在教学中的实践效果 .  相似文献   

10.
It is well known that the sets of strings that define all representations of string algebras and many representations of other quotients of path algebras form a regular set, and hence are defined by finite state automata. This short article aims to explain this connection between representation theory and automata theory in elementary terms; no technical background in either representation theory or automata theory is assumed. The article describes the structure of the set of strings of a monomial algebra as a locally testable and hence regular set, and describes explicitly the construction of the automaton, illustrating the construction with an elementary example. Hence it explains how the sets of strings and bands of a monomial algebra correspond to the sets of paths and closed (non-powered) circuits in a finite graph, and how the growth rate of the set of bands is immediately visible from that graph. Presented by C. Ringel.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号