用于产生状态转换表的自动化数据录入和错误检查方法

    公开(公告)号:CN119003040A

    公开(公告)日:2024-11-22

    申请号:CN202311403584.2

    申请日:2023-10-26

    Abstract: 本公开涉及用于产生状态转换表的自动化数据录入和错误检查方法。一种用于为以有限状态机(FSM)建模的系统产生经填充的状态转换表的方法,包括通过建模系统的主计算机接收系统特征。系统特征包括以FSM建模的系统的状态、状态转换和事件。该方法包括响应于系统特征的接收而产生初始状态转换表,该表由系统特征部分地填充。该方法附加地包括:响应于用户输入来填充该表,从而自动产生经填充的状态转换表,以及使用预定的错误检查标准来对经填充的表进行错误检查,这包括通过主计算机的错误检查逻辑针对以FSM建模的系统的遗漏的关键特征来搜索经填充的表。该方法还包括响应于遗漏的关键特征向用户传送警报。

    针对色觉受损观察者的车辆显示控制

    公开(公告)号:CN118016027A

    公开(公告)日:2024-05-10

    申请号:CN202310544493.4

    申请日:2023-05-15

    Abstract: 针对色觉受损观察者的车辆显示控制。一种控制机动车辆车上的彩色显示屏的方法,包括经由主计算机对机动车辆的用户执行颜色校准测试,其中用户经受一组校准的颜色编码测试信息。该方法包括经由主计算机接收用户对该组校准的颜色编码测试信息的颜色感知响应。此外,该方法包括使用颜色感知响应经由主计算机映射用户的减小的视觉色域,并且然后命令使用减小的视觉色域来调整机动车辆的用户特定颜色设置,以由此适应用户的颜色感知缺陷。

    针对有限状态机建模系统的行为验证

    公开(公告)号:CN119179530A

    公开(公告)日:2024-12-24

    申请号:CN202311423132.0

    申请日:2023-10-30

    Abstract: 针对有限状态机建模系统的行为验证。一种用于在有限状态机(FSM)建模系统中验证系统行为并校正设计缺陷的方法或任何其他代表性方法,包括经由模型验证平台从用户设备接收与系统设计相关联的数据。所述数据描述FSM建模系统的状态、状态转换、事件和输出。所述方法包括针对FSM建模系统的预定行为来搜索所述数据,所述预定行为包括(一个或多个)预定状态和/或模式改变。所述方法包括将所述预定行为标记为经验证的行为,以及响应于经验证的行为而执行控制动作,包括向用户设备传输通知,所述通知指示经验证的行为、以及在适用时的设计推荐。用于所述方法的指令可以被记录在计算机可读存储介质中,并且由处理器执行,以使得模型验证平台执行所述方法。

Patent Agency Ranking