会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Fiber optic splice assembly
    • 光纤接头组件
    • US5005942A
    • 1991-04-09
    • US415684
    • 1989-10-02
    • Robert W. BarlowThomas M. LynchSteven E. Swanson
    • Robert W. BarlowThomas M. LynchSteven E. Swanson
    • G02B6/38
    • G02B6/3806G02B6/3838G02B6/3862G02B6/387
    • A fiber optic splicing system for accommodating optical fibers having similar or distinctly different buffered coating sizes. The system comprises a first pair of housing halves forming a body with opposed ends adapted to receive two optical fiber of a first similar size; a second pair of housing halves forming a body with opposed ends adapted to receive two optical fibers of a second similar size, different from said first size; and a third pair of housing halves forming a body having one end formed to receive one of said first size of optical fiber and another end formed to receive one of said second, different size of optical fiber. Holding means in the form of slidable end caps cooperate with the ends of the housing to apply radial compression thereto to maintain the fibers in position without the use of crimps or adhesives. A center portion of the halves can be formed to accept elastic means for receiving fibers or, alternatively, a hollow sleeve which includes the elastic means therein.
    • 一种用于容纳具有相似或截然不同的缓冲涂层尺寸的光纤的光纤接合系统。 该系统包括形成主体的第一对壳体半部,该主体具有适于接收具有第一相似尺寸的两个光纤的相对端; 形成具有相对端的主体的第二对壳体半部,其适于接纳与所述第一尺寸不同的第二相似尺寸的两根光纤; 以及形成主体的第三对壳体半部,所述主体具有形成为容纳所述第一尺寸的光纤中的一个,并且另一端形成为接收所述第二不同尺寸的光纤中的一个。 具有可滑动端盖形式的保持装置与壳体的端部配合以对其进行径向压缩以将纤维保持在适当位置,而不需使用卷曲或粘合剂。 半部的中心部分可以形成为接收用于接收纤维的弹性装置,或者替代地,在其中包括弹性装置的中空套筒。
    • 4. 发明授权
    • Fiber optic splice assembly
    • 光纤接头组件
    • US4946249A
    • 1990-08-07
    • US415812
    • 1989-10-02
    • Robert W. BarlowThomas M. LynchSteven E. Swanson
    • Robert W. BarlowThomas M. LynchSteven E. Swanson
    • G02B6/38
    • G02B6/3806G02B6/3838G02B6/3862
    • A fiber optic splicing system for accommodating optical fibers having similar or distinctly different buffered coating sizes. The system comprises a first pair of housing halves forming a body with opposed ends adapted to receive two optical fiber of a first similar size; a second pair of housing halves forming a body with opposed ends adapted to receive two optical fibers of a second similar size, different from said first size; and a third pair of housing halves forming a body having one end formed to receive one of said first size of optical fiber and another end formed to receive one of said second, different size of optical fiber. Holding means in the form of slidable end caps cooperate with the ends of the housing to apply radial compression thereto to maintain the fibers in position without the use of crimps or adhesives. A center portion of the halves can be formed to accept elastic means for receiving fibers or, alternatively, a hollow sleeve which includes the elastic means therein.
    • 一种用于容纳具有相似或截然不同的缓冲涂层尺寸的光纤的光纤接合系统。 该系统包括形成主体的第一对壳体半部,该主体具有适于接收具有第一相似尺寸的两个光纤的相对端; 形成具有相对端的主体的第二对壳体半部,其适于接纳与所述第一尺寸不同的第二相似尺寸的两根光纤; 以及形成主体的第三对壳体半部,所述主体具有形成为容纳所述第一尺寸的光纤中的一个,并且另一端形成为接收所述第二不同尺寸的光纤中的一个。 具有可滑动端盖形式的保持装置与壳体的端部配合以对其进行径向压缩以将纤维保持在适当位置,而不需使用卷曲或粘合剂。 半部的中心部分可以形成为接收用于接收纤维的弹性装置,或者替代地,在其中包括弹性装置的中空套筒。
    • 9. 发明授权
    • Method and apparatus for generating tests for structures expressed as
extended finite state machines
    • 用于生成表示为扩展有限状态机的结构测试的方法和装置
    • US5394347A
    • 1995-02-28
    • US100002
    • 1993-07-29
    • Ronald A. KitaSylvia C. TremblayThomas M. Lynch
    • Ronald A. KitaSylvia C. TremblayThomas M. Lynch
    • G01R31/3183G06F11/36G06F17/50G06F15/60
    • G01R31/318357G01R31/318371G06F11/3672G06F17/504
    • A method for generating test programs for an implementation of a specification that has been modeled as an extended finite state machine (EFSM), the EFSM including vertices and transitions, where the transitions represent functions to be performed by the implementation, including predicates and actions such as variable assignments. The method includes traversing the EFSM in a depth-first manner from a root model start state to a root model exit state, through intermediate vertices which may be normal states or models. Models include further vertices and transitions, and may be called as submodels or as go-to models, where a go-to model includes an EFSM exit state. The EFSM may be traversed exhaustively, such that all possible paths are traversed, or in a partial transition coverage mode, where a user-defined subset of the possible paths are traversed. Each traversed path is stored in a path file and converted into a test program in a predetermined language, such as C, for interfacing with the implementation to be tested and testing its functions as represented by the transitions taken. Traversal of the EFSM is made possible by the use of a model stack, a path stack and a variables stack, which keep track of all models called, transitions and vertices encountered, and variable values assigned or altered in the course of the traversal, with cross-referencing to ensure that any desired set of path files can be automatically generated while tracking all parameters necessary to conduct the traversal.
    • 一种用于生成已被建模为扩展有限状态机(EFSM)的规范的实现的测试程序的方法,EFSM包括顶点和转换,其中转换表示由实现执行的功能,包括谓词和动作 作为变量赋值。 该方法包括通过可能是正常状态或模型的中间顶点以深度优先的方式从根模型开始状态到根模型退出状态遍历EFSM。 模型包括进一步的顶点和过渡,并且可以被称为子模型或作为转到模型,其中转向模型包括EFSM退出状态。 可以彻底地遍历EFSM,使得遍历所有可能的路径,或者在部分过渡覆盖模式中遍历可能的路径的用户定义的子集。 每个遍历路径存储在路径文件中,并以预定语言(例如C)转换为测试程序,用于与要测试的实现进行接口并测试其所进行的转换所代表的功能。 通过使用模型堆栈,路径堆栈和变量堆栈,可以实现EFSM的遍历,跟踪所有被调用的模型,遇到的转换和顶点以及在遍历过程中分配或更改的变量值, 交叉引用以确保可以自动生成任何所需的路径文件集,同时跟踪进行遍历所需的所有参数。