Convergence of goal‐oriented adaptive finite element methods for nonsymmetric problems

In this article, we develop convergence theory for a class of goal‐oriented adaptive finite element algorithms for second‐order nonsymmetric linear elliptic equations. In particular, we establish contraction results for a method of this type for Dirichlet problems involving the elliptic operator with A Lipschitz, symmetric positive definite, with b divergence‐free, and with . We first describe the problem class and review some standard facts concerning conforming finite element discretization and error‐estimate‐driven adaptive finite element methods (AFEM). We then describe a goal‐oriented variation of standard AFEM. Following the recent work of Mommer and Stevenson for symmetric problems, we establish contraction and convergence of the goal‐oriented method in the sense of the goal function. Our analysis approach is signficantly different from that of Mommer and Stevenson, combining the recent contraction frameworks developed by Cascon, Kreuzer, Nochetto, and Siebert; by Nochetto, Siebert, and Veeser; and by Holst, Tsogtgerel, and Zhu. We include numerical results, demonstrating performance of our method with standard goal‐oriented strategies on a convection problem. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 479–509, 2016     

On the number of matchings of graphs formed by a graph operation

Let G be a simple graph. Define R(G) to be the graph obtained from G by adding a new vertex e* corresponding to each edge e = (a,b) of G and by joining each new vertex e* to the end vertices a and b of the edge e corresponding to it. In this paper, we prove that the number of matchings of R(G) is completely determined by the degree sequence of vertices of G.     

MARKOV CHAIN-BASED ANALYSIS OF THE DEGREE DISTRIBUTION FOR A GROWING NETWORK

In this article, we focus on discussing the degree distribution of the DMS model from the perspective of probability. On the basis of the concept and technique of first-passage probability in Markov theory, we provide a rigorous proof for existence of the steady-state degree distribution, mathematically re-deriving the exact formula of the distribution. The approach based on Markov chain theory is universal and performs well in a large class of growing networks.     

γ-variable first-order logic of uniform attachment random graphs

We study logical limit laws for uniform attachment random graphs. In this random graph model, vertices and edges are introduced recursively: at time $n+1$, the vertex $n+1$ is introduced together with m edges joining the new vertex with m different vertices chosen uniformly at random from $1,\dots ,n$. We prove that this random graph obeys convergence law for first-order sentences with at most $m?2$ variables.     

Stability and Transition on a Swept Cylinder in a Supersonic Flow

Results of experimental investigations of the evolution of natural disturbances and laminar–turbulent transition in a supersonic boundary layer on the attachment line of a circular cylinder with a sweep angle of 68° and a freestream Mach number M = 2 are presented. The experimental studies are supplemented by calculations of the mean flow and stability characteristics. Flow regimes in the boundary layer on the attachment line are determined by a hotwire technique as functions of the Reynolds number and height of twodimensional roughness elements. The results are compared with NASA (Ames) experiments.     

The invariant manifold method and the controllability of nonlinear control system

The problem of controllability of nonlinear control system is a significant field which has an extensive prospect of application. A.M.Kovalev of Ukraine Academy of Science applied the oriented manifold method developed in dynamics of rigid body to nonlinear control system for the first time and obtained a series of efficient results. Based on Kovalev’s oriented manifold method, firstly, by invariant manifold method the problem of controllability of nonlinear control system was studied and the necessary condition of the controllability of a kind of affine nonlinear system was given out. Then the realization of the necessary condition was discussed. At last, the motion of a rigid body with two rotors was investigated and the necessary condition which is satisfied by this system was proved.     

图论在离散事件动态系统中的应用

运用图论方法和极大代数方法,研究了非强连通图中的强连通分支的最大圈长平均值与该图的赋权邻接矩阵的特征值之间的关系,并进一步证明了其等价性.     

Networks, Fields and Organizations: Micro-Dynamics, Scale and Cohesive Embeddings

Social action is situated in fields that are simultaneously composed of interpersonal ties and relations among organizations, which are both usefully characterized as social networks. We introduce a novel approach to distinguishing different network macro-structures in terms of cohesive subsets and their overlaps. We develop a vocabulary that relates different forms of network cohesion to field properties as opposed to organizational constraints on ties and structures. We illustrate differences in probabilistic attachment processes in network evolution that link on the one hand to organizational constraints versus field properties and to cohesive network topologies on the other. This allows us to identify a set of important new micro-macro linkages between local behavior in networks and global network properties. The analytic strategy thus puts in place a methodology for Predictive Social Cohesion theory to be developed and tested in the context of informal and formal organizations and organizational fields. We also show how organizations and fields combine at different scales of cohesive depth and cohesive breadth. Operational measures and results are illustrated for three organizational examples, and analysis of these cases suggests that different structures of cohesive subsets and overlaps may be predictive in organizational contexts and similarly for the larger fields in which they are embedded. Useful predictions may also be based on feedback from level of cohesion in the larger field back to organizations, conditioned on the level of multiconnectivity to the field.     

三类有向三元系之间关系的一种猜想

一个Mendelsohn (Directed, 或Hybrid)三元系 MTS$(v, \lambda)$~(DTS$(v, \lambda)$,或HTS$(v,\lambda))$, 是由$v$元集$X$ 上的一些循环（可迁,或循环和可迁）三元组(简称区组)构成的集合${\cal B}$, 使得$X$上每个由不同元素组成的有序对都恰在 ${\cal B}$的$\lambda$个区组中出现.本文主要讨论了这三类有向三元系之间的一种关联关系,给出猜想：任意MTS$(v,\lambda)$的区组关联图$G(\     

供应链系统转变为供需网系统研究

为帮助传统企业顺利转变为供需网企业,提出了供应链系统向供需网系统的转变研究.该研究利用企业节点数据化,通过企业节点的改造及供应链节点与供需网的连接操作达到系统转变的目的.在sc节点数据结构及自身系统功能模块改造的基础上,着重思考了供应链节点连入SDN中的算法思想.通过非线性择优连接方法避免了造成系统易攻击性的枢纽节点的出现.给出了连接算法流程,并以一个示例演示了此连接算法,从中也验证了非线性择优连接的有效性.