龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
摘要：本公开涉及用于产生状态转换表的自动化数据录入和错误检查方法。一种用于为以有限状态机FSM建模的系统产生经填充的状态转换表的方法，包括通过建模系统的主计算机接收系统特征。系统特征包括以FSM建模的系统的状态、状态转换和事件。该方法包括响应于系统特征的接收而产生初始状态转换表，该表由系统特征部分地填充。该方法附加地包括：响应于用户输入来填充该表，从而自动产生经填充的状态转换表，以及使用预定的错误检查标准来对经填充的表进行错误检查，这包括通过主计算机的错误检查逻辑针对以FSM建模的系统的遗漏的关键特征来搜索经填充的表。该方法还包括响应于遗漏的关键特征向用户传送警报。
主权项：1.一种用于为所建模的系统产生经填充的状态转换表的方法，包括：通过主计算机从用户接收系统特征，其中，所述系统特征包括所建模的系统的状态、状态转换和事件；响应于所述系统特征的接收而产生初始状态转换表，所述初始状态转换表由所述系统特征部分地填充；响应于来自所述主计算机的用户的一组用户输入而通过所述主计算机填充所述初始状态转换表，从而自动产生所述经填充的状态转换表；使用预定的错误检查标准来对所述经填充的状态转换表进行错误检查，这包括通过所述主计算机的错误检查逻辑针对所建模的系统的遗漏的关键特征来搜索所述经填充的状态转换表；以及响应于所述遗漏的关键特征向所述主计算机的用户传送警报。
全文数据：
权利要求：
百度查询： 通用汽车环球科技运作有限责任公司 用于产生状态转换表的自动化数据录入和错误检查方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号