摘要：在面向服务的架构中,软件功能通常被封装为服务,并以开放可编程接口的方式提供应用.因此,服务接口的正确性和可靠性对于服务理解、重用和集成至关重要.随着软件即服务的思想被广为认可,互联网上越来越多的软件应用以服务接口方式提供开放式访问.面对众多的服务接口,如何进行高效且有效的测试是一个亟待解决的问题.为此,提出了一种基于模型驱动的自动化测试方法,首先采用接口语义契约模型对被测服务接口建模,然后基于接口模型和测试覆盖率需求为单个服务和组合服务生成测试数据和测试用例.在此基础上,设计并实现了AutoTest自动化测试工具,该工具采用多种算法用于优化测试用例生成,且支持图形化测试计划编排和跨语言测试代码生成.实验结果表明,AutoTest能够有效支持大批量测试用例的设计和生成,根据OED(正交实验设计)算法生成的测试用例与IPO组合算法得到的用例相比,具有更为理想的测试覆盖率.

摘要：现有基于学习的单幅透射图像恢复方法常需要大量成对的标签数据来训练模型,因缺乏成对图像集的监督约束,致使透射图像恢复效果欠佳,限制了其实用性.提出了一种基于自监督学习的单幅透射图像恢复方法,利用循环一致性生成对抗网络的循环结构和约束转移学习能力实现非成对图像的模型训练,通过设计自学习模块,从大规模的无监督数据中挖掘自身的监督信息对网络进行训练,以此形成有效的从浅层到深层的特征提取,提高透射图像正面内容的纹理、边缘等细节信息恢复质量,实现单幅图像的透射去除.实验结果表明,该方法在合成图像数据集、公共图像数据集以及真实图像数据集上都取得了较好的透射图像恢复结果.

摘要：结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。

摘要：在纺织生产线调度领域,传统的人工调度方式已难以满足当前对高效利用机器和提升生产效率的迫切需求。鉴于此,本文建立了以最小化最大完工时间和机器总负载为优化目标的多目标柔性作业车间调度问题(flexible job shop scheduling problem,FJSP)数学模型,并提出了一种改进的NSGA-II算法(INSGA-II)用于求解。本文的主要特点是:(1)该算法采用基于工序和机器的两层编码方法;(2)采用混合种群初始化策略,目的是提高种群的初始质量;(3)设计了一种基于迭代次数的变领域搜索策略,在减少无效搜索的同时提高了局部搜索能力。本文在MK01-MK09和abz05-abz09的测试集上,将所提出的算法与其他算法(MOEA/D、MOEA/DD和NSGA-II)进行对比,并通过对14个标准算例的分析,证明了改进个NSGA-II算法在求解FJSP问题中的有效性。

摘要：歼击机中供氧系统内的氧气气压调节系统(氧调器系统)对飞行员的飞行质量至关重要。但是氧调器系统易受飞行环境和飞行员呼吸状态等因素的影响,而且氧调器所用阀门大多含有死区,会给控制系统带来稳态误差,导致控制难度增大,一般的控制策略难以兼顾补偿较大死区和抗扰两个条件。针对此问题,建立了基于音圈电机驱动阀的氧调器系统模型,并针对模型死区特性采用了死区补偿和双限幅模块,设计了基于死区补偿的平稳切换自抗扰控制策略。仿真及对比结果表明:采用同一套控制参数,可以使氧气面罩内压强在各个呼吸频率时有效,并快速地控制在呼吸阻力容许界限以内;并且其呼吸阻力低于将死区看作扰动的一般自抗扰控制(ADRC)。同时,验证了此策略的鲁棒性和抗扰性。

摘要：为了利用快速成形技术制造功能梯度材料零件,在分析以往基于设计的功能梯度材料零件计算机辅助设计模型的基础上,提出一种基于制造的功能梯度材料零件计算机辅助设计模型。采用PIC格式存储层片轮廓,存储层片材料分布向量的数据结构为四叉树和线性表,材料分布向量精度可调且存储空间可以优化。基于该模型,提出一种新的材料分布向量计算方法,实例证明该方法计算材料分布向量简单。采用不符合要求的采样点占总采样点百分比λ作为判定依据,比以往判定依据更灵活。基于此判据提出一种基于材料特征的层厚计算方法,实例证明该算法正确、有效。

摘要：煤粒粒度分布特征与煤中甲烷气体传播规律的分析密切相关。目前,基于图像分割的煤粒粒度分析方法已成为获取煤粒粒度的主流方案之一,但存在上下文信息丢失、煤粒特征融合不当造成煤粒漏分割和过分割等问题。针对上述问题,设计了一种基于双层路由注意力机制(BRA)的煤粒粒度分析模型。在残差U型网络ResNet-UNet中嵌入BRA模块,得到B-ResUNet网络模型:为减少在煤粒分割过程中出现的漏分割问题,在ResNet-UNet网络的上采样前添加BRA模块,使网络根据上一层的特征调整当前特征层的重要性,增强特征的表达能力,提高长距离信息的传递能力;为减少在煤粒分割过程中出现的过分割问题,在ResNet-UNet网络的特征拼接模块后添加BRA模块,通过动态选择和聚合重要特征,实现更有效的特征融合。对分割出的煤粒进行特征信息提取,针对实验分析中采用的煤粒数据集的煤粒粒度与细胞大小相当,为精确表征煤粒粒度,采用等效圆粒径获取煤粒粒度及粒度分布。实验结果表明:①B-ResUNet网络模型的准确率、平均交并比、召回率较ResNet-UNet基础网络分别提高了0.6%,14.3%,35.9%,准确率达99.6%,平均交并比达92.6%,召回率达94.4%,B-ResUNet网络模型在煤样中具有较好的分割效果,能够检测出较为完整的颗粒结构。②在上采样前和特征拼接后均引入BRA模块时,网络对煤粒的边缘区域给予了足够的关注,且对一些不太重要的区域减少了关注度,从而提高了网络的计算效率。③煤粒的粒度大小在1~2 mm内呈相对均衡的分布趋势,粒度在1~2 mm内的煤粒占比最大为99.04%,最小为90.59%,表明基于BRA的图像处理方法在粒度分析方面具有较高的准确性。

摘要：文章梳理了智能电网大数据流实时分析技术的发展趋势,研究了具有流式计算与主动管理双重特性的复杂事件处理(complex event processing,CEP)技术特点。基于实时数据分发服务(data distribution service,DDS)中间件设计了自动需求响应(automated demand response,ADR)系统与CEP实时监测服务的集成架构,给出CEP服务节点的功能组件与分析流程,论述了应用架构的互操作优势。以用户需求响应性能实时监测分析为案例,说明应用CEP实现用户基线负荷与响应性能计算的关键技术,由ADR事件定义反映资源响应时序的上下文规则,设计用户侧监测事件模型与关键查询算法。特别针对实时与增强历史监测数据上下文的混合查询算法,给出CEP引擎内部扩展设计与实现流程,并实验验证算法性能。应用CEP内嵌R算法实现快速统计计算。最后,建立原型系统与CEP实时分析算法的可视化仿真实验,验证了CEP应用的可行性。

摘要：针对火电厂过热汽温系统采用传统PID控制效果较差的问题,设计免疫内模控制器,采用免疫反馈控制与内模控制相结合,有效缓解了内模固定滤波器时间常数的鲁棒性和快速性之间的矛盾,对参数变化有很好的自适应能力。将设计的控制器应用到过热汽温系统中,通过免疫内模控制器与内模控制器在给定阶跃响应、加入扰动阶跃信号、延时增加/减少5%、惯性时间常数增加/减少5%、比例增益增加/减少5%等情况下的仿真,结果表明,所设计的免疫内模控制器性能优于内模控制器。

摘要：目的干预措施在临床实践中的实际干预效果与随机对照试验(RCT)中表现的效力存在差异,即效力-效果差距。RCT结果与真实世界研究(RWS)结果的差异可能无法代表真实的效力-效果差距,这是因为当RWS与RCT在研究设计上有较大差异,或RWS结果估计存在偏倚时,效力-效果的估计可能是有偏的。其次,当发现干预措施存在效力-效果差距,不能对所有患者实行一刀切的临床决策,而需要进一步评估影响干预措施效果的真实世界因素,识别可能取得期望效用的患者群体。方法检索PubMed、Embase、Web of Science、万方数据知识服务平台、维普数据库、中国知网6个数据库从建库至2022年12月31日的中英文文献,采用概括性综述的方法,对如何改进RWS设计从而弥合效力-效果差距的方法进行归纳整合和定性描述。结果共纳入10篇文献,探讨如何以RCT研究方案为模板,制定相应的RWS方案,在正确估计效力-效果差距的基础上,进一步评估干预措施在患者亚群中的效果,选取能获得预期收益风险比的患者亚群,从而弥合效力-效果差距。结论使用医疗大数据,模拟目标试验方案关键特征,可以提高研究结果的真实性和有效性,弥合效力-效果差距。