障碍平方期权的定价

本讨论了一种变异期权——收益结构为平方的障碍期权，在股票价格服从几何布朗运动的模型下，由带单侧吸收壁的布朗运动的密度和分布函数得到连续障碍平方期权的定价公式．     

Effect of the Initial Mass Function of Primaries on Binary Stellar Populations

Using evolutionary population synthesis technique, we explore the behaviour of the integrated U-B,B-V, V-R and R - I colours, the integrated spectral energy- distributions (ISEDs) and Lick/IDS absorption-line indices of instantaneous burst solar-metallicity binary stellar populations, as a function of the initial mass function (IMF)of primaries. It is found that the variation of the IMF of primaries produces a small effect on the integrated colours and the Lick/IDS indices, while a significant difference in the absolute ISEDs.     

亚直不可约DQrC-环

在文[1]中我们引进了DQ_rC-环,本文给出了忠实的与不忠实的DQ_rC-环为亚直不可约环的充分必要条件.由于DQ_rC-环是比DQC-环更广泛的环类,所以本文推广了W.Burgess等人在DQC-环方面相应的工作.     

CM分担三个公共值的亚纯函数的进一步结果

进一步研究了具有三个cM公共值的亚纯函数的唯一性，改进了H．Ueda和仪洪勋等人的有关结果．     

极紫外望远镜各通道夹角的测量

极紫外望远镜是由四个单通道的望远镜捆绑在一起,以便同时对太阳的相同部分观测,由于受地面装调以及发射过程中的影响,无法保证四个通道光轴严格平行,必然带来观测位置上的误差。只要测出各通道之间的光轴夹角,便可在像面上采取适当的处理方法,以便减小这种误差,但这一夹角的测量精度必须控制在0.1″内。为达到如此高的精度,采用了太阳局部边缘探测的方法,很好地解决了这一问题。     

分谐波采样锁相环和分频式锁相环的性能比较

锁相环路(PLL)是一个能够跟踪输入信号相位的闭环自动控制系统，具有载波跟踪特性，可以提取淹没在噪声中的信号。锁相环可分为全数字锁相和取样锁相环。其中取样锁相环为数模混合锁相环路，又可分为分谐波采样锁相环和分频式锁相环。分频式锁相环具有较高的稳定度、较低的相位噪声和易于集成等优点，而分谐波采样锁相环还可以提供更低的相位噪声，它们在通信技术中都有着广泛的应用。     

ON THE GROWTH OF SOLUTIONS OF A CLASS OF HIGHER ORDER DIFFERENTIAL EQUATIONS

In this paper, authors investigate the order of growth and the hyper order of solutions of a class of the higher order linear differential equation, and improve results of M. Ozawa^[6], G. Gundersen^[7] and J.K. Langley^[8], Li Chun-hong^[11].     

高温高密度Z-pinch等离子体自适应式平面丝阵负载制备技术研究

 在Z-pinch实验中，加速器两电极间距会因抽真空而发生改变从而导致平面丝阵负载的丝分布发生变化，为了解决这个问题，采用弹簧预压缩的方法，制备出了平面丝阵负载，经实验室模拟检测和物理实验的实际应用证明，平面丝阵负载不但能适应电极方向呈任何方向放置的靶室，还能自动适应靶室电极间距因抽真空而发生的变化。在实验过程中丝阵可以保持绷紧的状态，满足了物理实验的要求。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

关于一类常微分方程亚纯解的个数的注记

本文讨论微分方程u′=sum from k=0 P_k(z)u~k (1)在某些条件下亚纯解的个数问题。得到定理1、2,它们分别是[1]定理1、2的推广。