摘要：针对空天场景中仿真实体坐标系难以组织,通过研究空天场景坐标系的一般关系树,提出基于Vega Prim e的坐标系关系树组织结构;通过设计观察目标到视点距离和视域远近裁减面的函数对应关系,解决了空天场景中由于实体尺寸差别悬殊带来的展现失真问题;对气象环境加入区域约束,根据视点位置确定当前气象环境效果,实现空天场景多环境的展现.设计KTSG系统,实现了空天一体化场景的逼真显示.

摘要：汽车前保险杠在RCAR正面40%低速碰撞中及与行人下肢碰撞中起着吸能与缓冲的作用,汽车保险杠的刚度对于满足RCAR等级评价及行人下肢保护两种性能都有很大的影响.综合考虑行人下肢保护法规与RCAR的要求,以材料为变量进行正交试验设计,分别采用响应面法和综合平衡法对汽车保险杠进行多目标优化.研究结果表明,响应面法能够很好地表征材料屈服强度与各个目标值之间的关系,综合平衡法能更好地解决离散的、变量少、水平数少的多目标优化问题.经优化后,汽车保险杠的整体性能得到了提高.

摘要：随着嵌入式系统的发展,构件化软件开发技术已成为嵌入式软件开发的发展趋势.嵌入式系统通常是能源有限系统,如何在构件化嵌入式系统开发前期对其能耗进行分析与评估,发现系统能耗特性设计缺陷,从而提高开发效率,降低开发成本,已成为嵌入式系统设计的一个挑战.文中从构件化嵌入式软件体系结构出发,采用基于路径的系统能耗分析评估方法,在嵌入式系统架构设计阶段对其能耗特性进行分析与评估.在此评估体系中,软件体系结构应用进程代数语言CSP进行形式化描述,能耗特性在构件接口级别定义,最终建立了以CSP迹模型为基础的基于路径的系统能耗分析评估模型.文章最后通过案例分析验证了该模型分析方法的正确性和有效性.

摘要：相对于互联网上层应用和底层通信技术的蓬勃繁荣,互联网的基本网络架构并没有得到同步发展,还是基于设计之初的TCP/IP协议.随着应用环境、用户需求和底层设施的不断发展变化,现有的网络结构已暴露出越来越多的缺陷.针对这些问题,研究人员提出了许多新的网络架构、概念、服务、协议和算法,以构建不同于现有互联网的新型未来互联网.不过,任何一种新的思想在实现或部署到真实的网络之前,都必须经过严格的测试和验证.因此,构建大规模的、真实的、可控的试验平台不仅是未来互联网研究的基础,也是对未来互联网本身探索和研究的一种途径.文中从规模、功能、开放性等基本特性以及科学实验要素、网络元素类型三个方面对试验平台进行了归纳和分类;分析了试验平台的结构化原则和分层结构;重点分析和总结了构建试验平台的关键技术,包括实验描述语言、控制框架和网络资源分片技术;分析了国内试验平台的发展现状;最后探讨了未来互联网试验平台的发展趋势.

摘要：分面导航利用动态多维分类目录组织查询结果,从而有效减轻数据库资源定位过程中的信息过载.现有的分面导航限制用户每次增删一个查询关键字,无法满足对具有丰富语义的导航操作的需求.另一方面,高效的动态目录生成算法的缺乏阻碍了分面导航在大规模数据中的应用.该文提出了层次概念格,对分面导航中不同浏览状态之间的关系进行建模.基于该层次概念格模型,该文设计了若干新的导航操作以支持用户在不同浏览状态之间更灵活地跳转,从而更有效地进行知识发现.为获取该层次概念格以支持导航的灵活性和实时性,该文提出了层次概念格的高效挖掘和索引算法L-Miner.L-Miner以深度优先方式挖掘所有节点,每得到一个新节点,就更新已挖掘节点之间的边.通过对底层格节点的倒排索引,L-Minder可以高效地进行边更新.实验结果表明:L-Miner的速度远快于现有算法,而其构建的索引结构的存储代价更低.

摘要：设计了基于微电子机械系统(Microelectro mechanical system,MEMS)惯性传感器集成模块ADIS16355的姿态测量系统。该姿态测量系统采用ADIS16355作为惯性测量单元,利用加速度计对重力向量的观测来修正陀螺给出的姿态信息,卡尔曼滤波实现传感器信息融合以计算运动载体的姿态角。介绍了ADIS16355的基本功能模块,阐述了两种传感器融合测量实时姿态角的方法并给出了卡尔曼滤波算法迭代过程。基于ARMv7架构的Cotex-M3微处理器设计了姿态测量系统硬件。采用AHRS500GA对该姿态测量系统性能进行了测量姿态角的验证实验。测试结果表明,该姿态测量系统能在动态条件下准确地测定运动物体实时姿态角,其误差一般在±1°左右。

摘要：在不干扰理论的基础上,提出扩展不干扰模型ENISM及其验证方法,用以描述和分析操作系统中的信息流策略.工作包括:(1)依据系统功能模块定义多个执行域,以即将执行的可能动作序列集合与可读取的数据存储值集合一同作为ENISM定义执行域安全状态的基础;(2)给出判定系统中不存在违反策略的执行轨迹和数据流动的条件ENISM-CC;(3)基于通信顺序进程给出ENISM-CC的语义及操作系统模块设计的形式化描述和验证方法.

摘要：迭代方法是科学计算中求解大规模稀疏线性代数方程组最常用的方法.大量实际应用表明,迭代方法通常具有较高的通信与计算比,只有在粗粒度并行下才能取得较好的并行可扩展性能.而实际应用大规模计算的需求和当前多核/众核体系结构的发展趋势要求迭代方法具备细粒度并行可扩展能力.文中引入渐近规模,即满足加速条件的计算规模下界,来反映并行迭代方法适应细粒度并行的能力,并由此刻画通信与计算比.基于矩阵的稀疏模式及其通信模式、机器的通信参数和迭代方法的基本运算,给出了渐近规模的理论预测公式.在一台包含128个双路4核计算节点的并行机上,分别基于纯进程并行(MPI)和进程/线程混合并行(MPI/OpenMP),以实际应用中3种常用迭代方法Jacobi、CG、BiCGSTAB为例,分析其渐近规模.并行可扩展性测试表明了渐近规模用于刻画迭代方法通信与计算比的准确性.对于纯进程情形,给出了渐近规模的理论预测与实际测试的对比,表明了理论预测结果的正确性.最后,基于这些结果,从迭代方法的算法设计和并行实现等方面讨论了面向未来更大规模的计算系统,降低通信与计算比的途径.

摘要：模拟实验方法对高性能计算机系统的性能评价和优化设计有着重要的意义,然而由于目标系统规模庞大,传统的体系结构模拟器难以满足模拟性能方面的要求.文中提出了一种专门用于高性能计算系统的模拟器——SimHPC,该模拟器采用执行驱动的全系统模拟方法,支持操作系统和应用程序的模拟运行.通过采用与目标系统同构的节点作为宿主节点以及并行模拟的方法,使得模拟性能相比传统的体系结构模拟器大幅提高,与现有的几种大规模并行系统模拟器相比,SimHPC在通用性和模拟性能方面也具有一定的优势.

摘要：介绍了一种多策略通用数据采掘工具 MSMiner的设计与实现 .MSMiner建立在数据仓库之上 ,采用面向对象的方法描述关于数据源、采掘算法、采掘步骤和用户的元数据 .该系统集成决策树、关联规则、传统统计分析、聚类分析、神经网络和可视化等多种数据采掘算法 ,以任务模型的形式生成和执行数据采掘及决策支持任务 .其特点是支持数据库、数据仓库、文本以及 Web页面等形式数据源 ,可以动态地添加采掘算法 ,对数据和采掘策略的组织灵活有效 。