树的最大特征值的上界的一个注记

设T是一个树,V是T的顶点集．记dv是υ∈V的度,△是T的最大顶点度．设υ∈V且dw=1．记k=ew+1,这里ew是w的excentricity．设δj′= max{dυ:dist(υ,w)=j},j=1,2,…,k-2,我们证明和这里μ1(T)和λ1(T)分别是T的Laplacian矩阵和邻接矩阵的最大特征值．特别地,记δo′=2．     

乘方的指数与其幂的位数的关系

为了探究乘方的指数与其幂的位数的关系,定义了几个有关的新概念,并且证明了两个关于乘方以及进制进位的定理,由此建立起关于乘方以及进制进位的理论体系,其中包括进位理论中判定乘方的指数与其幂的位数是否存在周期规律的判别法,以及进位规律的求解法和四条相关的性质.     

与一类算术函数关联的矩阵的行列式的下界

设f为一个算术函数,S={x 1,…,x n}为一个n元正整数集合.称S为gcd-封闭的, 如果对于任意1 i,j n,均有(x i,x j)∈S.以 ={y 1,…,y m}表示包含S的最小gcd-封闭的正整数集合. 设(f(x i,x j))表示一个n×n矩阵, 其(i,j)项为f在x i与x j的最大公因子(x i,x j)处的值. 设(f[x i,x j])表示一个n×n矩阵, 其(i,j)项为f在x i与x j的最小公倍数[x i.xj]处的值. 本文证明了: (i) 如果f∈C s ={f:(f*μ)(d)>0, x∈S,d|x},这里f*μ表示f与μ的Dirichlet乘积,μ表示M bius函数,那么 并且(1)取等号当且仅当S=;(ii)如果f为乘法函数,并且 ∈Cs,那么 并且(2)取等号当且仅当S= .不等式(1)和(2)分别改进了Bourque与Ligh在1993年和1995年所得到的结果.     

一类具有转向点的三阶微分方程的边值问题的解的高阶渐近展开

利用上下解方法,研究如下一类具有转向点的三阶微分方程的边值问题{ε~2y″′=f(t,y,ε)y″ g(t,y,ε)y′ h(t,y,ε),a相似文献   

一个问题的争论引发的思考

最近在网上看到这样一个题目：“王师傅是卖鱼的,一斤鱼进价45元,现亏本大甩卖,顾客35元买了一公斤,给了王师傅100元假钱,王师傅没零钱,于是找邻居换了100元.事后邻居存钱过程中发现钱是假的,被银行没收了,王师傅又赔了邻居100,请问王师傅一共亏了多少？”笔者把题目抛给办公室的老师们：谢老师：“55＋65＋100.”     

由自然数的因子构成的半群

本文首先介绍了半群、群的定义,研究了自然数n取何值时,通过定义相应的代数运算,使得它的因子集构成半群、群,从而为半群的代数理论提供了一个有趣的实例.     

周期系数的平面Hamilton系统的平衡解的稳定性

本文考虑周期系数的平面Hamilton系统H(x,y,t)=H2(x,y,t)+H4(x,y,t)+d(x,y,t)的平衡解的稳定性,其中H2(x,y,t)=1/2[a(t)x2+y2],H4(x,y,t)=b4(t)x4十b2(t)(xy)2+bo(t)y4 以及a(t),bo(t),b2(t),b4(t)是连续的T-周期函数,d(x,y,t)关于时间也是T-周期,在原点附近其阶为(x2+y2)3.     

数的蒙蔽与形的误导

数与形是一个数学问题的两个层面,数能精细,形可直观,但同学们也须注意,如果你在解题时,出现了疏漏,数也可能出现貌似精细的蒙蔽,形也可以导致似乎明了的误导.本文通过两个典型例子,提醒同学们在学习     

代数的张量积的同调满同态的构造

利用已知的代数的同调满同态来构造其张量积代数的同调满同态.设A,B,C,D是域k上的有限维代数,如果环同态f:A→C和g:B→D是环的同调满同态,则fg:AB→CD也是环的同调满同态.     

单圈图的最大特征值的上界的改进

Let G（V, E） be a unicyclic graph, Cm be a cycle of length m and Cm G, and ui ∈ V（Cm）. The G - E（Cm） are m trees, denoted by Ti, i = 1, 2,..., m. For i = 1, 2,..., m, let eui be the excentricity of ui in Ti and ec = max{eui ： i = 1, 2 , m}. Let κ = ec＋1. Forj = 1,2,...,k- 1, let δij = max{dv ： dist（v, ui） = j,v ∈ Ti}, δj = max{δij ： i = 1, 2,..., m}, δ0 = max{dui ： ui ∈ V（Cm）}. Then λ1（G）≤max{max 2≤j≤k-2 （√δj-1-1＋√δj-1）,2＋√δ0-2,√δ0-2＋√δ1-1}. If G ≌ Cn, then the equality holds, where λ1 （G） is the largest eigenvalue of the adjacency matrix of G.     

Boundary-Value Problems of the Theory of Thin and Nonthin Orthotropic Shells with Account of Nonlinearly Elastic Properties and Low Shear Rigidity of Composite Materials

The basic geometric and physical relations and resolving equations of the theory of thin and nonthin orthotropic composite shells with account of nonlinear properties and low shear rigidity of their materials are presented. They are derived based on two theories, namely the theory of anisotropic shells employing the Timoshenko or Kirchhoff-Love hypothesis and the nonlinear theory of elasticity and plasticity of anisotropic media in combination with the Lagrange variational principle. The procedure and algorithm for the numerical solution of nonlinear (linear) problems are based on the method of successive approximations, the difference-variational method, and the Lagrange multiplier method. Calculations of the stress-strain state for a spherical shell with a circular opening loaded with internal pressure are presented. The effect of transverse shear strains and physical nonlinearity of the material on the distribution of maximum deflections and circumferential stresses in the shell, obtained according to two variants of the shell theories, is studied. A comparison of the results of the problem solution in linear and nonlinear statements with and without account of the shell shear strains is given. The numerical data obtained for thin and nonthin (medium thick) composite shells are analyzed.     

Effects of permeability and viscosity in linear polymeric gels

We propose and analyze a mathematical model of the mechanics of gels, consisting of the laws of balance of mass and linear momentum of the polymer and liquid components of the gel. We consider a gel to be an immiscible and incompressible mixture of a nonlinearly elastic polymer and a fluid. The problems that we study are motivated by predictions of the life cycle of body‐implantable medical devices. Scaling arguments suggest neglecting inertia terms, and therefore, we consider the quasi‐static approximation to the dynamics. We focus on the linearized system about stress‐free states, uniform expansions, and compressions and derive sufficient conditions for the solvability of the time‐dependent problems. These turn out to be conditions that guarantee local stability of the equilibrium solutions. We also consider non‐stress free equilibria and states with residual stress and derive an energy law for the corresponding time‐dependent system. The conditions that guarantee stability of solutions provide a selection criteria of the material parameters of devices. The boundary conditions that we consider are of two types, displacement‐traction and permeability of the gel surface to the fluid. We address the cases of viscous and inviscid solvent, assume Newtonian dissipation for the polymer component, and establish existence of weak solutions for the different boundary permeability conditions and viscosity assumptions. We present two‐dimensional, finite element numerical simulations to study stress concentration on edges, this being the precursor to debonding of the gel from its substrate. Copyright © 2015 John Wiley & Sons, Ltd.     

Dynamics of coupled systems

A survey in the form of a review of the author’s research results in the area of dynamics of coupled rotations and coupled systems is presented. The theorem on the existence of a trigger of the coupled singularities and the separatrix in the form of the number eight is presented with a few examples of coupled rotations of the simple systems with debalances. Also, a survey of models and dynamics of coupled systems composed of a number of deformable bodies (plates, beams or belts) with different properties of materials and discrete layer properties is presented and mathematically described. The constitutive stress–strain relations for materials of the coupled sandwich structure elements are presented for different properties: elastic, viscoelastic and creeping. The characteristic modes of the coupled system vibrations are obtained and analyzed for different kinds of materials and structure composition. The visualization of the characteristic numbers and modes and eigenamplitude forms are presented. Structural analysis of sandwich structure vibrations is done.     

函数空间多体挠性结构系统动力学、稳定性与控制的研究

利用现代数学方法,在函数空间中研究了一类无穷维系统动力学、稳定性与控制问题。首先提出并建立了具有阻尼、陀螺部件和约束阻尼的多拓扑结构多挠体分布参数系统动力学控制模型;其次给出并论证了多体挠性结构特征、系统分析结果－可控可观性充要条件、稳定性理论和系统的渐近性质。研究的结果扩充和发展了本领域关于多挠体系统动力学与控制的理论成果,具有重要的工程意义。     

The stress driven instability in elastic crystals: Mathematical models and physical manifestations

Summary Equilibrium equations and stability conditions for the simple deformable elastic body are derived by means of considering a minimum of the static energy principle. The energy is supposed to be sum of the volume (elastic) and the surface terms. The ability to change relative positions of different material particles is taken into account, and appropriate natural definitions of the first and second variations of the energy are introduced and calculated explicitly. Considering the case of negligible magnitude of the surface tension, we establish that an equilibrium state of a nonhydrostatically stressed simple elastic body (of any physically reasonable elastic energy potential and of any symmetry) possessing any small smooth part of free surface is always unstable with respect to relative transfer of the material particles along the surface. Surface tension suppresses the mentioned instability with respect to sufficiently short disturbances of the boundary surface and thus can probably provide local smoothness of the equilibrium shape of the crystal. We derive explicit formulas for critical wavelength for the simplest models of the internal and surface energies and for the simplest equilibrium configurations. We also formulate the simplest problem of mathematical physics, revealing peculiarities and difficulties of the problem of equilibrium shape of elastic crystals, and discuss possible manifestations of the above-mentioned instability in the problems of crystal growth, materials science, fracture, physical chemistry, and low-temperature physics.     

道路维修施工路段交通分流信控优化模型

针对道路维修施工期间常采用的部分路面封闭施工且利用辅路进行分流的情形,探讨了交通分流信控优化模型。借助交通流波动理论,分析了施工路段及其前后车流拥挤排队及疏散特征和规律,分析了对车流进行控制需满足的约束,并分析了车流的延误计算公式。以总的车辆行驶时间最小化目标,原路径及分流路径的绿时分配及信号周期为优化参数,考虑交通分流控制的各种约束,建立了道路施工路段交通分流信控优化模型。分析了该模型属于非凸问题,因此提出了一种近似求解最优解的办法。通过一个示例对模型和求解算法进行了验证,并对一些规律性结果进行了分析。     

考虑闲置产能分享参与者利益的平台定价研究

信息技术的快速发展,使得闲置产能的分享逐渐成为生产领域重要的产能利用模式。为研究闲置产能分享时平台的最优定价问题,在平台向供给者收取交易费而对需求者不收费的条件下,首先,建立商业平台和公益平台的基础模型,并对两类平台进行分析和对比;然后,在基础模型之上构建以一定权重考虑其他参与者利益的平台X的定价模型,探讨权重对最优交易费、供需双方的数量以及平台最优利润的影响;最后,用数值例子验证文中重要定理以及权重对供需双方效用产生的影响。研究结果表明:(1)商业平台收取的最优交易费和获得的最优利润均高于公益平台;(2)考虑其他参与者利益的平台X收取的最优交易费和获得的最优利润、需求者(免费方)的数量和效用均随着权重的增加而增加,而供给者(被收费方)的数量及其效用则随着权重的增加而减少。研究结果为平台运营商和企业的行为决策提供理论参考依据。     

On effectiveness of wiretap programs in mapping social networks

Snowball sampling methods are known to be a biased toward highly connected actors and consequently produce core-periphery networks when these may not necessarily be present. This leads to a biased perception of the underlying network which can have negative policy consequences, as in the identification of terrorist networks. When snowball sampling is used, the potential overload of the information collection system is a distinct problem due to the exponential growth of the number of suspects to be monitored. In this paper, we focus on evaluating the effectiveness of a wiretapping program in terms of its ability to map the rapidly evolving networks within a covert organization. By running a series of simulation-based experiments, we are able to evaluate a broad spectrum of information gathering regimes based on a consistent set of criteria. We conclude by proposing a set of information gathering programs that achieve higher effectiveness then snowball sampling, and at a lower cost. Maksim Tsvetovat is an Assistant Professor at the Center for Social Complexity and department of Public and International Affairs at George Mason University, Fairfax, VA. He received his Ph.D. from the Computation, Organizations and Society program in the School of Computer Science, Carnegie Mellon University. His dissertation was centered on use of artificial intelligence techniques such as planning and semantic reasoning as a means of studying behavior and evolution of complex social networks, such as these of terrorist organizations. He received a Master of Science degree from University of Minnesota with a specialization in Artificial Intelligence and design of Multi-Agent Systems, and has also extensively studied organization theory and social science research methods. His research is centered on building high-fidelity simulations of social and organizational systems using concepts from distributed artificial intelligence and multi-agent systems. Other projects focus on social network analysis for mapping of internal corporate networks or study of covert and terrorist orgnaizations. Maksim’s vita and publications can be found on Kathleen M. Carley is a professor in the School of Computer Science at Carnegie Mellon University and the director of the center for Compuational Analysis of Social and Organizational Systems (CASOS) which has over 25 members, both students and research staff. Her research combines cognitive science, social networks and computer science to address complex social and organizational problems. Her specific research areas are dynamic network analysis, computational social and organization theory, adaptation and evolution, text mining, and the impact of telecommunication technologies and policy on communication, information diffusion, disease contagion and response within and among groups particularly in disaster or crisis situations. She and her lab have developed infrastructure tools for analyzing large scale dynamic networks and various multi-agent simulation systems. The infrastructure tools include ORA, a statistical toolkit for analyzing and visualizing multi-dimensional networks. ORA results are organized into reports that meet various needs such as the management report, the mental model report, and the intelligence report. Another tool is AutoMap, a text-mining systems for extracting semantic networks from texts and then cross-classifying them using an organizational ontology into the underlying social, knowledge, resource and task networks. Her simulation models meld multi-agent technology with network dynamics and empirical data. Three of the large-scale multi-agent network models she and the CASOS group have developed in the counter-terrorism area are: BioWar a city-scale dynamic-network agent-based model for understanding the spread of disease and illness due to natural epidemics, chemical spills, and weaponized biological attacks; DyNet a model of the change in covert networks, naturally and in response to attacks, under varying levels of information uncertainty; and RTE a model for examining state failure and the escalation of conflict at the city, state, nation, and international as changes occur within and among red, blue, and green forces. She is the founding co-editor with Al. Wallace of the journal Computational Organization Theory and has co-edited several books and written over 100 articles in the computational organizations and dynamic network area. Her publications can be found at: http://www.casos.cs.cmu.edu/bios/carley/publications.php     

非线性优化方法在大气和海洋科学数值研究中的若干应用

控制大气和海洋运动的模式是复杂的非线性模式，在考虑到线性奇异向量和线性奇异值只能描述切线性模式有效时段内小扰动发展的情况下，介绍了作者们近年来用非线性优化方法数值研究大气和海洋科学的有关工作，其中包括非线性奇异向量和非线性奇异值、条件非线性最优扰动、以及它们在数值天气和气候可预报性研究中的应用．结果表明，上述非线性优化方法在很大程度上揭示了大气和海洋运动的非线性特征；此外，对可预报性问题的新分类也做了详细介绍，即最大可预报时间、最大预报误差和最大允许初始误差．这种分类的应用背景是针对数值天气预报和气候预测产品的评价；最后，讨论了数值模式敏感性分析的非线性优化方法，该方法在一定条件下可以定量识别模式误差和初始误差，量化判断数值模式的模拟能力．     

Dynamics of a small vibro-impact pile driver

A mathematical model is developed to study periodic-impact motions and bifurcations in dynamics of a small vibro-impact pile driver. Dynamics of the small vibro-impact pile driver can be analyzed by means of a three-dimensional map, which describes free flight and sticking solutions of the vibro-impact system, between impacts, supplemented by transition conditions at the instants of impacts. Piecewise property and singularity are found to exist in the Poincaré map. The piecewise property is caused by the transitions of free flight and sticking motions of the driver and the pile immediately after the impact, and the singularity of map is generated via the grazing contact of the driver and the pile immediately before the impact. These properties of the map have been shown to exhibit particular types of sliding and grazing bifurcations of periodic-impact motions under parameter variation. The influence of piecewise property, grazing singularities and parameter variation on the performance of the vibro-impact pile driver is analyzed. The global bifurcation diagrams for the impact velocity of the driver versus the forcing frequency are plotted to predict much of the qualitative behavior of the actual physical system, which enable the practicing engineer to select excitation frequency ranges in which stable period one single-impact response can be expected to occur, and to predict the larger impact velocity and shorter impact period of such response.