超级军网我院一批高水平航天研究项目开始启动
来源：百度文库 编辑：超级军网 时间：2024/05/03 12:19:01
大家不用担心，都是公开数据，可以参考下面网址
http://sse.tongji.edu.cn/pageshow/webdetail.aspx?id=516&classid=01
（1） 卫星图像无损压缩及IP核技术研究
该项目主要分析卫星往地面传输图像，因数据实时传输量很大(44Mbps)，需找出压缩比尽可能大但又不能过于复杂的压缩算法（若过于复杂则FPGA数字电路实现有困难），将这些算法用C语言进行仿真验证，最后用硬件(FPGA)实现。最后实现的硬件系统要用在星上固态存储器及地面接收机中。目前由我院徐燕凌博士负责，带领几位研究生进行研究，已取得一定进展。
(2） 卫星用嵌入式并行图像处理机
硬件系统主要由对方实现，系统结构较复杂，主要由1个ARM主处理器 加上 4-8个DSP数字信号处理器构成，目前这种多DSP结构在国内几乎未见。其应用主要是星上高速信号处理（如目标侦测和模式识别）。我院主要负责系统软件部分，包括底层BSP开发、嵌入式Linux移植、DSP驱动开发、将每个DSP封装成一个Linux进程，调度应用任务以在各DSP之间取得负载均衡、Linux调度算法实时性优化，今后还可能进行基于该系统的目标识别应用研究。项目较复杂，有相当难度。目前我院以尹长青和罗怡桂两位年轻博士为主力，在孟庆余教授指导下，已进行了多轮研讨，目前已设计出初步解决方案。部分研究生正在为该项目准备知识。
（3） 基于LEON2的嵌入操作系统
LEON2是欧洲航天局推出的一种公开内核设计的处理器。目前航天领域使用的处理器型号较多，该项目主要拟新开发出一个适合航天器使用的通用嵌入式操作系统，能根据不同的CPU核对操作系统进行灵活配置，适应未来航天系统发展多样性的需求。项目难度较大，工作量非常大，项目周期会较长。目前我院尹长青博士和罗怡桂博士两位老师在孟教授指导下，正在对其进行初步分析。
（4） 航天软件高可靠性研究
航天软件对可靠性要求极高，如美国NASA规定，凡上天的软件都必须是可验证的。该项目主要是通过对航天软件从需求开始进行形式化分析，建立相关模型对软件系统进行验证。我院张苗苗博士曾在欧洲从事过三年多的混合系统建模及形式验证研究，对软件形式化等领域有较深造诣，目前她正投入到该项目的研究中。
（5） 航天三冗余计算机调度算法
也属航天高可靠性研究项目。主要是针对航天器上并行工作的三台容错计算机，如何最快速判断一台计算机硬件或操作系统出现故障，并且最快地切换到另外一台，如何确定切换到哪一台。目前张苗苗博士正通过建立有限状态机模型、Petri网等多种方法对算法进行探索。
（6） 卫星测试数据分析与挖掘技术研究
目前该项目已正式签约，由我院周闻钧、朱宏明两位对数据挖掘较有研究的老师负责，进展较快。
（7） 基于ADA语言平台高可靠设计模式
ADA语言在国防系统使用得较多，但目前有关ADA语言的设计模式少有研究。目前我院张卫山博士正在进行该项目的前期研究，他对设计模式和软件工程有相当研究水平。
（8） 运载火箭地面测试系统一体化数据库及数据处理软件
由我院穆斌教授负责该项目，其中涉及到回归分析模型等研究，目前已基本完成签约前的调研工作。
（9） 航天软件测试管理工具的开发
目前杜庆锋老师正发挥他在软件测试方面的多年实际工作经验，对该项目进行前期研究。
（10）卫星姿轨控显示软件
主要是在地面对卫星姿态和轨道进行观查显示，由我院户现锋老师负责.
http://sse.tongji.edu.cn/pageshow/webdetail.aspx?id=516&classid=01
（1） 卫星图像无损压缩及IP核技术研究
该项目主要分析卫星往地面传输图像，因数据实时传输量很大(44Mbps)，需找出压缩比尽可能大但又不能过于复杂的压缩算法（若过于复杂则FPGA数字电路实现有困难），将这些算法用C语言进行仿真验证，最后用硬件(FPGA)实现。最后实现的硬件系统要用在星上固态存储器及地面接收机中。目前由我院徐燕凌博士负责，带领几位研究生进行研究，已取得一定进展。
(2） 卫星用嵌入式并行图像处理机
硬件系统主要由对方实现，系统结构较复杂，主要由1个ARM主处理器 加上 4-8个DSP数字信号处理器构成，目前这种多DSP结构在国内几乎未见。其应用主要是星上高速信号处理（如目标侦测和模式识别）。我院主要负责系统软件部分，包括底层BSP开发、嵌入式Linux移植、DSP驱动开发、将每个DSP封装成一个Linux进程，调度应用任务以在各DSP之间取得负载均衡、Linux调度算法实时性优化，今后还可能进行基于该系统的目标识别应用研究。项目较复杂，有相当难度。目前我院以尹长青和罗怡桂两位年轻博士为主力，在孟庆余教授指导下，已进行了多轮研讨，目前已设计出初步解决方案。部分研究生正在为该项目准备知识。
（3） 基于LEON2的嵌入操作系统
LEON2是欧洲航天局推出的一种公开内核设计的处理器。目前航天领域使用的处理器型号较多，该项目主要拟新开发出一个适合航天器使用的通用嵌入式操作系统，能根据不同的CPU核对操作系统进行灵活配置，适应未来航天系统发展多样性的需求。项目难度较大，工作量非常大，项目周期会较长。目前我院尹长青博士和罗怡桂博士两位老师在孟教授指导下，正在对其进行初步分析。
（4） 航天软件高可靠性研究
航天软件对可靠性要求极高，如美国NASA规定，凡上天的软件都必须是可验证的。该项目主要是通过对航天软件从需求开始进行形式化分析，建立相关模型对软件系统进行验证。我院张苗苗博士曾在欧洲从事过三年多的混合系统建模及形式验证研究，对软件形式化等领域有较深造诣，目前她正投入到该项目的研究中。
（5） 航天三冗余计算机调度算法
也属航天高可靠性研究项目。主要是针对航天器上并行工作的三台容错计算机，如何最快速判断一台计算机硬件或操作系统出现故障，并且最快地切换到另外一台，如何确定切换到哪一台。目前张苗苗博士正通过建立有限状态机模型、Petri网等多种方法对算法进行探索。
（6） 卫星测试数据分析与挖掘技术研究
目前该项目已正式签约，由我院周闻钧、朱宏明两位对数据挖掘较有研究的老师负责，进展较快。
（7） 基于ADA语言平台高可靠设计模式
ADA语言在国防系统使用得较多，但目前有关ADA语言的设计模式少有研究。目前我院张卫山博士正在进行该项目的前期研究，他对设计模式和软件工程有相当研究水平。
（8） 运载火箭地面测试系统一体化数据库及数据处理软件
由我院穆斌教授负责该项目，其中涉及到回归分析模型等研究，目前已基本完成签约前的调研工作。
（9） 航天软件测试管理工具的开发
目前杜庆锋老师正发挥他在软件测试方面的多年实际工作经验，对该项目进行前期研究。
（10）卫星姿轨控显示软件
主要是在地面对卫星姿态和轨道进行观查显示，由我院户现锋老师负责.
[此贴子已经被作者于2005-6-4 0:29:14编辑过]
http://sse.tongji.edu.cn/pageshow/webdetail.aspx?id=516&classid=01
（1） 卫星图像无损压缩及IP核技术研究
该项目主要分析卫星往地面传输图像，因数据实时传输量很大(44Mbps)，需找出压缩比尽可能大但又不能过于复杂的压缩算法（若过于复杂则FPGA数字电路实现有困难），将这些算法用C语言进行仿真验证，最后用硬件(FPGA)实现。最后实现的硬件系统要用在星上固态存储器及地面接收机中。目前由我院徐燕凌博士负责，带领几位研究生进行研究，已取得一定进展。
(2） 卫星用嵌入式并行图像处理机
硬件系统主要由对方实现，系统结构较复杂，主要由1个ARM主处理器 加上 4-8个DSP数字信号处理器构成，目前这种多DSP结构在国内几乎未见。其应用主要是星上高速信号处理（如目标侦测和模式识别）。我院主要负责系统软件部分，包括底层BSP开发、嵌入式Linux移植、DSP驱动开发、将每个DSP封装成一个Linux进程，调度应用任务以在各DSP之间取得负载均衡、Linux调度算法实时性优化，今后还可能进行基于该系统的目标识别应用研究。项目较复杂，有相当难度。目前我院以尹长青和罗怡桂两位年轻博士为主力，在孟庆余教授指导下，已进行了多轮研讨，目前已设计出初步解决方案。部分研究生正在为该项目准备知识。
（3） 基于LEON2的嵌入操作系统
LEON2是欧洲航天局推出的一种公开内核设计的处理器。目前航天领域使用的处理器型号较多，该项目主要拟新开发出一个适合航天器使用的通用嵌入式操作系统，能根据不同的CPU核对操作系统进行灵活配置，适应未来航天系统发展多样性的需求。项目难度较大，工作量非常大，项目周期会较长。目前我院尹长青博士和罗怡桂博士两位老师在孟教授指导下，正在对其进行初步分析。
（4） 航天软件高可靠性研究
航天软件对可靠性要求极高，如美国NASA规定，凡上天的软件都必须是可验证的。该项目主要是通过对航天软件从需求开始进行形式化分析，建立相关模型对软件系统进行验证。我院张苗苗博士曾在欧洲从事过三年多的混合系统建模及形式验证研究，对软件形式化等领域有较深造诣，目前她正投入到该项目的研究中。
（5） 航天三冗余计算机调度算法
也属航天高可靠性研究项目。主要是针对航天器上并行工作的三台容错计算机，如何最快速判断一台计算机硬件或操作系统出现故障，并且最快地切换到另外一台，如何确定切换到哪一台。目前张苗苗博士正通过建立有限状态机模型、Petri网等多种方法对算法进行探索。
（6） 卫星测试数据分析与挖掘技术研究
目前该项目已正式签约，由我院周闻钧、朱宏明两位对数据挖掘较有研究的老师负责，进展较快。
（7） 基于ADA语言平台高可靠设计模式
ADA语言在国防系统使用得较多，但目前有关ADA语言的设计模式少有研究。目前我院张卫山博士正在进行该项目的前期研究，他对设计模式和软件工程有相当研究水平。
（8） 运载火箭地面测试系统一体化数据库及数据处理软件
由我院穆斌教授负责该项目，其中涉及到回归分析模型等研究，目前已基本完成签约前的调研工作。
（9） 航天软件测试管理工具的开发
目前杜庆锋老师正发挥他在软件测试方面的多年实际工作经验，对该项目进行前期研究。
（10）卫星姿轨控显示软件
主要是在地面对卫星姿态和轨道进行观查显示，由我院户现锋老师负责.
[此贴子已经被作者于2005-6-4 0:29:14编辑过]
大家不用担心，都是公开数据，可以参考下面网址http://sse.tongji.edu.cn/pageshow/webdetail.aspx?id=516&classid=01
（1） 卫星图像无损压缩及IP核技术研究
该项目主要分析卫星往地面传输图像，因数据实时传输量很大(44Mbps)，需找出压缩比尽可能大但又不能过于复杂的压缩算法（若过于复杂则FPGA数字电路实现有困难），将这些算法用C语言进行仿真验证，最后用硬件(FPGA)实现。最后实现的硬件系统要用在星上固态存储器及地面接收机中。目前由我院徐燕凌博士负责，带领几位研究生进行研究，已取得一定进展。
(2） 卫星用嵌入式并行图像处理机
硬件系统主要由对方实现，系统结构较复杂，主要由1个ARM主处理器 加上 4-8个DSP数字信号处理器构成，目前这种多DSP结构在国内几乎未见。其应用主要是星上高速信号处理（如目标侦测和模式识别）。我院主要负责系统软件部分，包括底层BSP开发、嵌入式Linux移植、DSP驱动开发、将每个DSP封装成一个Linux进程，调度应用任务以在各DSP之间取得负载均衡、Linux调度算法实时性优化，今后还可能进行基于该系统的目标识别应用研究。项目较复杂，有相当难度。目前我院以尹长青和罗怡桂两位年轻博士为主力，在孟庆余教授指导下，已进行了多轮研讨，目前已设计出初步解决方案。部分研究生正在为该项目准备知识。
（3） 基于LEON2的嵌入操作系统
LEON2是欧洲航天局推出的一种公开内核设计的处理器。目前航天领域使用的处理器型号较多，该项目主要拟新开发出一个适合航天器使用的通用嵌入式操作系统，能根据不同的CPU核对操作系统进行灵活配置，适应未来航天系统发展多样性的需求。项目难度较大，工作量非常大，项目周期会较长。目前我院尹长青博士和罗怡桂博士两位老师在孟教授指导下，正在对其进行初步分析。
（4） 航天软件高可靠性研究
航天软件对可靠性要求极高，如美国NASA规定，凡上天的软件都必须是可验证的。该项目主要是通过对航天软件从需求开始进行形式化分析，建立相关模型对软件系统进行验证。我院张苗苗博士曾在欧洲从事过三年多的混合系统建模及形式验证研究，对软件形式化等领域有较深造诣，目前她正投入到该项目的研究中。
（5） 航天三冗余计算机调度算法
也属航天高可靠性研究项目。主要是针对航天器上并行工作的三台容错计算机，如何最快速判断一台计算机硬件或操作系统出现故障，并且最快地切换到另外一台，如何确定切换到哪一台。目前张苗苗博士正通过建立有限状态机模型、Petri网等多种方法对算法进行探索。
（6） 卫星测试数据分析与挖掘技术研究
目前该项目已正式签约，由我院周闻钧、朱宏明两位对数据挖掘较有研究的老师负责，进展较快。
（7） 基于ADA语言平台高可靠设计模式
ADA语言在国防系统使用得较多，但目前有关ADA语言的设计模式少有研究。目前我院张卫山博士正在进行该项目的前期研究，他对设计模式和软件工程有相当研究水平。
（8） 运载火箭地面测试系统一体化数据库及数据处理软件
由我院穆斌教授负责该项目，其中涉及到回归分析模型等研究，目前已基本完成签约前的调研工作。
（9） 航天软件测试管理工具的开发
目前杜庆锋老师正发挥他在软件测试方面的多年实际工作经验，对该项目进行前期研究。
（10）卫星姿轨控显示软件
主要是在地面对卫星姿态和轨道进行观查显示，由我院户现锋老师负责.
[此贴子已经被作者于2005-6-4 0:29:14编辑过]