退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN113377675A
专利类型发明专利
公开/公告日2021-09-10
原文格式PDF
申请/专利权人 大连理工大学;
申请/专利号CN202110767566.7
发明设计人 任志磊;王笑爽;范晓飞;周奕;江贺;
申请日2021-07-07
分类号G06F11/36(20060101);
代理机构21200 大连理工大学专利中心;
代理人温福雪
地址 116024 辽宁省大连市甘井子区凌工路2号
入库时间 2023-06-19 12:32:17
机译: 基于操作线程数的SMT处理器,计算机程序产品在其他性能级别上的运行以及相同方法的运行方法
机译: 用于评估基于自适应判决反馈均衡器的串行化器解串器的性能的电路和方法以及包含该电路的方法
机译:使用SMT求解器和PDG创建工具的Java自动测试用例推导方法的建议
机译:使用SMT求解器和PDG创建工具的Java测试用例自动派生方法的建议
机译:基于SMT求解器的程序验证综合方法的开发与研究
机译:使用自定义解析器和SMT求解器,基于汽车嵌入式软件的UML模型自动测试用例。
机译:基于眼睛跟踪的搜索性能诊断和反馈方法有效性的实证评估。
机译:基于模型的测试用例优先级排序使用经过仔细检查的排序标准的基于选择性和均匀分布计数的方法
机译:一种基于SMT求解器的可行路径检测方法
机译:基于降阶模型的大型气动弹性模拟反馈控制:残余状态滤波器模型约简补偿及其在F-16动力学模型中的应用