基于约束的数据流自动测试方法研究,张斌,杜振军,软件测试中,测试数据的生成是最具有挑战性的工作之一。目前,已有很多技术和软件,如基于随机算法的、遗传算法的、谓词约束的,
针对传统基于语义服务动态合成的低效率和授权管理的有效性不高问题,本文提出了基于行为能力约束的服务动态授权管理方法。该方法借助数学优化模型,对服务合成的路径进行了描述,根据成份服务间的约束关系,提出了协
考虑应急设施选址时的成本和应急时间因素,给出了多目标应急设施选址问题的模型,通过设置罚函数将该多约束问题转化成易于计算机求解的简单约束模型,进而在初始解的选取、温度参数的控制、可行解的迭代策略和算法终
针对粒子滤波算法在有干扰的目标跟踪中可能出现的粒子多样性减少和精度下降等问题,研究并实现了一种新的基于约束知识的IP-MCMC-PF目标跟踪方法。该方法首先通过约束知识提高粒子预测的准确性,并通过多链
提出新的有效的位姿测量算法。该方法使用共面特征点, 利用投影变换中的平行性约束等仿射不变量快速求得特征点摄像机坐标系空间深度值, 并作为初值求解以特征点几何约束条件建立的无约束非线性最优化目标函数,
为了选择有效的图像特征,并将这些特征融合以进行图像的显著区域检测,提出一种基于图像特征稀疏约束的显著性检测算法。该算法首先建立一个包括多种图像特征的特征池,之后假设图像的显著图由特征池中特征的线性组合
基于AOP技术的基础服务构件的设计和实现,麦通,邓中亮,随着软件规模的不断扩大、结构日益复杂,针对通用服务代码和核心功能代码交织缠绕的现象和问题,AOP作为一种全新的变编程思想,从
基于AOP和XML的工作流异常处理策略的研究,宫志伟,,本文将工作流系统中的异常处理机制与AOP技术相结合,通过利用横切关注点,对工作流中的异常进行处理。并且利用XML技术对异常的传递
基于SOA思想的业务流程通信方法研究,张哲,支兴超,随着企业规模的不断扩大,业务流程之间的通信越来越困难,给企业的运转带来了很大的障碍。本文基于面向服务的体系结构(SOA:Service-O
基于SDN的DDoS攻击检测技术的研究,赵智勇,辛阳,软件定义网络(SDN)是一种新型的网络架构,核心优点是转发与控制相分离,并且用户可以自定义控制器。分布式拒绝服务攻击(DDoS)��