Border bases and kernels of homomorphisms and of derivations

Border bases are an alternative to Gröbner bases. The former have several more desirable properties. In this paper some constructions and operations on border bases are presented. Namely; the case of a restriction of an ideal to a polynomial ring (in a smaller number of variables), the case of the intersection of two ideals, and the case of the kernel of a homomorphism of polynomial rings. These constructions are applied to the ideal of relations and to factorizable derivations.     

Modelling and analysis of dynamics of viral infection of cells and of interferon resistance

Interferons are active biomolecules, which help fight viral infections by spreading from infected to uninfected cells and activate effector molecules, which confer resistance from the virus on cells. We propose a new model of dynamics of viral infection, including endocytosis, cell death, production of interferon and development of resistance. The novel element is a specific biologically justified mechanism of interferon action, which results in dynamics different from other infection models. The model reflects conditions prevailing in liquid cultures (ideal mixing), and the absence of cells or virus influx from outside. The basic model is a nonlinear system of five ordinary differential equations. For this variant, it is possible to characterise global behaviour, using a conservation law. Analytic results are supplemented by computational studies. The second variant of the model includes age-of-infection structure of infected cells, which is described by a transport-type partial differential equation for infected cells. The conclusions are: (i) If virus mortality is included, the virus becomes eventually extinct and subpopulations of uninfected and resistant cells are established. (ii) If virus mortality is not included, the dynamics may lead to extinction of uninfected cells. (iii) Switching off the interferon defense results in a decrease of the sum total of uninfected and resistant cells. (iv) Infection-age structure of infected cells may result in stabilisation or destabilisation of the system, depending on detailed assumptions. Our work seems to constitute the first comprehensive mathematical analysis of the cell-virus-interferon system based on biologically plausible hypotheses.     

Crossings and nestings of matchings and partitions

We present results on the enumeration of crossings and nestings for matchings and set partitions. Using a bijection between partitions and vacillating tableaux, we show that if we fix the sets of minimal block elements and maximal block elements, the crossing number and the nesting number of partitions have a symmetric joint distribution. It follows that the crossing numbers and the nesting numbers are distributed symmetrically over all partitions of , as well as over all matchings on . As a corollary, the number of -noncrossing partitions is equal to the number of -nonnesting partitions. The same is also true for matchings. An application is given to the enumeration of matchings with no -crossing (or with no -nesting).

     

制造商与销售商双向选择与利益分配

分别建立制造商和销售商主导的供应链的利润分配模型,阐明为什么制造商和销售商都努力使自己成为供应链的主导企业,说明销售商主导型供应链竞争存在优势的原因.制造商主导的供应链中,制造商通过决定产品的批发价格最优化自身的利润分配;在销售商主导的供应链中,销售商通过决定批量折扣率达到对产品批发价格的控制,为销售商带来更大的利润.制造商和销售商在各自主导供应链的利润分配均大于供应链总体利润最大时的利润平均分配.给出一个具体的算例验证模型的结论.     

钢管订购与运输问题三的数学模型与灵敏度分析

本文针对 2 0 0 0年全国大学生数学建模竞赛 B题——钢管订购与运输问题的问题 ( 3) ,建立了数学模型 ,给出了该数学模型的精确求解 .然后对问题 ( 1 )与问题 ( 3)给出了灵敏度分析 .     

Ritz and harmonic Ritz values and the convergence of FOM and GMRES

The Ritz and harmonic Ritz values are approximate eigenvalues, which can be computed cheaply within the FOM and GMRES Krylov subspace iterative methods for solving non‐symmetric linear systems. They are also the zeros of the residual polynomials of FOM and GMRES, respectively. In this paper we show that the Walker–Zhou interpretation of GMRES enables us to formulate the relation between the harmonic Ritz values and GMRES in the same way as the relation between the Ritz values and FOM. We present an upper bound for the norm of the difference between the matrices from which the Ritz and harmonic Ritz values are computed. The differences between the Ritz and harmonic Ritz values enable us to describe the breakdown of FOM and stagnation of GMRES. Copyright © 1999 John Wiley & Sons, Ltd.     

Antibandwidth and cyclic antibandwidth of meshes and hypercubes

The antibandwidth problem consists of placing the vertices of a graph on a line in consecutive integer points in such a way that the minimum difference of adjacent vertices is maximised. The problem was originally introduced in [J.Y.-T. Leung, O. Vornberger, J.D. Witthoff, On some variants of the bandwidth minimisation problem, SIAM Journal of Computing 13 (1984) 650-667] in connection with the multiprocessor scheduling problems and can also be understood as a dual problem to the well-known bandwidth problem, as a special radiocolouring problem or as a variant of obnoxious facility location problems. The antibandwidth problem is NP-hard, there are a few classes of graphs with polynomial time complexities. Exact results for nontrivial graphs are very rare. Miller and Pritikin [Z. Miller, D. Pritikin, On the separation number of a graph, Networks 19 (1989) 651-666] showed tight bounds for the two-dimensional meshes and hypercubes. We solve the antibandwidth problem precisely for two-dimensional meshes, tori and estimate the antibandwidth value for hypercubes up to the third-order term. The cyclic antibandwidth problem is to embed an n-vertex graph into the cycle C_n, such that the minimum distance (measured in the cycle) of adjacent vertices is maximised. This is a natural extension of the antibandwidth problem or a dual problem to the cyclic bandwidth problem. We start investigating this invariant for typical graphs and prove basic facts and exact results for the same product graphs as for the antibandwidth.     

检修事件的概率分析与结构的维修可靠性

定期检修结构的可靠性分析,需要定量处理大量复杂的随机事件。综合考虑各种随机因素,较全面地分析了检修过程中影响可靠性的诸多复杂随机事件及其发生概率。系统地建立了检修结构的动态可靠性分析模型,整个模型程序化程度高,易于实施。     

Dirichlet函数与Riemann函数的性质及应用

探讨Dirichlet函数和Riemann函数的连续性、可导性和可积性,并由此分别构造出在一点连续、多点连续、一点可导、多点可导的函数.     

几类增算子方程解的存在唯一性及应用

By using the cone theory and the monotone succession skills,it is studied the existence uniqueness of fixed point for a class of increasing operators without continuity and compactness and concave or convex conditions in Banach spaces.The results presented here improve and generalize some corresponding results for increasing operator.     

Rigidity and flexibility analysis of a kind of surfaces of revolution and visualization

In this paper we consider a class of toroids generated by a meridian in a shape of quadrangle in an arbitrary position to the axis of revolution.We give geometrical meaning of the non-rigidity condition based on the position of the diagonals of meridian. Special classes of quadrangular meridians (trapezium, parallelogram, deltoid, … ) are discussed. The number of flexible toroids is considered. A tool SurfBend is developed for the rigidity and visualization.     

Semantics and pragmatics of fuzzy sets and systems

A philosophical formalism of a new methodological aspect of humanistic systems design and evaluation is given. A requisite concept of context-dependency is highlighted, and some approaches to fuzzy sets and linguistics subsequently extended. It is consequently shown that a mathematical theory of pragmatic fuzzy subsets is not only conceptually possible but practically implementable in man-machine studies as well. Thus, the important context-dependent implication of the subjective nature of Zadeh's theory of fuzzy sets can be better exploited.As a pragmatic theory, the approach here is a seeming connection between pragmatism and ontology, concepts that are traditionally diametrically opposed to each other. The attitude adopted has been the equation of pragmatism and psychophysical measurements of ontological objects (noumena). Pragmatism is tacitly defined as a form of empiricism whereby linguistic constructs (i.e., linguistic-variable denotions) that represent any aspect(s) of a humanistic system are nothing more than an operational procedure used to achieve psychophysical measurements of the aspect(s). In this fashion, pragmatism would enable the contents of assertions, which are made through declarative propositions, about humanistic systems to be deciphered within relevant contexts. For pragmatism, direct sense experience provides both the meaning and the criterion of reality judgements. The context-dependent nature of the physical reality of ontological entities is, therefore, better understood pragmatically vis-a-vis the appropriate evaluative criteria and interpretative conventions.By emphasizing the distinction between a fuzzy system (naturally fuzzified) and a fuzzified mathematical structure (meta-mathematically fuzzified), the use of the standard fuzzy topologies is justified although it is conceptually possible to develop a yet more general topology or perhaps an alternative one especially in the case of a meta-mathematically fuzzified structure. However, for the express purpose of machine implementation, a naturally fuzzified system, such as a (complex) humanistic system, is more amenable to an initial test of the philosophy of pragmatic fuzzy subsets. Consequently, the fuzzy topology and spaces employed are intended to be devoid of extensive generalities, in this instance.     

Extension and Lifting of Operators and Polynomials

We study the problem of extension and lifting of operators belonging to certain operator ideals, as well as that of their associated polynomials and holomorphic functions. Our results provide a characterization of ${\mathcal{L}_1}$ and ${\mathcal{L}_\infty}$ -spaces that includes and extends those of Lindenstrauss-Rosenthal [32] using compact operators and González-Gutiérrez [23] using compact polynomials. We display several examples to show the difference between extending and lifting compact (resp. weakly compact, unconditionally convergent, separable and Rosenthal) operators to operators of the same type. Finally, we show the previous results in a homological perspective, which helps the interested reader to understand the motivations and nature of the results presented.     

OD-Characterization of alternating and symmetric groups of degrees 16 and 22

Let G be a finite group and π(G) be the set of all prime divisors of its order. The prime graph GK(G) of G is a simple graph with vertex set π(G), and two distinct primes p, q ∈ π(G) are adjacent by an edge if and only if G has an element of order pq. For a vertex p ∈ π(G), the degree of p is denoted by deg(p) and as usual is the number of distinct vertices joined to p. If π(G) = {p ₁, p ₂,...,p _k }, where p ₁ < p ₂ < ... < p _k , then the degree pattern of G is defined by D(G) = (deg(p ₁), deg(p ₂),...,deg(p _k )). The group G is called k-fold OD-characterizable if there exist exactly k non-isomorphic groups H satisfying conditions |H| = |G| and D(H) = D(G). In addition, a 1-fold OD-characterizable group is simply called OD-characterizable. In the present article, we show that the alternating group A ₂₂ is OD-characterizable. We also show that the automorphism groups of the alternating groups A ₁₆ and A ₂₂, i.e., the symmetric groups S ₁₆ and S ₂₂ are 3-fold OD-characterizable. It is worth mentioning that the prime graph associated to all these groups are connected.     

城市创新能力评价及时空格局演化研究

采用熵值法、基尼系数、探索性空间统计分析等方法从时间、空间两个维度对2007-2016年中国35个大中城市创新能力的评价、时空格局与演化规律进行了可视化分析。结果表明:(1)从时间维度看,大中城市创新能力在先期提升明显,末期有所回落,但仍呈现出整体上的提升;知识创新能力>政府支持与服务>创新基础环境>技术创新能力,技术短板突出;城市间创新能力的差异有向优化均衡方向发展的趋势,但创新基础环境的空间失衡加剧;G2> G1、G4> G3,城市之间创新能力的差异主要集中在技术创新能力上。(2)从空间维度看,莫兰检验显示样本期内城市创新能力存在显著的空间自相关性;与先期相比,2016年创新能力高水平城市数量增加,且表现出了更强的空间"集群化"特征,总体上呈现出"东高西低"的空间格局,具有明显的经济依赖性;样本期内大中城市创新能力的局部集聚模式变化不大,体现出一定的时空惯性,且高高集聚模式的城市具有较强的经济依赖特征;创新冷热点总体上呈"东热西冷"的空间分布格局。     

Closedness and Adjoints of Products of Operators, and Compressions

We reprove and slightly improve theorems of Nudelman and Stenger about compressions of maximal dissipative and self-adjoint operators to subspaces of finite codimension and discuss related results concerning the closedness and the adjoint of a product of two operators on a Hilbert space.     

投资与融资优化决策模型研究综述分析

本文对投资与融资优化模型及研究思路进行了分析,并对各类模型的改进或拓宽做了进一步讨论,为更深入研究组合投资和资本结构总体优化问题作准备。     

Random and Exhaustive Generation of Permutations and Cycles

In 1986 Sattolo introduced a simple algorithm for uniform random generation of cyclic permutations on a fixed number of symbols. This algorithm is very similar to the standard method for generating a random permutation, but is less well known. We consider both methods in a unified way, and discuss their relation with exhaustive generation methods. We analyse several random variables associated with the algorithms and find their grand probability generating functions, which gives easy access to moments and limit laws.      

Determinants and the volumes of parallelotopes and zonotopes

The Minkowski sum of edges corresponding to the column vectors of a matrix A with real entries is the same as the image of a unit cube under the linear transformation defined by A with respect to the standard bases. The geometric object obtained in this way is a zonotope, Z(A). If the columns of the matrix are linearly independent, the object is a parallelotope, P(A). In the first section, we derive formulas for the volume of P(A) in various ways as , as the square root of the sum of the squares of the maximal minors of A, and as the product of the lengths of the edges of P(A) times the square root of the determinant of the matrix of cosines of angles between pairs of edges. In the second section, we use the volume formulas to derive real-case versions of several well-known determinantal inequalities—those of Hadamard, Fischer, Koteljanskii, Fan, and Szasz—involving principal minors of a positive-definite Hermitian matrix. In the last section, we consider zonotopes, obtain a new proof of the decomposition of a zonotope into its generating parallelotopes, and obtain a volume formula for Z(A).