一种改进的实信号IFFT算法

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

水膜除尘器改造为HSTⅡ型高效脱硫除尘器的应用与实践

介绍了原水膜除尘器改造为HSTⅡ型高效脱硫除尘器的工作原理及改造后的使用情况。说明这一改造不仅可行 ,而且具有投资少、工期短、运行成本和处理效果好的优点     

神经网络自适应控制器设计

对前馈神经网络用于动态系统的辨识、自适应控制进行了分析和数学推导，给出了自适应神经网络控制器的设计方法．最后通过仿真实例进行了说明．     

金汤桥开启系统的复原与改进

介绍了天津金汤桥活动跨开启系统的原貌、原状以及原缺陷，阐述了复原手动和电动开启系统的原则，并介绍了平转式开启桥的原理及构成．通过反复探索与研究，成功地复原了金汤桥活动跨手动和电动开启系统．提出了平转式活动跨机械传动系统的回转中心、活动跨的回转中心，以及桥墩中心的设计基准与安装基准必须服从三者同一性原理，并解决了这一平转式开启桥的难题．实践证明，复原后的活动跨开启系统安全、可靠、平稳、灵活．     

用面扩树的方法找三次图的边三着色

本文通过分析三次图中面的奇偶性及组合情况,引出了可边三色块的概念,接着用面扩树方式给出了三次图中大量的可边三色块,在这些可边三色块中导出了三次图的一些边三色解.     

具有非常数回报率的证券指数跟踪问题的简单脉冲控制

运用随机脉冲控制理论讨论了均值 -方差模式的现金管理指数跟踪问题 ,在回报率随现金比重变化的情况下 ,讨论了证券指数跟踪最优化问题 ,得出了存在简单脉冲控制策略的充分性条件 .     

政府应对危机的信息资源管理

危机的发生和处理是对政府信息资源管理体制创新的一大推动。本文以SARS的发生揭示我国政府信息管理体系中存在的缺陷,提出了建设一个能提供信息资源共享、信息综合分析和动态信息集中管理服务,多个子系统集成的危机信息管理系统的方案,对完善我国政府危机信息资源的高效管理有一定的借鉴意义。     

银行系统网络运行现存的若干问题和解决建议

通过对银行系统网络现状的分析，从广域网和局域网两个不同的角度指出了银行现有的网络结构、体系存在的问题及其原因，并提出了较为可行的解决方法，对现在的大型网络系统有普遍的意义。     

关于少数民族音乐教育中复合型架构模式的若干思考

少数民族音乐教育的属性是“复合性”。在人才培养、教师队伍建设等方面应按照复合型架构模式进行建设。即以汉族音乐教育为基础，少数民族音乐教育为特色，并借鉴西方音乐教育的建构模式，使少数民族专业音乐教育在多成分、多层次平衡发展的基础上，力求双向发展的最大值——向民族纵深和现代化尖端的两极扩展。     

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.