找到22项专利技术数据。
找专利 >一种将传统电力通信规约转换为IEC61850标准的规约转换器
专利号:CN207460230U专利类型:实用新型专利一种基于设备规约的虚拟原型变异测试用例生成方法
专利号:CN109542760B专利类型:发明专利一种基于SKETCH的时钟约束规范语言方法
专利号:CN110502815A专利类型:发明专利面向MIMO检测的格基规约辅助的信道预处理方法及装置
专利号:CN110932762A专利类型:发明专利一种基于事件驱动机制的IEC104规约解析系统及方法
专利号:CN106549967B专利类型:发明专利一种启发式过程日志修复方法
专利号:CN106295097B专利类型:发明专利基于偏序规约的中断驱动系统有界模型检验方法
专利号:CN104503837B专利类型:发明专利符号执行的并行路径搜索方法及装置
专利号:CN108021507B专利类型:发明专利一种基于贪心模拟退火算法的软硬件划分的方法
专利号:CN102508721B专利类型:发明专利基于领域本体构建的多源异构数据语义集成的模型及方法
专利号:CN104182454B专利类型:发明专利
找到22项专利技术数据。
找专利 >一种将传统电力通信规约转换为IEC61850标准的规约转换器
专利号:CN207460230U专利类型:实用新型专利一种基于设备规约的虚拟原型变异测试用例生成方法
专利号:CN109542760B专利类型:发明专利一种基于SKETCH的时钟约束规范语言方法
专利号:CN110502815A专利类型:发明专利面向MIMO检测的格基规约辅助的信道预处理方法及装置
专利号:CN110932762A专利类型:发明专利一种基于事件驱动机制的IEC104规约解析系统及方法
专利号:CN106549967B专利类型:发明专利一种启发式过程日志修复方法
专利号:CN106295097B专利类型:发明专利基于偏序规约的中断驱动系统有界模型检验方法
专利号:CN104503837B专利类型:发明专利符号执行的并行路径搜索方法及装置
专利号:CN108021507B专利类型:发明专利一种基于贪心模拟退火算法的软硬件划分的方法
专利号:CN102508721B专利类型:发明专利基于领域本体构建的多源异构数据语义集成的模型及方法
专利号:CN104182454B专利类型:发明专利
找到22项专利技术数据。
找专利 >一种将传统电力通信规约转换为IEC61850标准的规约转换器
专利号:CN207460230U专利类型:实用新型专利一种基于设备规约的虚拟原型变异测试用例生成方法
专利号:CN109542760B专利类型:发明专利一种基于SKETCH的时钟约束规范语言方法
专利号:CN110502815A专利类型:发明专利面向MIMO检测的格基规约辅助的信道预处理方法及装置
专利号:CN110932762A专利类型:发明专利一种基于事件驱动机制的IEC104规约解析系统及方法
专利号:CN106549967B专利类型:发明专利一种启发式过程日志修复方法
专利号:CN106295097B专利类型:发明专利基于偏序规约的中断驱动系统有界模型检验方法
专利号:CN104503837B专利类型:发明专利符号执行的并行路径搜索方法及装置
专利号:CN108021507B专利类型:发明专利一种基于贪心模拟退火算法的软硬件划分的方法
专利号:CN102508721B专利类型:发明专利基于领域本体构建的多源异构数据语义集成的模型及方法
专利号:CN104182454B专利类型:发明专利
找到22项专利技术数据。
找专利 >一种将传统电力通信规约转换为IEC61850标准的规约转换器
专利号:CN207460230U专利类型:实用新型专利一种基于设备规约的虚拟原型变异测试用例生成方法
专利号:CN109542760B专利类型:发明专利一种基于SKETCH的时钟约束规范语言方法
专利号:CN110502815A专利类型:发明专利面向MIMO检测的格基规约辅助的信道预处理方法及装置
专利号:CN110932762A专利类型:发明专利一种基于事件驱动机制的IEC104规约解析系统及方法
专利号:CN106549967B专利类型:发明专利一种启发式过程日志修复方法
专利号:CN106295097B专利类型:发明专利基于偏序规约的中断驱动系统有界模型检验方法
专利号:CN104503837B专利类型:发明专利符号执行的并行路径搜索方法及装置
专利号:CN108021507B专利类型:发明专利一种基于贪心模拟退火算法的软硬件划分的方法
专利号:CN102508721B专利类型:发明专利基于领域本体构建的多源异构数据语义集成的模型及方法
专利号:CN104182454B专利类型:发明专利
找到22项专利技术数据。
找专利 >一种将传统电力通信规约转换为IEC61850标准的规约转换器
专利号:CN207460230U专利类型:实用新型专利一种基于设备规约的虚拟原型变异测试用例生成方法
专利号:CN109542760B专利类型:发明专利一种基于SKETCH的时钟约束规范语言方法
专利号:CN110502815A专利类型:发明专利面向MIMO检测的格基规约辅助的信道预处理方法及装置
专利号:CN110932762A专利类型:发明专利一种基于事件驱动机制的IEC104规约解析系统及方法
专利号:CN106549967B专利类型:发明专利一种启发式过程日志修复方法
专利号:CN106295097B专利类型:发明专利基于偏序规约的中断驱动系统有界模型检验方法
专利号:CN104503837B专利类型:发明专利符号执行的并行路径搜索方法及装置
专利号:CN108021507B专利类型:发明专利一种基于贪心模拟退火算法的软硬件划分的方法
专利号:CN102508721B专利类型:发明专利基于领域本体构建的多源异构数据语义集成的模型及方法
专利号:CN104182454B专利类型:发明专利
找到22项专利技术数据。
找专利 >一种将传统电力通信规约转换为IEC61850标准的规约转换器
专利号:CN207460230U专利类型:实用新型专利一种基于设备规约的虚拟原型变异测试用例生成方法
专利号:CN109542760B专利类型:发明专利一种基于SKETCH的时钟约束规范语言方法
专利号:CN110502815A专利类型:发明专利面向MIMO检测的格基规约辅助的信道预处理方法及装置
专利号:CN110932762A专利类型:发明专利一种基于事件驱动机制的IEC104规约解析系统及方法
专利号:CN106549967B专利类型:发明专利一种启发式过程日志修复方法
专利号:CN106295097B专利类型:发明专利基于偏序规约的中断驱动系统有界模型检验方法
专利号:CN104503837B专利类型:发明专利符号执行的并行路径搜索方法及装置
专利号:CN108021507B专利类型:发明专利一种基于贪心模拟退火算法的软硬件划分的方法
专利号:CN102508721B专利类型:发明专利基于领域本体构建的多源异构数据语义集成的模型及方法
专利号:CN104182454B专利类型:发明专利
找到22项专利技术数据。
找专利 >一种将传统电力通信规约转换为IEC61850标准的规约转换器
专利号:CN207460230U专利类型:实用新型专利一种基于设备规约的虚拟原型变异测试用例生成方法
专利号:CN109542760B专利类型:发明专利一种基于SKETCH的时钟约束规范语言方法
专利号:CN110502815A专利类型:发明专利面向MIMO检测的格基规约辅助的信道预处理方法及装置
专利号:CN110932762A专利类型:发明专利一种基于事件驱动机制的IEC104规约解析系统及方法
专利号:CN106549967B专利类型:发明专利一种启发式过程日志修复方法
专利号:CN106295097B专利类型:发明专利基于偏序规约的中断驱动系统有界模型检验方法
专利号:CN104503837B专利类型:发明专利符号执行的并行路径搜索方法及装置
专利号:CN108021507B专利类型:发明专利一种基于贪心模拟退火算法的软硬件划分的方法
专利号:CN102508721B专利类型:发明专利基于领域本体构建的多源异构数据语义集成的模型及方法
专利号:CN104182454B专利类型:发明专利
找到22项专利技术数据。
找专利 >一种将传统电力通信规约转换为IEC61850标准的规约转换器
专利号:CN207460230U专利类型:实用新型专利一种基于设备规约的虚拟原型变异测试用例生成方法
专利号:CN109542760B专利类型:发明专利一种基于SKETCH的时钟约束规范语言方法
专利号:CN110502815A专利类型:发明专利面向MIMO检测的格基规约辅助的信道预处理方法及装置
专利号:CN110932762A专利类型:发明专利一种基于事件驱动机制的IEC104规约解析系统及方法
专利号:CN106549967B专利类型:发明专利一种启发式过程日志修复方法
专利号:CN106295097B专利类型:发明专利基于偏序规约的中断驱动系统有界模型检验方法
专利号:CN104503837B专利类型:发明专利符号执行的并行路径搜索方法及装置
专利号:CN108021507B专利类型:发明专利一种基于贪心模拟退火算法的软硬件划分的方法
专利号:CN102508721B专利类型:发明专利基于领域本体构建的多源异构数据语义集成的模型及方法
专利号:CN104182454B专利类型:发明专利