会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明申请
    • BONE SCREW WITH SELF-CONSTRAINED FLEXIBILITY
    • 骨螺钉具有自我约束的灵活性
    • US20150105830A1
    • 2015-04-16
    • US14511123
    • 2014-10-09
    • Lutz BiedermannWilfried MatthisBernd Fischer
    • Lutz BiedermannWilfried MatthisBernd Fischer
    • A61B17/86A61B17/70
    • A61B17/8625A61B17/686A61B17/7001A61B17/8605A61B17/8685A61B17/869Y10T29/49963
    • A bone screw is provided including a longitudinal core member having a longitudinal axis defining a longitudinal direction and having an outer surface and a helical groove in the outer surface, the groove being defined by opposed sidewalls; and a helical thread body configured to be accommodated in the groove. When the thread body is assembled in the groove of the core member and when the core member is straight, the thread body is configured to abut one opposed sidewall without abutting the other opposed sidewall along a full turn of the thread body, the thread body is configured to slide in the groove between the opposed sidewalls of the helical groove parallel to the longitudinal axis, and a first portion of the thread body that is outside the helical groove has a height greater than a second portion of the thread body that is in the helical groove.
    • 提供骨螺钉,其包括纵向芯构件,纵向轴构件具有限定纵向方向的纵向轴线,并且在外表面中具有外表面和螺旋槽,所述凹槽由相对的侧壁限定; 以及构造成容纳在所述凹槽中的螺旋形螺纹体。 当螺纹体组装在芯构件的槽中,并且当芯构件是直的时,螺纹体构造成抵靠一个相对的侧壁,而不沿着螺纹体的整个转动而抵靠另一个相对的侧壁,螺纹体是 被配置为在所述螺旋槽的与所述纵向轴线平行的相对的侧壁之间的槽中滑动,并且所述螺纹体的位于所述螺旋槽外侧的第一部分的高度大于所述螺纹体的所述第二部分, 螺旋槽
    • 9. 发明申请
    • AUTOMATED ANNOTATION INFERENCE FOR SAFETY CERTIFICATION OF AUTOMATICALLY GENERATED CODE
    • 自动生成代码的自动化安全认证声明
    • US20090077532A1
    • 2009-03-19
    • US12209674
    • 2008-09-12
    • Ewen DENNEYBernd Fischer
    • Ewen DENNEYBernd Fischer
    • G06F9/44
    • G06F9/44589G06F11/3608G06F11/3624G06F11/366G06F11/3692
    • Systems and methods for providing generic post-generation annotation inference for verification of auto-generated code by automatically inferring safety annotations used to prove software safety. The inferred logical annotations are obtained by taking into account code patterns and safety requirements. The locations for inserting the annotations in the auto-generated code are obtained by using the code patterns to produce a flow graph of the result sensitive variables and the paths to all their corresponding definitions. The verification is customized to reduce unwarranted warnings by imposing no inherent restriction on the precision. A detailed report of verification of the auto-generated code is generated to permit independent verification and validation by a third party. The method operates independently from a model used to generate the code or internal templates of the code generator. The system may use untrusted components for inferring annotations and annotating the code.
    • 通过自动推断用于证明软件安全的安全注释,提供通用的后代批注推理来验证自动生成的代码的系统和方法。 推断的逻辑注释是通过考虑代码模式和安全要求而获得的。 在自动生成的代码中插入注释的位置是通过使用代码模式获得的,以产生结果敏感变量的流程图以及所有相应定义的路径。 验证是通过对精度没有固有限制来定制的,以减少无理的警告。 生成自动生成代码验证的详细报告,以允许第三方进行独立验证和验证。 该方法独立于用于生成代码生成器的代码或内部模板的模型。 系统可以使用不可信组件来推断注释和注释代码。