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

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

基于邻域粗糙集和蚁群优化的属性约简算法

在分析单一、给定的邻域大小设定方法弊端的基础上,提出了基于属性数据标准差的阁值设定方法,并将蚁群优化算法引入到属性约简中,以属性重要度为启发信息,构造了基于邻域粗糙集和蚁群优化的属性约简算法,使用了4个UCI数据集进行约简.实验结果表明,提出的算法在约简的分类精度和约简中属性个数方面具有更好的性能.     

有向网络下的CoDA社区发现算法评估

CoDA算法是一种基于概率模型的能识别二分结构的社区发现算法。为了验证该算法的社区划分效果,采用信息检索领域的F-measure标准,对有向网络下重叠社区和非重叠社区的CoDA社区发现算法进行评估。F-measure标准中F1-measure值的大小能反映CoDA算法社区划分效果的优劣。实验所用的数据集由LFR Benchmark工具生成,数据集中节点数最小为100,最大为20 000,每增加100节点对CoDA算法社区划分效果评估一次。分析实验结果可以得出,当节点数小于1 600时,CoDA算法的划分效果较好。当节点数大于1 600时,随着节点个数增多,CoDA算法社区划分效果逐渐变差。由此说明,基于概率模型的CoDA算法适用于小规模社交网络社区的划分。     

模具CAD系统中设计准则的程序化和公式化

模具的设计准则大多是以离散数据给出的，本文给出在模具ＣＡＤ系统中，使这些离散数据程序化和公式化的几种方法——用数组和数据文件处理法、函数插值法、最小二乘法的多项式拟合法和正交多项式拟合法，并给出了具体的实现过程。这些方法同样适用于其它ＣＡＤ系统     

使用Windows 3．1常见问题及解决办法

就用户在使用Ｗｉｎｄｏｗｓ时可能碰到的若干问题──安装启动、Ｐｒｏｇｒａｍｍａｎａｇｅｒ的使用、Ｆｉｂｍａｎａｇｅｒ的使用、ＤＤＥ等等，给出了详细解答，为Ｗｉｎｄｏｗｓ的初学者和转向Ｗｉｎｄｏｗｓ的ＤＯＳ高级用户提供了一定的帮助。     

基于长短期记忆神经网络模型的空气质量预测

随着城市化和工业化的快速发展,空气污染问题日益突出,空气质量预测显得尤为重要。当前一些有代表性的研究对空气质量进行实时监测和预报,例如周广强等采用数值预报的方法对中国东部地区的空气质量进行分析,但其实验结果表明该方法难以预测非常重的污染;SANKAR等使用多元线性回归对空气质量进行预测,但其实验结果表明线性模型预测精度低、效率慢;PéREZ等使用统计方法对空气质量进行预测,实验结果证明统计方法的预测精度比较低;WANG等采用改进的BP神经网络建立了空气质量指数的预测模型,其实验验证了BP神经网络收敛速度慢、容易陷入局部最优解的问题;YANG等利用相邻网格的空气质量浓度效应,建立了基于随机森林的PM_(2.5)浓度预测模型,通过实验过程证明网格划分程序削弱了后续空气质量分析的质量和效率。这些方法都难以从时间角度建模,其中预测精度低是比较重要的问题。因为预测精度低可能会导致空气质量预测结果出现较大的误差。针对空气质量研究中预测精度低的问题,提出了基于长短期记忆单元(long short-term memory,LSTM)的神经网络模型。该模型使用MAPE,RMSE,R,IA和MAE等指标来检测LSTM神经网络与对比模型的预测性能。由于Delhi和Houston是空气污染程度比较严重的城市,所以使用的实验数据集来自Delhi的Punjabi Bagh监测站2014—2016年的空气质量数据和Houston的Harris County监测站2010—2016年的空气质量数据。LSTM神经网络与多元线性回归和回归模型(SVR)的比较结果表明,LSTM神经网络适应多个变量或多输入的时间序列预测问题,LSTM神经网络具有预测精度高、速度快和较强的鲁棒性等优点。     

面向并发程序的重构一致性检测方法

针对并发软件重构后可能带来的行为不一致问题,提出了一种重构一致性检测方法,该方法使用控制流分析和数据流分析检测重构前后的变化,使用同步依赖分析检测重构前后同步依赖关系的变化.针对对象重用性、静态共享字段、死锁3种典型的引起并发错误的情况,设计了3种检测算法对重构前后程序的不一致性进行检测.依据该方法,在WALA软件分析框架下实现了一个原型检测工具.在实验中,使用该工具在SPECjbb2005和HSQLDB测试程序上进行了验证,并与Schafer等提出的方法进行比较,实验结果表明,该方法能够有效地发现并发软件重构的不一致行为.     

仿射多项式矩阵的鲁棒D稳定性分析

研究仿射多项式矩阵的鲁棒D稳定性问题，该多项式矩阵仿射地依赖于独立摄动的不确定参数．提出了检验仿射多项式矩阵的鲁棒性D稳定的充分条件，研究的D域为复平面的左半平面上广义二阶线性矩阵不等式(LMI)域．采用线性矩阵不等式和多凸性处理方法，证明了该问题等价于线性矩阵不等式的可解性问题．最后，通过数值实例说明该方法的有效性。     

基于多层概率集的随机系统预测控制

针对具有Markov跳变特点的一类离散随机系统,研究了输入量概率约束下的状态反馈预测控制问题。采用多层概率集的概念和方法,给出了具有多个不同概率软约束下的预测控制器设计算法,在多步反馈律的控制下,系统状态以指定概率进入不同的椭圆内,保证了系统的稳定性,而且扩大了控制问题的可行范围,改善了系统性能。最后仿真实例证明了所提方法的有效性。     

开发AutoCAD用户系统的一种方法

提出了一种开发AutoCAD用户系统的方法,并在系统中得以实现。