一种改进的实信号IFFT算法

由于重量轻、体积小、功耗低、功能强的小卫星工作在无人干预的低温 ,高辐射的空间环境中 ,因此星上计算机系统必须满足集成度高、寿命长、可靠性高、抗辐射能力强的要求。针对立体测绘小卫星的特点 ,我们设计了满足上述要求的集集中控制与分布控制优点于一身的星上计算机系统 ,对其可靠性进行了分析 ,并对提高其可靠性应采取的关键技术进行了简要的论述。     

发现一种声波传入内耳的新途径

对一位先天性外耳道缺失的患者调查发现，声波传入内耳，除了正常的骨传导和气传导以外，还存在着一种口鼻—咽—咽鼓管—中耳—内耳途径．     

最小二乘解存在的充分必要条件

本文提出了当观测值的权矩阵为正定或半正定的前提下，其最小二乘解存在的充分必要条件为并以间接平差为例验证了该结论的正确性。     

An Improved S-Random Interleaver Design for Turbo Code Based on Chaos Model

A new method to design interleaver based on Henon chaos model is presented. The designed interleaver is with rather random behavior. Experimental results show that the proposed S-henon interleaver make a magnitude of im provement in bit error rate （BER） performance by 0.4 dB compared with the S-random interleaver for AWGN channel respectively. The S-henon interleaver may be adapted to 3G mobile communication systems.     

初中生学习化学兴趣的发展趋势

针对目前初中化学教学中学生因缺乏应有的学习兴趣而导致学习动力不足和影响其个性和谐发展的问题，运用现代教育学、心理学的理论，结合初中生的心理特点和化学学科特点，提出把初中生学习化学兴趣提到学生稳定的个性心理品质上来研究，是符合马克思主义关于人的学说和现代教育心理学理论以及初中化学教学实际的；初中生学习化学兴趣的形成和发展是一个立体发生的过程，其纵向趋势为：直感兴趣→解析兴趣→探索兴趣；其横向品质为：指向性、持久性、广泛性和有效性，初中生学习化学兴趣水平的提高应当在有效的教学中进行     

氯离子诱导的镍在硝酸溶液中的电流振荡

报道了氯了子诱导的镍在0．5mol.dm^-2硝酸溶液中活化－钝化过渡区电流振荡，在恒电位条件下，随着氯离子浓度的升高或者电极电位的降低，电流振荡由周期性振荡逐渐向非周期性振荡转变，根据实验结果，对该体系的电流振荡机理进行了讨论。     

回转式电火花展成加工的计算机仿真

介绍了回转式电火花展成加工的原理及特点，并对该加工方法的成形运动进行较深入的分析，给出了在Delphi6环境中实现加工过程的计算机仿真。     

流媒体技术在继续教育平台中的应用

在阐述了流媒体技术的基本原理的基础上，通过对主流技术的分析比较提出了以WindowsMedia为技术支撑，基于组播和点播的流媒体继续教育平台解决方案，并对资源的同步控制和安全策略作简要分析，实现一个功能丰富的继续教育平台．     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.