基于内变量理论的电流变液本构关系

研究了电流变液的微结构本构关系.其理论框架是基于内变量理论和机理的分析.电流变液是由高介电常数的颗粒悬浮在某种液体中组成的.在电场作用下,极化的颗粒将沿着电场方向聚集在一起形成链状结构.颗粒聚集体的大小和方向将随外加电场和应变率的变化进行调整,因而可以通过建立起能量守恒方程和力平衡方程来确定颗粒聚集体的大小和方向的变化.那么,一个三维的、清晰的本构关系可以由相互作用能和系统的耗散能导出.具体考虑和讨论了在简单剪切载荷作用下的系统响应,发现电流变液的切变剪薄粘滞系数同系统Mason数之间近似于幂指数∝(Mn)-082的关系.     

一种考虑聚醚醚酮（PEEK）不同力学状态的本构模型

聚醚醚酮（简称PEEK）以其优良的性能而广泛应用于高端机械、 核工程和航空等科技领域.为了描述其在应变、应变率和温度3种因素作用下的力学行为,依据PEEK在不同温度下呈现的3种力学状态,在著名的JC(Johnson Cook)本构模型的基础上,提出了针对高分子不同力学状态的分段JC本构模型.与传统JC模型及文献中改进JC模型相比,提出的分段JC模型能够更精确地表征PEEK在中高温下的力学行为,为PEEK在复合材料中的应用和分析奠定了理论基础.     

多相固体弹塑性本构方程的同类性

本文以复合材料为背景,讨论多相固体即混合物的等效弹塑性本构方程.按照所提出的等效本构方程的定义,文章证明,由服从广义正交法则的多种均匀的弹塑性介质组成的混合物具有与它的组分介质同类的、也服从广义正交法则的等效本构方程.     

均值自洽理论与多晶本构模拟

本文提出了一种多晶体本构关系的近似理论分析框架——均值自洽模式,将仅适用于球形或椭球形固连夹杂均匀变形的Hill自洽模型推广到适用于任意形状夹杂(固连或滑错)的情况.立方体晶粒多晶体和界面可自由滑错球形晶粒多晶体的本构模拟结果表明了该理论的合理性与可行性.     

塑性本构理论与工程材料塑性本构关系

研究了材料的塑性本构理论,从理论上建立了严密的塑性本构方程,为建立工程材料塑性本构关系提供了理论基础,此后将理论应用于3种工程材料.依据材料的性质以及工程的要求,通过简化得出满足工程计算精度要求的岩土类摩擦材料、金属类晶体材料的塑性本构关系;对强度控制的工程问题如有充分塑性变形条件则可将材料视作理想塑性材料,应用屈服条件和极限分析条件,采用传统的或数值的极限分析方法,求得工程安全系数或极限承载力.     

杆,壳子空间变分原理

本文建立了杆、壳的子空间变分原理的一般形式,将它作为杆、壳的本构近似理论中的控制方程.并由此得出杆、壳的本构方程,所得结果令人满意.     

热弹性马氏体相变材料单晶体的细观力学统一本构模型

基于马氏体相变的晶体学理论和Hill Rice内变量本构理论 ,建立了热弹性马氏体相变材料单晶体的细观力学统一本构模型并对它进行了详细的讨论 .该本构模型能描述在复杂热力学加载条件下 ,热弹性马氏体相变材料微结构正向相变、反向相变以及重取向过程在单晶体中所表现出来的宏观本构特性 .理论预测与实验结果符合很好 .     

岩土力学的公理化理论体系*

本文以混合物理论为基础,融理性力学、不可逆过程热力学和土力学的精华于一体,提出了岩土力学的公理化理论体系。该理论体系包括5个基本定律和8个本构原理,它们在纯力学理论和工程实际的鸿沟之间架起了一道桥梁。     

基于等效滑移与潜在硬化机制的多晶金属亚宏观弹塑性模型

将多晶材料中晶片之间与晶粒界面上的滑移作为消耗塑性功的主要物理机制,提出一个由亚宏观滑移系作为耗能构元的材料模型,并用功共轭方法得到了亚宏观滑移系的等效滑移剪切率.重新给出了滑移系自身运动硬化、潜在硬化及Bauscninger效应的力学描述,导出了本构方程.在探讨材料性质参数对后继屈服面形状及尺寸变化影响的基础上,论述了模型的基本性质.与以晶粒为基本构元的多晶体自洽理论比较,所得到的本构方程具有简洁的数学表达,而且能精确有效地预测多晶金属材料在复杂加载条件下的宏观弹塑性力学行为.     

考虑双拉耦合的复合材料编织物非正交本构模型

基于连续介质力学理论,将复合材料编织物的双轴拉伸效应引入到前期提出的非正交本构模型中,提出了一种考虑双拉耦合的复合材料编织物非正交本构模型.给出了模型参数的确定方法,并通过拟合单轴拉伸、不等比双轴拉伸和偏轴拉伸实验数据,得到了本构模型参数.利用该模型对双轴拉伸和双球冲压实验进行了有限元模拟,并将模拟结果和实验结果进行对比,验证了所提出本构模型的可靠性,该模型能更好地表征复合材料编织物在成形过程中由于大变形所引起的非线性各向异性力学行为.这一本构模型具有结果精确、参数容易确定的优点,为编织复合材料成形的数值模拟和成形工艺优化奠定了理论基础.     

关于正交矩阵特征值与行列式的两个定理

以两种证明思路给出了正交矩阵特征值与行列式关系的定理,并在此基础之上提出了对称正交矩阵行列式的迹定理.     

Classical Gauge Theory of Gravity

The classical theory of gravity is formulated as a gauge theory on a frame bundle with spontaneous symmetry breaking caused by the existence of Dirac fermionic fields. The pseudo-Reimannian metric (tetrad field) is the corresponding Higgs field. We consider two variants of this theory. In the first variant, gravity is represented by the pseudo-Reimannian metric as in general relativity theory; in the second variant, it is represented by the effective metric as in Logunov's relativistic theory of gravity. The configuration space, Dirac operator, and Lagrangians are constructed for both variants.     

Parity in knot theory and graph-links

The present monograph is devoted to low-dimensional topology in the context of two thriving theories: parity theory and theory of graph-links, the latter being an important generalization of virtual knot theory constructed by means of intersection graphs. Parity theory discovered by the second-named author leads to a new perspective in virtual knot theory, the theory of cobordisms in two-dimensional surfaces, and other new domains of topology. Theory of graph-links highlights a new combinatorial approach to knot theory.     

Complements to models for noncommuting operators

This paper develops a dilation theory for two noncommutative operators. Many of the results and techniques in dilation theory for one operator are extended to this setting. This is done by extending the Schaffer construction for one operator to the Fock space setting. A new Wold decomposition for two isometrics with orthogonal range is obtained. This Wold decomposition and the Schaffer construction is used to extend the Sz.-Nagy-Foias lifting theorem and the characteristic function theory to the noncommutative setting. The characteristic function is operator valued and defined in a Fock space.     

An Iterative Analytical Theory in the Mechanics of Layered Composite Systems

An iterative analytical theory in the mechanics of layered composite systems is developed. The prehistory of the nonclassical theory of layered systems is presented. The division of this theory into two principal directions - discrete-structural and continuous-structural - is mentioned. The basic iterative Ambartsumyan theory, which belongs to the second direction, is described. The formation of the generalized iteration theory of first approximation is shown. In this theory, the disagreement between the kinematic and static models is removed, i.e., a generalization of these models is realized. The theory of second approximation is described. An iterative principle is presented for the formation of a higher-approximation nonclassical theory. Based on this principle, theories of anisotropic composite shallow shells, plates, and beams are formulated. Comparative calculation results for different layered composite systems are presented.     

The formula for the multiplicity of two generalized polynomials on time scales

The theory of approximate solutions is lack of a development on the area of nonlinear differential equations on time scales. One of the difficulties for developing a theory of series solutions for the homogeneous equations on time scales is that a formula for the multiplication of two generalized polynomials is not easily found. In this paper we present the formula for the multiplicity of two generalized polynomials on time scales.     

A minimalist two-level foundation for constructive mathematics

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.     

On global solvability of initial value problem for hyperbolic Monge–Ampère equations and systems

The communication concerns a theory of global solvability of initial value problem for nonlinear hyperbolic equations with two independent variables that is an immediate analog of a theory of global solvability of ordinary differential equations.     

A theory for synchronization of dynamical systems

In this paper, a theory for synchronization of multiple dynamical systems under specific constraints is developed from a theory of discontinuous dynamical systems. The concepts on synchronization of two or more dynamical systems to specific constraints are presented. The synchronization, desynchronization and penetration of multiple dynamical systems to multiple specified constraints are discussed, and the necessary and sufficient conditions for such synchronicity are developed. The synchronicity of two dynamical systems to a single specific constraint and to multiple specific constraints is investigated. Finally, the synchronization and the corresponding complexity for multiple slave systems with multiple master systems are discussed briefly. The meaning of synchronization for dynamical systems with constraints is extended as a generalized, universal concept. The theory presented in this paper may be as a universal theory for dynamical systems. The paper provides a theoretic frame work in order to control slave systems which can be synchronized with master systems through specific constraints in a general sense.     

Curriculum Vitae of Wei Lin

An existence theory for systems of two non-linear operator equations in Hilbert spaces is presented under non-resonance conditions with respect to two spectra and in terms of matrices convergent to zero. The theory is then applied to elliptic systems.