首页>中文会议>工业技术>自动化技术与计算机技术>全国抗恶劣环境计算机第二十六届学术年会

全国抗恶劣环境计算机第二十六届学术年会

召开年：2016
召开地：重庆
出版时间： 2016-09

主办单位：中国计算机学会

会议文集：全国抗恶劣环境计算机第二十六届学术年会论文集

会议论文

热门论文

全部论文

最新会议

更多>>

全选（0）

1.基于信任度的物联网多路径安全路由协议设计研究
- 杨斌;郑建群;杨明华;杨银刚
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文提出的基于信任度的物联网多路径安全路由协议使用跨层安全机制，应用信任的分簇来提高安全性，在不使用密码学机制的基础上为物联网提供了一定的保护。通过仿真实验对报文投递率、路由负载以及平均端到端的延时进行了检测，检测结果证明本文提出的路由协议在存在不安全因素且节点能力各异的复杂网络环境下的合理性和有效性。顾及物联网中较低智能节点的能力，本文的安全路由协议没有采用密码学机制，保证了一定的物联网安全性。但随着节点硬件技术的发展，采用加密技术与基于信任的路由协议相结合的方式将是未来的方向。
2.量子通信技术的发展对抗恶劣环境计算机网络空间的影响与对策
- 黄金洲;陆彦琦
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：抗恶劣环境技术的目标已从传统的抵抗恶劣的物理环境,逐步发展到抵抗复杂的电磁环境和易受攻击的网络环境.在未来陆、海、空、天一体化联合作战的背景下,抗恶劣环境计算机更是要求能够在开放式网络环境下提供信息通信的大容量、高速度、保密等方面的技术措施,而量子通信技术正好符合要求.随着量子通信技术的发展,量子通信将逐渐步入实用化阶段,量子通信技术对易受攻击的网络空间形成了巨大的冲击.本文首先探讨了一下量子通信技术的发展现状及趋势,然后分析量子通信对抗恶劣环境计算机网络空间的影响,最后提出若干应对措施以及量子通信应用可行性分析.一旦量子通信技术进入实用阶段，抗恶劣环境计算机应当如何应对，这是摆在抗恶劣环境计算机网络安全的一个紧迫问题。提出应该未雨绸缪，积极探求具有自主知识产权的抗量子计算密码算法，以应对量子通信带来的机遇与挑战，确保量子计算环境下的网络信息安全。
3.基于TCM的用户行为度量技术研究
- 杨明华;贺晖;杨斌;何水发;胡计鹏
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着计算机网络技术的不断发展,计算机终端面临越来越多的安全威胁,为了提高计算机终端的抗攻击、自免疫能力,基于可信计算技术,国产龙芯3A处理器、中标麒麟操作系统和可信安全芯片TCM(Trusted Platform Module),设计实现了UKey双因素认证与TCM认证相结合的强认证机制,在此基础上完成了对针对用户身份的透明加解密,实现了基于用户身份对用户行为的可信度量.最后通过实验对系统性能进行了测试.测试结果表明,本文设计的度量系统在系统性能和用户体验方面能够满足实际应用需要.
4.液冷加固机箱若干关键技术的研究
- 王凯;戴然
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文分别对箱体级液冷加固机箱和芯片级液冷加固机箱设计中的关键技术进行了分析，并对流道参数设计及相关计算进行了举例分析，结果表明液冷加固机箱的散热能力远远强于强迫空气冷却法的散热能力，并且设备在工作过程中的噪声较低。最后对液冷加固机箱制造过程中的关键技术进行了分析，对液冷加固机箱的工程应用，特别是未来大功率电子机箱中液冷散热技术的应用奠定了基础，同时对目前电子设备的降噪工作具有重要意义。在未来的工作中，将重点针对大功率机箱和机柜类设备中芯片级液冷系统进行研究，对微通道流道进行重点研究，并将开展液冷散热的热仿真和实验测试工作，使液冷散热技术得到广泛的工程应用。
5.国外电子设备空气冷却技术研究的新进展
- 周尧;田沣;张丰华;杨明明
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着微电子技术的迅速发展,电子元器件集成度和热流密度不断增大,散热问题变得日益突出.与其它冷却技术相比,空气冷却具有可靠性高、系统简单、成本低等优点,目前其冷却性能仍具有很大的提升潜力.本文介绍了空气冷却技术的研究现状,指出了提高空气冷却性能的主要途径,并介绍了国外研究机构在空气冷却技术方面取得的新进展.
6.ATR密封机箱的散热设计
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文分析了ATR机箱的主要热源,针对PCB印制板、电子元器件、导热冷板及机箱箱体等方面的散热途径进行了热设计分析和散热实施方法设计.通过专业的热分析软件对机箱整体进行热仿真计算,定量分析了其在特定环境下的散热特性.环境试验结果表明,本热设计方法合理可行,能较好地满足此类机箱的散热要求并可靠地运行.
7.无线信道下ROHC压缩技术研究与性能评估
- 焦蓉;刘芳
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文针对带宽受限的无线信道环境下的ROHC压缩问题进行了研究.首先对现有IP报头压缩技术进行了分析,分析了几种IP报头压缩技术的制约因素;其次,根据典型无线信道特征,描述无线信道下的具有鲁棒性的IP报头适配裁剪技术,并根据研究结果初步进行ROHC设计及代码实现,重点解决压缩模式转换、差错校验问题、上下文修复等关键技术;最后根据实验环境选择了信道质量不同的3种无线信道卫星信道、数据链信道、无线Mesh信道进行关键技术的验证,并给出性能比对结果,根据实验结果验证了本文采用的无线信道下ROHC压缩技术的正确性和可行性.
8.基于GPGPU的合成孔径雷达成像算法及优化方法
- 邱吉冰;杨天鹏;赵艳伟
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：以GPGPU为代表的流处理架构以其优异的并行处理能力和综合性能功耗比在计算密集型应用中获得广泛关注,本文在分析流处理架构和编程模型的基础上,研究了基于GPGPU的合成孔径雷达成像算法,给出了算法的流处理实现流程,并且提出了两种改进方法.
9.基于ARM架构的可重构指令集处理器设计
- 殷进勇
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：针对无法统合通用处理器的灵活性和ASIC芯片的高性能的问题,提出了一种可重构指令集处理器设计技术.该技术基于ARM架构,采用部分重构和协处理器机制,实现了处理器指令动态在线重构.并针对该处理器结构,设计开发了可重构资源管理等系统软件.实验结果表明,该处理器兼具通用处理器的灵活性和ASIC的高性能,具有广泛的应用前景.
10.面向Android移动终端的安全性增强技术研究
- 杨霞;刘维飞;郭文生
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：为增强Android操作系统的安全性和数据隐私,在分析当前的技术后,提出一套完整的面向Android移动终端的安全增强框架,主要包括多Android技术和基于Trustzone的可信保护技术.采用容器技术和虚拟化技术在同一个硬件平台上独立地运行多个Android系统,每个系统可以独立使用系统物理资源,并且可以相互快速切换.研究并实现了基于Trustzone的可信微内核和安全存储技术,对关键程序和数据进行保护.最后,通过实验原型和测试数据验证了所提方法的可行性.
11.基于XtratuM的TycheOS半虚拟化设计
- 金玉川;李晖;张彭秀
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文介绍了XtratuM hypervisor虚拟化软件的架构，提出了一个基于XtratuM的TycheOS半虚拟化实现方案。实验结果表明，Tyche操作系统可以运行于XtratuM的一个分区上，操作系统上创建的任务可以按照预定的方案运行。目前的XtratuM hypervisor仅支持单核处理器，分区间调度采用时间片的方式，未来可以对其进行改造使其支持多核AMP和SMP，甚至支持Intel和ARM架构的硬件虚拟化技术，届时，XtratuM的执行效率将得到大幅提升。
12.基于PowerPC的网络存储系统设计实现
- 于立北;黄楠;韩华锦
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：近年来,计算机服务器行业发展迅速,国家信息安全日益受到重视.网络存储作为服务器级存储和专业级存储产品中的关键部件,直接影响着系统读写速度、数据安全性等性能.本文基于在恶劣应用环境下的系统可靠性、功耗等方面的要求,设计并实现了一套基于PowerPC微处理器P2020的网络存储系统.首先提出了本系统的总体设计和模块划分;然后详细介绍了基于PowerPC P2020设计的硬件平台和基于嵌入式Linux设计的软RAID阵列实现;最后,对系统进行了性能功能测试.
13.一种高可用存储多路径设计与实现
- 范长军;胡志成
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着现代网络存储技术的不断深入发展与广泛应用,存储多路径技术成为信息系统容灾与安全解决方案中的重要核心技术之一.本文在研究现有存储多路径技术的基础上提出了一种基于ALUA的多路径存储子系统设计与实现方案,并重点在逻辑卷控制器属主管理、ALUA属性与路径选择策略配置和I/O重定向等三方面进行了创新性的设计与实现.经过应用测试,该系统很好地解决了多路径的路径选择、路径切换问题,并智能地实现了I/O的负载均衡,极大地提高了性能和可靠性.
14.一种虚实结合的机载航空总线的设计与实现
- 崔西宁;毛元泽;戴小氐
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着电子技术迅猛发展,综合化航空电子系统(IMA)越来越复杂,软件规模越来越大,与前三代系统相比在设计、手段、方法方面发生了本质性的改变,在提高飞机各项性能的同时,也为飞机的安全性带来新的挑战,为了验证机载航空电子系统,需要建立航电系统地面仿真验证环境,在节约成本的前提下,对航空电子系统最大限度的仿真验证.新一代的航空电子系统中,通常大部分系统间的数据传输使用FC、AFDX、1553B等机载网络传输.在本文的地面仿真验证环境中,各分系统之间通过AFDX总线、ARINC429总线和CPIC总线进行互联.本文设计了一个虚实结合的机载航空总线网络,其中AFDX总线是物理总线,通过AFDX板卡进行传输数据.而ARINC429总线和CPCI总线为虚拟总线,采用基于共享内存的方式模拟这两种总线进行数据传输.在数据传输过程中采用发布/订阅机制以保证数据的稳定传输.
15.面向UM-BUS总线系统低功耗设计的最大空闲时间消息调度算法
- 白瑞英;邱柯妮
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：UM-BUS是面向嵌入式系统的具有远程存储能力的可重构高速串行总线.它支持多个节点之间直接互连,可以根据链路状态将数据包动态的分配到通信通道上进行高可靠并行高速传输.随着嵌入式系统处理器频率和传输速率的提升,功耗问题已经成为制约嵌入式系统发展的重要瓶颈之一.针对UM-BUS总线系统,本文将系统的功耗优化问题形式化描述为整形线性规划问题,通过求解最优的消息调度方法使得总线上各通道公共空闲时间最大化,从而可在该空闲时间内使相关节点以低功耗模式运行实现系统总体功耗最小化.本文还提出一种启发式算法来有效求解该调度问题.实验结果表明,对于给定的传输任务在满足任务调度的前提下,算法能使最大空闲时间增大从有效降低系统功耗.
16.MRC:一种自主知识产权的多主高速实时控制总线
- 于圳宁;侯曾;孟英谦
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着装备信息化建设发展,总线通信技术成为武器装备信息化中重要的技术指标,目前国内总线技术的发展严重依赖进口,受对华禁售与禁运等限制,许多装备的发展受到严重制约.基于国内总线技术现状及未来武器装备发展要求,研制具有自主知识产权的,强实时、高可靠、强兼容、动态分配等特点的车载高速实时控制总线技术成为信息化发展的关键.提出一款具有自主知识产权的多主高速实时控制总线技术(MRC),该总线采用双通道冗余,时分多址与命令/响应方式相结合的通信方式,支持多种错误检测机制,支持多层总线结构.
17.基于HA集群的卷镜像技术研究
- 乔强;江云飞;李义杰
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：为了满足服务器对关键业务的高持续性和数据保护需求,针对当前的存储阵列系统结合卷镜像技术提出了一种高可用集群存储阵列架构,并对其所涉及的高可用集群技术和卷镜像技术进行研究.首先,对成熟的集群技术进行了介绍,并着重介绍了高可用集群的功能特性、原理与应用.然后,先表明卷镜像关键技术的功能特性、工作原理,再阐述其实现方式和具体应用.最后,将高可用集群技术与卷镜像技术组合使用,可搭建高可用集群存储阵列架构.带有卷镜像功能集群存储阵列可使关键数据不丢失,关键业务不中断.
18.弹载SiP内嵌存储器的功能测试方法
- 刘慧婕;李岩
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文针对弹载SiP中集成的存储器器件的功能测试需求,开展了弹载SiP内嵌存储器测试方法的研究,将弹载SiP内嵌存储器的测试分为筛选测试与系统功能测试两个阶段.围绕SiP内嵌存储器器件本身的筛选测试要求,提出一个结合了针对存储器外围连接线测试的"三步法"和针对存储器存储单元阵列测试的算法的新的测试算法——"T-s&March S/B"算法.并以某款弹载SiP芯片的内嵌的三个双口RAM为例开展了筛选测试,后续按照功能测试需求,根据其弹上应用特点对双口RAM进行了系统级功能测试和软件实现.
19.人工神经网络的研究现状及在航空领域的应用设想
- 程陶然;文鹏程
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：人工神经网络是人工智能领域的重要分支,本文综述了人工神经网络的发展历程、经典模型、已有成果和实现方法,并分析了基于FPGA实现的关键问题.结合航空领域对智能信息处理的需求,本文提出了一种传统机载计算机系统和神经网络处理模块相结合的应用设想。
20.基于可信计算的工业控制系统安全增强机制研究
- 孙亮;陈小春
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文将可信计算引入到工控系统，实现对工控系统的安全增强，以主动免疫的思想对控制信息、控制程序、控制业务的保护。本文首先对工业控制系统进行了分析，提取了各种网络的一些特征，提炼出工业控制系统的架构，将可信计算机制引入重要网络节点，并对部分关键技术进行了原型验证。
21.ONVIF协议重放报文测试方法研究
- 明亮;黄敏桓
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：ONVIF(Open Network Video Interface Forum)协议已成为网络摄像机的公开标准规范,并广泛应用于视频监控领域.为了提高ONVIF协议的安全性,本文针对ONVIF协议的技术特征,研究提出了基于报文解析的ONVIF协议重放报文测试方法,支持认证重放测试和功能重放测试,提出了ONVIF协议重放报文测试设计方案,并进行了原型系统实现,实验表明,该方法能够检验ONVIF协议摄像机对重放SOAP (Simple Object Access Protocol)报文的处理能力,发现摄像机的ONVIF协议重放处理缺陷,有助于有效提升网络摄像机的安全性.
22.混合总线的加密抗恶劣环境计算机设计
- 张广明
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：海军舰艇指火控系统的发展对加固计算机的处理能力和安全性提出了更高的要求,本文设计了一种基于CPEX总线的混合总线的加密抗恶劣环境计算机,在大幅提高信息传输速度的同时,兼容传统CPCI设备,通过建立数据加密机制保证系统的安全性,同时从电磁兼容、热设计以及抗振动冲击方面的设计集成加固,该型计算机的测试通过为新型复杂环境下的加固计算机设计奠定了基础.
23.基于GPU的恶劣环境下并行计算系统
- 夏少杰;高翔;胡良文
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文针对军用计算机抗恶劣环境、高可靠、小型化以及实时处理能力强等需求,设计实现了一种基于GPU的恶劣环境下并行计算系统.硬件方面,设计实现了基于VPX接口的GPU服务器,在高可靠基础上提供了强大的并行计算能力;软件方面设计实现了基于CUDA的并行计算框架,该框架屏蔽了GPU编程的复杂性,让用户可以专注于业务逻辑的实现.
24.传感器网络安全数据聚合原型系统的设计与实现
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：网络原型系统是对网络算法和协议进行实践检验和分析的重要手段.基于TinyOS操作系统,设计并实现了一种传感器网络安全聚合原型系统.系统在节点中实现了数据的隐私保护,在簇头实现了簇内数据的有效聚合;最后,在TinyOS自带的LEPS平面路由的基础上,实现了基于簇结构的数据聚合路由系统.系统在Micaz节点中运行,通过MIB520CA网关连通WSNs与PC机,由PC机负责网络中聚合值的收集.
25.基于FPGA的安全信息处理验证系统设计
- 王晓璐;情彦淇;周津
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：信息化时代对安全可信的需求越来越多,而安全可信的前提是完成各种密码算法的软硬件实现.目前,基于FPGA的安全信息处理设计已完成,如何确保算法硬件设计的正确性成为急需解决的问题,本文基于Xilinx Vertex-7系列FPGA提出了一种密码算法的验证系统设计方案，将硬件测试结果与软件测试结果进行对此，确保了几种常用密码算法的正确性，且本文基于硬件提出的验证方案具有较快的计算速度，为高速数据传输下的信息加密提供了解决方案，同时，该系统具有一定的可扩展性，可以为相同接口类型的算法验证提供设计参考。
26.可靠性强化试验技术在计算机研制中的应用
- 余泽茂;刘凯;王晓雷
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：可靠性强化试验技术(RET)是一项先进的可靠性研制试验技术,通过在产品研制中引入增强试验条件可以快速充分地暴露产品缺陷,设计出高可靠性的产品,并缩短研制周期.文中简要介绍了可靠性强化试验的技术优势、应用特点和原理方法,通过RET技术在一体化计算机研制中的应用和分析,讨论了加固计算机实现高可靠性的关键技术.最后对RET技术适用范围和推广过程中需要解决的问题进行了总结,提出RET技术非常适合在抗恶劣环境计算机技术研究中推广应用的结论,希望能对工程技术和管理人员具有一定的启发作用.
27.加固计算机的机械环境适应性设计及动力学分析
- 丰皇;尚硕
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：作为特殊的军用地面电子产品,加固计算机所处的机械环境比较恶劣,需要对其进行抗振动、抗冲击的适应性设计.机械环境适应性设计方式包括加固设计和隔振缓冲系统设计,根据两者遵循的原则和方法提出设计过程中的具体设计思路.着重强调了加固计算机整机及内部各模块的机械环境适应性设计细则,并对某型加固计算机进行了仿真分析和优化设计,同时介绍了它需要进行的机械环境试验,全面的阐述了加固计算机在进行机械环境适应性设计时的各种设计因素和注意事项.
28.军用计算机的电磁兼容仿真研究
- 王艳斌;张辉
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：计算机的电磁兼容技术对于促进军队信息化和国家信息安全建设具有重要意义.为满足军队计算机防信息泄露的要求,军用加固计算机的电磁兼容性需要充分考虑其使用环境、机箱设计、电路板设计等方面.结合实际科研项目,对加固计算机进行合理的电磁兼容设计以达到抑制电磁干扰的目的,最后对该计算机的三维机箱和整机进行仿真,仿真结果表明,在电场辐射发射和电源线传导发射下均符合国军标的电磁兼容性要求.
29.抗恶劣环境计算机的虚拟化技术分析及发展趋势
- 陆彦琦;黄金洲
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着计算机技术的飞速发展,各类新技术也不断涌现,其中虚拟化技术凭借其自身的优势成了常用的计算机新技术.虚拟化在改善系统安全性、可用性、降低成本和提高灵活性上有着很大的进步,能够对抗恶劣环境计算机的发展有着重大意义.本文阐述了系统虚拟化的发展背景、概念和分类;并介绍了虚拟化技术给抗恶劣环境计算机带来的优点与可能存在的安全问题;最后提出了在抗恶劣环境领域虚拟化技术的发展趋势,由于虚拟化技术的发展前景广阔,该项技术的国产化也必将成为未来的一大热点.
30.基于二次扫描的并行化连通域分析算法设计
- 李冰洁
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：连通域分析包括对二值图像中连通域进行标记和特征计算,是图像处理过程的重要一步.传统的连通域分析算法是串行化的,花费的时间较长,影响整个图像处理系统的运行效率.本文提出了基于二次扫描和数据划分的并行策略.通过将二值图像划分成若干块,每一块内采用二次扫描的连通域标记方法,这些块并行地进行连通域分析.每一块的连通域标记结果存在信息表中,将信息表合并后可以得到最终的连通域标记结果.本文将提出的并行化的连通域分析算法在FPGA平台上实现,并与传统的二次扫描的方法进行了比较,实验结果表明本文的并行化算法在时间效率提高了10～40％,存储资源占用率也大大降低.
31.FPGA软件缺陷分类研究
- 冯志华;李东方
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：软件缺陷分类是研究软件缺陷管理的基础.针对可编程逻辑阵列(Field Programmable Gate Array,FPGA)软件缺少缺陷分类的问题,研究了传统软件缺陷分类优缺点、信息技术安全标准(CC标准)和专用集成电路(Application Specific Intergrade Circuit,ASIC)规则集,结合航天型号的FPGA软件工程实践,提出了FPGA软件缺陷分类,其中包括功能安全缺陷和保密安全缺陷类别.该缺陷分类有利于指导FPGA研制和测试单位过程改进,进而提高FPGA软件的质量与可靠性.
32.基于时间序列的软件可靠性多尺度混合预测模型
- 先毅;王博
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：软件可靠性增长模型(SRGMs)对于软件可靠性定量评估与预计具有非常重要的意义.时间序列分析技术可不需要制定任何假设就可以进行数据分析预测,显著提升软件可靠性模型的适用性.因此,本文提出一种基于时间序列的软件可靠性多尺度混合预测模型,该方法将该时间序列进行各个频段上的多分辨级别的分解,分别针对细节部分、非平稳信号和随机成分各自的特性进行多尺度分解后的分析建模,能够针对各部分频谱特征选用预测效果最好的模型,再重新组合得到较好的函数逼近与预测效果.实例结果表明,与现有的参数化软件可靠性模型以及单一RBF神经网络模型相比,本文提出的多尺度混合预测模型具有较好的适应性和较高的预测精度.
33.AADL行为模型形式化分析方法的实例研究
- 滕燕;赵永望
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着航空航天领域软件系统对可靠性及安全性要求的日益提高,形式化分析方法逐渐得到越来越多的重视.模型驱动开发过程中,在模型分析阶段,采用先进分析工具对系统模型进行形式化分析已成为研究热点,而模型转换成为模型形式化分析研究中的关键问题.本篇论文基于航空航天领域的一个实际的工业界应用系统,GNC应用系统的遥测子系统TSG,介绍在模型驱动开发过程中对AADL模型的形式化分析方法的实例研究.首先对于TSG系统进行AADL系统建模.第二步针对TSG系统的AADL行为模型进行形式化分析及验证:(1)介绍AADL建模语言及行为附件.(2)介绍形式化分析的关键步骤——模型转换,首先给出目标模型CSP的概述,然后通过实例介绍转换规则.(3)在TSG的形式化模型基础上进行特定属性的安全分析.整个TSG系统的模型的构建过程是在AADL模型驱动开发集成环境SZIDE上实现的,TSG系统的形式化分析在PAT工具中实现.
34.一种基于Arinc653操作系统的形式化建模语言
- 刘聪
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着机载软件系统高度综合化、模块化,为了提高机载软件的安全性和可靠性,国际ARINC组织针对IMA结构提出了健壮分区的思想,并制定了ARINC653标准.为了更加简单高效的实现对ARINC653实时操作系统的建模及其验证,基于现有的形式化开发方法B,提出了一种新的形式化开发方法B*.B*基于一阶逻辑和集合论,本文主要介绍其中的建模语言B*语言.为了在抽象层次实现对ARINC653操作系统的建模,B*语言区别于常规的高级程序语言,它将数组、链表等具体的数据结构抽象成集合,以便能够在抽象层进行验证,降低建模与验证的难度.当使用B*完成系统的建模与验证,需要将B*模型转换成可执行的代码,基于下推自动机理论,实现了B*模型到C语言之间的自动转换,并对转换的语义等价性给出了形式化的证明.
35.基于DO-178C的生命周期数据配置模型
- 王亚平
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：软件配置管理过程是DO-178C规定的软件生命周期的软件综合过程中的重要部分,它跨越软件生命周期的全部区域,并影响所有的资料和过程.为了解决安全关键软件的开发中配置项的管理问题,本文提出了一种生命周期数据配置的模型.该模型结合DO-178C标准,给出了构成配置管理模型的数据集、函数和关系三个要素的内容,对关键函数的算法进行了说明,并结合CPU的验证活动进行了实例说明,是实施配置管理过程的有效方案.
36.弹载软件系统级验证方法及实施
- 梁瑜;闫帅
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：航天型号软件测试中,弹载软件大部分受测试环境的影响,难以得到充分的动态验证,为更好的保证弹载软件接口实现的正确性与协调性,在多年从事地空导弹武器系统弹上软件测试工作的基础上,通过对弹载软件构成、各软件接口设计与实现内容进行总结和分析,给出了一种人工审查的方法,包括管理与组织形式、具体审查内容、审查数据记录示例等内容,使得测试人员能够从数据分析的角度进一步验证弹载软件实现的正确性.
37.一种基于FPGA的高速网络数据包全采集与分析架构
- 陶磊;项世珍;陈小凤
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：目前高带宽网络数据采集与分析领域是大数据时代重要研究领域之一.其应用涉及网络信息搜集、网络数据监控与获取、网络性能测试分析.根据不同的应用场景与数据处理要求,在该领域内形成了几种各有特点的技术架构.通过对几种不同技术架构探索与比较,并分析了采集及存储过程中的技术实现细节,提出了基于FPGA的专用采集与记录架构.该架构性能突出,能够保证数据获取的完整性,是目前实现对超高速网络数据全采集与分析的重要技术手段.
38.嵌入式系统多核调试技术研究
- 张彭秀;杨博;李晖
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：多核与多处理技术的发展为系统调试带来新的挑战.本文针对同构和异构多核处理器结构,研究处理器体系结构的抽象技术、处理器运行状态的混合显示技术、边界扫描连接的菊花链方式等,能够在一个调试环境中对包含有两个以上同构多核处理器的SoC或包含有两个异构多核处理器的SoC同时进行调试,实现多核处理器的并行调试.
39.嵌入式系统虚拟化技术研究
- 李晖;金玉川;张彭秀;杨博
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：计算机系统虚拟化技术是IT领域近几年的热点技术.虚拟化技术的下一步发展方向是嵌入式系统.嵌入式系统进行虚拟化是在嵌入式硬件平台和上层应用之间加入一层叫做虚拟机管理器的软件,由后者构造出可运行多种相互隔离的操作系统的虚拟机.本文介绍了嵌入式领域虚拟化技术的研究工作及相关标准,分析了虚拟化技术在嵌入式领域面临的主要问题,提出了一种嵌入式虚拟机Tyche Hypervisor的设计原则,重点描述了Tyche Hypervisor的主要设计思想、系统架构及主要模块组成,并对其性能进行了测试评估.实验结果表明,当分区切换频率大于1微秒时,Tyche Hypervisor本身的性能损耗不超过系统整体性能的5％.
40.基于System Verilog的测试平台验证方法研究
- 冀臻;翟宏强;张春晶;王俊超
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：介绍了传统的基于定向测试的验证流程和验证方法,给出受约束的随机测试方法.详细描述了受约束的随机激励、随机化对象,以及测试平台的组成和仿真流程.重点介绍了功能覆盖率的概念、操作流程、类型以及操作策略.最后对受约束的随机测试方法与定向测试方法进行对比,阐释了受约束的随机测试方法加上功能覆盖率是目前硬件设计的测试中较为稳定、全面的验证方法.在电子设计变得日益复杂的背景下，产生一个完整的激励集来测试设计的功能变得日益困难。采用受约束的随机测试方法是对它们进行全面验证的有效途径。这种方法可以把验证者从编写测试程序的烦闷中解脱出来，不用再为设计中的每个特征单独编写一套定向的测试集。
41.基于龙芯1E的国产化抗辐射加固计算机设计与实现
- 高兰志;谭超;伍攀峰;王明贺
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着我国航天的快速发展,依赖于进口高等级元器件的星载计算机研制模式已经无法满足这种快速发展的需要,本文通过对国产化抗空间辐射环境加固的需求,本文通过采用国产化抗辐射加固元器件和抗辐射加固技术研究,在星载计算机模块级和系统级实现了针对空间辐射效应的抗辐射加固设计,完成了国产化高性能星载计算机研制,实现了基于LDO的模块级单粒子锁定防护及验证技术研究,突破了基于RS编码的抗SEU飞行软件启动和维护技术和基于软硬件协同的EDAC抗,并为我国宇航电子系统实现国产化自主可控提供了一条技术途径,研究成果对推动我国宇航国产化能力和技术进步以及国产化宇航计算机技术的航天应用和发展都有着重大的现实意义。
42.三维化工艺与低功耗设计——集成电路设计的前景与挑战
- 王谛;石嵩
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：受到各种小尺寸效应的影响,基于平面工艺的芯片集成度发展受到严重限制,从平面走向立体成为集成电路发展的必然趋势.然而,集成电路的三维化使得原本已经十分严重的功耗问题变得更为突出.本文分别从晶体管级、管芯级和芯片级介绍了三维化的工艺方法,从静态功耗和动态功耗两个方面介绍了低功耗设计的主要手段,总结了三维化对低功耗设计造成的若干新挑战,同时也指出了三维化为低功耗设计提供的若干新手段和以低功耗为指导的三维化设计方法.
43.基于电磁兼容现场测试的信号提取技术研究
- 毛嵩;杨华;陈耀忠;刘显;李科
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：理论及实验研究了现场测试的信号提取技术,根据现场电磁兼容测试获取数据的特点,借鉴时域信号处理方法,采用奇异值分解消噪更加真实的反映测试数据的整体波动趋势,将奇异值分解消噪后的数据作为电磁兼容测试频谱特征提取的阈值,能够提高信号提取的准确性.分析了基于奇异值分解的现场测试频谱数据预处理方法,同时对测试频谱特征采用基于消噪阈值的峰值特征提取方法.有效地解决了传统特征提取方法中峰值误提取和漏提取的问题,从而为电磁兼容故障分析或泄漏分析提供依据,并通过实例验证了信息提取算法的有效性.
44.基于TMS320C6678的EMIF 16 NOR Flash多核共享代码加载技术
- 陈亿;姜宏旭;李胜蓝
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着DSP从单核发展到多核,启动过程变得更加复杂,对多核DSP加载技术的研究是一个关键点和难点.德州仪器公司推出的8核DSP芯片TMS320C6678,是目前基于Keystone架构的性能最高的数字信号处理器,也是高性能计算领域应用最广泛的器件.C6678的加载方式有多种,基于EMIF16 NOR Flash加载方式启动过程高效,是C6678平台启动方式的理想选择.本文通过研究C6678的上电加载原理,提出了基于EMIF16 NOR Flash的多核共享代码加载技术,并分别从硬件和软件层面对这种加载方法进行了设计,最后在自行研制的C6678板卡上进行了实现和验证,结果表明,本文所设计的方法能够实现C6678的多核加载,并且加载效率优于传统的EMIF 16 NOR Flash启动方法.
45.用于传导电磁干扰分析的功率半导体器件的建模
- 杨天鹏;寇金桥;杨帆
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：采用集总电荷的方法,分别对功率半导体器件中的二极管和MOSFET进行表征,描述二极管的正反向恢复特性,应用载流子输运方程、连续性方程和泊松方程确定MOSFET内部P型体区和N-型漂移区电荷的变化规律,进而完成二极管和MOSFET模型的建立.以boost电路为例,应用Saber软件对模型进行验证,其结果表明所建功率半导体器件模型十分精确,可用于电磁干扰的研究.
46.基于无源自适应电压定位控制方式提高负载点电源瞬态响应性能的研究
- 戴晓龙;陈乃阅;耿士华
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文提出了一种采用无源AVP控制方式来提高POL电源瞬态响应性能的方案。通过对POL电源瞬态响应的仿真研究表明，选取合理的AVP控制策略和合适的主电路参数，可以设计出通用性高、瞬态响应性能好的POL电源。并且，AVP控制还可以减少POL电源的输出电容，降低重载下的负载功耗，而且其递减式输出电压恰好满足现代微处理器对电源负载线的要求。这些都使得AVP控制在POL电源应用中表现出非常优异的性能，很好地满足了恶劣环境下电子设备对供电电源瞬态性能和可靠性的要求。但是，由于AVP控制的递减电压特性，其输出电压的稳态精度较低，这会使其在一些场合中的应用受到限制。
47.基于PowerPC嵌入式以太网交换系统设计与应用
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：嵌入式以太网交换系统既体现了嵌入系统的高速性、实时性、开发周期短等优点,同时又可以满足人们对网络速度、性能、稳定性、可靠性的需求.本次采用P2020微处理器以及BCM56334专用网络交换芯片相结合的PowerPC嵌入式以太网交换系统以其模块化、小型化、低功耗、软硬结合、简洁灵活、外围接口设计简单的思想使得此交换系统可以很便捷应用在各个不同场合,便于加固的单板结构也更适合低温、高温、振动、冲击等恶劣的环境条件.
48.基于高频继电器的网络切换器的设计实现
- 闫薇
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：为了提高网络的可靠性,本文详细介绍了一种基于高频继电器的网络切换器的设计实现.详细阐述了网络切换器的系统架构、硬件设计方法和软件设计方法,解决了网络等高频信号灵活、可靠、快速切换的问题.实际应用表明,该网络切换器可靠性高,使用灵活,满足千兆网络的快速切换需求.
49.分系统网络安全可靠架构技术
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要："零信任"网络中,所有的流量都是不可信任的,系统网络消除信息孤岛的过程中会将各分系统网络暴露给非可信网,分系统将面临被攻击和入侵的危险;为了保证分系统的独立性和安全性,利用"安全隔离与信息交换设备"可实现网络隔离和安全防护.同时,分系统网络采用多链路环网保护机制,来保证当环网中链路发生二次或多次故障时的数据正常通讯.再者,终端设备会采用双冗余网卡实现链路冗余,但是,在进行组播业务传播时,组播业务并不会随着链路故障恢复立即恢复,本文实现了安全可靠的分系统网络架构，采用多链路环网保护协议组建环网，保证网络在二次链路故障或多点链路故障时仍然能够实现正常通讯;设备节点使用双冗余网卡进行接入，通过组播业务冗余扩散方法实现网络中组播业务的冗余与快速恢复;同时，使用安全隔离与信息交换设备负责和外网进行通讯，实现分系统网络的安全防护。
50.降噪技术在军用电子设备中的应用
- 陈立斌
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：降噪声在军用电子设备应用中的需求越来越显著,具有非常重要的研究意义.本文阐述了噪声定义、噪声产生机制以及噪声控制基本方法,分析了军用电子设备的噪声产生原因,基于产生原因选用了被动控制方法中的吸声技术与消声技术.根据这两种技术原理与军用电子设备的结构特点,基于结构优化,从风道改进、吸声材料应用、吸声模块设计等方面,对加固机箱的降噪设计进行展望,寻求性能优良的降噪设计方案.
51.智能电源检测设备前端处理模块设计
- 秦英;敬祥
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：大科学装置是实现重要科技目标的大型科技基础设施,装置规模巨大,技术复杂,其控制系统作为大科学装置的中枢系统,往往具有分布广,数量多的特点,这对控制系统的供电电源系统提出了更多要求.本文根据有关设计要求,提出了一个基于以太网的智能电源检测设备的解决方案,能对供电电源系统的异常波动进行多点记录,并将数据发送给远程控制台.在介绍整体方案的基础上,重点叙述了该设备前端处理模块的方案设计,其中包括ADC数据采集模块、实时时钟模块和异常判断记录逻辑模块等几个部分.文章最后对该检测设备前端处理模块原理样机进行了测试,验证了该设计方案的可行性,为后续产品开发提供技术支撑.
52.无线信道下IP高效传输技术的研究
- 刘芳
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文针对带宽受限的多种无线信道环境下的IP高效传输问题进行了研究.首先对卫星信道、数据链信道、无线Mesh信道、短波信道等进行信道特征分析,总结了几种无线信道目前在IP高效传输方面的制约因素;其次,根据典型信道分析结果,确定研究方向和目标,研究关键技术包括无线信道状态实时评估技术和IP报头适配裁剪技术,并根据研究结果初步进行代码实现;最后根据实验环境选择了信道质量不同的3种无线信道卫星信道、数据链信道、无线Mesh信道进行关键技术的验证,并给出性能比对结果,根据实验结果验证了本文采用的无线信道下IP高效传输技术的正确性和可行性.
53.多核处理器——发展趋势及关键技术
- 周楠
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：多核技术已经成为当今处理器技术发展的一个重要方向.本文首先从处理器由单核向多核发展及多核处理器由同构向异构发展的两个角度,对处理器的发展趋势进行了详细的分析:阐述了导致处理器从单核向多核发展的两个关键问题;通过对同构多核处理器与异构多核处理器的结构特征、性能特点和典型代表的具体分析,总结了未来处理器将朝着异构多核的方向发展的趋势.其次,对多核处理器核间通信、任务调度、Cache一致性、核间同步与互斥、核间中断处理机制这五大关键技术分别进行分析.最后在上述基础上提出了当前多核处理器技术所面临的三大问题.
54.CPU MMU通路结构形式验证方法与实现
- 郭帅彬;杨宏伟;韩军
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：内存管理单元(Memory Management Unit,MMU)和缓存(Cache)在现代微处理器(CPU)设计中应用广泛,它们在提高CPU性能的同时,也增加了CPU设计验证的复杂度.本文提出了一个公理系统对带有MMU和Cache的CPU结构进行形式化描述,给出一种对带有MMU和Cache的指令通路进行形式验证的定理证明方法,实现了一个自动证明工具并使用该工具高效地完成了对MIPS指令集83条指令指令通路的形式验证.
55.Zynq多核平台嵌入式操作系统移植技术研究
- 李阳;牛文生;赵小冬
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：论文介绍了嵌入式操作系统以及嵌入式Linux的特点和组成;对目标平台Zynq和基于Zynq的嵌入式系统进行了阐述和分析.文章重点以Xilinx ZC702开发板为平台,详细介绍了基于双核ARM处理器对称多处理架构的嵌入式Linux操作系统移植技术,并在对称多处理架构操作系统移植的基础上给出了非对称多处理架构操作系统移植实现的解决方案.
56.一种对称算法的掩码方法
- 林雄鑫;钟名富
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：分组算法作为主流的密码算法类型之一已经在各行各业得到了广泛的使用,同时针对对称算法的攻击手段也越来越多,尤其是在信息安全领域的智能卡或其他密码设备中上,使用差分功耗攻击(DPA)进行分析,对分组密码算法的使用构成了严重的威胁,因此,研究抗功耗攻击的对称算法防护技术具有重要的理论意义和实用价值.目前提出的很多掩码方案都是基于特定的算法或者算法的某一个部分,很难把掩码方案进行推广到其他的对称算法.本文通过对分组密码算法的结构分析，提出了一种全掩码方案，该方案能把整个分组算法的所有数据，包括明文和密钥都进行了有效的掩盖，整个算法的数据流都是经过掩码之后的值，从而能使得数据和具体的操作运算没有相关性，因此能有效的抵抗功耗攻击。另外，本方案可以推广到大部分的主流结构的分组密码算法，并且实现简单灵活，并能根据抵抗攻击强度配置需要掩码的复杂度，包括构造S盒的个数等。本方案通过理论上的分析，从根本上消除了数据的相关性，接下来进一步的主要工作是在硬件实现时，进一步考虑面积的优化。
57.非易失存储在军用计算机领域的应用前景探索
- 赵牛杰;刘慧玲;王健;邸丽霞
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文探索了非易失存储技术及非易失存储介质在军用计算机中的应用前景.非易失存储技术的发展，暂时从侧面缓解了突然断电造成的内存数据损失，但是这毕竟不是长久之计，未来的计算机，必然会使用具有非易失特性的介质作为内存的材料，最终将内存和硬盘合二为一，彻底断绝突然断电对数据造成的损失，从长远来看，忆阻器可担当此任。而现阶段已经研发出原型芯片或者即将商用的非易失存储器材料主要包括磁性(M)RAM、导体桥接(Conductive Bridging,CB) RAM、相移(PC)RAM,有机RAM等。经过对多种己成熟的非易失存储技术研究，以及对多种具有非易失特性的材料的发展探索，可知较成熟的非易失存储技术已经可以初步应用于军用计算机领域，可对内存数据具有很好的断电保护效果;而在不远的将来，具有非易失特性的材料也会逐步成熟，进入军用计算机领域，成为传统DRAM和SSD的升级替代产品。
58.机载电子设备液冷系统的模糊控制研究
- 周尧;张丰华
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：针对机载电子设备液冷系统非线性、时变性、大滞后的特点,采用模糊控制理论,设计了模糊控制器,并在Matlab中对模糊控制系统进行了仿真分析.结果表明,模糊控制可以实现对液冷系统的控制,且响应快、超调小、稳定性好.
59.复杂电磁环境下USB设备的电磁兼容技术研究
- 高同国;徐国强
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：USB设备作为一种通用便利的设备得到了较广的应用,在复杂电磁环境下电子设备之间的互相耦合影响会导致USB设备功能异常,本文深入探讨了电磁干扰的作用机理,并从具体的工程案例出发,通过测量分析、观察等方法找出产品集成过程中可能存在的问题,并在电磁兼容理论的指导下进行了整改,最终通过了验证.
60.PCI-EXPRESS总线系统的动态配置
- 娄癸阳;高金超
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文介绍了FPGA逻辑重配置特性与PCI-EXPRESS总线系统相结合的一种实现方法.通过Virtex-6 FPGA的逻辑重配置特性,根据不同时刻的需求,允许使用PCI-EXPRESS总线下载局部配置文件来更新一个运行中的FPGA设计,从而实现不同的功能,FPGA中没有被重新配置的部分其功能不受影响.在逻辑设计部分,主要对FPGA内重配置加载器模块进行描述.设计提高了FPGA配置的灵活性,提高了器件利用率,增加了系统安全性,降低了系统成本.
61.基于嵌入式系统的安全存储卡研究
- 张斌;龚骁敏
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着信息技术的发展,信息安全性越来越受到重视.为了解决在某些特定场合下,数据信息存在被窃取的状况,本文提出了一种基于嵌入式系统的安全存储技术,它能够将存储阵列/存储服务器中数据之间的映射关系以及特征信息与存储阵列本身分开存储,实现关键数据与存储主机的物理隔离.安全存储卡包括嵌入式子系统、存储单元和辅助电源三个模块.本文所研究的安全存储卡能够对存储服务器的关键数据进行特殊处理后保存在安全卡中,在系统异常断电后,启动系统安全防护模式,利用辅助电源和嵌入式子系统对存储单元中的关键数据擦除,保证数据的安全性.
62.基于FPGA的双冗余以太网卡模块设计
- 刘可;韩华锦
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：网络通信是现代系统通信的主要方式,而网卡是网络的核心部件,如果网卡出现故障,整个网络系统将处于瘫痪的状态.为了提高通讯网络的可靠性,现代网络系统引入冗余网络构架,其中双冗余网卡是该系统的核心.本文介绍了一种双冗余网卡的组成及工作原理,同时介绍了基于FPGA的网卡冗余的实现过程.基于FPGA设计双冗余以太网卡模块，可以用片上很少的逻辑单元实现双冗余以太网卡模块的基本功能。与传统设计相比，能有效减少系统的PCB面积，降低系统的功耗，提高设计的稳定性和可靠性，并且可以大大降低双冗余网卡切换时间。该模块可以作为一个完整的IP核移植进各种FPGA中，在实际应用时可嵌入到其他系统中，很容易实现远程通信，具有较高的参考价值。
63.两级磁头定位系统的高阶非奇异终端滑模控制
- 刘明君
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：两级磁头定位系统是实现更高伺服带宽和更高定位精度的一种有效方式,然而该系统中存在复杂的柔性振动模态,对其控制设计带来了严峻的挑战.为了简化控制设计,已有的研究通常都是基于刚性模型的,这在一定程度上会带来模型误差,从而降低控制性能.为此,本文提出了一种高阶非奇异终端滑模控制方法,首先建立了柔性取数臂系统的动力学模型,在此基础上通过输出重定义方法,将系统分解为输入输出子系统和内部子系统,合理设计三阶非奇异终端滑模控制器对控制信号进行一次低通滤波,有效削弱抖振对柔性控制系统的影响,同时抑制外界干扰引起的振动.从而提高磁头的定位精度和寻道速度.
64.基于人体体感运动的新型人机交互技术研究
- 冯金卫;赵艳伟
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：在民用智能人机交互技术研究成果的基础上,本文结合军事应用的发展方向及对计算机微型化、自然化的需求,通过分析人机交互技术在野战移动作战环境的应用优势,开展基于人体临场体感的多通道人机交互技术的研究,重点突破人体姿态融合、眼球运动追踪、人体手势识别等关键技术,旨在探索一种可应用于单兵及各级指挥所,可以感知人体体感信息并能够智能反馈交互的多通道人机交互技术机制,从而以更人性化、更自然化、更灵活化的方式提升单兵用户人机交互体验,增强单兵系统的作战能力.
65.基于模板和规则引擎的监控系统设计与实现
- 贾晓霞;张勇;刘毅
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：针对目前监控系统普遍存在的监控范围狭窄的问题,提出基于模板的数据采集方法体系,建立基于Esper的规则引擎并在此基础上构建了一个完整的分布式部署监控系统.与现有的监控系统相比,该系统具有监控范围无限扩展、告警策略动态化配置、支持复杂事件处理、分布式部署及动态部署的特性.
66.基于Nagios的监控系统设计与实现
- 白梦莹;韩华锦
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：为了更好地运维本所可信计算环境,需要设计开发一个能够对服务器、系统服务进行集中监控的系统,要求具有实时性、安全性和扩展性.基于优秀开源监控软件Nagios进行深度自定制,开发基于web的对象配置功能,扩展插件实现全面监控,确定调度策略,能够对服务器、网络、中间件等进行广泛深层次的监控和管理并将结果以web界面形式予以展示,实现短信报警.最后将系统实际应用到实际环境中,验证系统的有效性.
67.基于国产处理器的嵌入式系统设计及应用研究
- 娄癸阳;吴璇
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着半导体技术与芯片设计技术的快速发展,我国已经自行设计并生产了多款32位CPU处理器.本文以基于杭州中天微系统公司自主研发的32位嵌入式处理器CK520为内核的国产芯片设计了一款嵌入式系统平台,在该平台的基础上连接多种外设实现了嵌入式开发工作.该系统经简单修改能方便地应用在军事、工业控制、数据采集等领域.本文通过介绍该CK-CPU嵌入式系统设计、软硬件设计、功能和技术特性,阐述推广应用国产嵌入式芯片的深远意义.
68.基于龙芯的高性能网络安全防护设备设计与实现
- 马书磊;刘丰;赵晓燕
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：针对国产处理器性能不足的缺点,设计了一种多龙芯处理器并行处理技术架构,并基于此架构设计并实现了一种安全防护网关,可部署于网络信息中心出口处,具备防火墙、入侵防御和安全接入控制等多个功能.在提升自主可控水平的同时,弥补了国产处理器性能和可靠性的不足,确保了网络信息中心及用户网络环境的安全可控.
69.具备主动度量功能的可信设备的设计与应用
- 杨天鹏;寇金桥
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文对国产信息系统平台的安全性进行了分析,指出了当前国产信息系统平台及配套可信设备的局限性,明确了可信设备主动度量的必要性,在此基础上建立了可信设备的体系结构,以及具备主动度量功能的可信硬件和软件的设计方法,为我国信息平台的自主可控、安全可信建设提供参考与依据.
70.二维环网路由算法设计与仿真
- 路文斌;胡舒凯;宋新亮
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：对2维环网网络中的确定性XY路由算法、XYYX路由算法和基于拐弯模型的Odd Even最短路径自适应路由算法进行分析,提出了一种新型的XY OE确定性路由算法和一种Odd_Even-Long最短路径自适应路由算法.同时,采用网络模拟器NetSim实现算法的设计与仿真,与XY、XY YX、Odd Even等算法进行对比,仿真过程采用均匀随机通信模式以及均匀跨步模式.仿真结果证明,所设计的两种新型路由算法可以降低网络延迟,减少网络拥堵,具有一定的参考意义.
71.某高热流密度指控计算机的风冷散热设计与仿真
- 李逵;王巍巍
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：为解决某高热流密度指控计算机的散热问题,本文采用理论计算和仿真模拟相结合的设计方法进行了指控计算机的散热设计及优化仿真.根据整机功耗和允许温升确定整机散热方案为风冷强迫散热.由系统所需的风量和理论计算出的系统压力损失来确定风机型号.应用专业热仿真软件对整机进行仿真模拟,对风速矢量图分析并完成布局优化,最终采用该优化方案的指控计算机的散热效果得到了改善.本文采用的理论与仿真相结合的设计方法,能明显提高设计效率,给电子设备热设计提供一定参考.
72.一种用于高速加密系统原型验证的多FPGA片间互联技术的研究
- 沈贽
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文讨论了一种用于大型高速加密系统原型验证的多块FPGA之间的总线互联技术.利用该技术可以实现用FPGA对原型系统中高速高效总线进行拆分,从而达到多片单系统验证的目的.该技术利用FPGA内置的serdes模块进行片间高速互联,收发端分别对总线进行拆包和组包的功能,尽最大可能在多片间还原原系统的总线架构.该技术利用FPGA中的MMCM模块进行片间时钟线的de-skew,保证收发数据的同步性,同时亦可利用FIFO做传输发起者和接受者之间数据缓存,提高互联数据的吞吐率.该技术具有较高灵活性,可扩展性和复用性,适合应用在复杂的大型工业以及军用信息系统原型验证.该技术经过了仿真验证和FPGA实现验证。
73.多形态嵌入式计算系统体系结构研究
- 姜钊;曹长宝;孟英谦;肖亮
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：多形态计算技术能够针对不同应用进行系统架构的动态调整,动态适应任务的处理需求,满足多种任务对计算机的需求,从而能在一个很宽的应用范围内达到高性能.本文在分析多形态嵌入式计算系统架构基础上,提出了基于通用处理器(CPU)和可重构硬件(FPGA为典型代表)实现多形态嵌入式计算系统的硬件架构方案;并开展软/硬件统一多任务模型、软/硬件多任务统一调度机制和多处理器间通信技术研究,以解决系统对计算资源的统一调度管理及协同工作问题.设计了基于Xilinx XC5VFX70T上的验证平台,通过对图像流的不同处理,验证了本方案的可行性.
74.基于GPGPU的快速离散余弦变换算法
- 杨帆;赵艳伟;王晓光;李云祥
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：为了加快DCT快速变换的处理速度,提出了一种基于CUDA在图形处理器(GPU)上实现DCT快速变换的方法,其中主要利用DCT变换中各分块之间的独立性适合GPU并行处理架构的特点,把传统串行DCT快速变换算法映射到CUDA并行编程模型,并从线程分配,内存使用,硬件资源划分等方面进行优化,来充分利用GPU的巨大运算能力.实验表明,该方法能有效地提高DCT快速变换的速度.
75.基于CUDA的KD-tree构建及优化策略
- 赵东阳;李旭光;杨泽勇;赵勇
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：光线追踪技术因其能渲染出高质量的图像成为三维仿真领域的研究热点,其核心思想是计算发射光线与场景数据的交点以获取渲染图像,但其计算过程复杂、数据量大.空间结构KD-tree的构建,能够大大提高计算速度.为了提高实时光线追踪的效果,本文基于CUDA(Compute Unified Device Architecture),实现并优化了KD-tree的空间结构构建过程.结合CUDA架构及KD-tree算法特点,本文从访存方式、任务划分、任务调度、任务映射等方面做了多层次优化.实验结果表明,优化策略大大提升了KD-tree的构建效果及光线追踪的实时性.
76.双冗余CAN与UART智能转换SoC设计研究
- 鲁毅
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：CAN接口和UART接口是电力入户信息采集系统中常用的通信接口.本文提出了一种协议转换SoC的设计方法,通过软硬件协同设计的,方便系统进行CAN与串口之间的协议转换.同时,在CAN接入侧,引入冗余机制,保障通信过程的可靠性.
77.软件缺陷模式分析及其应用研究
- 许丽星
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：整理和分析历史缺陷数据，抽象出领域缺陷模式，给软件开发和测试人员提供参考，减少开发和设计人员由于经验限制而引入的缺陷，从而提高软件系统的可靠性。本文给出了缺陷模式的定义，提出一种缺陷模式分析三层框架，深入挖掘缺陷在软件中的分布规律和分布特点，将缺陷的信息记录的详实、完整，并给出结合缺陷模式信息和软件FMEA方法的软件可靠性设计方法，通过对整个软件系统潜在失效模式进行分析，识别失效模式之间的联系，找到整个软件系统中的关键模块，对相应的不可靠部分进行容错、避错设计，从而达到提高整个软件系统结构可靠性的方法。从对飞控系统分析的例子来看，该方法简单、有效，便于在工程上应用。
78.基于UML的软件Markov链建模方法研究
- 靖天才;方景龙
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：软件可靠性测试技术是保证软件质量的重要研究内容,尤其是对航空航天、金融机构等高信度复杂软件尤为重要.本文在现有研究的基础上,针对复杂软件UML模型场景消息粒度过大导致构建的Markov链使用模型描述软件的真实度不够的问题,提出了一种基于多层嵌套组合片段UML模型的Markov链使用模型的构建方法,最后结合实例对研究提出的模型构建方法做出应用分析,说明了算法的可行性,为更有效的构建Markov链使用模型提供了指导.
79.一种基于安全C的编译器形式验证方法
- 陈志伟;谭宇
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：编译器是重要的系统开发工具,其安全可靠性对安全攸关软件的开发有着重要影响.传统检测编译器错误的方法是进行大量的测试,但测试存在局限性且难以达到完全覆盖.近年来,形式化验证方法在编译器的验证中得到了广泛的关注,但当前的形式验证方法却存在证明复杂度高、验证能力弱、自动化程序低等问题.本文提出了一种基于安全C子集形式文法的编译器验证方法,通过形式文法对应的下推自动机识别出源程序中的C文法单元,把对编译器的形式验证转化为了对有限的C文法单元的验证.文中引入了一阶逻辑的公理系统和专用公理,在此公理系统上通过定理证明的方式,完成了C文法单元和目标码模式的语义一致性验证,从而完成了对编译器的形式验证的过程.
80.海量小数据对象存储系统及优化技术研究
- 赵坤;马婷婷;涂小萌
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着互联网的发展,接入设备数量和用户群体不断扩大,产生的数据呈爆炸式的增长.一些业务系统具有单文件较小而并发读写要求高等特点,这要求构建具备支撑千万级、亿级甚至十亿、百亿级能力的海量小数据对象存储系统.为了解决当前海量小数据访问性能差和存储效率较低等问题,本文提出一种具有良好扩展性的海量小数据对象存储架构以及针对小文件的存储优化技术.海量小数据对象存储系统主要包括系统前端、数据管理和元数据管理三个模块.同时,海量小数据对象存储采用了多种优化技术,包括小文件合并策略、提高分配效率以及添加binlog机制等.实验结果表明,本文所设计的对象存储系统突破了海量小数据高速访问的性能瓶颈且满足大部分应用的实际需求.
81.基于嵌入式芯片的智能电源管理系统的设计
- 毛哲远;郭江宇;张海峰;鹿超
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：电源系统是电子产品的重要组成部分,优化电源性能可以在很大程度上提升产品的整体性能.本文的研究工作是应用嵌入式控制芯片完成计算机电源管理系统的设计.目的是优化电源管理,提高设备的续航能力以及可靠性.针对设计需求,设计了智能电源管理系统的电路,使其输出设备各个模块所需的电源信号;分析计算机开机时序,编写开机程序使设备能够正常启动进入系统;应用SMbus总线以及LPC总线完成嵌入式控制芯片与智能电池、主机的交互,实现电池电量解析的功能;最后对智能电源管理系统进行测试.
82.分布式物联网中间件框架设计
- 蒋遂平;贾俊锋;王颖
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：物联网的一个主要特征就是规模巨大,物联网中感知控制设备的种类、数量和信息的复杂性,使得物联网中间件面临的问题与传统中间件完全不同,需要采用不同的策略来处理这些挑战.在分析物联网中间件需求基础上,提出一种分布式物联网中间件框架.这个框架创新点是将中间件划分为多个对等中间件节点,通过中间件节点之间适当连接和数据交换,在单个节点上形成传感数据的全局视图,实现负载均衡,提高系统的可伸缩性;在中间件节点内部,通过不同功能的组件的相互协作,实现实时事件检测,并通过预测、插值和派生等方式,填补丢失数据,提高在可靠性较低的通信环境中数据的可用性.
83.自主可控安全计算机系统结构技术探讨
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：自主可控计算机是我国提高信息系统安全的重要基础.近年来我国关键软硬件国产化得到了长足的发展,国产处理器、国产操作系统有了大幅提升.但针对我国网络空间安全发展战略的需求,需将自主可控计算技术与信息安全技术紧密结合,研究自主可控安全计算机系统结构,解决计算机的漏洞和后门问题,大幅度提高信息系统的安全性,实现计算与安全一体化发展.
84.双冗余系统中可信网络构建技术研究
- 王雷;杨明华;杨宏涛;郑建群;张亚明
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：目前,网络安全的重要性与日俱增,保证网络接入终端的可信性是一个不可忽视的问题,而作为认证服务器端,必须不间断提供认证服务,保证每时每刻的接入客户端都能进行认证,客户端方面同样进行冗余设计,保证一台机器可以访问网络资源.本文在HA集群的基础上对TNC(可信网络连接)的设计做了详细的介绍,基于TNC@FHH做了增强,实现一种更完善的可用的可信网络接入系统,该可信网络接入系统会根据平台身份是否合法、杀毒软件是否符合标准、是否介入了非法外设以及网络端口的状态来进行策略认证.服务器端和客户端都是基于双机热备方案实现冗余服务,并且在实验室的双机热备冗余机上进行故障测试,成功实现了服务的冗余切换.
85.密封电子设备散热器的设计及仿真分析
- 尚硕;丰皇
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：温度是影响密封电子设备可靠性的重要因素之一.军用电子设备多为密封机箱,为了保证电子设备的有效性,合理高效的进行热设计至关重要.强制风冷的散热方案虽能满足散热需求,但受风机可靠性和安装数量等条件的限制存在设计瓶颈,采用热管技术的热管散热器对电子设备具有很强的适应性,其散热能力强,且结构形式和尺寸设计上更加灵活.本文通过实例分析,总结了热管散热器的设计思路;重点针对ATR机箱提出强制风冷结合热管散热器的散热方案,并提出ATR机箱热管散热器的系列化设计的思路及方法,通过理论计算和Icepack软件热仿真结果表明热管散热器作为一种高效的、可靠的传热元件能适用高功耗的ATR密封机箱在热可靠性方面的要求.
86.高量级振动环境下印制板厚度对焊点及引线疲劳寿命影响研究
- 张强;李霄光;王巍巍
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文主要研究PCB的厚度微小变化对电气引线及焊点在正弦振动下疲劳寿命的影响，位移和应力与PCB的固有频率的有关，电气引线的疲劳寿命与6.4的疲劳指数相关，将这些条件综合在一起显示，PCB厚度尺寸极小的变化能够对电气引线及焊点的振动疲劳寿命造成非常大的影响。当然对整个电子设备系统来说影响设备寿命的因素非常多，如设备结构强度，设备安装方法，设备使用环境，PCB谐振频率，元器件尺寸重量，焊点焊接效果等。对PCB制造误差的研究只是其中一个方面，但是几乎所有重要的元器件都安装在PCB上，所以PCB自身的可靠性则显得非常的关键。
87.计算机测控设备时统异常原因分析及解决方法
- 刘振吉;张谊;武文斌
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：测控设备偶发时统异常故障后，从软件、硬件、计算机系统、使用环境等方面对此问题进行了充分的分析研究和试验，得出了导致时统异常问题的原因是计算机系统的计时/定时机制存在缺陷。针对上述故障原因，采用硬件板卡上的计数器替换计算机系统的TSC以规避采用TSC计时存在的风险;在软件中增加计时自检功能以对时统异常故障进行有效隔离。该措施对解决时统异常问题、提高测控设备的可靠性和容错性是有效的。随着计算机硬件的升级换代，操作系统和底层硬件的适配异常复杂，尤其是多核CPU出现后，对操作系统的设计开发带来很大挑战，会导致一些在单核平台上运行很稳定的程序在多核平台上却不能正常工作。Windows操作系统的一些底层API函数不提供具体的实现机理资料，应用此类函数时需谨慎，对一些关键参数应进行比对验证，对可能的错误要适度增加陷阱捕获等容错措施。
88.基于国产飞腾的超融合一体机硬件可靠性设计
- 王谦;龚骁敏;马小锋
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：在互联网飞速发展的信息时代,电子产品硬件可靠性与稳定性必然成为信息可靠传递与存储的保障.基于国产飞腾的超融合一体机的设计在国内也是刚刚起步,面对军民两用的市场,其硬件可靠性设计尤为重要.本文以国产飞腾超融合一体机的硬件可靠性设计为主线,介绍了可靠性设计的方案与测试方法.最终通过多项可靠性测试,表明基于国产飞腾的超融合一体机硬件设计具有良好的可靠性.
89.军用计算机射流散热系统研制
- 刘九龙;王凯
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：本文对多孔射流散热的影响因素进行了试验研究,确定了适用于军用计算机6U系列板卡的射流板关键参数,研制了射流散热冷板.在该冷板内部,流体喷射到冷板内部热交换壁面,完成了流体的吸热过程.板卡热量由受泵驱动的流体吸收,实现了军用计算机板级的流体冷却.通过计算,设计了模组式专用液冷源.该液冷源集成了流体泵、储液池和热交换器,实现了流体的驱动、储存和散热.由于其体积小、性能高,环境适应性强,满足高功率军用计算机散热需求,具有工作可靠、使用方便、维护简单的特点,具有广阔的工程应用前景.
90.基于EEPROM/FLASH的星载计算机加载系统可靠性设计
- 侯亮;张沛;张思博
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：针对EEPROM/FLASH器件单粒子效应敏感和星载计算机加载系统可靠性要求高的问题,基于可靠性设计中常用的信息冗余和硬件冗余方法,针对不同的星载计算机配置,提出了多种针对EEPROM/FLASH作为加载存储器的可靠性设计方案.分析结果表明,本文的设计方案可有效缓解EEPROM/FLASH器件单粒子反转带来的可靠性问题,适用于星载计算机的加载系统设计.
91.高效构建模拟验证环境方法的研究
- 谢军
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着集成电路设计的规模和复杂度不断增加,验证成为集成电路设计的最大挑战.模拟验证是集成电路验证最常用的方法,本文介绍了从验证环境构建的角度来提升超大规模集成电路验证效率的方法，包括设计的动态裁剪、分布式的设计代理、微结构匹配的模型开发，虚拟模型的重用，验证环境中的设计复用。并在此基础上提出验证环境快速重构的理念，可以大幅提高芯片的验证效率。基于本文提出的方法，在多款国内超大规模集成电路芯片的验证中得到广泛应用，并取得良好的验证效果。
92.面向高功耗芯片散热的硅微通道热沉研究
- 李岩;刘慧婕
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：随着芯片工艺的飞速发展,芯片频率的提升和芯片面积的缩小,使得芯片的热流密度越来越高.由于高温是芯片失效的主要问题来源,因此良好的散热条件是高功耗芯片正常工作的必要条件.本文研究了高深宽比硅微通道热沉的散热机理,并通过理论证明及实验验证阐述了硅微通道热沉相较于传统金属热沉有极大的优势.因此,硅微通道热沉必将在未来高功耗芯片散热领域发挥重要作用.
93.多核DSP互联系统及其计算加速技术
- 刘瑞;刘伏;李胜昌;郭永红
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：针对多核DSP的互联系统及计算加速技术进行了深入的研究,重点开展了多核DSP片间任务映射方法、并行处理通用模型及片内任务映射方法三方面的研究工作.其中,多核DSP片间任务映射方法能够充分调动多核DSP互联系统的计算资源,进而充分发挥其并行性能优势;所提出的多核DSP片内任务映射方法继承了多核DSP并行处理通用模型的局部特征,具有较强的通用性和广阔的应用空间,并可以为后续工作的开展奠定一定的技术基础.
94.基于FPGA的8255并口芯片设计及测试方法研究
- 于立北;韩华锦
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：目前,现场可编程门阵列FPGA(Field programmable Gates Array)已发展为实现数字系统的主流平台之一.8255并口芯片是Intel公司于上世纪70年代设计的8位通用并行I/O接口芯片,由于其使用灵活、通用性强,在我国曾被广泛应用.本文研究了一种基于FPGA的8255并口芯片设计方法.首先采用结构描述方式给出芯片的模块和接口划分;并使用VHDL语言实现芯片全部功能;最后,使用伪穷举法进行了功能测试和校验.
95.提高VGA信号抗干扰能力的设计方法
- 崔瑶瑶;于治楼;耿士华
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：针对VGA信号容易受到干扰的而导致输出不稳定的问题,对VGA接口定义以及对信号的造成干扰的干扰因素进行了详细分析.结合实际车载、机载应用环境,通过信号滤波设计、PCB走线设计、VGA线缆设计三个方面来增强VGA信号的抗干扰能力,提高VGA信号的传输质量.测试结果表明该设计方法有效地解决了VGA信号在车载、机载环境中输出不稳定的问题,提高了VGA信号的抗干扰能力和稳定性.
96.基于FPGA的千兆以太网系统设计
- 张静;张悦
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：近些年来电子技术飞速发展,电子设备向高速化、智能化、小型化发展,因此需要传输和处理的数据量也呈指数增长.本系统的设计核心是大数据量的远距离高速传输,为满足数据的高速传输要求,设计了基于FPGA的千兆以太网传输系统,利用FPGA的高速并行处理能力保证系统中各模块能够高速独立地运行.首先,本文对于兆以太网系统的硬件平台进行了详细的介绍.其次,在硬件平台的基础上,构建了SOPC硬件平台.最后,对系统的传输速率进行验证.通过验证可证明系统工作稳定,性能指标达到了预期设计的要求.
97.面向海量情报信息处理的新型网络体系架构研究
- 孙丽婷;于璐;鲁欣妍
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：未来战场是多维度立体化战场.如何向参战人员提供陆、海、空、天、电、网等多维度实时的海量情报信息问题对计算平台的情报信息处理能力提出了更高要求.本文以新型体系架构Biswapped Network为(BSN)研究对象,利用其结构的特殊对称性,选择超立方体为因子网络,开展了面向海量情报信息处理的BSN-Hypercube体系架构研究,并研究了多项通信及应用算法.理论证明,本文提出的架构比较有竞争力,可促进BSN的实际应用.
98.一种基于域间共享存储系统的虚拟机系统故障检测和恢复的方法
- 徐士伟;代征;戴新发
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：为提高故障检测的准确性和减少心跳传递延时,针对虚拟化环境自身体系结构的特点,利用虚拟机和虚拟机管理器之间共享的域间共享存储系统,完成虚拟机故障检测心跳的传递,进而对虚拟机故障进行检测,并对发生故障的虚拟机进行恢复,保证虚拟机系统可靠地运行,实验表明故障检测时间可达毫秒级.
99.网络空间安全主动防御技术研究与架构实现
- 屈磊;马冬冬;倪明
- 《全国抗恶劣环境计算机第二十六届学术年会》 | 2016年
摘要：通过对网络信息系统、传统防御体系和网络攻击技术特征的综合分析,不难看出当前网络空间安全呈现出"易攻难守"的战略格局.为扭转这一局面,本文对网络空间主动防御技术及其架构进行了研究.首先,通过对国内外网络空间安全的国家战略与主动防御技术进行分析,揭示了主动防御的技术谱系、发展现状、机动要素和行动策略;然后,对自主可控建设与网络空间安全研究的关系进行了探讨,确定了主动防御与自主可控相结合的研究策略;在此基础上,聚焦于网络信息系统计算、存储、网络和操作系统等的动态重构实现,给出了一种自主异构主动防御系统的体系结构.