基于反应扩散方程的水平集结构拓扑优化方法与实现

为实现更加先进的拓扑优化算法,研究采用反应扩散方程的水平集结构拓扑优化方法,通过理论推导给出算法中的参数选择建议.该方法允许在拓扑优化过程中生成新的孔洞,初始结构无须包含孔洞,不需要重新初始化步骤,从而可提高算法的收敛性.针对传统拓扑优化中主要采用体积约束、以柔度最小为目标和体积保留率设定存在一定主观性的问题,探究不同体积保留率下的结构应力水平的变化规律,结果显示可以依据结构最大应力水平与体积保留率的变化规律确定最优体积保留率.     

基于持久性内存的单向移动B^+树

由新型非易失存储介质构成的持久性内存(persistent memory,PM)具有扩展性强、按字节访问与静态能耗低等特性,为未来主存与辅存融合提供了强大的契机.然而由于LLC(last level cache)具有易失性且与主存交互粒度通常为64B,而PM的原子持久化操作粒度为8B.因此,数据从LLC更新到PM的过程中,若发生故障,则可能破坏更新操作的失败原子性,进而影响原始数据的完整性.为了保证更新操作的失败原子性,目前研究主要采用显式调用持久化指令与内存屏障指令,将数据有序地持久化到PM上,但该操作会造成显著的开销,在索引更新中尤为明显.在对索引进行更新时,往往会涉及到索引结构的变化,该变化需要大量的有序持久化开销.研究旨在减少基于PM的B+树在更新过程中为保证失败原子性而引入的持久化开销.通过分析B+树节点利用率、不同更新模式下持久化开销以及更新操作之间的关系,提出了一种基于节点内数据真实分布的数据单向移动算法.通过原地删除的方式,减少删除带来的持久化开销.利用删除操作在节点内留下的空位,减少后续插入操作造成的数据移动,进而减少数据持久化开销.基于上述算法,对B+树的重均衡操作进行优化.最后通过实验证明,相较于最新基于PM的B+树,提出的单向移动B+树能够显著提高单一负载与混合负载性能.     

金沙江下游梯级水库汛期分期及汛限水位合理性研究

汛期分期以及分期汛限水位的合理确定,能够较好地协调水库防洪效益与发电效益之间的矛盾,对充分发挥水库的防洪、发电能力,以及提高汛期洪水资源利用率具有重要意义。基于改进的模糊集分析方法并依据金沙江下游乌东德、白鹤滩、溪洛渡、向家坝4个梯级水库入库洪水对其汛期进行分期,通过隶属度与防洪库容的映射关系确定梯级水库分期汛限水位,提出利用跨期选样法对分期结果及汛限水位进行修正。研究结果表明:金沙江下游梯级水库前汛期为6月1日—7月14日,主汛期为7月15日—9月16日,后汛期为9月17日—10月24日,4个梯级水库合理汛限水位分别为962,800,575,374 m。通过不同典型洪水放大的洪水过程检验了分期汛限水位的合理性。研究得到的金沙江下游梯级分期结果及各库分期汛限水位,均能够在满足防洪安全的前提下提高水库发电等经济效益,在一定程度上提高了汛期洪水资源的利用率。     

基于落锤激励的某新型减振扣件减振性能分析

采用落锤激励,对某新型减振扣件进行现场测试,从传递率、传递损失率、传递损失及Z振级等四个方面对其减振性能进行分析。结果表明,在4~200 Hz范围内,传递率基本都在2.5%以下;传递损失率基本都在97.5%以上;传递损失基本都在32 dB以上;道床垂向振动加速度经过计算后,其Z振级为86.15 dB;跟普通减振扣件相比,新型扣件的综合减振性能有了明显地提高。试验表明,落锤激励法操作方便,行之有效,是测试扣件减振性能的优良方法。     

基于ABAQUS和正交试验法的基坑支护桩优化

针对目前深基坑支护桩设计过于保守的问题,通过正交试验法,利用有限元软件ABAQUS进行数值模拟分析,优化内支撑排桩支护方案.选择支护桩桩径、桩间距和桩长为研究因素,以支护结构最大水平位移为评价指标,通过正交分析,确定对支护桩稳定性影响最大的因素,并得到最优的支护方案.结果表明,对支护桩设计影响最大的因素是桩径,其次是桩长,再次是桩间距,基于ABAQUS和正交试验法的基坑支护桩优化方法,可以定量判定支护桩的优劣,相比于经验法有了较大的提升.     

基于动态符号执行的C代码缓冲区溢出检测

缓冲区溢出是C程序中众多安全隐患的根源之一,以C程序代码为目标对象,提出了一个基于底层虚拟机中间代码的缓冲区溢出检测工具PathChecker.该工具基于动态符号执行方法,使用无量词谓词公式刻画缓冲区操作的安全性质,并利用可满足模型理论求解器技术检验缓冲区操作的安全性.实验结果表明,该工具能有效检测C代码中的缓冲区溢出漏洞,且易于推广至其他高级程序语言代码和其他类型安全漏洞的检测.     

从学术论文的发表探讨高校的学科建设

运用文献计量学的方法,对成都工业学院2004—2014年学术期刊文献的学科论文产出、机构分布、高产作者、高产作者年龄结构进行计量分析,揭示科研水平和学科建设的优势和不足,提出科研和学科发展建议。     

不完备系统多准则决策的云PDR方法

针对多准则决策问题的意义以及经典粗糙集方法在不完备系统方案排序问题中的不足,在前人基于概率优势关系(PDR)排序方法的基础上,结合云理论提出了基于云概率优势关系的不完备系统多准则决策方法,即云PDR排序法。将期望、熵、超熵等参数引入PDR方法,充分考虑了决策的模糊性、波动性和随机性,评价过程和结果更加客观全面。以煤炭资源型城市为例进行应用研究,获得其中各城市发展水平及其波动情况的排序,并通过与其他方法结果的比较验证了本文方法的优势与有效性。     

一种新型Linux内核级Rootkit设计与实现

传统的内核级Rootkit无法绕过当前主流的Rootkit检测方法。对传统的内核级Rootkit的实现机制和当前主流的Rootkit检测方法进行了分析,设计并实现了一种新型Linux内核级Rootkit。通过实验证明,该Rootkit能够实现后门提权、进程隐藏及文件隐藏等功能,并能绕过当前主流的Rootkit检测工具的检测,其抗检测能力明显好于传统的内核级Rootkit。     

基于Intel VT硬件虚拟化的Rootkit技术

Intel VT硬件虚拟化技术使Rootkit可以利用底层优势实现深度隐藏。首先结合木马协同隐藏的思想,提出了基于Intel VT硬件虚拟化的Rootkit(HVRootkit)的协同隐藏模型,并给出形式化描述;然后根据该模型,在深入分析进程切换过程和操作系统内核数据结构的基础上,设计并实现了HVRootkit原型,该原型能够监控系统进程的切换过程,并通过修改与内核层进程视图和用户层进程视图相关的数据结构,隐藏系统进程。实验表明,HVRootkit原型符合协同隐藏的思想,能够实现对进程的深度隐藏,隐藏性能明显优于传统的内核级Rootkit。