首页>中文会议>其他>中国宇航学会计算机应用专业委员会2011年度技术交流会

中国宇航学会计算机应用专业委员会2011年度技术交流会

召开年：2011
召开地：广西北海
出版时间： 2011-05-20

主办单位：中国宇航学会

会议文集：中国宇航学会计算机应用专业委员会2011年度技术交流会论文集

会议论文

热门论文

全部论文

全选（0）

1.中间件技术在分布式异构环境中的应用研究
- 韩惠莲
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：中间件是为解决分布式环境中的异构及互操作问题而提出的。中间件(Middleware)是处于操作系统和应用程序之间的系统级软件，通过屏蔽各种复杂的技术细节使技术问题简单化。本文介绍了中间件的基本概念、分类方法，并详细讨论了各类中间件技术的特点、相关标准及发展应用情况，分析了中间件应用的关键技术，提出了进一步深化中间件技术在开放式航天系统上应用建议。
2.AT28C010在星载计算机中的应用
- 石冬生;彭飞;冯丹
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文探讨了kT28C010作为程序存储时需要考虑的内容，主要包括软硬停数据保护设计，EDAC使用方案设计，冗余备份和定时刷新等，适用于AT26C010作为程序存储和重要数据存储器件在宇航产品中的使用，同时其思路也可推广适用于其他EEPROM在宇航产品中的应用。
3.国产化空间飞行器嵌入式操作系统研究与设计
- 乔磊;杨桦;刘波;沈娟
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文分析了嵌入式实对操作系统在国内外航天领域的研究与应用现状，提出面向空间飞行器应用特点的具有多任务管理、内存管理、文件系统、容错和故障管理等功能的高可靠、高性能的嵌入式实时操作系统的研究与设计方案，并展望其在未来网络化及分布式安全空间飞行器中的发展前景。
4.基于知识推理的航天器自主故障诊断方法研究
- 龚健;杨桦;赵玮;乔磊
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：当前人类对空间的探索越来越多地向深空和星际发展，这对航天器的可靠性、长寿命和自主性提出了新的、更高的要求。本文面向深空探测这类型号任务，研究基于知识推理的航天器自主故障诊断的智能方法，并针对空间应用中航天器硬件处理能力和存储容量受限的特点，重点阐述了相适用的三项关键技术。采用c语言在基于TSC695处理嚣的嵌入式系统上实现了该故障诊断方法，实验的结果表明该方法有效。
5.基于国产处理器的三机冗余系统的设计
- 张毅;祝天瑞;李楠;祝长民
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文针对多机冗余系统的发展现状提出了利用国产器件实现的三机冗余计算机系统，充分利用国产CPU及国产FPGA可靠性高、拥有自主知识产权、配置灵活等优势搭建高可靠性三机冗余平台。
6.一种基于阴影扫描结构的改进片上调试方法
- 刘鹏;覃辉;于立新
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：随着微处理器工艺集成度．设计复杂度的提高，处理器系统的调试目前已成为了设计实现过程中非常重要的阶段。片上硬件调试方法因其干扰性小、功能强大等优点成为了目前应用最广泛的处理器调试方式。本文针对64位SPARC处理器中涉及整数寄存器堆的调试工作，提出了一种利用改进的阴影扫描结构来提高调试效率的方法。该方法在实际应用中可以改善处理器的可控制性和可观测性，提高调试工作的效率。
7.一种新型的可配置的无死区全数字鉴相器设计
- 王憨;陈雷;张彦龙;李学武;郭晨光
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文提出了一种新型的可配置的无死区全数字鏊相器的设计方法，通过内嵌SRAM存储配置数据,由配置数据根据不同的输入时钟频率控制鉴相器的鉴相灵敏度。通过采用超前滞后算法、产生三种操作状态，可以避免鉴相死区。全数字结构使其无条件稳定，具有良好的噪声敏感度、较低的功耗。该电路可以作为标准的数字单元库使用，还可以应用于现场可编程逻辑器件(FPGA)中，作为其时钟管理电路，使FPGA内部复杂的时钟系统化。
8.打印安全监控与审计技术研究与应用
- 李骁;徐钊峰
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：目前我国涉密单位机关多实行集中打印管理办法，在打印过程中多采用人工的方式手动填写打印记录，并由专职人员负责监督。随着我国涉密信息系统的信息安全水平和要求的不断提高，人工的传统打印监控方式不能满足保密及管理的需求，如何有效的对打印进行全面的安全监控与审计是本文研究的主要问题。本文针对传统打印模式的各种现状及问题进行了研究，从底层驱动进行监控与处理，提出符合国家规定的打印流程全生命周期的解决方案。能够适用于各种不同的打印设备和不同的打印环境。
9.提高FPGA功能仿真测试效率的若干方法
- 彭鸣
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文提出了在FPGA在功能仿真测试过程中使用TEXTIO方法产生仿真激励、断言验证和用WORD文件保存仿真信号这三种方法，通过具体实例进行分析，大幅度提高仿真测试工作的效率，为测试工作快速高效的完成提供了有效途径．
10.一种基于分时复用的大数据量FPGA仿真方法
- 王栋
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：在进行FPGA仿真测试时，由于仿真工具对数据内存范固的限制，会出现无法对大数据量数据进行仿真测试的情况。本文借鉴分时复用思想提出了一种在上述情况下可以进行大数据量FPGA仿真测试的方法，有效保证了FPGA仿真测试的充分性。
11.自动化企业网渗透测试平台研究
- 徐婧
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文从企业网渗透测试定义和意义入手、详细解释了企业网渗透测试原则、渗透测试针对的目标、测试流程和测试技术手段，最后提出了一种针对企业同进行渗透测试的工具----自动化企业网渗透测试平台的构想。
12.航天领域型号软件测试疑问闭环管理办法研究
- 安鹏伟;魏伟波
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：随着近几年我国航天领域型号研制任务的快速发展,软件质量已成为影响型号研制成败的一项关键因素、而软件评测是查找软件问题、提高软件质量的一项重要环节。而软件评测过程中，测试人员提出的所有疑问是否均能得到及时、准确的确认和处理，是影响我国航天领域型号软件测试是否充分的一项重要因素。本文提出了“型号软件测试疑问闭环管理”的思路，希望能为提高型号软件测试充分性，提高型号软件研制水平起到促进作用。
13.Agent仿真技术在航天工程型号管理中的应用设想
- 毛新涛;李永立;王声;郑爱华;刘俊;陈奕娴
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文通过对智能主体(Agent)概念以及Agent模仿人类的行为入手对既有的成功应用Agent方法的研究进行了回顾，指出了这种计算机仿真技术的优点。同时提出了在航天型号管理领域应用这种技术进行理论和研究的可行性，并以工程成熟度为背景，结合系统工程理论描述了在型号研制中具体应用这种方法的设想，以提高航天型号管理能力。
14.航天型号软件安全性评价框架研究
- 张伟;经小川;郑重
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文面对航天软件安全性发展的现状，首先介绍了软件安全性评价是保障软件安全性的有效途径，明确了开展评价框架研究是支撑软件安全性评价的基础工作。接下来重点阐述了基于软件安全性评价框架体系，实施开展面向软件开发过程主要阶段的软件安全性评价。最后进行了总结展望。
15.基于MC/DC准则的确认测试用例生成方法
- 郑平;杨桂枝
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：形式化的需求规格说明精确的描述了软件的功能，为测试提供了良好的条件。运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径。MC／DC(修改的条件／判定覆盖)准则是一种实用的结构覆盖率准则。本文结合模型检查技术,提出了一种从形式化的软件需求中自动生成测试用例的方法,以迟到对形式化需求的类似于MC／DC准则的覆盖测试。最后，以一个案例检验该方法的有效性。
16.基于服务体系结构的数据信息共享平台的设计
- 郭旭虹
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：航天型号数据信息应用系统繁多，平台标准不一致，数据格式不统一，造成资源浪费，统一管理困难。本文提出了一个基于服务体系架构的数据共享平台的设计方案，并针对航天器设计的业务流程建立服务模型定义服务接口，实现了一个松耦合易扩展软件可复用数据可共享的设计平台。
17.基于软件技术成熟度的软件技术风险分析研究
- 王婷婷;张刚;郑新华;马宽;郭旭虹
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：软件技术风险分析对于软件产品、软件产业和软件工程学科都有重要意叉和作用。本文基于软件技术成熟度理论，研究软件技术风险与软件成熟过程各个阶段的对应关系。结合软件技术成熟困难度理论，确定提升软件技术成熟度等级的困难程度与技术风险之间的关系，从而指导软件开发人员准确地把握软件当前面临的风险，以及继续完善软件存在的困难。本方法可以为有效地管理和控制软件技术风险，提高软件项目的成功率提供了有力支持。
18.军用自主计算机关键硬件自主可控评估体系
- 张帆;孙海霞
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：安全，持续、稳定、高放是军用计算机装备国产化的根本目标，目前国产自主关键软硬件已经取得了较大发展，但是如何评估国产关键软硬件的自主可控能力则是一个亟待解决的难题。本文基于层次分析法首次建立军用自主计算机关键硬件自主可控程度评估体系，可以对军用自主计算机以及国产关键硬件的自主可控程度进行客观的评估、准确的量化，为军用自主计算机的国产化研制提供真实有效的参考数据。
19.面向航天应用的国产嵌入式基础软件分析与展望
- 贺红卫;杨芳;刘新焕;刘冰;袁春如
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：嵌入式基础软件包含了嵌入式操作系统、中间件，数据库及软件集成开发环境等，其技术、产品及市场水平,直接反映了国家信息技术快速发展与能力提升的空间。作为当前及未来新兴软件产业的代表，嵌入式基础软件对国民经济建设与国防现代化有着重要与深远影响。我国航天嵌入式基础软件自主发展已经历了三十余年，在各项研制任务中发挥了重要的作用。本文从技术角度对国产航天嵌入式基础软件发展提出了一些概要性的初步看法。
20.研制国产化军用计算机面临的问题和对策
- 蒋志翔;郭灵儿
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文对研制国产化军用计算机面临的问题和对策进行了探讨。国产处理器、操作系统，基础软件等在技术和产品上不断取得突破，为基于国产关键软硬件研制军用计算机创造了条件，但面临草个处理器芯片性能偏低、外围配套芯片不全、软件优化支持不足，型号应用不充分等问题，需要结合具体的应用需求深入开展系统设计，通过并行处理、硬件加速、软件适配优化等技术提高系统性能，并加快型号应用验证，才能推动国产化军用计算机的快速发展。最后指出，军用计算机要实现完全国产化是一个长期的过程。
21.基于FPGA的混沌密码安全芯片研究
- 董文杰;张春侠;周春梅;林金永
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文在A5／1密码算法的基础上，针对其安全性弱点，引入一维Logistic混沌序列对其进行改造，提高了密码算法的安全性。该算法结构简单，易于实现，适合应用于飞行器飞行状态信息软回收过程。同时，本文利用FPGA技术，对所提出的密码算法进行了设计实现，测试结果表明，该芯片可以满足飞行器飞行状态信息软回收过程中的实时性和嵌入性要求。
22.一种基于UML模型的航天嵌入式软件构件化组装方法
- 何枫;王晓玲;解月江;王彦波;王鑫
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：软件复用可以有效减少软件开发中的重复性工作，本文基于UML模型的软件构件化组装方法利用UML模形语言设计软件功能，然后将模型图自动转化为程序框架，并通过组装重用构件生成目标软件的源程序。该方法实现了设计到代码的一致性转化,既大量降低设计、编码及测试的工作量，又确保了设计和实现的一致性，建立了一种高效的复用模式。
23.神舟嵌入式实时操作系统SZOS
- 程胜;刘姝
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：航天星弹型号对嵌入式实时操作系统(RTOS)在高可靠、强实时、易维护、微型化等方面提出了一系列应用需求。本文介绍了专门针对航天武器装备领域开发的星弹载嵌入式实时操作系统SZOS，并对SZOS的特点，总体结构、各模块的设计原理、SMP和AMP两种多处理器并行处理支持策略的实现以及SZOS的性能评测进行了详细论述。
24.综合保障信息化框架体系研究
- 王俊;李世磊
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：目前传统的保障形式越来越不能满足信息化战争的需要。本文提出了一种综合保障信息化框架体系建设方案，包括综合保障信息化组织结构、综合保障信息化标准体系和综合保障信息平台三大体系,对装备综合保障信息化框架体系建设进行了探索和研究。
25.FPGA设计中亚稳态现象的分析与预防
- 张国宇
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文对FPGA设计中亚稳态现象产生的原因进行了分析，对亚稳态的影响进行了初步探讨，给出了如何通过双寄存器采样方式、多路选择嚣方式、握手方式及双时钟FIFO方式防范亚稳态对FPGA设计的不良影响，并对具体方法的优缺点进行了阐述，对在FPGA设计过程中如何降低亚稳态的不良影响具有一定的借鉴意义。
26.GPS、北斗二代射频前端模块的设计
- 刘薇;刘凤莲
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文给出了兼容GPS、北斗二代的多模、多频点，高灵敏度的射频前端模块的设计方法和测试结果，为各种常用的卫星导航接收机提供开放式的前端射频平台。
27.北斗二代一期系统完好性监测技术
- 韩逸飞
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文分析了接收机自主完好性监测和广域差分完好性监测的基本原理，考虑北斗二代一期实际情况，提出完好性监测网络概念，利用冗余监测信息提高接收机定位精度，改善设备可靠性。
28.高性能可扩展异构多核处理器
- 亓洪亮;宋立国;于立新
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文围绕如何进行多核处理器的结构设计,提高处理器性能这一问题，设计了一种异构多核处理器，介绍了其组织架构，并通过运算256点FFT的性能和单处理器的运算性能进行了比较，表现出了多核计算的性能优势，展望了未来的研究方向。
29.国产化导航芯片中自适应多门限捕获检测技术
- 韩森
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：导航系统中的捕获阶段是接收机跟踪卫星信号并定位成功的前提。本文在基于信号功率的自适应门限检测方法和基于噪声功率的自适应门限检测方法的基础上，引八一种多门限自适应门限检测方法解决无线信道环境下导航接收机的卫星信号截获问题。仿真结果表明，提议方法具有较高的正确检测概率，同时降低了虚警概率，实现简单，具有很好的工程应用前景。
30.基于BM3803的NAND FLASH控制器设计与FPGA实现
- 祝天瑞;兰利东;祝长民
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：BM3803电路是航天772所研制的基于SPARC V8指令集的空间用抗辐射加固处理器。本文给出了一种基于BM3803的NAND FLASH控制器的设计与FPGA实现。该设计主要面向大批量数据存储，将BM3803相关操作通过对10的访问转化为对FLASH的操作，并将FLASH返回的状态数据等进行存储、解析，再返回给BM5805。本设计对BM3803芯片的开发使用提供了实例与参考。
31.基于SOC的双模卫星导航接收机
- 李文杰;兰利东;韩逸飞;刘薇
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文对基于SOC的双模卫星导航接收机进行了研究。单一GPS接收机和导航芯片国产化滞后已经不能满足未来导航应用需求，基于SOC的GPS与北斗二代双模兼容接收机将是未来卫星导航技术的重要基础之一。以自主研制的SOC导航芯片为核心开发双模接收机，展开对小型化双模接收机的架构与算法设计，开发高性能嵌入式双模导&t6t件并构建系统测试平台，最终验证多星座融合定位技术的实现及应用，为导航接收机国产化和组合导航应用技术提供了有力保障。
32.基于国产SPARC v8的导航SOC芯片软硬件协同验证技术
- 沈冲飞;刘微;韩逸飞;兰利东
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文为以国产SPARCv8为CPU核心的GPS导航SOC芯片提出一种结合传统方法和抽象化硬件结构两者的优点．采用Carbon系列工具进行软／硬件协同验证的方法。总线与外设等标准IP、采用ESL方法,为了加快Spaec v8的仿真速度及重用IGPS基带相关器通道IP，采Carbon公司的C M S工具生成Spaec v8和GPS基带IP模块的SystemC模型。基于这两种模型使用SOC Designer工具搭建SOC架构平台，在此平台完成导航算法硬件架构与软件架构的协同验证与优化。
33.一种嵌入式双核互斥SOC架构设计方法研究
- 刘亮亮;蒋彭龙
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：目前PLC产品主要来自欧姆龙、施耐德、NEC等国外厂家，制约了其在航天领域的应用。本文在完成梯形图专用处理器和LEON2处理器(Gaisler Research公司开放式SOC)基础上，通过对双核互斥、中断管理和数据一致性等问题进行研究，完成了基于LEON2处理器的双核互斥SOC架构设计。仿真结果表明，该架构可稳定、高效工作。
34.星载计算机软件动态更新
- 左小川;吕卫锋;王雷
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：对星载计算机软件动态更新有利于维持卫星平台的稳定性、可实现在轨回归测试，支持系统动态重构，是提高卫星可靠性的有效途径。本文对星载计算机软件的动态更新进行了研究，提出并实现了DSSU方案。在星上和地面采用动态分析与静态分析相结合的方法保证更新的安全。基于DSSU动态构建了微纳探测器星载软件系统，实现了应用系统软件的模块级粒度的更新。
35.嵌入式可重构指令集处理器软硬件设计技术
- 张惠臻;程胜
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文对嵌入式可重构指令集处理器软硬件设计技术进行了探讨。嵌入式可重构指令多处理器将可重构技术应用到专用指令集处理器的实现中，利用可重构逻辑器件的硬件可编程性，针对不同的应用特征自适应地定制其最优的执行环境。通过可重构指令集处理器软硬件设计技术的研究应用，能够在保有专用指令集处理器的优点的前提下更有效地满足嵌入式领域的不同应用要求。
36.武器系统软件加密算法研究与应用
- 苏均生;王学勇;张煜宇
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：通过程序加载、反编译，程序复制等手段，武器系统软件极易被分析和破解，相关核心技术，工作原理和关键信息很容易被掌握,从而寿连一步设备仿制提供了技术基础。本文从软件加密过程中所涉及的密钥配置管理，加密算法等角度，研究和实现了软件加密保护系统、并分析了加密算法在某设备加密保护过程中的应用。
37.故障树分析在发动机停车保护故障中的研究与应用
- 孟晓娜;赵菲
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文应用故障树分析法,对数字控制器中停车保护出现故障的因素进行了分析,建立了相应的故障树模型。在此基础上,使用下行法这种定性分析的方法对故障树进行分析,得到各因素的重要度，并通过重要度分析，找到了避免停车保护出现故障的途径。
38.基于决策树算法的嵌入式软件测试用例重用技术研究
- 刘伟;闫昆;李昆;朱琳;魏安策
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文通过应用数据挖掘的决策树算法，将测试专家分类重用测试用例的思想固化，并可以根据新采集的可重用的测试用例，不断扩充分类规则，使测试用例重用库具有了不断自扩充，自完善的能力。通过使用测试用例重用库中可重用的测试用例和测试思想，可以提高测试人员对被测软件需求规格说明中功能、性能等指标的测试全面性和有效性，提高工作效率，减少工作量，并提高测试质量。
39.基于软件质量模型的测试需求及测试类型提取技术研究
- 张明敏;刁立峰
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文通过建立软件质量模型、针对软件产品的功能、性能需求以及其他的一些质量特性展开分析，研究一种通用的测试技术来提取测试需求及测试类型，以便能更加全面的开展动态测试工作。
40.超小型MEMS/卫星组合导航系统
- 王佩生;兰利东;韩逸飞;沈冲飞;王建永;郝得宁
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本研究设计了一种超小型嵌入式MEMS／P星组合导航系统。该系统由MEMs陀螺、MEMS加速度计、磁强计以及卫星定位模块构成。基于工程化应用，提出一种高可靠扩展卡尔曼滤波器滤波算法，实时校准各种误差项，改善组合导航系统性能。在静态情况下，系统姿态角误差小于0.2°，航向角误差小于0.5°。在动态情况下，姿态角与航向角误差小于1°，如果GPS突然中断，将能持续30秒，定位精度维持在20米内。
41.BD2/GPS兼容接收机射频系统建模与仿真
- 刘凤莲;刘薇
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文根据BD2／GPS兼容接收机的总体指标要求，提出了切实可行的射频系统的实现方案。采用自顶向下的设计方法，利用ADs仿真软件建立射频系统的行为级模型，采S_parameter、Harmonic Balance和Budget等仿真器对射频系统的性能指标、系统预算增益，信道选择性和本振信号等进行仿真和分析，对指导射频系统的设计具有非常重要意义。由BD2 B1链路仿真可以得出射频系统的总增益为116．38dB，噪声系数为3dB，带宽5MHz。仿真结果表明，设计的射频系统符合实际接收机的要求。
42.DFMEA在软件可靠性分析中的应用研究
- 韩雪川;兰利东;韩逸飞;王建永
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文介绍了软件失效的几种模式，以及软件可靠性分析的作用与目的，在此基础上对可能引起软件可靠性变化的各种故障模式作了分析。详细介绍了DFMEA这种软件可靠性分析的方法及具体操作过程并指出了软件可靠性分析的注意事项，对软件可靠性分析工作的开展具有较强的指导意义。
43.SPARC V8处理器MXT0106芯片支持库的设计实现
- 郝得宁;王建永;兰利东
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文针对国产SPAEC V8架构的MXT0106嵌入式处理器，进行芯片支持软件的设计和实现，完成的芯片支持软件库及其源代码，经过完善的测试，成为随处理器发布的重要软件。
44.基于Proteus仿真的微型系统开发应用
- 董攀;范隆;岳素格;杨晓飞;郑宏超
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文介绍了Proteus软件的特点和功能并以数据采集和步进电机控制接口电路设计为例介绍了Proceus的应用方法，实现了串口通讯，数据采集以及步进电机控制等功能。
45.基于TLM2.0的SPARC V8指令集仿真器设计
- 周海洋;李玉红
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文介绍了一种面向SOC(System on a chip，SoC)事务级模型设计的SPARC V8指令集仿真器。该仿真器能正确仿真SPARC V8的程序并报告指令执行的详细过程，具有14-1 7KIPS仿真速度。仿真器符合TLM2．0标准,可简单的与其他符合该标准的模块互联，组成SoC原型。
46.基于国产SoPC平台的外部总线设计与实现
- 蔡一茂;赵元富;兰利东
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文介绍了基于国产SoPC平台的外部总线设计与实现技术，详细介绍了国产SoPC芯片的结构和性能，重点给出SoPC外部总线的设计流程以及在实际中的应用，并使用总线实现了一个具体的应用，这些方法对国防技术中进行系统设计具有重要实际参考价值。由于采用SoPC方案进行系统设计，充分利用FPGA的可编程性，整个开发过程变得灵活方便。
47.空间处理器纠两位错(16，8)码的研究
- 郝丽;于立新
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文针对纠错码在空间处理嚣的应用趋势，对能够纠正两位错，并且编码信息位长为计算机容错比较常用的8住的(16，8)码进行综述、总结利用物理位置变化与奇偶校验矩阵列的关系来提高编码相邻几位纠错能力的方法，提出了构造(16，8)码的通用方法。利用存储器编码增益理论。仿真评估得到(16，8)码对存储单元(比特翻转率为10-6／bit／s)加固时，由编码得到的平均无故障时间可增加到原来的108倍。
48.使用“子连接发现”控制FTP服务的使用速率
- 姚传奇
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：在网络安全中，常常会根据需要来限制采种服务的网络传输速率，比如下裁，可以限定单个IP地址的最高下载速率为100K／S，从而使网络资源得到合理充分的利用。FTP协议由于其特殊性，很难做纠网络数据率的控制。本文在研究Netfilter框架的基础上提出了一种行之有效的解决办法，该技术方案具有普遍适用性，对于解决此类问题提供了一种可借鉴的思路。
49.基于SOA的存储安全系统架构设计
- 张永静
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：随着国家安全保密要求的不断提高，各保密单位在存储安全系统的建设中面临新的挑战。本文从软件体系结构角度出发，介绍面向服务体系架构(SOA)的理论及特点，提出了可行的基于SOA的存储安全系统体系结构，并详细阐述了系统功能与技术方案。
50.CAN总线驱动软件的测试设计及实现
- 孙凤丽;杜轩;杨桂枝
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文通过对CAN的特点和CAN总线驱动软件测试的特点进行分析,提出了CAN总线驱动软件的测试设计方案,该方案覆盖了测试的全过程,从测试内容的分析、测试环境的搭建、测试用例的设计、测试驱动的编写、直到测试用例的执行，并介绍了在具有15个节点的CAN总线网络环境中进行CAN驱动软件测试的实践过程。
51.基于Petri网的AADL模型正确性验证研究
- 张辉;经小川;谢伟华;高金梁
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：体系结构分析和设计语言MDL在航空航天等嵌入式系统中具有广阔的应用前景。本文提出将AADL模型的模式和模式转换映射成Petri模型，结合Petri的理论对AADL模型的正确性进行验证，通过具体实例验证了该方法的可实施性和有效性。
52.模型驱动的实时嵌入式系统分析方法
- 佟庆涛;郑新华;张伟;张刚
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文介绍了实时嵌入式系统的开发过程，重点阐述了系统分析阶段的分析方法。该方法以模型驱动的方式进行，具体包括物理环境模型、静态逻辑模型、动态行为模型和数据定义模型等四类模型。最后，介绍该方法的典型应用和原型工具。
53.星载SpaceWire总线及其开发测试技术综述
- 湘陇;杨衡平;经小川;谢伟华
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：本文对星载SpaceWire总线及其开发测试技术进行了阐述。作为一项专门面向星载应用的高速数据传输的总线技术，SpaceWire现已被ESA，NASA，JAXA以及其他实体广泛的使用，是已被验证的成熟技术。Spacewire提供简单适用的标准接口，可以根据应用要求灵活多变的配置最合适的体系结构，同时Spacewire技术的不断发展提供了更多更强大的功能。现有Spacewire相关宇航级芯片以及被广泛验证过的IP核可以用来开发spacewire设备及系统，并且有一系列的开发测试设备可以用来检测、测试或者分析评估spacewire设备、链路和网络。
54.固态盘控制器芯片的研究与设计
- 朱正美;曲新春;蒋志翔;孔雷
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：固态硬盘被越来越多的应用于现代武器装备中，固态硬盘控制器是固态硬盘的核心部件，设计一款自主知识产权的固态盘控制芯片意义重大。本文设计基于国产龙芯cPu核的固态盘控制器片上系统，支持SATA／PATA接口，支持基于USB key的身份认证，支持数据加解密以及安全防护功能。
55.面向构件化软件开发的可视化建模研究
- 宋文鹏;侯敏;王泊涵;贺红卫
- 《中国宇航学会计算机应用专业委员会2011年度技术交流会》 | 2011年
摘要：随着计算机软件规模和复杂性的不断提高，软件开发中产生的重复劳动越来越明显，即产生了所谓的"软件危杌”。软件复用技术可以提高软件开发效率和质量，被视为解决“软件危机”的可行途径。构件化软件开发又是现阶段实现软件复用的有效手段之一。本文在研究构件化软件开发的基础上提出了面向构件化软件开发的可视化建模方法。