专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

21. 发明申请

US20120278773A1 VERIFYING DATA INTENSIVE STATE TRANSITION MACHINES RELATED APPLICATION 失效
标题翻译：验证数据强度状态转换机相关应用
公开(公告)号：US20120278773A1
公开(公告)日：2012-11-01
申请号：US13097171
申请日：2011-04-29
申请人： Viresh Paruthi , Peter Anthony Sandon , Jun Sawada
发明人： Viresh Paruthi , Peter Anthony Sandon , Jun Sawada
IPC分类号： G06F9/455 , G06F17/50
CPC分类号： G06F17/504 , G06F9/4498 , G06F17/5022
摘要： A method, system, and computer program product for verification of a state transition machine (STM) are provided in the illustrative embodiments. The STM representing the operation of a circuit configured to perform a computation is received. A segment of the STM is selected from a set of segments of the STM. A set of properties of the segment is determined. The set of properties is translated into a hardware description to form a translation. The segment is verified by verifying whether all relationships between a pre-condition and a post condition in the translation hold true for any set of inputs and any initial state of a hardware design under test. A verification result for the segment is generated. Verification results for each segment in the set of segments are combined to generate a verification result for the STM.
摘要翻译：在说明性实施例中提供了用于验证状态转换机（STM）的方法，系统和计算机程序产品。接收表示被配置为执行计算的电路的操作的STM。从STM的一组段中选择STM的一段。确定该段的一组属性。该属性集被翻译成硬件描述以形成一个翻译。通过验证翻译中的前提条件和后期条件之间的所有关系是否适用于任何一组输入以及所测试的硬件设计的任何初始状态来验证该段。生成段的验证结果。组合段中每个段的验证结果，以生成STM的验证结果。

22. 发明授权

US08229992B2 Fused booth encoder multiplexer 失效
标题翻译：熔模展位编码器多路复用器
公开(公告)号：US08229992B2
公开(公告)日：2012-07-24
申请号：US11670357
申请日：2007-02-01
申请人： Wendy Ann Belluomini , Hung Cai Ngo , Jun Sawada
发明人： Wendy Ann Belluomini , Hung Cai Ngo , Jun Sawada
IPC分类号： G06F7/52
CPC分类号： G06F7/5338 , G06F7/483 , G06F7/533 , G06F7/5443 , G06F2207/3872
摘要： A multiplier circuit comprises a fused Booth encoder multiplexer which produces partial product bits, a tree which uses the partial product bits to generate partial products, and an adder which uses the partial products to generate intermediate sum and carry results for a multiplication operation. The fused Booth encoder multiplexer utilizes encoder-selector cells having a logic tree which carries out a Boolean function according to a Booth encoding and selection algorithm to produce one of the partial product bits at a dynamic node, and a latch connected to the dynamic node which maintains the value at an output node. The encoder-selector cells operate in parallel to produce the partial product bits generally simultaneously. A given one of the encoder-selector cells has a unique set of both multiplier operand inputs and multiplicand operand inputs, and produces a single partial product bit.
摘要翻译：乘法器电路包括产生部分乘积比特的融合布尔编码器多路复用器，使用部分积比特产生部分乘积的树，以及使用部分乘积来生成中间和并携带乘法运算结果的加法器。融合布尔编码器多路复用器利用具有逻辑树的编码器选择器单元，该逻辑树根据布斯编码和选择算法执行布尔函数，以在动态节点处产生部分乘积比特中的一个，以及连接到动态节点的锁存器，在输出节点维护该值。编码器选择器单元并行操作以通常同时产生部分乘积位。编码器选择器单元中的一个具有唯一的乘法器操作数输入和被乘数操作数输入的集合，并且产生单个部分乘积位。

23. 发明授权

US08069195B2 Method and system for a wiring-efficient permute unit 失效
标题翻译：布线效率置换单元的方法和系统
公开(公告)号：US08069195B2
公开(公告)日：2011-11-29
申请号：US11968692
申请日：2008-01-03
申请人： Bruce M. Fleischer , Hung C. Ngo , Jun Sawada
发明人： Bruce M. Fleischer , Hung C. Ngo , Jun Sawada
IPC分类号： G06F7/00
CPC分类号： G06F9/30032 , G06F7/762 , G06F7/766 , G06F9/30036 , G06F9/3824 , G06F9/3826
摘要： A method of providing wiring efficiency in a permute unit. Multiple selectors receive input data and shared control signals from multiple register files. The permute unit includes multiple multiplexors (MUXs) coupled to multiple logical AND gates. The multiple logical AND gates are coupled to multiple logical OR gates. The logical AND gates are physically separated from the logical OR gates. The logical AND gates receive input from one or more output data signals from the selectors. The logical OR gates combine the one or more output signals from the logical AND gates and provide output data from the permute unit.
摘要翻译：一种在置换单元中提供布线效率的方法。多个选择器从多个寄存器文件接收输入数据和共享控制信号。置换单元包括耦合到多个逻辑与门的多个多路复用器（MUX）。多个逻辑与门被耦合到多个逻辑或门。逻辑“与”门与逻辑或门物理分离。逻辑与门接收来自选择器的一个或多个输出数据信号的输入。逻辑或门组合来自逻辑与门的一个或多个输出信号，并提供来自置换单元的输出数据。

24. 发明申请

US20110110737A1 PROCESS FOR MACHINING PRESSURE DETECTION HOLE AND APPARATUS FOR MACHINING PRESSURE DETECTION HOLE 有权
标题翻译：加压压力检测孔的工艺及加压压力检测孔的装置
公开(公告)号：US20110110737A1
公开(公告)日：2011-05-12
申请号：US12942306
申请日：2010-11-09
申请人： Kaneyoshi Hiraga , Jun Sawada
发明人： Kaneyoshi Hiraga , Jun Sawada
IPC分类号： B23B41/00 , B23B35/00
CPC分类号： B23Q17/2409 , Y10T408/03 , Y10T408/08 , Y10T408/21 , Y10T408/553 , Y10T408/5617
摘要： A pressure detection passage and a side edge of a pressure detection member are positioned for a tip of a stylus attached to a drilling device by holding the pressure detection member on a hand-operated stage and moving the pressure detection member in the X axis direction by a micrometer head of the hand-operated stage while checking an enlarged image picked up by a microscope and displayed on a monitor, and a personal computer stores positions of the side edge of the pressure detection member and the pressure detection passage which are measured by scales of the micrometer head. Subsequently, the stylus is exchanged for a drill and the drilling device is moved down by a micrometer head for moving up and down a slider, while moving in sequence in the X axis direction the hand-operated stage by operating the micrometer head of the hand-operated stage so as to reappear the position stored in the personal computer, thereby drilling in the pressure detection member pressure detection holes communicating with the respective pressure detection passages. Therefore, it is possible to improve the precision and ease of operation of drilling a pressure detection hole in a pressure detection member.
摘要翻译：通过将压力检测部件保持在手动工作台上并将压力检测部件沿X轴方向移动而将压力检测部件和压力检测部件的侧缘定位用于安装在钻孔装置上的触针的尖端，在检查由显微镜拾取的放大图像并显示在监视器上时，手动台的千分尺头部，并且个人计算机存储压力检测构件和压力检测通道的侧面的位置，该位置由鳞片测量的千分尺头。随后，将触针更换为钻头，并且钻头装置通过用于在滑块上下移动的测微头向下移动，同时通过操作手指的千分尺来在X轴方向上依次移动手动操作台以再现存储在个人计算机中的位置，从而在与各个压力检测通道连通的压力检测构件压力检测孔中钻孔。因此，可以提高压力检测部件中的压力检测孔的钻孔的精度和操作的容易性。

25. 发明申请

US20080163019A1 Scanning Latches Using Selecting Array 审中-公开
标题翻译：使用选择阵列扫描锁存器
公开(公告)号：US20080163019A1
公开(公告)日：2008-07-03
申请号：US12041144
申请日：2008-03-03
申请人： Andrew Kenneth Martin , Chandler Todd Mcdowell , Robert Kevin Montoye , Jun Sawada
发明人： Andrew Kenneth Martin , Chandler Todd Mcdowell , Robert Kevin Montoye , Jun Sawada
IPC分类号： G01R31/3177 , G06F11/25
CPC分类号： G11C29/32 , G01R31/318572 , G11C11/41 , G11C2029/3202
摘要： A method and system for scanning data from a specific latch in a matrix array of latches. The matrix array is made up of vertical selector lines and horizontal data lines. Each latch is coupled at an intersection of a selector line and a data line by a transistor. By turning on the transistor, the contents of the latch can be selectively read or written to.
摘要翻译：一种用于从锁存器的矩阵阵列中的特定锁存器扫描数据的方法和系统。矩阵阵列由垂直选择线和水平数据线组成。每个锁存器通过晶体管耦合在选择器线和数据线的交叉点处。通过接通晶体管，可以选择性地读取或写入锁存器的内容。

26. 发明申请

US20080144400A1 Scanning Latches Using Selecting Array 审中-公开
公开(公告)号：US20080144400A1
公开(公告)日：2008-06-19
申请号：US12041158
申请日：2008-03-03
申请人： Andrew Kenneth Martin , Chandler Todd McDowell , Robert Kevin Montoye , Jun Sawada
发明人： Andrew Kenneth Martin , Chandler Todd McDowell , Robert Kevin Montoye , Jun Sawada
IPC分类号： G11C7/10
CPC分类号： G11C29/32 , G01R31/318572 , G11C11/41 , G11C2029/3202
摘要： A method and system for scanning data from a specific latch in a matrix array of latches. The matrix array is made up of vertical selector lines and horizontal data lines. Each latch is coupled at an intersection of a selector line and a data line by a transistor. By turning on the transistor, the contents of the latch can be selectively read or written to.

27. 发明授权

US07249501B2 Pressure distribution measurement system 有权
标题翻译：压力分布测量系统
公开(公告)号：US07249501B2
公开(公告)日：2007-07-31
申请号：US11315268
申请日：2005-12-23
申请人： Jun Sawada
发明人： Jun Sawada
IPC分类号： G01P13/00
CPC分类号： G01L15/00 , G01M9/06
摘要： A pressure distribution measurement system for measuring a pressure distribution on a measurement object. A flexible sheet-form pressure detection member includes a plurality of pressure passages extending in parallel and a pressure detection hole opened in each of the pressure passages is affixed to a surface of an outer plate of a main wing W of an airplane. Each of the pressure passages is connected to a pressure measurement device via a pressure pipeline. Because the pressure detection hole is opened in the pressure detection member, that is, the pressure detection hole is not required to be opened in the outer plate of the main wing, the outer plate is not damaged. Further, because the flexible sheet-form pressure detection member conforms well to the three dimensionally curved surface of the outer plate and has a small thickness, the airflow is hardly disturbed at all, thereby enhancing pressure distribution measurement accuracy.
摘要翻译：一种用于测量测量对象上的压力分布的压力分布测量系统。柔性片状压力检测构件包括平行延伸的多个压力通道，并且在每个压力通道中打开的压力检测孔被固定到飞机的主翼W的外板的表面上。每个压力通道通过压力管线连接到压力测量装置。由于在压力检测部件中压力检测孔被打开，也就是说，不需要在主翼的外板中打开压力检测孔，所以外板不会被损坏。此外，由于柔性片状压力检测部件与外板的三维曲面良好一致，所以厚度小，所以气流几乎不受到干扰，从而提高了压力分布测量精度。

28. 发明授权

US06675182B1 Method and apparatus for performing rotate operations using cascaded multiplexers 失效
标题翻译：使用级联多路复用器执行旋转操作的方法和装置
公开(公告)号：US06675182B1
公开(公告)日：2004-01-06
申请号：US09649446
申请日：2000-08-25
申请人： H. Peter Hofstee , Hung C. Ngo , Kevin J. Nowka , Jun Sawada
发明人： H. Peter Hofstee , Hung C. Ngo , Kevin J. Nowka , Jun Sawada
IPC分类号： G06F1500
CPC分类号： G06F7/762 , G06F5/015
摘要： A method and apparatus performing rotate operations using cascaded multiplexers provides a scalable rotator circuit having a sub-field rotate capability that requires no additional interconnects at the sub-field endpoints. The rotator performs bit field swap operations at each stage of a series of cascaded multiplexers. The bit field size increases monotonically from a single bit to half of the rotator operand size. The control logic selects swap operations for each individual bit field at each stage, in order to arrange a desired rotated output vector.
摘要翻译：使用级联多路复用器执行旋转操作的方法和装置提供具有子场旋转能力的可缩放旋转电路，其不需要在子场端点处的附加互连。旋转器在一系列级联多路复用器的每个阶段执行位域交换操作。位域大小从单个位单调增加到旋转器操作数大小的一半。控制逻辑为每个级别的每个单独位字段选择交换操作，以便布置期望的旋转输出向量。

29. 发明授权

US5281768A Suspension-type line arrester 失效
标题翻译：悬挂式线路避雷器
公开(公告)号：US5281768A
公开(公告)日：1994-01-25
申请号：US794141
申请日：1991-11-19
申请人： Jun Sawada , Takeshi Yamada , Hiroshi Hirako , Toshiyuki Takagi
发明人： Jun Sawada , Takeshi Yamada , Hiroshi Hirako , Toshiyuki Takagi
IPC分类号： H01B17/38 , H01B17/42 , H01B17/46 , H01C7/12 , H01T4/08 , H01T4/14 , H01B17/20 , H02H1/04
CPC分类号： H01T4/08 , H01B17/42 , H01C7/12 , H01T4/14
摘要： An insulator for use in a suspension-type line arrester that supports a transmission line is disclosed. Such line arresters have a plurality of insulators connected in a string. The insulators have linking members configured to prevent relative rotation between adjacent insulators in the line arrester's insulator string.
摘要翻译：公开了一种用于支撑传输线的悬挂式线路避雷器中的绝缘子。这种线路截止器具有连接在串中的多个绝缘体。绝缘体具有被配置为防止线路避雷器绝缘子串中的相邻绝缘体之间的相对旋转的连接构件。

30. 发明授权

US5103739A Apparatus for tracking an overhead line and automatically moving around obstacles on the line 失效
标题翻译：跟踪线路和自动移动线路上的障碍物的装置
公开(公告)号：US5103739A
公开(公告)日：1992-04-14
申请号：US545656
申请日：1990-06-29
申请人： Jun Sawada , Yoshinobu Ishikawa , Yoshikata Kobayashi , Yasuhiro Matsumoto
发明人： Jun Sawada , Yoshinobu Ishikawa , Yoshikata Kobayashi , Yasuhiro Matsumoto
IPC分类号： H02G1/02
CPC分类号： H02G1/02
摘要： An apparatus for tracking an overhead line includes a carriage, an arm provided relatively movable on the carriage, a hook assembly provided at both end portions of the arm and for slinging the arm over the overhead line, a vertical/rotational motion shaft provided vertically movable and rotatably on the carriage, a wheel supporting arm provided on the top end portion of the vertical/rotational motion shaft swingably, a pair of wheels provided at both ends of the wheel supporting arm with an extension line of the vertical/rotational motion shaft being between the wheels, and a clamp member for clamping the wheels on the overhead line.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式