基于改进人工势场的未知障碍物无人机编队避障

基于深度学习和反例制导的循环程序秩函数生成

目标检测模型的决策依据与可信度分析

“数据库原理与应用”全英文课程教学实践探讨

基于迁移学习与支持向量机的服装舒适度评估

基于模糊信息分解与控制规则的移动机器人沿墙导航

基于增强动态稠密轨迹特征的布料材质识别

基于跨虚拟机零下陷通信的加速器虚拟化框架

用于软件缺陷预测的集成模型

基于多维灰色模型及神经网络的销售预测

基于IRAPSO的组合测试用例生成方法

基于条件概率模型的缺陷定位方法

基于二次定位策略的软件故障定位

基于架构的服务组合可靠性预测

基于在线故障定位及自主适应提高软件可靠性

基于程序不变量计算软件可靠性

基于偶然性正确测试用例发现的错误定位方法

基于GCL语言的测试用例生成方法

基于神经网络集成的软件故障预测及实验分析

测试方法对软件失效数据影响的实验分析

一种基于Haskell语言的测试用例生成工具

一个Web服务相似度的计算方法

基于Markov模型用户浏览行为预测分析

基于UML和Petri网的建模及其验证

基于微分方程的程序性能分析

基于Petri网的软件测试用例的产生及分析

基于常微分方程的死锁检测实验分析

基于常微分方程的城市交通网络分析

基于控制流的形式化程序测试

基于事件图的并发软件测试