基于神经网络的空间CCD相机图像恢复

空间太阳望远镜的CCD相机，在正规工作期间，由于辐射老化，引起所拍摄图像的退化。本文研究基于神经网络的方法解决退化太阳图像的恢复问题，以图像恢复的神经网络方法为基础，在计算量、存储空间和恢复效果的三个方面上进行算法改进，使时间复杂度和空间复杂度大大地降低，增强了图像恢复的实时性，同时提高了图像的恢复效果，使之能较好应用于空间望远镜太阳图像的恢复。     

新闻“爬”行榜

短信地盘谁做主?近日,上海电信一位人士在接受记者采访时表示,电信和移动、联通之间的短信测试工作已经结束,技术层面上的问题已经不再存在。他表示,在中国移动和中国电信协议签署之后,地方省市公司只待在细节问题上进行进一步的磋商,就可以实现短信互通。评论:小灵通通话质量饱受质疑,但小灵通短信是否会以价格优势接手动感地带的地盘呢?爬榜理由:短信地盘谁做主,是个问题。国产“哈勃”即将出炉我国第一台空间太阳望远镜目前正在进行关键技术攻关,预计2004年年底完成总体和结构等6大关键技术突破。专家指出,空间太阳望远镜有望在太阳矢量…     

空间望远镜自适应光学控制系统的模型框架研究

作为一种空间和地面探测的研究手段,空间望远镜起着越来越重要的作用.为了获得较高的分辨率,空间望远镜的口径要随之加大,由此出现了一系列相关的技术问题.自适应光学技术的出现和应用,使空间望远镜的设计思想有了一个飞跃.而James Webb望远镜的出现又提出了更新的挑战.该文对James Webb望远镜自适应光学控制系统的结构层次进行了划分,在说明其自适应光学控制系统原理的基础上,对空间望远镜的工作原理做了分析.建立了主镜镜面展开过程的动力学模型,最后建立了空间望远镜整个控制系统的模型框架.     

创新一号小卫星星载计算机控制系统设计

对创新一号小卫星的星载计算机系统的设计进行了介绍，作为我国第一颗重量在100kg以下的小卫星，创新一号星载计算机采用了多项国内首次使用的新技术，经过一年的飞行测试验证，证明了卫星计算机系统的安全可靠，该文就星载计算机系统的主要特点和采用的可靠性设计技术进行了较深入的研究，反映了创新一号星载计算机系统所获得的主要成绩。     

基于SIMO和NAS-RIF的SST图像盲恢复

图像恢复是太空太阳望远镜图像处理的重要组成部分，针对SST的多通道太阳观测的特点，将SIMO模型引入到SST图像恢复中，根据SST图像的特点，给出了基于SIMO和NAS-RIF的多通道盲恢复算法。仿真结果表明，该方法对SST图像恢复具有较好的适应性。     

嵌入式星载计算机故障注入系统

空间环境中影响嵌入式星载计算机的主要因素包括温度、湿度、气压、光照、电磁干扰和空间高能粒子的辐射等;随着我国空间探测事业的发展,人们对星载系统可靠性的要求越来越高;容错技术是提高星载计算机系统可靠性的重要方法,为保证容错设计的正确性和容错机制的效率,需要采用辅助的技术对容错系统进行验证;故障注入技术是评测星载计算机容错机制的一种有效方法。     

HITSAT星载计算机系统

由于小卫星对星载计算机系统有性能高、重量轻、体积小、功耗低等许多苛刻的要求 ,使目前的技术在应用中受到了很大的限制。由于遥测数据的高速下行 ,自主操作及大规模数据的存储条件的要求 ,促使我们研制新一代的星载计算机系统。本文就星载计算机系统的硬件结构进行了简要的论述     

SOLAR-B的超高指向精度姿态控制系统

宇宙科学研究所(ISAS)计划于2005年夏用M-V火箭发射SOLAR-B，它是1991年8月30日发射的太阳观测卫星“阳光号”的后继星，重900kg，采用三轴控制。卫星在距地面600km的太阳同步轨道上运行，利用星上所搭载的3台仪器——可见光磁场望远镜(SOT)、X射线望远镜(XRT)和极紫外分光摄像装置(EIS)，完成太阳表面磁场结构的微细观测、速度场连续测量、高分辨率X射线、紫外日冕观测     

美国国家航空航天局（NASA）使用NI LabVIEW FPGA来测试高科技空间望远镜

作为NASA哈勃望远镜的下一代后继设备，韦伯空间望远镜（The James Webb Space Telescope，JWST）基于NI Lab VIEW FPGA技术，顺利通过了2013年发射前的重要测试关卡。JWST的一个重要元素是近红外线声谱仪（Near Infrared Spectrograph，NIRSpec），该装置具备了超过250，000个微型快门来帮助人们更好地观察成千上万的遥远星系，以更好地认识宇宙起源。这些微型快门实际上是微电机系统装置fmicroelectromechanical system，MEMS），其作用类似于照相机的快门，是用于控制曝光量的。NASA戈达德空间飞行中心,（NASA Goddard Space Flight Center）的工程师在实验室里成功地运用LabVIEW FPGA来控制和测试这些微型快门。[第一段]     

适宜模拟SEU的总线级故障注入技术研究

适宜模拟SEU的故障注入技术是针对空间辐射在微电子器件中诱发单粒子翻转事件的，目的在于验证目标机的容错结构的合理性和容错手段的有效性，提高星上电子设备可靠性。本文从总线级故障注入的原理、故障注入系统结构、故障注入属性设置、故障注入硬件和软件等各个方面进行阐述，采用PCI总线技术、同步总线串行通信技术以及FPGA设计技术实现，并且以目标星载计算机、故障注入系统构建了测试验证环境，通过实践证明该故障注入原理的可实现性和可操作性。基于总线级的故障注入具有非破坏性、安全性、智能可配置和操作简单等特点，对于采用插装存储器的星载计算机系统，具有较高的应用价值。     

数据流控制流相叠加的可执行测试序列生成研究

提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。     

以太网交换控制电路流量控制研究与实现

针对以太网交换控制电路帧丢失问题，研究了以太网交换的流量控制技术，在以太网交换控制电路设计中采用了流量控制机制，实现了基于数据缓冲策略的流量控制功能，解决了数据缓冲区可用容量不足造成的数据帧丢失问题。     

单源交通流数据质量控制算法设计与程序实现

针对基于数值计算理论的单源交通流数据质量控制算法作程序实现。首先进行程序流程设计,包括数据读取模块、数据识别模块、数据修正模块、数据存储模块和数据输出模块五部分,各模块间相互联系,按照数据流的方向结合在一起按顺序使用。其次,给出了详细的总体程序工作流程,并且针对其中的两个核心模块给出了具体的工作流程。最后,针对北京市实时交通流数据进行了检验,结果表明程序设计实现了算法设计的要求,并且极大改进了质量控制的自动化程度,提高了质量控制的工作效率。     

城市复杂道路网络交通流的分解模型

针对城市道路交通流非线性、不确定性和模糊性特点,将城市道路与快速干道作为整体对待,提出了面向控制应用的城市交通网络宏观动态离散模型。将城市街区作为划分基点,把整个城市道路复杂交通网络分解为交叉口和单向环形道路两个子系统,分别建立了它们的宏观动态模型。通过对交叉口进行理想虚拟变形,将各个单向环形道路连接在一起,从而形成各种复杂网络。对西安市中心区域的实际交通流数据进行了仿真研究,结果表明该交通流模型基本实现了城市道路与快速干道的统一分析建模,较好地反映了城市路网的交通流信息,可以作为城市交通控制系统分析和设计的有力工具。     

Verification of concurrent control flow in distributed computer systems

An approach to verifying control flow in distributed computer systems (DCS) is presented. The approach is based on control flow checking among software components distributed over processors and cooperating among them. In this approach, control-flow behavior of DCS software is modeled and contained in special software components called verifiers. The verifiers are distributed over the processors and consulted to check the correctness of the control flow in DCS software during its execution. Algorithms for deriving the verifiers are presented. This technique can detect global errors including synchronization errors as well as local errors. It can be used for sequential or concurrent software at various levels of details. Experiments show that using this technique requires no significant overhead.<>     

面向Storm的数据流编程模型与编译优化方法研究

数据流编程模型将程序的计算与通信分离,暴露了应用程序潜在的并行性并简化了编程难度。分布式计算框架利用廉价PC构建多核集群解决了大规模并行计算问题,但多核集群层次性存储结构和处理单元对数据流程序的性能提出了新的挑战。针对数据流程序在分布式架构下所面临的问题,设计并实现了数据流编程模型和分布式计算框架的结合——在COStream的基础上提出了面向Storm的编译优化框架。框架包括两个模块:面向Storm的层次性任务划分与调度,以及面向Storm的层次性软件流水与代码生成。层次性任务划分利用Storm的任务调度机制将程序所有子任务分配到Storm集群节点内的多核上。层次性软件流水与代码生成将子任务构造成集群节点间的软件流水和节点内多核间的软件流水,并生成相应的目标代码。实验以多核集群为目标平台,在集群上搭建Storm分布式架构,选取数字媒体处理领域典型程序作为测试程序,对面向Storm的编译优化后的程序进行实验分析。实验结果表明了结合方法的有效性。     

UML在事务流程描述方面的扩展

文章提出了可视化的基于事务流程的符号定义和描述方法,即单证流,控制流和数据流,三流合一的方法,用以扩展UML中的用例分析,以此推动特定行业的应用系统的需求描述和建模。     

Ricci flow embedding for rectifying non-Euclidean dissimilarity data

Pairwise dissimilarity representations are frequently used as an alternative to feature vectors in pattern recognition. One of the problems encountered in the analysis of such data is that the dissimilarities are rarely Euclidean, while statistical learning algorithms often rely on Euclidean dissimilarities. Such non-Euclidean dissimilarities are often corrected or a consistent Euclidean geometry is imposed on them via embedding. This paper commences by reviewing the available algorithms for analysing non-Euclidean dissimilarity data. The novel contribution is to show how the Ricci flow can be used to embed and rectify non-Euclidean dissimilarity data. According to our representation, the data is distributed over a manifold consisting of patches. Each patch has a locally uniform curvature, and this curvature is iteratively modified by the Ricci flow. The raw dissimilarities are the geodesic distances on the manifold. Rectified Euclidean dissimilarities are obtained using the Ricci flow to flatten the curved manifold by modifying the individual patch curvatures. We use two algorithmic components to implement this idea. Firstly, we apply the Ricci flow independently to a set of surface patches that cover the manifold. Second, we use curvature regularisation to impose consistency on the curvatures of the arrangement of different surface patches. We perform experiments on three real world datasets, and use these to determine the importance of the different algorithmic components, i.e. Ricci flow and curvature regularisation. We conclude that curvature regularisation is an essential step needed to control the stability of the piecewise arrangement of patches under the Ricci flow.     

基于新型信号源的微波车流量检测器设计

针对微波车流量检测要求,提出了一种新型信号源设计方法和一套完整的微波车流量检测方案。相比于单独使用VCO产生发射信号,NiosⅡ处理器、DDS、VCO结合起来的信号源设计方法提高了发射波形的线性度和稳定性。利用现场可编程门阵列(FPGA)实现对微波收发板、A/D采集模块、数据传输电路的逻辑控制;在传输方式上,使用USB2.0技术传输数据,实现系统与主机的通信,使后续的数据分析和处理更加方便。实验结果表明,该系统性能稳定、采集的数据完整、抗干扰效果好。     

矿浆管道输送流速仿人智能多模态控制研究

针对矿浆管道输送流速控制的大时滞、建模困难等问题,提出分段变增量的仿人智能多模态控制新算法.将完整矿浆批量输送实际过程划分成多段特征模态,采用不同的控制增量算法以推理确定控制模态.基于新研制的多泵站管道输送平台,给出了系统结构框图与算法模块设计,采用两种矿浆管道批量输送流速运行方式,实现了满意的实时控制,验证了控制系统结构与算法的可行性和有效性.