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     

Tail asymptotics for the fundamental period in the MAP/G/1 queue

This paper studies the tail behavior of the fundamental period in the MAP/G/1 queue. We prove that if the service time distribution has a regularly varying tail, then the fundamental period distribution in the MAP/G/1 queue has also regularly varying tail, and vice versa, by finding an explicit expression for the asymptotics of the tail of the fundamental period in terms of the tail of the service time distribution. Our main result with the matrix analytic proof is a natural extension of the result in (de Meyer and Teugels, J. Appl. Probab. 17: 802–813, 1980) on the M/G/1 queue where techniques rely heavily on analytic expressions of relevant functions. I.-S. Wee’s research was supported by the Korea Research Foundation Grant KRF 2003-070-00008.     

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.     

Mössbauer effect study of the decagonal quasicrystal Al65Co15Cu20

The ⁵⁷Fe Mössbauer effect study at 5.0 K and in an external magnetic field of 9.0 T on a high-quality stable decagonal quasicrystal Al₆₅Co₁₅Cu_19.9Fe_0.1 is presented. It is shown that the iron atoms are located in two distinct classes of sites. The values of the principal component of the electric field gradient tensor and the asymmetry parameter at these sites are, respectively, ?1.90(10)?×?10²¹ V/m², 0.97(15) and ?3.95(12)?×?10²¹ V/m², 0.00(17).     

Bivariate Recursive Equations on Excess-of-loss Reinsurance

This paper investigates bivariate recursive equations on excess-of-loss reinsurance. For an insurance portfolio, under the assumptions that the individual claim severity distribution has bounded continuous density and the number of claims belongs to R1 （a, b） family, bivariate recursive equations for the joint distribution of the cedent＇s aggregate claims and the reinsurer＇s aggregate claims are obtained.     

Estimating tail probabilities of heavy tailed distributions with asymptotically zero relative error

Efficient estimation of tail probabilities involving heavy tailed random variables is amongst the most challenging problems in Monte-Carlo simulation. In the last few years, applied probabilists have achieved considerable success in developing efficient algorithms for some such simple but fundamental tail probabilities. Usually, unbiased importance sampling estimators of such tail probabilities are developed and it is proved that these estimators are asymptotically efficient or even possess the desirable bounded relative error property. In this paper, as an illustration, we consider a simple tail probability involving geometric sums of heavy tailed random variables. This is useful in estimating the probability of large delays in M/G/1 queues. In this setting we develop an unbiased estimator whose relative error decreases to zero asymptotically. The key idea is to decompose the probability of interest into a known dominant component and an unknown small component. Simulation then focuses on estimating the latter ‘residual’ probability. Here we show that the existing conditioning methods or importance sampling methods are not effective in estimating the residual probability while an appropriate combination of the two estimates it with bounded relative error. As a further illustration of the proposed ideas, we apply them to develop an estimator for the probability of large delays in stochastic activity networks that has an asymptotically zero relative error.      

Confirmation of sable QTL that modifies the effects of the Ay allele on yellow coat color on mouse chromosome 1

F₁-A^y mice between RR (aabbCC) and C57BL/6J-A^y (A^yaBBCC) have a much darker yellow coat color than do C57BL/6J-A^y. Quantitative trait locus (QTL) analysis was carried out to identify genes responsible for the darker modification of the yellow coat color (this has been traditionally termed “sable”). A significant sable QTL was identified on chromosome 1 (Dmyaq4, LOD score 15.5 for lightness, and 13.4 for color difference), in a chromosomal position similar to that of Dmyaq2, a sable QTL previously identified in C3H/HeJ. Another significant sable QTL was identified on chromosome 4 (Dmyaq5, LOD score 5.6 for lightness, and 4.3 for color difference) near the tyrosinase-related protein 1 (Tyrp1) locus. The effect of Dmyaq5 was significant only in the presence of the RR allele at Dmyaq4, suggesting that the Dmyaq4 (as well as Dmyaq2) is a novel coat color gene that may act up-stream of Tyrp1 signaling to increase eumelanin production.     

微脉冲电子枪的初步实验研究

给出了微脉冲电子枪的模拟计算及其初步实验结果. 该电子枪采用铜铝镁合金作为冷阴极材料, 在以磁控管作为微波功率源的出束实验中得到了100mA/cm²的电流密度.实验结果与次级电子倍增解析计算和SEEG程序的模拟计算结果基本符合, 初步验证了微脉冲电子枪的基本原理, 为今后实验中得到更大的电流密度打下了基础.     

3004铝合金“反常”锯齿屈服现象的研究

在应变速率为5.56×10^-5s^-1—5.56×10^-3s^-1的范围内，在不同温度下(从223K至773K)，对3004铝合金进行系列拉伸试验，探索其锯齿屈服规律；通过激活能的计算、内耗研究、微观组织观察和能谱分析，探讨锯齿屈服的机理与物理本质.结果表明，3004铝合金在形变过程中会出现动态应变时效现象；发现了一种“反常”的锯齿屈服现象：在出现锯齿屈服的温区内，存在锯齿屈服临界应变量转变温度T_t， 关键词： 动态应变时效 锯齿屈服 铝合金 内耗     

Stereoselective synthesis of trifluoromethyl-substituted 1,2-diamines by aza-Michael reaction with trans-3,3,3-trifluoro-1-nitropropene

Aza-Michael addition of optically pure 4-phenyl-2-oxazolidinone to 3,3,3-trifluoro-1-nitropropene proceeds smoothly at low temperature with a high yield. Diastereoselectivity of the addition depends on the base used and lithiated species proved to be highly efficient affording 92% de. Optically pure 1,2-diamino-3,3,3-trifluoropropane is prepared in 58% yield from the aza-Michael addition product through a three-step procedure.