摘要：面向终端用户的Web服务(Web Service)测试,是保证Web服务软件系统质量的重要技术手段。文章提出了一种Web服务应用环境下的测试模型和测试覆盖指标,旨在针对Web服务与应用环境进行交互的方式,测试Web服务的操作调用序列,为终端用户提供一种高效验证Web服务行为的方法,以提高基于Web服务软件系统的可靠性;并给出了测试覆盖分析支持工具WSCoverageAnalyzer的设计结构;最后基于一个Web服务Seller的应用案例,说明了所提出的方法。

摘要：在低光照环境下,由于光子数极少且噪声较大,线阵相机的感光源不能充分曝光,从而导致图像的质量下降.为此,提出一种多尺度融合的残差编解码器的低照度图像增强方法,直接学习原始传感器RAW明暗图像之间的端到端映射,在完全恢复原始图像细节和色彩的同时有效增强图像的亮度;为了增加特征多样性并加快网络训练速度,在网络结构中加入残差块;为了聚合上下文的全局多尺度特征,设计一个密集上下文特征聚合模块,以弥补网络深层缺失的空间信息.基于SID数据集,与其他10种方法进行对比实验,结果表明,所提方法在视觉效果、定量评价(PSNR和SSIM)方面都明显优于其他大部分方法,可以在恢复图像亮度的同时,有效地表示图像的边缘和色彩等,并在弱光增强下获得令人满意的视觉质量.

摘要：多处理器片上系统(MPSoC)是在单一芯片上集成多个处理器的复杂SoC,是多核时代SoC的最新发展方向,保证MPSoC可调度是其设计的重点。针对MPSoC的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计模型检测引擎自动模拟系统,并估算不可调度概率。实例验证结果表明,该模型检测方法降低了分析成本,可以分析传统模型检测方法所不能判定的复杂系统。

摘要：Banik等提出的轻量级分组密码GIFT算法已经入选了NIST针对国际轻量级密码算法开展的标准化竞赛的最终轮。目前已有针对其的线性分析、差分分析等的相关研究,但针对GIFT的积分分析仍待进一步研究。针对GIFT在积分密码分析过程中可分路径表达冗余的问题,提出了基于混合整数线性规划模型的积分区分器搜索求解和优化算法。首先对GIFT算法创建MILP积分分析模型,利用可分性质分别对GIFT算法的线性层和非线性层进行刻画。对线性层利用传播规则进行表达;对非线性S盒在传播规则的基础上使用贪心算法对表达式进行精简优化,得到了15个不等式作为约束条件。经过MILP求解后,得到64个9轮积分区分器。在此基础上,针对基于贪心算法的MILP求解模型精确度不足问题,引入MILP模型对S盒的可分性质进行重新表达,设计基于MILP的约简算法对GIFT积分区分器搜索进行优化,并重新求解MILP模型,最高得到了3个13轮的积分区分器。因此,基于MILP的S盒新约简算法可以优化S盒可分性质的表达,有效增加对GIFT算法的积分区分器攻击轮数,提高积分攻击效果。

摘要：由于战场环境的复杂多变,在作战过程中会产生一些突发事件,这些事件主要包括新任务出现和平台实体失效.为应对作战中的突发事件,战前制定的任务计划在作战过程中需作出适应性调整,战时任务计划的调整是作战指挥控制领域的难点问题.首先,描述指挥控制组织的组成要素,分析在突发事件下任务计划调整的约束条件,建立以得到最小使命完成时间为目标函数,以任务完成质量、任务插入顺序和调整稳定性为约束的数学模型;其次,提出一种基于可行任务执行序列和贪婪算法(greedy strategy, GS)的任务计划调整方法,给出任务计划调整方法的设计思路和详细步骤;最后,结合联合登陆作战的案例进行仿真,仿真实验验证了所提出方法应对突发事件的可行性和有效性.

摘要：模型编译器通过词法和语法分析,解析出模型信息,并生成特定平台的模型框架代码,提高了模型框架代码生成的速度和质量。然而大多数模型编译器都是生成某一特定平台的框架代码,可扩展性和可维护性较差。文中提出了一种基于MDA的分布式对象模型编译器设计方法,该方法通过灵活的转换规则配置,可以生成多目标平台模型,进一步生成该平台框架代码,从而有效提高分布式对象模型编译器的扩展性和可维护性。

摘要：为了提高多智能体系统在动态不确定性环境中的灵活性、鲁棒性和自适应性,文中提出了一种基于群智能的多智能体系统SIMAS,其主要思想是把群智能思想应用到非群体的多智能体系统中。整个SIMAS系统采用自顶向下和自底向上设计相结合的方法建立系统体系结构,应用群智能的阈值模型进行多智能体的自组织任务分配。最后通过机器人围捕仿真实验,验证了该项工作的有效性和可行性。

摘要：随着网络技术和电子商务的飞速发展,各种支付系统踊跃出现。电子支付系统的安全性和可靠性直接影响着用户的经济利益和财产安全。因此,测试作为验证和保证软件质量的重要手段之一,其重要性不言而喻。由于支付系统具有在可靠性、适时性方面要求较高,但测试方式单纯等特征,文章引入测试桩和驱动的概念,设计了一套基于数据驱动的支付系统自动测试平台,给出了具体算法和设计思路,并从TestCase产生和执行效率以及缺陷发现能力几个方面对该平台进行了分析和评价。

摘要：近年来,紧耦合智能处理器在资源受限的边缘侧智能处理器应用中受到了广泛关注.但是针对主协处理器在流水线耦合关系做早期设计空间探索时,存在硬件资源关系共享性,数据通路结构复杂多样化以及片上主协计算特征异构性的特点,使得针对智能处理器的仿真评估建模面临着挑战.本文针对紧耦合智能处理器的结构特点,将硬件结构抽象成为软件仿真模型框架,通过对主协处理器基本硬件资源分析,分解指令控制的不同数据通路,设计智能处理器仿真模型.将主处理器与智能协处理器分别采用踪迹仿真和模型解析的方法,引入混合踪迹记录时间戳以统计部件访问信息,结合基于解析的性能评估算法,实现对智能处理器的性能评估.实验结果表明,基于混合踪迹的智能处理器模型和评估分析可以有效的解出智能计算的实际执行结果,并评估得到硬件的性能,包括延时,能耗和功耗等重要参数.

摘要：在平台-任务关系优化设计中,考虑单个任务资源分配过程中平台资源冗余度对后续任务分配的影响,分析优化设计过程的约束条件,构建了以最大任务执行精度与最小资源冗余度为综合目标函数的平台-任务关系设计的问题模型,并使用基于m-best算法与rollout策略的方法对问题模型进行求解。m-best算法生成单个任务的m个平台分配方案,rollout策略用于均衡不同优先级任务之间的任务执行精度。最后,分别通过特殊算例和一般算例验证所提优化设计方法的优越性,算例的结果表明,使用该优化设计方法能够使高优先权任务的资源冗余度降低,从而使得整体任务执行精度提高。