Computer-aided generation of programs modelling complex systems using
colored petri nets
    1.
    发明授权
    Computer-aided generation of programs modelling complex systems using colored petri nets 失效
    计算机辅助生成使用彩色Petri网建模复杂系统的程序

    公开(公告)号:US5257363A

    公开(公告)日:1993-10-26

    申请号:US507119

    申请日:1990-04-09

    IPC分类号: G06F17/50 G06F15/20

    CPC分类号: G06F17/5013

    摘要: A method and system in which a programmed digital computer serving as a graphical "engine" is employed to construct an executable model for a complex system using a hierarchy of so called "Colored" Petri nets (CPN's or CP-nets). The operation of the complex system is specified in terms of a graphical net structure and formal net inscriptions, such as arc expressions and guards, which ensure development of a program, or executable model, and associated data structures, properly defining the system. Sophisticated syntax checks and other tools are provided for ensuring that the model so constructed conforms to a set of rules which guarantee valid system behavior.

    摘要翻译: 使用用作图形“引擎”的编程数字计算机的方法和系统用于使用所谓的“彩色”Petri网(CPN或CP网))的层次来为复杂系统构建可执行模型。 复杂系统的操作通过图形网络结构和正式的网络铭文(如弧形表达和守卫)来确定,确保开发程序或可执行模型以及相关的数据结构,正确定义系统。 提供了复杂的语法检查和其他工具,以确保所构建的模型符合一组保证有效系统行为的规则。

    Fiber optic cable and core
    2.
    发明授权
    Fiber optic cable and core 失效
    光纤电缆和核心

    公开(公告)号:US4375313A

    公开(公告)日:1983-03-01

    申请号:US189971

    申请日:1980-09-22

    摘要: A cable adapted for well logging has an optical fiber core in which the optical fibers are protected from moisture and non-uniform stresses by first wrapping the fibers in a helical spiral around a solid, soft, deformable core material and then blanketing them with more of the same. Next the blanketed core is closely and tightly wound with several overlapping layers of a metallic tape jacket. The jacket buffers radial loads applied by other portions of the cable and forms a barrier against moisture penetration. The soft core and blanket have properties close to a liquid so that only uniform, essentially hydrostatic stresses are transmitted to the optical fibers.

    摘要翻译: 适用于测井的电缆具有光纤芯,其中通过首先将纤维缠绕在固体,柔软,可变形的芯材料周围的螺旋形螺旋中,从而保护光纤免受潮湿和不均匀的应力,然后用更多的 一样。 接下来,覆盖的芯与金属带夹套的几个重叠的层紧密地缠绕。 护套缓冲由电缆的其他部分施加的径向载荷,并形成防止湿气穿透的屏障。 软芯和毯子具有接近液体的性质,使得仅将均匀的,基本上静态的应力传递到光纤。