基于时隙分区的TTE任务调度算法研究

时间触发以太网(TTE)将通信任务通过合理的调度定时触发发送,保证了消息的实时性和安全关键性.提出了一种基于时隙分区的时间触发以太网任务调度算法,该算法通过获取网络拓扑结构中的交换机信息,对各端系统的时刻调度表进行分区,并根据TT流量路由配置信息将其发送时刻配置在相应分区中,从而保证了TT流量在物理链路中的无冲突传输.同时,该算法使分散的网络资源得以整合,减少了RC流量的延迟并且避免了网络资源的浪费.实验结果表明,所提算法在保证TT流量可调度的同时,具有网络资源整合和运算速度方面的优势.     

一种轻量级的处理器核性能分析框架

面向国产处理器核心性能提升的实际需求,针对处理器核RTL设计中可能出现的性能缺陷问题,提出了一种基于RT L仿真的轻量级处理器核性能分析框架.该性能分析框架基于定向和随机测试激励,通过对基准处理器核(Base Core)和新一代处理器核(New Core)的RT L设计进行快速模拟仿真,并对模拟结果进行对比分析,从而发现New Core在RTL设计过程中可能引入的性能缺陷.基于该性能分析框架,结合实际应用场景给出了测试方法和测试结果.实践表明,该性能分析框架能够快速对New Core的RT L设计的性能预期进行验证,从而发现New Core在RT L设计过程中可能引入的性能缺陷,有效加速新一代处理器核的研制进程.     

300MW机组给水泵选型和试运行情况分析

给水系统的设计、设备选型以及安装、调试对于保证给水系统和整台机组的安全运行具有十分重要的意义。文中介绍了嘉兴电厂一期工程给水系统设计、选型意图以及调试、试运行过程中出现的一些问题的处理方法和防止对策,可供３００ＭＷ、６００ＭＷ机组给水泵选型、调试参考或借鉴。     

一种基于语义吸引的节点规模估计方法

节点规模是各种分布式应用的基础信息,节点波动的大规模网络环境要求节点规模估计方法具有较高的估计精度和较强的鲁棒性,已有的节点规模估计方法多侧重于某个方面的优化而未能充分权衡计算精度和鲁棒性.提出一种基于语义吸引的节点规模估计方法——SEBSA(a network size estimation method based semantic attraction).SEBSA将每个节点标识所对应的实数区间上的哈希值作为语义信息,节点通过与哈希值临近的节点周期性地交换哈希空间上的邻居信息,以快速吸引与自己哈希值最近的一组节点,测量该组节点哈希值的平均间距以估计节点规模.理论分析和实验结果表明,相对于已有方法,SEBSA在节点频繁波动的网络环境中仍然能够快速地提供准确的节点规模信息.     

星载软件可靠性测试实践

为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据的收集,最后给出了该软件的可靠性定量评估结果,表明了该方法和流程的实用性和可行性,为后续开展类似的软件可靠性测试提供实践经验.     

基于自适应优化的高性能网格服务容器

性能和稳定性是网格计算走向实用的关键,对于网格中间件的核心网格服务容器来说更显得尤为重要.但诸如资源竞争、不合理的系统并行度等因素制约了网格服务容器充分利用底层硬件资源,影响了服务容器的性能.这种现象在即将成为主流的多核计算平台上更为明显.通过对网格服务容器性能要素的分析,本文提出了一种根据当前系统软硬件使用情况,动态调整服务容器中包括并发线程数在内的各种性能参数,从而优化系统并行度、提高系统性能的自适应优化机制.我们在CROWN项目的网格服务容器CROWN Node Server中对该机制进行了具体实现.通过实验证明,自适应优化系统极大改善了原有系统的线程池管理模式.使服务容器的各种性能指标得到了一定的改善,并使容器可以充分利用底层的并行计算硬件资源,加强了系统的可伸缩性.     

基于最大似然准则Hausdorff距离的跟踪算法

针对视频处理中运动物体的检测和跟踪问题,提出一种基于最大似然准则Hausdorff距离的目标跟踪算法,首先利用基于GVF的Snake方法获得物体模型;然后采用基于最大似然准则的Hausdorff距离匹配后续帧中的目标,搜索策略采用类似于Rucklidge提出的多分辨率搜索方法,在不影响搜索成功率和目标定位精度的情况下, 可以显著地缩短搜索时间;最后使用Snake方法完成运动物体的轮廓更新.实验表明该方法可以较好地跟踪刚性和非刚性物体,同时对部分被遮挡的目标也有良好的跟踪效果.     

二进制翻译中代码生成的子图覆盖算法

二进制翻译技术能够有效解决二进制兼容问题,促进新型体系结构的发展,也是虚拟机技术的重要组成部分,具有重要的研究和应用价值,但是其效率仍然有待提升,特别是目标代码生成的效率。设计了一种高效的目标代码生成算法——代码生成的子图覆盖算法(subgraph covering for code generation,SCCG),能够以尽可能少的代价生成精简的目标代码。该算法应用数据流图对二进制代码中的基本块进行建模,获取指令间的数据相关,并采用基于子图覆盖的贪心算法得到目标代码。在TransARM原型系统中进行了实现和测试,结果表明该算法获得了更优质的目标代码,并且成本得到了有效控制。     

浮点到定点的高效翻译策略研究

动态二进制翻译中,在目标平台没有浮点部件、不支持浮点运算的情况下,浮点指令只能通过模拟解释执行。浮点指令的解释执行造成翻译系统效率急剧下降。通过将浮点指令运算转化为定点运算,解决了浮点指令在目标平台的翻译,为浮点指令的翻译找到了新的途径。在动态二进制翻译系统中进行实验,验证了翻译方法的可行性。实验显示翻译系统的性能有明显提升,含有浮点指令的比例越高,算法能够获得的加速比越高,对含有25%浮点指令的程序,该算法能达到1.55的加速比。     

液氮温区固-液复合绝缘气体小桥对沿面放电的影响

采用IEC脉冲电流法(IEC60270标准)对液氮温区超导复合绝缘沿面放电现象及其影响因素进行了研究。在六面屏蔽的局部放电实验室内,研究了不同放电条件对放电起始电压、放电量、击穿电压等的影响,进而研究了其作用机理,并用有限元方法开展了相关计算。实验数据表明,不同放电条件明显影响放电重复率、平均放电量、最大放电量等,放电产生的气泡越容易逸出,放电越严重;液氮的流动使放电起始电压有一定的升高,但对最终击穿电压影响不大;在放电通道上施加阻挡之后可明显提高最终的闪络击穿电压。