基于Joeq编译器的软件分析及其应用

Joeq编译器是一款开源虚拟机和编译器框架,已经被越来越多的研究人员使用,然而使用Joeq编译器进行软件分析研究的相关文献还很少,而软件分析在软件开发、测试和维护等软件工程活动中起着重要的作用.在Joeq编译器的基础上研究典型的软件分析技术的实现,如访问者模式分析、类层次分析、控制流分析、数据流分析和负面效应分析等,给出了详细的实现方法.这些软件分析技术在设计的重构工具Lock2Lock中进行了实现,在这些软件分析技术的辅助下,Lock2Lock可以实现从同步锁到可重入锁(或读写锁)的自动转换.     

面向非硅MEMS的桌面微装配系统模块化设计方法

针对非硅MEMS零件的装配瓶颈难题,提出一种面向非硅MEMS的桌面微装配系统模块化设计方法.论述了所提出桌面微装配系统的内涵、特点及其应用对象,并在此基础上提出了基于装配单元通用功能完整性和系统可重配置性的模块划分原则;利用相关性分析方法建立了综合相关矩阵并应用模糊聚类方法对其进行了操作,确定了模块划分定量计算流程,利用模糊评价方法对模块划分合理性进行了评价;以桌面微装配系统的自主式装配单元为实例进行了设计方法的验证,证明了模块化设计方法的有效性.      

一种近联合界北斗B1I信号BCH码译码算法

提出一种性能接近联合界的北斗B1I信号BCH码译码算法. 以北斗卫星导航系统B1I公开服务信号ICD为基础,分析导航电文的BCH(15,11)编码的纠错能力和联合界,针对ICD标准译码算法的编码增益低和译码失败门限高提出改进算法. 以Chase算法为基础提出一种新的BCH编码软判决译码算法,使用格雷码排序优化伴随式计算,证明最大相关性与最小欧氏距离的等价关系,优化算法在不损失编码增益的条件下复杂度降低50%. 仿真结果表明在误码率10-5时距离联合界仅0.01 dB,新算法可获得2.5 dB的编码增益,译码失败门限从4.4 dB下降到1.2 dB.      

氢气还原褐铁矿实验研究与动力学分析

本文旨在研究不同温度下氢气对褐铁矿还原度和还原速率的影响,并以此为基础分析动力学相关问题.通过热重分析深入了解褐铁矿失水状况.使用粒度为8~12 mm褐铁矿焙烧后,分别在750~950℃五个不同温度下使用4 L·min-1 H2进行还原,并分析还原率和还原速率随时间的变化关系.研究发现：随着反应进行,试样还原率逐渐增大,五条还原率曲线在t>28 min后与还原温度排序一致.通过动力学研究计算得反应表观活化能E=15.323 kJ·mol-1,从而确定扩散为还原反应的限制环节.     

高钛重矿渣钢筋砼柱偏心受压力学性能研究

为了研究高钛重矿渣混凝土柱在偏心受压状态下的极限承载力、刚度与普通混凝土柱的差异,对3根高钛重矿渣混凝土柱和3根普通混凝土柱进行偏心受压对比试验,并对试验过程进行有限元模拟。研究结果表明:高钛重矿渣混凝土柱与普通混凝土柱Nua/Nu0(Nua为极限承载力模拟值,Nu0为极限承载力试验值)的平均值分别为1.022、0.999,其均方差分别为0.009、0.027,采用文中有限元方法可较准确预测高钛重矿渣混凝土柱和普通混凝土柱的极限承载力;高钛重矿渣混凝土偏心受压柱荷载—侧向挠度曲线的刚度略低于普通混凝土偏心受压柱;可采用《混凝土结构设计规范》(GB 50010-2010)来计算高钛重矿渣钢筋混凝土偏压柱的承载力,其计算结果偏于安全。     

南洞地下河最枯径流的周期变化及趋势分析

通过运用基于小波分析和重标极差分析的研究方法,对南洞地下河总出口24a最枯径流的周期变化和趋势进行分析与讨论。研究结果表明,4a、10a和15a3个周期的波动控制着南洞地下河最枯径流在1990-2013年时间域内的变化特征,其中10a的周期震荡最强,为流域年最枯径流变化的第一主周期;15a、4a尺度为最枯径流变化的第二、第三周期。在4a、10a和15a3个时间尺度下的赫斯特指数分别为0.315 60、0.573 28、0.740 43,说明未来4a尺度下最枯径流的变化趋势与过去相反,而未来10a和15a等较长尺度下的趋势变化与过去的变化相似。研究结果为南洞地下河最枯水期水资源的开发与调配提供了参考。     

基于代理重加密的云数据共享机制的研究与实现

为了使得云端数据能灵活安全地进行共享,该文对基于代理重加密的共享机制进行了研究。该文利用代理重加密实现代理授权,设计了一种云端数据授权共享方案。代理重加密算法使用了双线性对,其安全性基于判定双线性Diffie-Hellman(Decisional bilinear Diffie-Hellman,DBDH)假设。在该方案基础上,实现了一个基于Hadoop云存储平台的云端数据共享原型系统,对其进行了测试和分析。该系统的数据共享具有高效性和安全性。该文工作对代理重加密在云端数据共享中的应用具有借鉴价值。     

基于内存地址映射的并行交织器的改进算法

为了使具有高吞吐量特性的并行Turbo码译码得到应用,提出了并行无冲突交织器的数学模型,并由它得到一种改进的内存地址映射(IMM)方案,此方案能快捷高效地将传统的交织器变为并行交织器。仿真结果表明,相比传统的内存地址映射(MM)方案和优化的内存地址映射(OPMM)方案,IMM方案更加快速高效。在执行效率方面,IMM的效率比MM和OPMM分别提高了约96%和16%;在延时方面,IMM的延时比MM和OPMM分别降低至1/129和1/10。     

碱/碱土金属浸渍对酸洗生物质热解影响研究

为研究碱/碱土金属(AAEM)浸渍预处理对酸洗生物质热解特性的影响,本文选用稻壳、橡木和秸秆3种生物质为原样,对酸洗及酸洗后5种金属硝酸盐(KNO3,Ca(NO3)2,Mg(NO3)2,Fe(NO3)3,Ni(NO3)2)溶液浸渍样进行热重分析。结果表明:酸洗使得生物质中金属含量降低,而浸渍预处理使生物质中金属含量增加;经酸洗后生物质的TG和DTG曲线向高温方向移动,最大热解速率明显增加,焦炭产量下降;AAEM盐浸渍预处理可以促进生物质的热解过程,使生物质的TG和DTG曲线向低温移动;Fe、K、Ni盐的反应活性稍高于Ca、Mg盐。从动力学方面看,Coats-Redfern法对150~340℃范围内生物质热解均有很好的相关性,反应级数为一级,金属的添加使生物质热解所需活化能降低,对热解具有催化作用。     

基于轮廓跟踪的摔倒检测算法

针对传统摔倒检测算法误判率高和算法复杂等缺点,提出一种基于轮廓跟踪的摔倒检测算法。该算法主要通过背景减除法提取监控视频中的运动目标老人,运用中值滤波和形态学处理获取完整的老人身体形状,根据轮廓跟踪算法生成边界链码,然后利用实际边界链码与摔倒模板链码的欧氏空间距离判断老人是否摔倒。实验结果表明,该算法计算复杂度低,准确率得到明显提高。