“电磁兼容原理与应用”课程教学改革与探索

在新工科教育思想的指引下,“电磁兼容原理与应用”课程秉承“以教师为主体,以学生为中心”的,对教学进行了一系列改革,包括教学理念更新、教学内容优化、教学方法改进和考核方式改革。实践证明,这些改革措施有效激发了学生的学习动力,提高学生分析问题、解决问题的能力,培养其自主学习与持续学习的习惯,提高了教学质量和教学效果。     

基于LDRA Testbed的单元测试用例设计及案例分析

随着测试工具功能的逐渐强大,软件测试技术有了进一步的提高。其中单元测试是软件测试的基础,是发现软件缺陷,保证软件质量的必要步骤。本文以LDRA Testbed测试工具为基础,以单元测试的基本概念出发点,详细说明了单元测试中几种常见情况的用例设计方法,并且对实际案例进行分析,使得满足测试中相关覆盖率要求。测试结果表明LDRA Testbed进行单元测试时可以有效提高软件质量。     

Ⅱ类水体悬移质泥沙含量遥感反演综述

悬移质泥沙是水环境的重要参数之一,其含量的变化对流域生态环境有着多方面的影响。传统研究方法能够实现悬移质泥含量的精确分析,但存在布点有限、时效不足等问题,而遥感技术可弥补传统研究方法的不足,实现大面积水域的同步观测。基于悬移质泥沙含量遥感反演的4类模型:物理模型、半分析模型、经验模型、人工智能算法模型,总结了Ⅱ类水体悬移质泥沙含量遥感反演的研究进展,探讨了反演研究中存在的离水辐亮度提取难度大、混合像元不易分解等问题,并针对我国内陆山区河流,提出山区Ⅱ类水体悬移质泥沙含量遥感反演发展面临的关键问题。     

基于符号执行与模糊测试的混合测试方法

软件测试是保障软件质量的常用方法,如何获得高覆盖率是测试中十分重要且具有挑战性的研究问题.模糊测试与符号执行作为两大主流测试技术已被广泛研究并应用到学术界与工业界中,这两种技术都具有一定的优缺点：模糊测试随机变异生成测试用例并动态执行程序,可以执行并覆盖到较深的分支,但其很难通过变异的方法生成覆盖到复杂条件分支的测试用例.而符号执行依赖约束求解器,可以生成覆盖复杂条件分支的测试用例,但在符号化执行过程中往往会出现状态爆炸问题,因此很难覆盖到较深的分支.有工作已经证明,将符号执行与模糊测试相结合可以获得比单独使用模糊测试或者符号执行更好的效果.分析符号执行与模糊测试的优缺点,提出了一种基于分支覆盖将两种方法结合的混合测试方法——Afleer,结合双方优点从而可以生成具有更高分支覆盖率的测试用例.具体来说,模糊测试（例如AFL）为程序快速生成大量可以覆盖较深分支的测试用例,符号执行（例如KLEE）基于模糊测试的覆盖信息进行搜索,仅为未覆盖到的分支生成测试用例.为了验证Afleer的有效性,选取标准程序集LAVA-M以及实际项目oSIP作为评测对象,以漏洞检测能力以及覆盖能力作为评测指标.实验结果表明：（1）在漏洞检测能力上,Afleer总共可以发现755个漏洞,而AFL仅发现1个;（2）在覆盖能力上,Afleer在标准程序集上以及实际项目中都有不同程度的提升.其中,在oSIP中,Afleer比AFL在分支覆盖率上提高2.4倍,在路径覆盖率上提升6.1倍.除此之外,Afleer在oSIP中还检测出一个新的漏洞.     

The use of mobile messaging‐based case studies in a pharmacotherapy introduction class in China

This study is to examine the attitudes of students towards the case studies based on mobile messaging in a pharmacotherapy introduction class. Case studies were divided into 4 groups, with 30 pharmacy students each group. Each group was required to share pharmaceutical care plans on WeChat by posting messages. A post‐activity survey was conducted: Over 70% of the students agreed that mobile messaging‐based case studies (MMBC) helped developing skills and knowledge and stimulating additional research and readings. Over 60% of the students felt that MMBC helped understanding others' viewpoints and sharing their experience and knowledge. More than half of the students agreed that MMBC was more convenient than traditional and internet‐based case study. Less than 30% of the students agreed that the interaction with other students was good. The findings reflect the MMBC studies' popularity with students. Recommendations to use MMBC studies include (a) balance the merits, such as expressing opinions clearly and concisely, allowing for collaborative learning, with the drawbacks: distraction and the low quality of interactions; (b) use small groups for case discussion; (c) design a collaborative schedule dividing the discussion into different sections.     

基于OTT策略的可变力度组合测试用例优先级排序方法

如何选取组合力度用于测试是可变力度组合测试用例优先级排序方法中迫于解决的关键问题。采用组合覆盖率为排序标准能够满足组合覆盖率,但其排序因素单一,测试用例优先级排序结果差异性较大,且无法根据测试结果反馈信息及时调整组合测试用例优先级。针对上述问题,该文结合One-test-at-a-time(OTT)策略、利用局部组合覆盖率、测试用例失效率和测试用例重要程度对组合测试用例优先级排序方法进行了研究。在测试过程中,实时关注测试用例的执行结果用于在线调整测试用例排序因素的取值情况,以达到实时更新组合测试用例优先级的目的。实验结果表明：相较于Random、ICBP、GISVSP和LISVSP方法,该方法使得组合测试用例优先级排序结果相对稳定,且在缺陷检测率上具有竞争力。     

Handling the complexities of real-life job shops when implementing workload control: a decision framework and case study

The workload control literature highlights the importance of balancing the shop floor workload, but also acknowledges that this can conflict with processing the most urgent orders – hence, there is a trade-off. In practice, shops contain many complexities, e.g. simultaneous batching and sequence-dependent set-up times that may conflict with processing the most urgent orders and require other solutions than workload balancing to avoid capacity losses. This adds to the trade-off dilemma, which traditionally only considers timing and balancing. This paper develops a framework that determines whether to address a complexity through order release or dispatching. It comprises two dimensions: (i) the typical position of a complexity in the routing of an order and (ii) the criticality of the complexity. A case study is presented, which demonstrates the framework’s utility and illustrates the development of specific solutions designed to handle the complexities. Most complexities present in the case require handling at the order release stage. The challenges of handling multiple complexities at this decision level are evaluated. Finally, the implications for managers and future research are outlined.     

基于影响分析的回归测试优先级错误定位方法

基于程序行为特征的错误定位方法由于只孤立地看待每个程序实体,使其错误定位的效率受到影响,而回归测试错误定位又由于需要执行全部测试用例将大大增加开发和测试成本。针对以上问题,提出一种基于影响分析的回归测试优先级错误定位方法,该方法将联合依赖图、基于程序行为特征的错误定位方法和回归测试优先级进行有机结合。实验结果表明,与Ochiai,Tarantula,PPDG,CP和Naish等经典方法相比,该方法可更加有效地定位软件错误。     

An Infrastructure for Argumentative Agents

Multiagent systems are suitable for providing a framework that allows agents to perform collaborative processes in a social context. Furthermore, argumentation is a natural way of reaching agreements between several parties. However, it is difficult to find infrastructures of argumentation offering support for agent societies and their social context. Offering support for agent societies allows representation of more realistic environments to have argumentation dialogues. We propose an infrastructure to develop and execute argumentative agents in an open multiagent system. It offers tools to develop agents with argumentation capabilities. It also offers support for agent societies and their social context. The infrastructure is publicly available. Also, it has been implemented in an application scenario where argumentative agents try to reach an agreement about the best solution to solve a problem reported to the system.     

一种并行化的启发式流程挖掘算法

启发式流程挖掘算法在日志噪音与不完备日志的处理方面优势显著,但是现有算法对长距离依赖关系以及2-循环特殊结构的处理存在不足,而且算法未进行并行化处理.针对上述问题,基于执行任务集将流程模型划分为多个案例模型,结合改进的启发式算法并行挖掘各个案例模型所对应的C-net模型;再将上述模型集成得到完整流程对应的C-net.同时,将长距离依赖关系扩展为决策点处两个任务子集之间的非局部依赖关系,给出了更为准确的长距离依赖关系度量指标和挖掘算法.上述改进措施使得该算法更为精确、高效.