Generators of some Ramanujan formulas

In this paper we prove some Ramanujan type formulas for 1/π but without using the theory of modular forms. Instead we use the WZ—method created by H. Wilf and D. Zeilberger and find some hypergeometric functions in two variables which are second components of WZ—pairs than can be certified using Zeilberger's EKHAD package. These certificates have an additional property which allows us to get generalized Ramanujan's type series which are routinely proven by computer. We call these second hypergeometric components of the WZ—pairs generators. Finding generators seems a hard task but using a kind of experimental research (explained below), we have succeeded in finding some of them. Unfortunately we have not found yet generators for the most impressive Ramanujan's formulas. We also prove some interesting binomial sums for the constant 1/π². Finally we rewrite many of the obtained series using pochhammer symbols and study the rate of convergence. 2000 Mathematics Subject Classification Primary—33C20     

A note on scheduling to meet two min-sum objectives

We consider a single machine scheduling problem with two min-sum objective functions: the sum of completion times and the sum of weighted completion times. We propose a simple polynomial time (1+(1/γ),1+γ)-approximation algorithm, and show that for γ>1, there is no (x,y)-approximation with 1<x<1+(1/γ) and 1<y<1+(γ-1)/(2+γ).     

Stationary remaining service time conditional on queue length

In Mandelbaum and Yechiali [The conditional residual service time in the M/G/1 queue, http://www.math.tau.ac.il/∼uriy/publications (No. 30a), 1979] and in Fakinos [The expected remaining service time in a single-server queue, Oper. Res. 30 (1982) 1014-1018] a simple formula is derived for the (stationary) expected remaining service time in a M/G/1 queue, conditional on the number of customers in the system. We give a short new proof of the formula using Rate Conservation Law, and generalize to handle higher moments.     

Quadratic transformations and Guillera’s formulas for 1/π2

We prove two new series of Ramanujan type for 1/π².     

On inequalities of Lieb-Thirring type

Applying the method proposed by Kashin for proving inequalities of Lieb-Thirring type for orthonormal systems, we prove a similar inequality in the multidimensional case.     

Electron-confined LO-phonon scattering in GaAs-Al0.45Ga0.55As superlattice

We develop a theoretical model to the scattering time due to the electron-confined LO-phonon in GaAs-Al_xGa_1-xAs superlattice taking into account the sub-band parabolicity. Using the new analytic wave function of electron miniband conduction of superlattice and a reformulation slab model for the confined LO-phonon modes, an expression for the electron-confined LO-phonon scattering time is obtained. In solving numerically a partial differential equation for the phonon generation rate, our results show that forx = 0.45, the LO-phonon in superlattice changes from a bulk-like propagating mode to a confined mode. The dispersion of the relaxation time due to the emission of confined LO-phonons depends strongly on the total energy.     

TDI线扫相机光学通道建模与仿真

卫星相机建模与仿真研究不论在民用还是军事领域都具有重要的理论研究和实际应用价值。根据TDI线扫相机的工作原理建立了一个TDI线扫相机光学通道的数学模型,该模型包括从景物到TDI CCD离散图像的几何投影关系和能量传递关系两部分,对于确定的成像系统,给定景物参数和光学系统参数,就可以确定对应图像传感器上的离散图像。为了验证模型,对一幅卫星图像进行了计算机仿真。建立的模型可以用来研究当成像条件改变时对图像的影响,进一步还可以用来发展虚拟卫星相机系统。     

Allocating unfunded liability in pension valuation under uncertainty

This paper studied the cost allocation for the unfunded liability in a defined benefit pension scheme incorporating the stochastic phenomenon of its returns. In the recent literature represented by Cairns and Parker [Insurance: Mathematics and Economics 21 (1997) 43], Haberman [Insurance: Mathematics and Economics 11 (1992) 179; Insurance: Mathematics and Economics 13 (1993) 45; Insurance: Mathematics and Economics 14 (1994) 219; Insurance: Mathematics and Economics 14 (1997) 127], Owadally and Haberman [North American Actuarial Journal 3 (1999) 105], the fund level is modeled based on the plan dynamics and the returns are generated through several stochastic processes to reflect the current realistic economic perspective to see how the contribution changed as the cost allocation period increased. In this study, we generalize the previous constant value assumption in cost amortization by modeling the returns and valuation rates simultaneously. Taylor series expansion is employed to approximate the unconditional and conditional moments of the plan contribution and fund level. Hence the stability of the plan contribution and the fund size under different allocation periods could be estimated, which provide valuable information adding to the previous works.     

KNSBN晶体猫式互抽动相位共轭光特性

在KNSBN：Ce晶体中，利用二波耦合作用，在单一光束无法获得相位共轭光的条件下，实现了“猫”式互抽运相位共轭光输出，获得较高的共轭光发射率，实验结果表明，晶体的二波耦合作用可以使晶体的自抽运相位共轭光的阈值光强降低。入射光的入射角范围增大，响应时间缩短。     

交流源作用下介观RLC电路系统量子态随时间的演化

根据量子不变量理论，同时考虑介观电容器极板间电子波函数的耦合作用和电路的耗散,研究介观RLC电路系统在交流电流源作用下动力学的演化过程，并且得到描述系统量子态随时间的演化算符.进一步的分析结果表明，介观RLC电路系统的波函数将由任意的初态演化到一般的压缩态. 关键词： 介观RLC电路 交变电源 不变量理论 时间演化算符