关于Kahler流形上的Newton力学

本文讨论Ｋａｈｌｅｒ流形上的Ｎｅｗｔｏｎ力学．在此给出Ｎｅｗｔｏｎ定律、动能定律、动量定律、虚位移原理、Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理、运动方程及“普遍运动方程”等的复的数学形式．     

Completely Positive Definite Maps Over Topological^＊—algebras

ＣｏｍｐｌｅｔｅｌｙＰｏｓｉｔｉｖｅＤｅｆｉｎｉｔｅＭａｐｓＯｖｅｒＴｏｐｏｌｏｇｉｃａｌ－ａｌｇｅｂｒａｓＸｕＴｉａｎｚｈｏｕ（ＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ，ＢｅｉｊｉｎｇＩｎｓｔｉｔｕｔｅｏｆＴｅｃｈｎｏｆｏｇｙ，...     

A proof of the normal form theorem for the closed terms of Girard's system F by means of computability

In this paper a proof of the normal form theorem for the closed terms of Girard's system F is given by using a computability method à la Tait. It is worth noting that most of the standard consequences of the normal form theorem can be obtained using this version of the theorem as well. From the proof-theoretical point of view the interest of the proof is that the definition of computable derivation here used does not seem to be well founded. MSC: 03F05, 03B15.     

单纯形法计算薄膜常数

本文首次报道了用单纯形加速法计算正常兔ＩｇＧ抗原与羊－抗兔抗体反应的抗体层厚度和光学常数，该方法假定抗体层厚度、光学常数均为时间的函数，避免了以往只假定厚度为时间函数所造成的误差。结果表明该方法计算抗体层薄膜常数是可行的。     

The Method of Angular Line to Calculate Eigenvalues for Microstrip Antennas

The method of angular line (MAL) is presented for calculating the resonant frequency of microstrip antenna, which is available in other literature and originally used to analyze various waveguide structure. The results obtained by using this method are in conformity with those reported elsewhere.     

分位点函数的光滑非参数估计的BAHADUR表示

文中对分位函数给出了具有更广泛应用的光滑分位估计,证明了该光滑分位估计的逐点和一致的Bahadur强表示定理;并由此结果推导了估计的重对数律,强逼近等深刻结果。     

Analysis of an SPP/G/1 system with multiple vacations and E-limited service discipline

Many researchers have studied variants of queueing systems with vacations. Most of them have dealt with M/G/1 systems and have explicitly analyzed some of their performance measures, such as queue length, waiting time, and so on. Recently, studies on queueing systems whose arrival processes are not Poissonian have appeared. We consider a single server queueing system with multiple vacations and E-limited service discipline, where messages arrive to the system according to a switched Poisson process. First, we consider the joint probability density functions of the queue length and the elapsed service time or the elapsed vacation time. We derive the equations for these pdf's, which include a finite number of unknown values. Using Rouché's theorem, we determine the values from boundary conditions. Finally, we derive the transform of the stationary queue length distribution explicitly.     

产品开发决策的灵敏性分析

文章着重研究了市场需求服从正态分布时参数估计误差变化对产品开发决策正确性的影响。通过实例分析，得到了处理这类问题的方法。文章进而给出了需求为有限方差与数学期望的一般随机量的处理方法，还给出了对Poisson变量的分析公式。     

Jordan函数r次方Jrk（n）的均值误差项研究

设ｋ，ｒ分别是自然数和非零整数，Ｊｋ（ｎ）是Ｊｏｒｄａｎ函数．文［３］求出了和式∑ｎ≤ｘＪｒｋ（ｎ）的渐近公式．以Ｅ（ｘ；ｋ，ｒ）表示该公式中的误差项，本文研究了Ｅ（ｘ；ｋ，ｒ）的算术均值和积分均值     

The inspection paradox in renewal-reward processes

To explore the inspection paradox in the context of a renewal-reward process, we obtain asymptotic expressions for the mean and distribution function of the reward associated with the spread (total life) of the process. These results also yield a simplified demonstration of the elementary renewal-reward theorem.