不要把问题解决教学课上成问题解答介绍课——兼评分部积分法的两种不同的教学方法

结合数学分析中分部积分法这一内容的两种不同的教学方法,论述了在问题解决教学中切忌把问题解决教学课上成问题解答介绍课.     

达布定理和比较定理思想在中值定理类问题中的运用

微分达布定理表明区间内的导函数具有介值性,这使得我们在考虑一些数学分析问题时,往往可以不需要最高阶导函数的连续性.而在微分方程理论中,比较定理的思想对于解的估计非常重要.本文利用比较定理的思想将中值定理类问题转化为微分方程解的估计问题,对于在数学分析的学习中提高学生的认识和兴趣很有意义.     

取整函数的性质和应用

主要讨论了取整函数的性质,并给出了此函数在数学分析中的若干应用例子：     

离散优化问题最优值函数的连续性质

对优化问题的最优值研究是有意义的, 尽管有时并不知道怎样寻求最优值. 研究了几个重要的组合最优化问题的目标值随着输入值变化的连续化性质, 重点研究几个经典的、有代表性的离散优化问题：极小化最大完工时间的排序问题、背包问题、旅行商问题等, 以连续的数学分析思维模式审视离散问题. 最后, 研究了一些近似算法对应的目标函数的性质.     

新课标体系下高师本科数学分析教学所面临的问题和所采取的措施

从三个方面讨论了在高中新课标体系下高师本科数学分析教学所面临的问题,并结合作者的实际教学经验给出了一些具有实际操作意义的解决措施和办法.     

具连续分布滞量的偶数阶非线性中立型方程的振动准则

研究一类具连续分布滞量的偶数阶非线性中立型泛函微分方程解的振动性,利用数学分析方法和技巧与方程各阶导数的符号关系,建立了该类方程的若干新的振动准则,并通过实例加以阐明.     

错画平面特征图解题失误两例

同学们都知道：我们研究立体几何问题时常常是将空间问题转化为若干个平面问题,然后逐个解决各平面问题,从而达到对空间问题的解决．可是在我们将空间立体几何问题转化为平面几何问题的过程中,有时会将平面几何问题的平面特征图形画错,因而导致解题失误．今举两例．     

关于数学分析在线性代数中某些应用的数学札记

线性代数中有不少难度较高的问题,若从代数学内部系统出发处理起来,相当繁冗.但是若从另一角度出发,运用数学分析的方法去处理这些代数问题,可能有着事半功倍之效.为此,本文运用数学分析的有关知识和方法论证线性代数中的某些问题.供大家在教学时参考,不妥之处,敬请斧正.     

两类曲线积分之间联系的教学研究

第一型曲线积分与第二型曲线积分之间联系为大家所熟知,其也是《高等数学》与《数学分析》课程教学的难点之一,极易造成误解.鉴于此,国内不少一线教师也针对其中的一些问题进行了深入的探讨.本文就它们之间联系的若干细节作了具体阐述,并给出了部分应用,纠正了某些参考资料中的错误.     

一道高考压轴题的探究

近几年高考广东卷的压轴题都具有深刻的高等数学背景．这类问题植根于教材但不受课本知识的束缚，而是将一些具有普遍意义的高等数学内容初等化为函数、不等式、数列等综合性问题；由于此类题型有利于遏制题海战术，有利于考试公平，因而深受命题者青睐．2007年广东卷21题的背景是数学分析中方程近似解的一种求法——牛顿切线法：     

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.     

Structure and Properties of Nanocrystalline Oxide Powders

The crystalline and porous structure of superfine powders and fibers made of alumina and zirconia doped with yttria is investigated. The particle sizes were determined by the methods of coherent dispersion and scanning transmission electron microscopy. Based on data on the sizes of crystallites of the metal oxides, which were obtained by different methods, it is found that crystalline transformations of the oxides lead to dispersion of the materials. The structural transformations of the superfine oxides are accompanied by changes in crystallite sizes and in the character and size of pores. The laws established allow one to purposefully control the process of producing nanostructured oxide powders and fibers, which can be utilized as active fillers for composite materials based on various matrices. __________ Translated from Mekhanika Kompozitnykh Materialov, Vol. 41, No. 6, pp. 831–840, November–December, 2005.     

中国煤层气的产业化进程与发展建议

煤层气产业在中国能源建设中具有重要战略地位。中国煤层气勘探开发历经矿井瓦斯抽排利用、现代煤层气理论技术的引进发展与成功应用、商业化开发试验及产业化发展（初期）4个阶段。由于在煤层气地质基础理论、勘探技术方法、开发工艺技术、集输利用与管理制度等方面的发展创新、系统集成,我国已有能力大规模发展煤层气产业,这在我国能源发展战略上是非常难得的历史机遇。当前,为了加快煤层气产业的发展,必须加强统筹规划,发挥多种积极性;加强煤层气地质研究、提高对区域勘探的指导与目标评价水平;开展高效低成本开发工艺技术攻关;发展煤层气产品集输和加工利用;继续跟踪国外煤层气前沿理论技术,加强技术交流与合作研究。     

A system-theoretic model for cooperation, interaction and allocation

A system-theoretic approach to cooperation, interaction and allocation is presented that simplifies, unifies and extends the results on classical cooperative games and their generalizations. In particular, a general Weber theory of linear values is obtained and a new theory for local cooperation and general interaction indices is established. The model is dynamic and based on the notion of states of cooperation that change under actions of agents. Careful distinction between “local” states of cooperation and general “system” states leads to a notion of entropy for arbitrary non-negative and efficient allocations and thus to a new information-theoretic criterion for fairness of allocation mechanisms. Shapley allocations, for instance, are exhibited as arising from random walks with maximal entropy. For a large class of cooperation systems, a characterization of game symmetries in terms of λ-values is given. A concept for cores and Weber sets is proposed and it is shown that a Weber set of a game with selection structure always contains the core.     

A 3D modeling of static and forward smoldering combustion in a packed bed of materials

A three-dimensional (3D) model based on the first principles of mass, momentum and energy was developed that numerically simulates the processes of static and forward smoldering in a porous packed bed of plant materials. The packed bed contains cellulose material or tobacco (cigarette) wrapped in a porous paper and surrounded by an ambient air. Other major characteristics of the model are including the effects of buoyancy forces in the flow field, separate treatment of solid and gas in a thermally non-equilibrium environment, and use of multi-precursor kinetic models for the pyrolysis of staring material and oxidation of char. The changes in porosity due to pyrolysis and char oxidation and the effect of porosity on the bed permeability and gas diffusivity are included. The mass, momentum, energy, and species transport equations are solved in a discretized computational domain using a commercially available computational fluid dynamics (CFD) code. The simulation results show that the model reasonably reproduces the major features of a burning cigarette during smoldering and puffing and are in a good agreement with the existing experimental results for cigarettes. Results include the velocity profiles, gas and solid temperatures, coal shape, burn rates, profile and transport of gas and vapor species throughout the packed bed, dilution through the wrapper paper and ventilation in the filter section, and the mass fraction of some pyrolysis and oxidation products in the mainstream and sidestream flows.     

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     

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

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

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.     

A survey of the theory of coherent lower previsions

This paper presents a summary of Peter Walley’s theory of coherent lower previsions. We introduce three representations of coherent assessments: coherent lower and upper previsions, closed and convex sets of linear previsions, and sets of desirable gambles. We show also how the notion of coherence can be used to update our beliefs with new information, and a number of possibilities to model the notion of independence with coherent lower previsions. Next, we comment on the connection with other approaches in the literature: de Finetti’s and Williams’ earlier work, Kuznetsov’s and Weischelberger’s work on interval-valued probabilities, Dempster–Shafer theory of evidence and Shafer and Vovk’s game-theoretic approach. Finally, we present a brief survey of some applications and summarize the main strengths and challenges of the theory.