退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN106997411B
专利类型发明专利
公开/公告日2020-09-29
原文格式PDF
申请/专利权人 中国电子科技集团公司第二十八研究所;
申请/专利号CN201710171811.1
发明设计人 陶智刚;蒋飞;蒋锴;任志宏;孔俊俊;徐浩;
申请日2017-03-22
分类号G06F30/22(20200101);
代理机构32204 南京苏高专利商标事务所(普通合伙);
代理人柏尚春
地址 210046 江苏省南京市栖霞区灵山南路一号
入库时间 2022-08-23 11:15:14
机译: 具有规则能力的基于规则的监测引擎,用于多线程测井
机译: 对基于线程的方法和系统进行编程,以使用一台或多台交联计算机的自由处理能力,以解决复杂的科学问题
机译: 基于线程的方法和系统,可利用一个或多个网络计算机的空闲处理能力来解决复杂的科学问题
机译:基于SAT的移动众包网络多线程程序验证方法。
机译:使用“ Kanesian”验证方法,构建基于判断的医学实习生在工作场所能力评估的验证
机译:基于状况的装配系统制造能力适应和验证方法
机译:基于树木结构的多线程处理器的验证方法
机译:开发和验证一种在统计学中衡量大学生推理能力的工具:一种基于论证的验证方法。
机译:使用 Kanesian验证方法构建基于判断的医学实习生在工作场所能力评估的验证
机译:基于着色petri网的混合规则/框架专家系统验证方法
机译:使命线程市场:更快,更好,更便宜的可行性能力之路