A Galois Connection

The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other. Mathematics Subject Classification (2000): Primary 06A15, Secondary 28E10 03B22     

一类有不动点性的Banach空间

本文研究弱一致Opial条件的性质；弱一致Opial条件与弱一致Opial条件的对偶性；证明当对偶空间有弱一致Opial条件时该Banach空间具有不动点性．     

Use of dynamic trees in a network simplex algorithm for the maximum flow problem

Goldfarb and Hao (1990) have proposed a pivot rule for the primal network simplex algorithm that will solve a maximum flow problem on ann-vertex,m-arc network in at mostnm pivots and O(n ² m) time. In this paper we describe how to extend the dynamic tree data structure of Sleator and Tarjan (1983, 1985) to reduce the running time of this algorithm to O(nm logn). This bound is less than a logarithmic factor larger than those of the fastest known algorithms for the problem. Our extension of dynamic trees is interesting in its own right and may well have additional applications.Research partially supported by a Presidential Young Investigator Award from the National Science Foundation, Grant No. CCR-8858097, an IBM Faculty Development Award, and AT&T Bell Laboratories.Research partially supported by the Office of Naval Research, Contract No. N00014-87-K-0467.Research partially supported by the National Science Foundation, Grant No. DCR-8605961, and the Office of Naval Research, Contract No. N00014-87-K-0467.     

Convergence analysis of time-point relaxation iterates for linear systems of differential equations

We study convergence properties of time-point relaxation (TR) Runge-Kutta methods for linear systems of ordinary differential equations. TR methods are implemented by decoupling systems in Gauss-Jacobi, Gauss-Seidel and successive overrelaxation modes (continuous-time iterations) and then solving the resulting subsystems by means of continuous extensions of Runge-Kutta (CRK) methods (discretized iterations). By iterating to convergence, these methods tend to the same limit called diagonally split Runge-Kutta (DSRK) method. We prove that TR methods are equivalent to decouple in the same modes the linear algebraic system obtained by applying DSRK limit method. This issue allows us to study the convergence of TR methods by using standard principles of convergence of iterative methods for linear algebraic systems. For a particular problem regions of convergence are plotted.     

一些高Tc超导体的弹性性质

 本文用超声相比较方法测定了高T_c超导体La_1.85Sr_0.15CuO₄，La₂CuO₄和YBa₂Cu₃O₇的纵波和横波声速，进而导出了它们的纵向模量、切变模量、杨氏模量、泊松比、德拜温度及定体比热。在La_1.85Sr_0.15CuO₄样品上，还进行了压力实验，发现所有弹性模量都是随压强增加而增加。定体比热c_V和泊松比σ在高压下则略有下降。德拜温度是随压强增加而增加的。     

Ionic nanocomposites based on XNBR-OMg filled with layered nanoclays

Ionic elastomers based on carboxylated nitrile rubber (XNBR) crosslinked with magnesium oxide (OMg) and filled with layered nanoclays have been prepared. Two types of nanofillers were employed: a commercial one (Cloisite 15 A) and the other prepared in our laboratory (BCA-ODA). The properties of raw and vulcanized compounds have been studied in order to elucidate the effect of layered nanoclays. X-ray diffraction analysis shows that during compounding and crosslinking the macromolecular chains of rubber were intercalated in a commercial nanofiller, whilst our nanoclay was exfoliated. However, this fact does not affect the properties of compounds homogeneously. Vulcanization parameters, Mooney viscosity and decay and rheological properties were affected depending on the filler type. Mechanical properties were not significantly varied, but glass transition temperature and ionic transition temperature were shifted in comparison with those of the unfilled compound.     

Synthesis of cellulose carbamate by supercritical CO2-assisted impregnation: Structure and rheological properties

Cellulose carbamate, an environmentally friendly material presents an interesting alternative to petroleum-based polymers because of its renewable, biodegradable, biocompatible nature and its solubility in conventional solvents. In synthesis process of cellulose carbamate, urea was firstly impregnated into the cellulose pulp by supercritical CO₂(scCO₂), followed by the esterification of cellulose. The structure of cellulose carbamate was characterized by Fourier transform infrared spectroscopy (FTIR), X-ray diffractometry (XRD) and scanning electron microscopy (SEM). The rheological properties of these cellulose carbamates in 9% sodium hydroxide solution were investigated, using a range of the nitrogen content, concentrations and shear rates.     

θ*r,s,t-图与唯一2-列表染色图的特征化

如果一个图G存在一个k-列表安排使得G具有一个唯一列表染色,则称 G是唯一列表可染色图,简称UkLC图．我们称图G具有M(k)性质当且仅当G不 是UkLC图．本文在借鉴θr,s,t-图概念的基础上引入θr,s,t-图的定义,并证明:除了 r=s=t=2以外,θr,s,t-图都是U2LC图．利用如上结果我们给出M．Mahdian and E．S．Mahmoodian对U2LC图所作特征化的一个简单证明．     

重力输水管道优化设计方法研究

针对重力输水管道设计中存在的问题，文章以管道造价最小为目标，应用动态规划，提出了一种新的重力输水管道优化设计方法，对输水管的当量管径、流量分配、连接管设置与可靠性校核计算等问题作了探讨。该方法可用于沿线有节点流量流出的并联输水管道优化设计，能明显节省投资，有良好的实用性     

Guaranteed-accuracy approximation of reachable sets for a linear dynamic system subject to impulse actions

A method is proposed for approximating the reachable set of a dynamic system with a state space dimension no higher than six-eight considered on a finite time interval. The system is governed by linear differential equations with piecewise constant coefficients and impulse actions specified at prescribed times. The method is based on guaranteed-accuracy polyhedral approximations of reachable sets at researcher-specified times. Every approximation is constructed using the preceding one. A procedure is described for choosing parameters of the method that ensure the required accuracy with close-to-minimal time costs.