形式实模的核心

通过含单位元的交换环的实素理想构造出对应的模的实素子模,得到模的序存在的一个充要条件,并对模的所有序的支集的交集(文中称作"模的核心")作出一定的刻划,找到了判断模中的元素属于模的核心的充要条件.     

几何学概论(三)

(四)罗氏几何的光辉照亮了科学前进的道路我们来分析他的学说的哲学意义.在罗氏的时代,哲学中占统治地位的思想是康德的"不可知论",按照这批人的说法,客观世界是存在的,但是不可知的,时间空间是人心的创造,是人心给经验安排的秩序,我们所确实知道的世界的规律性是人心按先天的原则所创造出来的,先天就是与经验无关的,这样,我们的空间观念就完全是人心的创造,     

包含—受扭迴转轴的半空间的性质*

本文研究包含有一根部份嵌入的迴转轴的半空间的性质.不用知道一给定的嵌入的轴的扭转问题的精确解,这些性质能指出此半空间的位移或应力场的某些特点并且有时可以用来检查数值解.文中给出嵌入半空间的受扭的刚性圆柱的轴的表面上的正确的应力分布的检查的例子.     

映射与函数、指数函数

1　重、难点分析关于映射与函数的概念 ,重点是映射、函数的概念的理解与掌握 ,难点是对映射、函数概念 ,对函数符号 ｙ =ｆ(ｘ) ,以及对函数是一种特殊的映射的理解 ,对函数的定义域、值域的理解与掌握 .对于函数的单调性和奇偶性 ,重点是对函数的单调性、奇偶性的概念的理解 ,难点是对函数的单调性、奇偶性的判断与应用 .关于反函数 ,重点是反函数的概念的理解 ,难点是对求反函数的方法的掌握 .关于指数、指数函数 ,重点是分数指数幂的概念和分数指数幂的运算性质、指数函数的图象和性质的理解与掌握 ,难点是根式的概念和分数指数幂的概念…     

任意角的三角函数

1本单元重点、难点分析三角函数是中学数学的重要内容之一,也是高等数学的重要基础。本单元首先将角的概念进行推广,并引入弧度制的表示方式,再定义六种三角函数,然后探讨同角三角函数间的一些基本关系式及三角函数的诱导公式。角的概念的推广和角的度量单位的更新(引入弧度制)是本单元的第一个重点,它拓宽了三角函数的应用范围,简化了三角函数的研究,是进一步学习三角函数的基础,起到了承上启下的作用.任意角的三角函数的定义是进一步学习三角函数的根基,由此导出的三角函数的符号、同角三角函数间的基本关系式及三角函数的诱导公式是本单…     

微分差分方程解之稳定性

最近20—30年来在调节过程的研究中微分差分方程得到很多的应用.在调节理论和在很多其他具有时滞的过程的理论中所发生的基本问题中的一个问题是关于过程的稳定性的问题,一般化为关于微分差分方程解的稳定性的问题.这具问题吸引了非常多的工作者的注意(参考交末的目录),但据我们所知,这些零散的研究从未被有系统地综述过.这篇文章的目的是用简要的形式综述关于微分差分方程解的稳定性的工作的结果,也包括本文作者的若干研究在内.     

三棱锥体积在解题中的应用

三棱锥是一种特殊的棱锥;它的每一个顶点都可为棱锥的顶点,它的每一个面均可为棱锥的底面,而体积总是不变的。利用这一特点,可以把求多面体的体积和多边形的面积分别转化为求三棱锥的体积和三校锥的底面积;把求点到平面的距离、直线和平面的距离以及两条异面直线的距离转化为求三棱锥的高等等。一求多面体的体积多面体的体积,可以转化成若干个三棱锥的体积和,由于三棱锥的底面具有轮换性,可适当选取三棱锥的底面,较容易地求出三棱锥的体积,进而求出多面体的体积。     

方程a~x=loga~x的解

一个方程的解可以看作两个函数的图象的交点的横坐标。反过来,方程的解又可以反映两个函数之间的某种关系,即它们的图象相交的情况。因此,可以利用函数的性质对方程的解,特别是直接求解很困难的某些超越方程的解的情况作出定性的讨论。也可以利用方程的解对函数的图象间的交点个数作出定量的研究,本文主要通过对函数y=x~(1/x)和y=x~x的性质的分析,就方程a~x=x和a~x=loga~x等的解的情况进行讨论。     

模糊有限状态机的积的代数性质

文章利用代数的方法讨论了模糊有限状态机的全直积、级联积、圈积、模糊有限状态机的和的代数性质。证明了模糊有限状态机的和与其因子在子系统(强子系统)、交换性、连通性、可恢复性等方面的相似的结构性质;给出了模糊有限状态机的全直积、级联积、圈积与其因子之间的关系;获得了模糊有限状态机的各种积的容许划分与其因子的容许划分之间的关系、以及模糊有限状态机的积的商与模糊有限状态机的商的积之间的联系。     

中等學校裹序列的學習

本文的目的是按照中等學校裏應該講授的計畫給中學數學教師以學習序列問題的典型的探討。序列應該看作是以自然數為變元的函數,因此,必需重複一下學生們在八年級就已得到了的關於函數的基本知識。函數的定義大致以下面的形式教給八年級的學生們。如果變元x的每一允許的數值,對應著某個完全確定了的數值y,那末y就是變元x的函數。所給的x值的集合叫做變元的允許的數值的集合或函數的定義域,而相應的y的數值的集合就叫做函數的數值的集合。要規定一個函數,就應該確定變元的允許的數值的集合和一個對應的規律,按照這個規律,可以給變元的每個已給的數值確定一個唯一的函數值。 學生們應該知道,集合和對應的概念是函數的定義的基礎,它們是基層的,那就是說,集合和對應的概念不能藉助更簡單的概念來定義。     

Dynamic frictionless contact with adhesion

A model for the dynamic, adhesive, frictionless contact between a viscoelastic body and a deformable foundation is described. The adhesion process is modeled by a bonding field on the contact surface. The contact is described by a modified normal compliance condition. The tangential shear due to the bonding field is included. The problem is formulated as a coupled system of a variational equality for the displacements and a differential equation for the bonding field. The existence of a unique weak solution for the problem is established, together with a partial regularity result. The existence proof proceeds by construction of an appropriate mapping which is shown to be a contraction on a Hilbert space.     

Influence of particle size on the fracture toughness of a PP-based particulate composite

The main focus of this paper is a numerical investigation of the fracture behavior of a particulate composite (CaCO₃-PP). The composite is modeled as a three-phase continuum and simulated numerically on a microscale by using finite elements. The propagation of a microcrack in a matrix filled with rigid particles covered by an interphase is analyzed. The stress distribution is determined for a variety of particle sizes and material properties of the interphase. The final results, in agreement with experimental data, confirm that the microcrack behavior depends on particle sizes. Russian translation published in Mekhanika Kompozitnykh Materialov, Vol. 45, No. 3, pp. 411-418, May-June, 2009.     

Existence for a thermoviscoelastic beam model of brakes

The existence of a weak solution to a model for the dynamic thermomechanical behavior of a viscoelastic beam, which is in frictional contact with a rigid rotating wheel, is established. The model describes a simple braking system in which a rotating wheel comes to a stop as a result of the frictional traction generated by the beam. The classical model consists of a system of coupled equations for the beam temperature and displacement, the wear of the beam's contacting end, the wheel temperature and its angular velocity. The weak formulation is an abstract differential inclusion involving set-valued pseudomonotone operators, The existence is proved by using recent results for such operators. Uniqueness is shown to hold when the wheel's angular velocity and temperature are known.     

Long-term inventory policy-making through fuzzy decision-making models

The inventory policy, meant as a replenishment rule, has a considerable impact on most firms. The paper considers the determination of optimal inventory policy of firms from a global viewpoint of top management. The inventory is represented as a fuzzy system with the fuzzy inventory level as the output, the fuzzy replenishment as the input and fuzzy demand. The control problem is formulated in terms of decision-making in a fuzzy environment with fuzzy constraints imposed on replenishments, a fuzzy goal for preferable inventory levels to be attained and the fuzzy decision as the intersection of fuzzy constraints and the fuzzy goal at subsequent stages. The planning horizon is infinite. The problem is to find an optimal time-invariant strategy relating the optimal replenishments to the current inventory levels, maximizing the membership function of fuzzy decision. The existence of such a strategy is proved and an algorithm for its determination is given. The optimal time-invariant strategy obtained is represented as a fuzzy conditional statement equated with a fuzzy relation which is the firm's optimal fuzzy replenishment rule.     

生物磁粘弹性流体的流动:应用动脉电磁过热评估血液的流动,癌症治疗进程

利用生物磁流体动力学(BFD)原理,在生物磁流体经由遭受磁场作用的多孔介质时,研究其流动的基本理论.所研究流体的磁化强度随温度而变化.流体被认为是非Newton流体,其流动由二阶梯度流体方程所控制,并考虑了流体的粘弹性效应.假设管道壁是能够伸展的,管壁表面的速度与到坐标原点的纵向距离成正比.首先将问题简化为包括7个参数的、耦合的非线性微分方程组的求解.将血液看作生物磁流体,并用上述方法分析,目的是计算某些血液的流动参数,并配以适当的数值方法,导数用差分格式近似.计算结果用图形给出,从而在磁场作用下,得到过热状态中关系血液的、血流动力学流动的理论预测.结果清楚地表明,在电磁过热治疗进程期间,磁偶极子对动脉中血液流动特征的影响起着重大作用.该研究引起了临床医学的关注,其结果有益于癌症病人采用电磁过热的治疗.     

A constrained min‐max algorithm for rival models of the same economic system

There are well established rival theories about the economy. These have, in turn, led to the development of rival models purporting to represent the economic system. The models are large systems of discrete-time nonlinear dynamic equations. Observed data of the real system does not, in general, provide sufficient information for statistical methods to invalidate all but one of the rival models. In such a circumstance, there is uncertainty about which model to use in the formulation of policy. Prudent policy design would suggest that a model-based policy should take into account all the rival models. This is achieved as a pooling of the models. The pooling that yields the policy which is robust to model choice is formulated as a constrained min-max problem. The minimization is over the decision variables and the maximization is over the rival models. Only equality constraints are considered.A successive quadratic programming algorithm is discussed for the solution of the min-max problem. The algorithm uses a stepsize strategy based on a differentiable penalty function for the constraints. Two alternative quadratic subproblems can be used. One is a quadratic min-max and the other a quadratic programming problem. The objective function of either subproblem includes a linear term which is dependent on the penalty function. The penalty parameter is determined at every iteration, using a strategy that ensures a descent property as well as the boundedness of the penalty term. The boundedness follows since the strategy is always satisfied for finite values of the parameter which needs to be increased a finite number of times.The global and local convergence of the algorithm is established. The conditions, involving projected Hessian approximations, are discussed under which the algorithm achieves unit stepsizes and subsequently Q-superlinear convergence.     

An optimal control problem for a pest, predator, and plant system

The paper is devoted to an optimal control problem for a system of three nonlinear parabolic equations from population dynamics. The equations model a trophic chain consisting of a predator, a pest and a plant species. The existence and uniqueness of the positive solution for the system are proved. The control variable is connected with the action of a pesticide. Our goal is to minimize the density of the pest and to maximize the plant density. The existence of the optimal solution is proved. The first and second order optimality conditions are established.     

Analysis and numerics for a parabolic equation with impulsive forcing

The paper considers a one-dimensional particle-continuum model, with impulsive interaction between the fluid and a number of pointwise particles. A simplification results in a system of ODEs coupled with a parabolic PDE forced by a nonlinear term involving a sum of Dirac delta functions. The existence of a mild solution is proved using a combination of energy estimates and semigroup theory. However, the regularity of these solutions is shown to be limited to C^0,1 by the impulsive terms. The convergence of a Galerkin method is established simultaneously with a proof of continuous dependence, and thus uniqueness, of solutions for the underlying system. The peculiarities of the system imply this analysis must be performed in L_∞. The C^0,1 regularity of the solution determines a suboptimal rate of convergence for the Galerkin method. The theoretical results are verified by MATLAB computations.     

A heuristic algorithm for a dial-a-ride problem with time windows,multiple capacities,and multiple objectives

The paper describes a system for the solution of a static dial-a-ride routing and scheduling problem with time windows (DARPTW). The problem statement and initialization of the development project was made by the Copenhagen Fire-Fighting Service (CFFS). The CFFS needed a new system for scheduling elderly and disabled persons, involving about 50.000 requests per year. The problem is characterized by, among other things, multiple capacities and multiple objectives. The capacities refer to the fact that a vehicle may be equipped with e.g. normal seats, children seats or wheel chair places. The objectives relate to a number of concerns such as e.g. short driving time, high vehicle utilization or low costs. A solution algorithm REBUS based on an insertion heuristics was developed. The algorithm permits in a flexible way weighting of the various goals such that the solution reflects the user's preferences. The algorithm is implemented in a dynamic environment intended for on-line scheduling. Thus, a new request for service is treated in less than 1 second, permitting an interactive user interface.