|
钻瓜专利网为您找到相关结果 10个,建议您 升级VIP下载更多相关专利
- [发明专利]一种P4Target逻辑验证方法与系统-CN202310458898.6有效
-
张学利;张长述;何鱼;郭宸琛
-
深圳云豹智能有限公司
-
2023-04-26
-
2023-08-22
-
G06F8/30
- 本申请涉及一种P4Target逻辑验证方法与系统,包括:分析待验证的P4Target及其对应的应用场景约束信息,应用场景约束信息至少包括网络报文特征约束和对应的报文Action约束;根据应用场景约束信息生成特定的流信息以及对应的Action信息,并根据特定的流信息和对应的Action信息生成表项配置信息,将表项配置信息加载到P4target的存储单元中,以及根据特定的流信息生成报文激励;将报文激励分别输入预设的参考模型和P4Target,获取参考模型响应于报文激励进行处理后输出的参考报文以及P4Target响应于报文激励进行处理后输出的实测报文,根据参考报文和实测报文的比较结果确定P4Target的逻辑验证结果。通过本申请,能够高效完成P4Target逻辑的验证。
- 一种p4target逻辑验证方法系统
- [发明专利]一种P4-Target的验证方法与系统-CN202310473629.7在审
-
萧启阳;何鱼;郭宸琛;张长述
-
深圳云豹智能有限公司
-
2023-04-26
-
2023-08-01
-
G06F11/36
- 本申请涉及一种P4‑Target的验证方法与系统,包括:获取预先设置的网络协议,以所述网络协议为约束条件随机生成网络报文;将所述网络报文分别输入参考验证模型和所述P4‑Target中,获取所述参考验证模型响应于所述报文激励进行处理后输出的参考报文以及所述P4‑Target响应于所述报文激励进行处理后输出的实测报文,根据所述参考报文和所述实测报文的比较结果确定验证是否通过;其中,所述P4‑Target具有多级Match‑Action流水线,每一级Match‑Action流水线的Match表项和Action表项分别根据其前一级Match‑Action流水线编辑输出的报文获得,第一级Match‑Action流水线的Match表项和Action表项根据所述网络报文获得。本申请的方法能够覆盖后级Match‑Action流水线命中表项后再Action处理的场景。
- 一种p4target验证方法系统
- [发明专利]一种骨科复位固定装置-CN202110705298.6在审
-
方淼;曾勇;何鱼;周洋
-
成都市第二人民医院
-
2021-06-24
-
2021-10-26
-
A61F5/058
- 本发明公开了一种骨科复位固定装置,涉及医疗器械技术领域,其技术方案要点是:包括多个依次连接的夹持机构和多个与夹持机构相配合的调紧机构;夹持机构包括转轴、第一夹板和第二夹板,第一夹板和第二夹板均与转轴铰接,第二夹板内开设有滑槽,滑槽从第二夹板的自由端延伸至铰接端,第一夹板能够在滑槽内滑动;调紧机构包括设置在第一夹板上的卡齿和设置在第二夹板上的安装部,安装部内开设有活动腔室,活动腔室与滑槽连通,活动腔室内滑动安装有能够卡紧卡齿的齿板。该装置通过设置夹持机构、调紧机构、旋转定位机构和伸缩机构,便于调节夹持机构的宽松程度、患者肢体的屈伸角度以及该装置的长度,以此适配不同体型、不同身高的患者。
- 一种骨科复位固定装置
|