科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
杨鹏; 邝继顺;
湖南大学计算机与通信学院;
内建自测试; 自反馈测试; 穷举; 回溯; 片上可编程系统;
机译:基于二元计数器的有限记忆同步自动机穷举测试生成器
机译:基于回溯反馈的集成指纹分类系统的研究与实现
机译:设计优化中的穷举搜索近似:一种算法实现
机译:BDD FTEST:基于二进制决策图表示的快速,无回溯的测试生成器
机译:通过基于序列算法的波前塑造来实现通过高散射介质聚焦光的实现
机译:基于极限学习机的模拟电路故障检测测试生成算法
机译:回溯算法和搜索启发式算法,为组合测试生成测试套件
机译:基于穷举状态空间探测算法的航空航天系统安全性能形式化验证。进度报告,2002年5月9日至2004年10月8日
机译:基于扩展的无上下文语法测试规范模型和新型测试生成算法的基于规范的测试中的路径覆盖标准
机译:DOMP-数字偏移管理平台是第一个全球集成的偏移管理平台,它在偏移策略,政策指南,OEM合同,业务案例评估,合同管理和项目交付之间进行协调和管理,具有完全的敏捷性。 DOMP利用AI功能以及基于海量数据的机器学习和平台内预先建立的集成来实现一致性,透明性,基于复杂算法的全面实时分析,以实现更好的控制。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。