Automatic Symmetrization and Energy Estimates Using Local Operators for Partial Differential Equations

We develop a method for automatically symmetrizing Petrowsky well-posed Cauchy problems for constant coefficient linear partial differential equations. The method is rooted in the Sturm sequence technique for establishing the location of the roots of a complex polynomial and can be automated using standard symbolic computation tools. In the special case of homogeneous strictly hyperbolic scalar equations, we show that the resulting estimates are strong enough to control all principal order derivatives and thus can be used in place of the Leray energies. We also illustrate the method by applying it to various problems of mixed type.     

NSD序列部分和乘积的渐近分布

设{X_n, n≥1}是同分布正的负超可加相依(NSD)序列, 利用NSD序列加权和的中心极限定理和大数定律, 在适当的条件下证明当n→∞时, 并讨论严平稳条件下的类似结论.     

短正合列的弱可裂

把短正合列的可裂推广到短正合列的弱可裂，并对弱可裂进行了等价刻画，最后还运用左弱可列证明了平坦模的一个充要条件。     

Oligo-Quinolylene–Vinylene Foldamers

Quinoline based aromatic amide foldamers are known to adopt stable folded conformations. We have developed a synthetic approach to produce similar oligomers where all amide bonds, or part of them, have been replaced by an isosteric vinylene group. The results of solution and solid state structural studies show that oligomers exclusively containing vinylene linkages are not well folded, and adopt predominantly flat conformations. In contrast, a vinylene segment flanked by helical oligoamides also folds in a helix, albeit with a slightly lower curvature. The presence of vinylene functions also result in an extension of π-conjugation across the oligomer that may change charge transport properties. Altogether, these results pave the way to foldamers in which both structural control and specific electronic properties may be engineered.     

基于改进型史密斯补偿控制的煤泥水絮凝剂添加自动控制系统仿真研究

对于大滞后和非线性的煤泥水絮凝剂自动添加系统来说,常规PID控制效果不佳。根据控制系统的要求,分别采用改进型Smith控制算法和常规PID控制算法进行了计算机仿真,仿真结果表明改进型Smith控制优于常规PID算法,为现场改进提供了理论支撑。     

Direct Identification of the Carbon Skeleton of Organic Compounds using Double Quantum Coherence 13C-NMR Spectroscopy. The INADEQUATE Pulse Sequence

NMR spectroscopy plays an important part in the determination of the structures of organic compounds. The parameters of importance here are the chemical shifts of the ¹H and ¹³C nuclei and the spin-spin interactions both between ¹H nuclei and between ¹H and ¹³C nuclei. Couplings between ¹³C nuclei were almost completely neglected until a few years ago, since they were extremely difficult to observe because of the low natural abundance of ¹³C. However, it is these couplings which afford information directly on the carbon-carbon connectivities in the molecule. It is now possible to use a special NMR pulse sequence to make these couplings more readily visible: the result of using this sequence is a ¹³C-NMR spectrum from which the carbon skeleton concerned can be directly read off. Two-dimensional spectra in particular are very easy to evaluate. The pulse sequence involved, which bears the somewhat puzzling name INADEQUATE, produces double-quantum coherences from which the NMR signals of the coupled carbon nuclei can be obtained. In this article the principle of double-quantum coherence is described and a number of examples for the application of the INADEQUATE pulse sequences to problems in synthetic organic chemistry, biosynthesis and natural products chemistry are presented; in addition, the possibility of applying the INADEQUATE method to other nuclei is considered.     

伽罗瓦环上的一类No序列的构造

近年来,伽罗瓦环上的序列理论成为人们研究的热点问题.有限域上的No序列是一类伪随机序列,它在序列密码中占具十分重要的角色.本文利用伽罗瓦环上的置换,构造了伽罗瓦环Z_(p~e)上的一类新的No序列,并且研究了其线性复杂度.研究的结果表明此类No序列具有相当大的线性复杂度.     

Limit laws for upper and lower extremes from stationary mixing sequences

The aim of this paper is to examine the weak limiting behavior of upper and lower extremes from stationary sequences satisfying dependence conditions similar to D and D′ introduced by Leadbetter (Z. Wahrsch. Verw. Gebiete28 (1974), 289–303). By establishing the convergence in distribution of an associated sequence of point processes, the joint limiting distribution of any collection of upper and lower extremes can be determined. Sufficient and, in some cases, necessary conditions for the asymptotic independence of the upper and lower extremes are also given.     

Computational Construction as a Means to Coordinate Representations of Infinity

In this paper, we describe a design experiment aimed at helping students to explore and develop concepts of infinite processes and objects. Our approach is based on the design and development of a computational microworld, which afforded students the means to construct a range of representational models (symbolic, visual and numeric) of infinity-related objects (infinite sequences, in particular). We present episodes based on four students’ activities, seeking to illustrate how the available tools mediated students’ understandings of the infinite in rich ways, allowing them to discriminate subtle process-oriented features of infinite processes. We claim that the microworld supported students in the coordination of hitherto unconnected or conflicting intuitions concerning infinity, based on a constructive articulation of different representational forms we name as ‘representational moderation’.

有限个渐近伪压缩映射近迫点序列的收敛性

研究了Banach空间中有限个渐近伪压缩映射近迫点序列的收敛性问题,此结果推广了以前的结论.