一种基于可重定向编译器的功耗优化框架

当今,低功耗设计成为系统设计中的关键问题之一,而编译中的低功耗优化也成为系统设计中的一个重要环节.文章针对传统功耗优化缺乏通用性的缺点,提出一个基于可重定向编译器的功耗优化框架.该框架通过对编译生成的二进制目标码进行横向再调度来降低指令总线上的高低电位切换次数,从而达到降低系统功耗的目的,并且,基于xpADL的支持,为该框架提供不同的体系结构描述,可以生成针对不同体系结构的功耗优化代码.以IA-64体系结构为例,在其仿真器Ski上作了大量实验,实验表明,对于静态代码,该框架的优化可达25%左右,对于动态代码,该框架可以达到30%以上的优化.因此,该框架的优化是行之有效的,并且具有相当的可扩展性.     

一种面向电力物联网的认知D2D网络能效资源分配算法

在电力物联网中为了提高D2D(device-to-device)网络的频谱效率和系统能效,考虑不完美信道状态信息(channel state information, CSI)的影响,提出了一种鲁棒能效最大的资源分配算法。考虑D2D用户最大发射功率约束、蜂窝用户功率约束和共道干扰功率约束,建立下垫式频谱共享模式下混合蜂窝/D2D通信的上行传输资源分配模型;考虑蜂窝用户干扰中断约束,基于最小最大概率机和辅助变量法,将原非凸优化问题转换为凸优化求解。基于凸优化理论,获得鲁棒资源分配问题的解析解。仿真结果表明所提算法的有效性。     

Uncertainty analysis of actual evapotranspiration reconstructed with GRACE gravity satellite data in the Jinsha River BasinEI北大核心CSCD

通过GLDAS数据对GRACE重力卫星水储量数据进行降尺度处理,采用水量平衡方程重构了金沙江流域2007—2016年25个子流域月实际蒸散发数据,采用拉丁超立方抽样法确定各水量平衡参数的不确定性,并对各参数和实际蒸散发进行不确定性分析。结果表明:抽样样本数为415时,抽样结果较好,各参数中降水量的不确定性变化范围最大,水储量变化次之,径流深最小;金沙江流域年均实际蒸散发不确定性变化范围为46.02~146.19 mm,空间分布总体上表现为自西向东、自北向南逐渐增大的趋势,信噪比分布与不确定性分布有一定的相似性;在年、季节尺度下,流域内不同土地利用类型的实际蒸散发不确定性由大到小排序均为林地、灌丛、农田、草地、其他占地类型;实际蒸散发不确定性在季节上呈现出差异性,夏季不确定性变化范围最大,冬季最小。     

金耳、银耳与木耳的营养成分比较

采用标准方法对金耳、银耳与木耳的营养成分进行全面的比较分析.结果表明:金耳含有蛋白质12.4％、灰分3.2％、粗纤维2.0％、脂肪2.8％、总糖72.8％,其中蛋白质、脂肪和总糖含量均高于木耳和银耳,而粗纤维低于木耳(7.9％);金耳中的功能营养成分多糖、多酚、黄酮含量分别为37.8％、0.18％和0.12％,多糖含量...     

算法级能耗分析方法研究

功耗现已成为嵌入式系统设计中一个重要的约束条件,而设计早期在高层所作的功耗评估与优化对整个系统能耗的影响最为显著。论文通过对指令级功耗模型进行研究得到一个算法级的功耗模型,并提出了基于此模型的静态算法能耗效率分析方法,它可以帮助设计者选择能耗较低的算法,对软/硬件系统设计中的功耗优化也有一定的作用。文中最后在功耗评估平台对算法实例进行模拟测试,试验结果验证了此分析方法的有效性。     

基于Petri网的ASIP体系结构形式化建模方法研究

根据SOC（System on chip）的软硬件协同设计的需求．针对ASIP体系结构空间搜索（DSE，Design Space Exploration）问题，考虑复杂的流水线结构，提出了一种扩展的时序Petri网模型——PNP模型，该模型可以以简洁直观的形式精确有效地描述目标体系结构．文中给出了PNP模型的确切定义，并通过对一个流水化的体系结构进行形式化建模的实例展示了该模型的有效性．     

数控机床圆轨迹运动误差测试仪器和方法的研究

介绍一种新的可用于数控机床圆轨迹运动误差测试的二雏球杆仪。该二维球杆仪包括一根两端与精密小球相连的测量杆和一台高精度的旋转编码器，测量杆内置有可用于测量位移的高精度传感器，旋转编码器用来精确测量杆的转动角度。分析了测量仪器的误差，并进行了校正。试验表明，该仪器不仅可测量出机床圆周运动轨迹精度，用于机床的精度评价，还可以测出机床圆周运动任意指令位置的定位误差值，为进一步用于对圆轨迹的误差补偿打下基础。     

安全关键的信息物理系统中时序行为的组合与精化

信息物理系统（cyber physical systems, CPS）通常被应用于安全关键的场景中,需要进行实时监控,并计算反馈信息,实现对外部环境的自动控制与管理.基于模型驱动的开发方法是针对实时的、异构的CPS进行开发的,而模型的可组合性是其中的核心关键点.针对时序行为的可组合问题,首先通过时序约束语言（clock constraint specification language, CCSL）建立系统的时序行为需求模型,在此基础上通过迁移系统描述CCSL的时序行为语义,并给出其组合操作方法及可组合性的形式化定义.进一步地,对时序行为进行精化操作,给出从时序行为需求模型到任务执行模型的转换方法.同时,基于L*方法对模型行为进行学习,实现组合验证以缓解状态爆炸问题,并验证精化后模型的可组合性.最后通过仿真实验及主从智能小车实例对精化与验证方法进行评估.相关数据显示,精化与组合验证方法在处理时间和内存使用上具有一定的性能优势.     

超高效液相色谱-串联质谱法同时测定蜂蜜中4种抗病毒类药物残留

目的 建立超高效液相色谱-串联质谱法(ultra performance liquid chromatography-tandem mass spectrometry,UPLC-MS/MS)同时检测蜂蜜中金刚烷胺、金刚乙胺、吗啉胍和阿昔洛韦4种抗病毒药物残留的分析方法.方法 样品经20％乙腈水(含0.2％甲酸)溶液溶解...     

基于分类树的OSEK/VDX操作系统一致性测试研究

在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则和限制条件,最后借助CTE XL工具自动生成一致性测试用例。通过对MiniOSEK的一致性测试,验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性。