Differentiable spaces that are subcartesian

We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is weakly reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures that the orbit space has an exterior algebra of differential forms, that satisfies Smith’s version of de Rham’s theorem. Because the orbit space is a locally closed subcartesian space, it has vector fields and their flows.     

预估型氨法脱硫控制系统研究

燃煤发电系统中氨法脱硫控制系统具有时变、大延时、大惯性的特点。针对典型的大延迟系统,文中提出基于Smith预估器的脱硫控制系统,通过抵消系统被控对象中的纯滞后环节来提高系统的实时性。Smith预估器依赖准确的PID模型,系统中PID参数整定仍存在不确定性。利用SOA算法对PID参数进行整定,将绝对误差积分ITAE作为适应度函数,通过对适应度值的不断寻优,找到最佳的比例积分微分系数组合。仿真结果表明,相较于Smith预估器控制下的脱硫系统,基于SOA的Smith预估PID控制系统跟随性好且反应迅速,调节时间缩小为原来的9%,峰值时间缩小为原来的5%,具有较小的超调量,系统的实时性和稳定性得到保证。上述结果证明该算法对工程控制系统有效,并具有良好的应用前景。     

基于虚拟仪器的换热器智能控制系统设计

换热器广泛应用于建筑工程领域及工业过程中,其出口介质温度的有效控制是保证质量、节能和安全生产的重要条件,因此换热器出口水温的控制是过程控制中的重要课题。本文以西门子SMPT1000换热器温度控制系统为研究对象,建立基于虚拟仪器的智能温度控制平台。该平台在实现传统PID控制的基础上,又增加了智能控制算法,斯密斯控制和模糊控制。实验证明该智能控制平台具有修改参数简易方便、曲线准确的优点,具有良好的动静态特性,且市场应用价值高。     

舞花姜的化学成分

舞花姜（Ｇｌｏｂｂａｒａｃｅｍｏｓａｓｍｉｔｈ）为姜科舞花姜属植物,产于我国南部、西南部等地。其根和果实在民间药用,有健胃、消炎的功能,用于治疗胃炎、消化不良、急慢性肾炎等［１］。尚未见有关舞花姜属植物化学成分和药理活性的研究报道,为此我们对其地下部分的化学成分进行了研究。乙醇提取物的石油醚可溶部分经硅胶柱和萄聚糖凝胶柱层析分离得到五个化合物,经光谱鉴定为木栓酮（ｆｒｉｅｄｅｌｉｎ１）,ｃｙｃｌｏｅｕｃａｌｅｎ－ｏｌ（２）、３－羟基－豆甾－５烯－７－酮（３－ｈｙｄｒｏｘｙ－ｓｔｉｇｍａｓｔ－５－…     

Iterated monoidal categories

We develop a notion of an n-fold monoidal category and show that it corresponds in a precise way to the notion of an n-fold loop space. Specifically, the group completion of the nerve of such a category is an n-fold loop space, and free n-fold monoidal categories give rise to a finite simplicial operad of the same homotopy type as the classical little cubes operad used to parametrize the higher H-space structure of an n-fold loop space. We also show directly that this operad has the same homotopy type as the n-th Smith filtration of the Barratt-Eccles operad and the n-th filtration of Berger's complete graph operad. Moreover, this operad contains an equivalent preoperad which gives rise to Milgram's small model for when n=2 and is very closely related to Milgram's model of for n>2.     

-actions whose fixed data has a section

Given a collection of real vector bundles over a closed manifold , suppose that, for some is of the form , where is the trivial one-dimensional bundle. In this paper we prove that if is the fixed data of a -action, then the same is true for the Whitney sum obtained from by replacing by . This stability property is well-known for involutions. Together with techniques previously developed, this result is used to describe, up to bordism, all possible -actions fixing the disjoint union of an even projective space and a point.     

背负式短波天线宽带匹配网络的设计

介绍了结合实频数据法和直接优化法的思想，利用一个简单的CAD工具——Smith圆图工具，来构建宽带匹配网络的综合方法。并将该方法应用于工程设计中，设计出一个应用于2．4m天线的宽带匹配电路。从效率的角度出发，我们将频带分为2段，一段为6～10MHz，另一段为10-30MHz，并进行了工程实现和测试，在6～30MHz内VSWR〈3，天线的效率和增益均达到了所要求的指标。     

Computation of Spatial Covariance Matrices

In an earlier article, Ghosh derived the density for the distance between two points uniformly and independently distributed in a rectangle. This article extends that work to include the case where the two points lie in two different rectangles in a lattice. This density allows one to find the expected value of certain functions of this distance between rectangles analytically or by one-dimensional numerical integration.

In the case of isotropic spatial models or spatial models with geometric anisotropy terms for agricultural experiments one can use these theoretical results to compute the covariance between the yields in different rectangular plots. As the numerical integration is one-dimensional these results are computed quickly and accurately. The types of covariance functions used come from the Matérn and power families of processes. Analytic results are derived for the de Wijs process, a member of both families and for the power models also.

Software in R is available. Examples of the code are given for fitting spatial models to the Fairfield Smith data. Other methods for the estimation of the covariance matrices are discussed and their pros and cons are outlined.     

Hermite and Smith normal form algorithms over Dedekind domains

We show how the usual algorithms valid over Euclidean domains, such as the Hermite Normal Form, the modular Hermite Normal Form and the Smith Normal Form can be extended to Dedekind rings. In a sequel to this paper, we will explain the use of these algorithms for computing in relative extensions of number fields.