摘要：分类不平衡是指不同类别间样本数量分布不均衡的现象.在软件缺陷预测中,传统预测模型的性能可能会因数据集分类不平衡而受到影响.为了探究分类不平衡对软件缺陷预测模型性能的影响程度,该文提出一种分类不平衡影响分析方法.首先,设计一种新数据集构造算法,将原不平衡数据集转化为一组不平衡率依次递增的新数据集.然后,选取不同的分类模型作为缺陷预测模型,分别对构造的新数据集进行预测,并采用AUC指标来度量不同预测模型的分类性能.最后,采用变异系数C·V来评价各个预测模型在分类不平衡时的性能稳定程度.在8种典型的预测模型上进行实验验证,结果表明C4.5、RIPPER和SMO这3种预测模型的性能随着不平衡率的增大而下降,而代价敏感学习和集成学习能够有效提高它们在分类不平衡时的性能和性能稳定程度.与上述3种模型相比,逻辑回归、朴素贝叶斯和随机森林等模型的性能更加稳定.

摘要：在分析和比较典型的并发面向对象程序设计语言的基础上，提出了一个并发对象模型的架构．其特色在于对象的并发特征函数和对消息传递方式的处理．从语言设计的角度对并发对象模型与继承之间的有机集成进行了初步探讨．

摘要：针对基于控制流的测试充分性准则易错失面向对象程序中的状态依赖关系,提出一种基于数据流准则的测试用例自动生成方法。通过数据流分析获取待覆盖的目标定义使用对,利用遗传算法自动生成覆盖定义使用对的测试用例,根据适应度函数指导测试用例的进化。将该方法与基于分支覆盖和语句覆盖的方法相比较。实验结果表明,与其他方法相比,该方法可以检测出更多的变异体,适应度函数的设计降低了进化代数。

摘要：测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并未对该研究问题的已有研究成果进行系统总结和展望。首先介绍了测试用例集扩充问题的研究背景和问题描述,然后总结出研究框架并对已有研究工作进行分类和系统比较,接着对常用评测数据集和评测指标进行了分析,最后对该问题值得关注的未来研究方向进行展望。

摘要：SCADE同步语言是一种常用的嵌入式系统程序设计语言。在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统。SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语言结构来精简代码。目前,相比Lustre语言,SCADE程序模型检测的学术研究相对落后。为此,文中提出了一种对SCADE程序进行模型检测的方法并实现了一款SCADE模型检测工具,该方法的核心思想是基于程序转化,即把SCADE程序经过词法分析、语法分析、抽象语法树生成与化简等操作最终转化为等价的Lustre程序,然后用JKind与SMT求解器完成模型检测。此外,通过理论推导和大量实验证明了工具的模型检测的正确性。实验结果表明,功能相同的两个SCADE和Lustre测试用例模型的检测结果相同,但SCADE程序的模型检测效率相对较低。

摘要：为了在进行业务过程模型的检索与组合验证时比较两个工作流过程之间的相似度,在传统的工作流结构相似性度量与检索的基础上,针对概率式工作流的相似性度量与检索展开研究,通过定义概率结构树来描述工作流系统,在此基础上提出基于树编辑距离的工作流度量方法,进一步将其转换为概率无环有向图,并给出了基于等价迹的检索方法。给出相关的算法设计,并分析了时间复杂度。对该方法进行了系统性实验,评估了其正确性和有效性。

摘要：HPL是高性能计算广泛采用的Linpack测试软件包,传统HPL算法中,求解矩阵将以块为单位循环分布到所有处理器,由于国产加速器(China Accelerator)的底层矩阵乘接口仅支持定制接口,传统HPL算法已不适合CPU+China Accelerator异构系统,因此,必须基于定制接口完成矩阵分布细致划分与封装dPEM,以提供一个通用的HPL测试配置环境;同时,为了充分发挥国产异构系统的效率,设计了异构协同矩阵乘调度算法OA4MM,以提高国产异构系统的效率。实验验证了dPEM的有效性和OA4MM算法的高效性,OA4MM较传统的异构HPL调度算法性能提升近10%。

摘要：为了在多跳无线网络中对实时视频流提供高效的端到端服务质量支持,提出了一种具有时间意识的视频流控制协议(TACP).首先在网络层增加了独立的TACP子层,采用跨层设计方法将各协议层的参数映射至该子层.在此基础上,源节点通告视频同步信息,使中间节点形成时间意识;中间节点通过分布式时延估计方法限制超时视频数据的转发.随后,为了对高优先级视频数据提供保护,研究了一种基于GOP的路径探测机制,并将其与视频流控制协议协同工作.利用仿真实验,对TACP视频通信性能进行分析和评价.结果表明:TACP能够显著改善实时视频流质量,包括可解码帧率、端到端时延和时延抖动等性能指标;该协议极大地提高了网络带宽利用率,并能够有效适应实时性需求的变化.

摘要：设计了一个新颖的基于远程触觉协作的虚拟针灸系统。分析了针灸过程中针体与组织的相互作用力,建立力学模型模拟针体受力,设计插值处理和分频输出以实现力反馈数据的实时网络传输。设计仿真实例对系统中力学模型、插值计算和分频输出的效果进行验证,实验结果表明:提出的力学模型与针灸现实相符,插值方法可以提高远程触觉协作中接收数据的完整性,时延小于专家推荐的经验值,系统能够提供感觉逼真、实时稳定的虚拟针灸远程教学与训练,为针灸教学提供了一种新的手段。

摘要：为了向用户推荐结构相似且时间效率较高的流程,提出了一种基于流程中活动发生的概率和时间的流程推荐方法。定义了一个模型PTN(probabilistic time Petri net)来表示流程,改进了一个现有的流程相似度方法并且将它命名为MDS(matrix distance similarity),用于找出流程库中与查询模型结构相似的流程集合,提出了一个最小加权时间方法(minimum weighted time,MWT),用于找出流程集合中时间效率较高的业务流程。在此基础上设计了相关算法,并且分析了时间复杂度。实验数据证明了方法的有效性和高效性。