教室照明UGR测量位置的研究

教室统一眩光值(UGR)测量位置与结果息息相关，有的标准要求在0.5 m测量，有的标准要求在1.1 m测量，还有的要求在后墙中心位置测量。本文探讨了这几个测量位置的出处，统计分析了大量教室距后墙0.5 m和1.1 m处的UGR实测数据，发现0.5 m处UGR值较大的教室占大多数，且1.1 m处有时候UGR值较低，同时，分析对比了镀铬格栅灯和非镀铬格栅灯的测试数据，发现不同防眩光设计对于教室UGR的分布影响很大。最后，基于上述发现，给出教室UGR测量位置的建议。     

含轴力高频振动梁的能量辐射传递模型EI北大核心CSCD

为考察轴力对梁高频振动的影响,建立了轴力作用下梁的能量辐射传递模型。针对具有恒定轴力作用的Euler-Bernoulli梁,引入受轴力影响的波数和群速度,建立能量密度控制方程,推导轴力作用下梁的能量密度和能量强度的核函数。实源强度由导纳法计算得到的输入功率表示,虚源强度通过边界能量平衡方程确定,根据惠更斯原理,梁的能量响应由实源产生的直接场与虚源产生的反射场线性叠加得到。通过将能量辐射传递法(energy radiative transfer model,RETM)获得的结果与波传播法解析解进行比较,分析了轴力作用下无限结构导纳的适用性,验证所提RETM的正确性,同时分析了轴力对梁能量响应的影响。     

机器学习方法赋能系统软件：挑战、实践与展望

机器学习方法为构建系统软件带来了新的机遇.为充分利用硬件资源支撑新型应用，系统软件的设计与实现需要不断改进与演化，以适应不同场景的需求.机器学习方法具有从数据中提取规律并自动优化系统性能的潜力.然而，使用机器学习方法赋能系统软件面临一些挑战，包括设计面向系统软件的定制化模型、获取足量且高质量的训练数据、降低模型开销对系统性能的影响，以及消除模型误差对系统正确性的影响等.介绍了上海交通大学并行与分布式系统研究所在索引结构、键值存储系统、并发控制协议等方面应用机器学习方法优化系统软件的实践，并从模型设计、系统集成和实践者自身知识储备等方面总结了经验与教训.此外，还回顾了国内外相关研究，并对此研究方向提出了展望与建议，希望为未来的研究提供参考与帮助.     

功能梯度耦合梁的能量辐射传递模型

研究的目的是将能量辐射传递方法(RETM)拓展应用于功能梯度材料(FGM)耦合梁的高频振动响应分析。在RETM理论中，FGM耦合梁的振动响应由能量密度和功率流强度表示，振动波场由激励点实源产生的直接场与边界虚源产生的反射场叠加而成。由FGM梁微元的能量平衡推导了能量密度及功率流强度的核函数，利用耦合处的力平衡以及位移连续性推导了能量传递系数，根据边界功率流平衡确定了边界虚源强度。数值算例计算结果与波传播分析方法(WPA)的解析解进行对比，验证了所建立模型的正确性。最后，分析了梯度指数n对FGM耦合梁能量传递系数以及高频振动响应的影响，发现n的影响主要集中在n 0～1。     

基于图结构索引的分布式OLAP加速方法

随着业务数据的规模增大,一些重要的应用场景需要使用分布式在线分析处理(OLAP)支持大规模数据的分析,例如商务智能(BI),企业资源计划(ERP),用户行为分析等.同时,分布式OLAP打破单机存储的限制,可以将数据放在内存中以提升OLAP的处理性能.然而,基于内存的分布式OLAP在消除磁盘I/O后,性能瓶颈转移到了连接操作.连接操作是OLAP中的一种常用操作,会进行大量的数据读取与计算操作.通过对现有的几种连接操作方式进行分析,提出了一种能够加速连接操作的图结构索引以及基于图结构索引的连接操作方式LinkJoin.图结构索引通过用户所指定的连接关系,将数据在内存中的位置以图结构的形式进行存储.基于图结构索引的连接方式,不仅能够有等同于哈希连接的较低复杂度,而且在执行过程中能减少数据读取与计算操作次数.将目前先进的开源内存OLAP系统MonetDB从单机系统扩展成分布式系统,并且在该系统上设计与实现了基于图结构索引的连接操作方式.针对该系统的图索引结构,列式存储以及分布式执行引擎这3个重要方面,进行一系列设计与优化,以提升系统的分布式OLAP处理性能.测试结果表明,在TPC-H标准测试中...     

基于PKS硬件特性的eBPF内存隔离机制

Linux内核中的eBPF (extended Berkeley packet filter)机制可以将用户提供的不受信任的程序安全地加载到内核中.在eBPF机制中,检查器负责检查并保证用户提供的程序不会导致内核崩溃或者恶意地访问内核地址空间.近年来, eBPF机制得到了快速发展,随着加入越来越多的新功能,其检查器也变得愈发复杂.观察到复杂的eBPF安全检查器存在的两个问题:一是“假阴性”问题:检查器复杂的安全检查逻辑中存在诸多漏洞,而攻击者可以利用这些漏洞设计能够通过检查的恶意eBPF程序来攻击内核;二是“假阳性”问题:检查器采用静态检查的方式,由于缺乏运行时信息只能进行保守检查,可能造成原本安全的程序无法通过检查,也只能支持很受限的语义,为eBPF程序的开发带来了困难.通过进一步分析,发现eBPF检查器中的静态模拟执行检查机制代码量大,复杂度高,分析保守,是引起安全漏洞和误报的主要原因.因此,提出使用轻量级动态检查的方式取代eBPF检查器中的静态模拟执行检查机制, eBPF检查器中原本由于模拟执行而存在的漏洞与保守检查不复存在,从而能够消除诸多上述的“假阴性”和“假阳性”问题.具体...