Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

带ARMA(1,1)条件异方差相关的随机波动模型的MCMC算法

我们首先提出了一个带ARMA(1,1)条件异方差相关的随机波动模型,它是基本的随机波动模型的一个自然的推广.进一步,对于这一新模型,我们给出了一个马尔可夫链蒙特卡罗(M CM C)算法.最后,利用该模型的模拟数据,展示了M CM C算法在这种模型中的应用.     

Preparation and Mechanical Properties of Fe3Al Nanostructured Intermetallics

Nanostructured Fe₃Al intermetallic compounds were produced by using hydrogen arc plasma method. The transmission electron microscopy experiments showed that the average particle size of the as-synthesized was about 40-nm. The change in hardness of Fe₃Al nanostructured intermetallic compounds with annealing temperatures was observed and evaluated.     

Tiled Orders and Frobenius Rings

Mathematical Notes -     

Approximating the single source unsplittable min-cost flow problem

In the single source unsplittable min-cost flow problem, commodities must be routed simultaneously from a common source vertex to certain destination vertices in a given graph with edge capacities and costs; the demand of each commodity must be routed along a single path so that the total flow through any edge is at most its capacity. Moreover, the total cost must not exceed a given budget. This problem has been introduced by Kleinberg [7] and generalizes several NP-complete problems from various areas in combinatorial optimization such as packing, partitioning, scheduling, load balancing, and virtual-circuit routing. Kolliopoulos and Stein [9] and Dinitz, Garg, and Goemans [4] developed algorithms improving the first approximation results of Kleinberg for the problem of minimizing the violation of edge capacities and for other variants. However, known techniques do not seem to be capable of providing solutions without also violating the cost constraint. We give the first approximation results with hard cost constraints. Moreover, all our results dominate the best known bicriteria approximations. Finally, we provide results on the hardness of approximation for several variants of the problem. Received: August 23, 2000 / Accepted: April 20, 2001?Published online October 2, 2001     

OnQ-order andR-order of convergence

We give sufficient conditions for a sequence to have theQ-order and/or theR-order of convergence greater than one. If an additional condition is satisfied, then the sequence has an exactQ-order of convergence. We show that our results are sharp and we compare them with older results.This work was supported in part by the National Science Foundation under Grant No. DMS-85-03365. The author wishes to thank J. E. Dennis and R. A. Tapia for helpful comments, and the referee for pointing out a number of typographical and mathematical errors in the original version of this paper.     

Continuous time collocation methods for Volterra-Fredholm integral equations

Summary Integral equations of mixed Volterra-Fredholm type arise in various physical and biological problems. In the present paper we study continuous time collocation, time discretization and their global and discrete convergence properties.     

Optimality relationships forp-cyclic SOR

Summary The optimality question for blockp-cyclic SOR iterations discussed in Young and Varga is answered under natural conditions on the spectrum of the block Jacobi matrix. In particular, it is shown that repartitioning a blockp-cyclic matrix into a blockq-cyclic form,q, results in asymptotically faster SOR convergence for the same amount of work per iteration. As a consequence block 2-cyclic SOR is optimal under these conditions.Research supported in part by the US Air Force under Grant no. AFOSR-88-0285 and the National Science Foundation under grant no. DMS-85-21154 Present address: Boeing Computer Services, P.O. Box 24346, MS 7L-21, Seattle, WA 98124-0346, USA     

CuX(X=Al, Ga, In)分子的势能函数与稳定性的密度泛函研究

根据原子分子反应静力学原理导出了CuX(X=Al,Ga,In) 分子基态电子状态及其离解极限,并在B3LYP/LANL2DZ水平上计算了平衡几何、振动频率和解离能.利用Murrell-Sorbie 函数拟合出了解析势能函数,并计算出光谱参数和力常数.计算结果表明该分子体系是稳定存在的,其稳定性排序为 CuAl＞CuGa＞CuIn.     

受激旋转拉曼散射对强紫外激光相位的影响

 利用瞬态受激旋转拉曼散射（SRRS）模型及相位畸变模型，对具有空间相位畸变的强紫外激光束在空气中长程传输的SRRS效应进行了研究。详细讨论了低频和中高频空间相位畸变对SRRS阈值条件、斯托克斯光转换效率、剩余泵浦光和斯托克斯光相位的影响。研究结果表明，泵浦光的初始相位畸变对斯托克斯光相位畸变的影响较剩余泵浦光的更为明显；高频相位畸变对转换效率影响较低频相位畸变更大； SRRS效应阈值随低频相位畸变的增大而减小，随高频相位畸变的增大而增大。