Binary functions,degeneracy, and alternating dimaps

This paper continues the study of combinatorial properties of binary functions — that is, functions $f:2^E\to ?$ such that $f(0?)=1$, where $E$ is a finite set. Binary functions have previously been shown to admit families of transforms that generalise duality, including a trinity transform, and families of associated minor operations that generalise deletion and contraction, with both these families parameterised by the complex numbers. Binary function representations exist for graphs (via the indicator functions of their cutset spaces) and indeed arbitrary matroids (as shown by the author previously). In this paper, we characterise degenerate elements – analogues of loops and coloops – in binary functions, with respect to any set of minor operations from our complex-parameterised family. We then apply this to study the relationship between binary functions and Tutte’s alternating dimaps, which also support a trinity transform and three associated minor operations. It is shown that only the simplest alternating dimaps have binary representations of the form we consider, which seems to be the most direct type of representation. The question of whether there exist other, more sophisticated types of binary function representations for alternating dimaps is left open.     

Coupled intervals in the discrete calculus of variations: necessity and sufficiency

In this work we study nonnegativity and positivity of a discrete quadratic functional with separately varying endpoints. We introduce a notion of an interval coupled with 0, and hence, extend the notion of conjugate interval to 0 from the case of fixed to variable endpoint(s). We show that the nonnegativity of the discrete quadratic functional is equivalent to each of the following conditions: The nonexistence of intervals coupled with 0, the existence of a solution to Riccati matrix equation and its boundary conditions. Natural strengthening of each of these conditions yields a characterization of the positivity of the discrete quadratic functional. Since the quadratic functional under consideration could be a second variation of a discrete calculus of variations problem with varying endpoints, we apply our results to obtain necessary and sufficient optimality conditions for such problems. This paper generalizes our recent work in [R. Hilscher, V. Zeidan, Comput. Math. Appl., to appear], where the right endpoint is fixed.     

基于傅立叶变换轮廓术的物面相位提取

采用傅立叶变换轮廓术,针对基频提取的关键技术采用逐行傅立叶变换,准确提取基频信息的方法恢复相位信息.在此基础上,以未畸变条纹为基准,得出被测物体的真实位相值.该方法只需一幅条纹图,节约了测量时间.实验证明可实现无接触面型的自动传感.     

沉积铁钝化膜的傅立叶变换表面增强拉曼光谱

利用恒电流沉积技术、傅立叶变换表面增强拉曼散射技术现场研究了0 1mol/LNaOH溶液中铁金属电极在不同电位下的表面氧化物的组成。结果表明,在电极预钝化区,表面首先生成的Fe(OH)2可由拉曼谱图中出现的550cm-1表征,证实了以往的研究结果。进入钝化区,表面二价氧化物逐步转化为高价氧化物Fe3O4及α 、δ 和γ FeOOH。在电位回扫的过程中,各氧化产物的还原以及铁表面SERS活性的逐渐消失导致谱峰强度降低。     

用PC改造出全能全自动轴承车床

本文介绍了一种用F—40PC将双刀架液压半自动轴承车床改造成的全能全自动轴承车床,包括车床基本功能的改进,上下料和走刀机构,在全自动、半自动和调整三类工作状态下工艺流程及程序特点。     

Structure of minimizers in linear-quadratic Bolza problems of optimal control

In this paper, we study intersections of extremals in a linear-quadratic Bolza problem of optimal control. The structure of the inter-sections is described. We show that this structure implies the semipositive definiteness of the quadratic cost functional. In addition, we derive necessary and sufficient conditions for the existence of minimizers.     

发展型方程的快速Legendre谱τ逼近

摘要：以发展型模型方程为背景，建立了半离散和全离散的Legendre谱τ格式，并用反向递推法和奇偶分解法建立了Legendre谱τ方法的快速算法，在每一时间层上，其运算量仅为O(N)．运用离散能量法严格证明了全离散格式在时空方向的收敛阶分别为τ^2和N^1-m．数值结果显示了算法的有效性．     

Introduction to Hardy Spaces

Basic material from the theory of Hardy spaces is presented. The principle of positive energy representations is used as motivation to introduce these spaces.     

Routh—Hurwitz条件的若干应用方法

本文介绍Routh—Hurwitz条件的若干应用方法,特别是给出了判别矩阵谱半径小于1的方法,这些方法有实用价值。     

Preservation of transform orders under a semiparametric model and its mixture

In this paper, sufficient conditions for preservation of several transform orders under a typical family of semiparametric distributions are made. The preservation properties are developed to compare mixture semiparametric distributions. Possible applications of the achieved results to compare scale family of distributions and also compare coherent systems with dependent but identical components and series and parallel systems with randomized number of components are provided.