Broad-band spectral properties of accreting X-ray binary pulsars

Broad-band spectra of accreting X-ray binary pulsars can be fitted by a phenomenological model composed of a power law with a high energy rollover above 10 keV, plus a blackbody component with a temperature of few hundred eV. While, at least qualitatively, the hard tail can be explained in terms of (inverse) Compton scattering, the origin of the soft component cannot find a unique explanation. Recently, a qualitative picture able to explain the overall broad-band spectrum of luminous X-ray pulsars was carried out by taking into account the effect of bulk Comptonization in the accretion column. After a review of these recent theoretical developments, I will present a case study of how different modeling of the continuum affect broad features, in particular the cyclotron resonance features in Vela X-1.     

The double-pulsar binary J0737–3039

A recent multibeam pulsar survey of the outer Galactic plane at Parkes has discovered the first-known double-pulsar binary, a very compact double neutron star system in which both stars are observable as radio pulsars. In this review, we briefly describe the discovery and the studies which have been enabled by the unique properties of the system. These range from the most precise confirmation yet of the theory of general relativity, with the possibility of even more new tests and the measurement of second-order post-Newtonian effects, to studies of the magnetospheres and emission properties of the two pulsars. The discovery also results in a significant increase in the expected rate of occurrence of the mergers of double neutron star systems, and hence the rate of detection of such events by the new ground-based gravitational wave detectors.     

符号流生成器在教学中的应用

简要介绍了美国ＵＮＩＳＹＳ公司１１００、２２００系列中型计算机上符号流生成器的使用，并用它编制了一些常用的运行流，简化了用户的上机操作，提高了上机效率。     

四维下降飞行技术的研究与仿真：定常航迹角法下降剖面解算

本文研究的是四维飞行性能管理系统的核心环节－飞机在终端区域内的四维下降技术，首先探讨了基于常值航迹角的定常Ｍ数／指示空速下降飞行技术，论述了其高度剖面的构成与特点，通过尤拉积分方法求解飞机运动方程，实现了高度冲面的解算。其次开发了对速度剖面的迭代过程，选取原则及方法。本文在进行理论分析的同时，还开发了满意的仿真软件，一了其应用价值。     

卫星定位导航系统中各因素对D-R定位算法精度的影响

D- R定位算法在理论上可以用于定位。在实际工作中 ,用户的定位精度是进行定位时首先需要考虑的问题。文中主要讨论 D- R算法本身固有的定位误差。首先根据 D- R算法的定位公式推导出算法的精度误差因子。然后根据卫星定位导航系统的工作过程 ,确定了影响用户定位精度误差因子的因素并对这些因素对精度误差因子的影响进行了计算机仿真。仿真结果证明 D- R定位算法在一定条件下可以满足用户对定位精度的要求 ,用户精度误差因子可与现有的 GPS系统相当。     

一个简单有效的磁记录纠错系统

介绍一种简单有效的纠错编码方法 ,用于资源卫星高密度数字磁记录器 ,使误码率由 10 -6降低到 10 -11,同时介绍它的基本工作原理、实现方案及试验结果。     

求解大型非对称线性方程组的拟最小残量IOM（q）算法

不完全正交化算法（IOM（q））由于存储量和计算量小，常用来求解大非对称线性方程组。而此方法收敛过程常出现不规划振荡现象，从而影响了收敛速度。本文将拟残量最小的化性质加到IMO（q）算法中，提出拟最小残量不完全正交化算法（QMRIOM（q），这样收敛曲线光滑无振荡，从而大大加快其收敛速度，而且保留其存储量和计算量小的性质。     

有机高分子絮凝剂处理高浊度原水效果和机理研究

本文研究了有机高分子絮凝剂ＰＡＭ、ＣＴＡＢ及它们的复配ＰＡＭ＋ＣＴＡＢ处理高浊度原水的最佳实验条件、絮凝性能、效果和机理，为有机高分子絮凝剂的选择和管式絮凝器的研制提供了理论依据。     

正—反激组合式变换器与单端式变换器的比较

以５０Ｗ变换器为例，分别从磁性元件的大小，功率管上的电应力、磁恢复问题，输出纹波及输出特性等方面，详细分析比较了组合式变换器与单端式变换器的优缺点，并给出了具体数据，提出了正－反激组合式变换器具有电压应力低，磁性元件小，体积小，重量轻，输出纹波小及可靠性高的结论。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概