面向Fork/Join框架的软件重构及性能分析

针对目前对于Fork/Join框架应用和性能分析的相关工作还不多的现状,以JGF基准测试程序套件为基础,对其中的series、crypt、sparsematmult和sor等程序使用Fork/Join框架进行重构,并以series程序为例,详细地说明了重构的过程.在实验中,首先,测试了每个程序在不同阈值下使用Fork/Join框架分别递归1、2、3次执行程序的时间,进而选择相对较好的阈值;然后,对每个程序使用Fork/Join框架和使用Thread的执行时间进行了对比;此外,测试了重构后的程序在执行过程中任务窃取的情况.实验结果表明,Fork/Join框架执行时间与多线程执行时间相比,平均降低了14.2%;对于series程序,当数据大小为sizeC且线程个数为2时,Fork/Join框架执行时间比多线程执行时间降低高达40%,可见,在多核处理器平台上应用Fork/Join框架比使用多线程将获得更好的性能.     

线性分式不确定系统保成本控制及其鲁棒界

研究线性分式不确定系统的动态输出反馈保成本控制.采用线性矩阵不等式(LMI)方法证明了保成本控制器存在的充分必要条件等价于一个LMI可解性问题,通过该条件将求解闭环系统的成本函数上界的最小值问题转化为一个凸优化问题,利用该凸优化问题的解,得到动态输出反馈控制器的增益矩阵,并且给出了摄动参数允许最大摄动界的一种算法.     

带非线性参数摄动不确定系统的鲁棒(D)稳定和鲁棒镇定

为了研究带二次不确定参数线性系统的鲁棒够稳定和鲁棒镇定问题,考虑了D域为复平面左半平面的圆盘域,并采用线性矩阵不等式（LMI）方法,证明该系统鲁棒D稳定的充分条件等价于一个线性矩阵不等式的可解性问题,利用该LMI的可行解可求得了系统鲁棒镇定状态反馈控制器。通过实例说明了该方法的有效性。     

带时间约束的基于任务角色委托模型*

针对目前的委托模型中只考虑撤销委托的权限,而不考虑被委托用户所做的分配任务,提出了委托任务、撤销任务的概念。在基于任务角色的访问控制模型的基础上增加了时间约束条件,扩展了一种新的模型—带时间约束的基于任务角色的委托模型(TTRBDM);给出了形式化的定义及其表示,分析了模型的委托和撤销的机制,给出了委托授权规则,最终理论证明了此模型的委托可控性。     

谈交易中心宴会厅弦支穹顶施工技术要点

在现有场地及已完工程结构限制施工的条件下,根据工程的结构特点,分析了钢架安装中和钢拉索的布索、张拉中的施工难点、施工顺序及施工控制要点,提供了一种类似情况下的穹顶施工经验。     

改善热印字机印字质量的几种算法

本文提出了用热印机热印图形时，相邻两点的补点算法，并给出用汇编语言实现的程序清单，文章还介绍了线条加宽的方法。     

基于多决策值等价类的属性约简

针对决策信息系统属性约简问题,引入条件属性的多决策值等价类概念,给出实现属性约简的必要条件,提出一种基于多决策值等价类的属性约简算法.该算法以单个条件属性的等价类的基为升序,对条件属性进行排序,逐一选择排序后的条件属性合并,直至合并后的条件属性子集的正域为全域,进一步判断其是否独立且不可区分关系与原信息系统的不可区分关系是否相同.当条件满足时,该条件属性子集即为决策信息系统的属性约简.通过实例验证了该算法求解属性约简的有效性.     

基于多特征融合的恶意软件分类方案

传统的恶意软件分类特征提取常以单一特征作为检测分类标准,存在检测准确率低、效果差问题,为此提出了一种提取多重静态特征进行融合并利用集成学习算法进行恶意软件家族分类方案.首先,在Kaggle数据集上对反编译恶意样本提取字节码、操作码、API序列和灰度图四种不同角度的静态特征; 然后,利用卡方检验和皮尔逊相关系数进行重要特...