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

1. 发明申请

US20050226635A1 Analog to digital converter systems and methods 有权
标题翻译：模数转换器系统和方法
公开(公告)号：US20050226635A1
公开(公告)日：2005-10-13
申请号：US10820472
申请日：2004-04-07
申请人： Stanislav Ionov , Thomas Ball , Peter Chu , William Hoult
发明人： Stanislav Ionov , Thomas Ball , Peter Chu , William Hoult
IPC分类号： G02F7/00 , H04B10/00
CPC分类号： G02F7/00
摘要： Systems and methods are disclosed herein to provide analog-to-digital converter techniques. For example, in accordance with an embodiment of the present invention, an analog-to-digital converter architecture is disclosed that utilizes optical techniques to convert an analog electrical signal to a digital electrical signal.
摘要翻译：本文公开了提供模数转换器技术的系统和方法。例如，根据本发明的实施例，公开了利用光学技术将模拟电信号转换为数字电信号的模数转换器架构。

2. 发明申请

US20050226624A1 Optical pulse position modulation discriminator 有权
标题翻译：光脉冲位置调制鉴相器
公开(公告)号：US20050226624A1
公开(公告)日：2005-10-13
申请号：US10820915
申请日：2004-04-07
申请人： Stanislav Ionov , Thomas Ball , Peter Chu , William Hoult
发明人： Stanislav Ionov , Thomas Ball , Peter Chu , William Hoult
IPC分类号： H04J14/08 , H04L25/49 , H04L27/10
CPC分类号： H04L27/10 , H04J14/08 , H04L25/4902
摘要： Systems and methods are disclosed herein to provide various optical techniques. For example, in accordance with an embodiment of the present invention, a pulse position modulation discriminator architecture is disclosed for discriminating temporal positions of PPM-encoded optical pulses by converting them from time modulated to frequency modulated signals. As another example, time division multiplexed optical signals may be translated to wavelength division multiplexed optical signals. One or more of the architectures disclosed herein may be implemented, for example, to provide PPM to FM or time to wavelength conversion for receiver or transmitter applications.
摘要翻译：本文公开了提供各种光学技术的系统和方法。例如，根据本发明的实施例，公开了一种脉冲位置调制鉴别器架构，用于通过将PPM编码的光脉冲从时间调制信号转换成调频信号来鉴别时间位置。作为另一示例，时分复用光信号可以被转换为波分复用光信号。例如，可以实现本文公开的一个或多个体系结构，以向接收机或发射机应用提供PPM到FM或波长转换的时间。

3. 发明申请

US20050102886A1 Sport fishing protection system 审中-公开
标题翻译：运动钓鱼保护系统
公开(公告)号：US20050102886A1
公开(公告)日：2005-05-19
申请号：US10636678
申请日：2003-08-07
申请人： Thomas Ball
发明人： Thomas Ball
IPC分类号： A01K97/20
CPC分类号： A01K97/20
摘要： A mesh bag made of neoprylene or some other plastic, non-metallic mesh material, roughly rectangular in shape with three (3) zippered sides for protection and identification of sport fish. After the fish are caught, they are placed in identifiable mesh bags and placed in a live well. The bags serve to protect the fish and make them easily identifiable.
摘要翻译：由neoprylene或其他一些塑料非金属网状材料制成的网袋，大致矩形形状，带有三（3）拉链边，用于保护和识别运动鱼。鱼被捕获之后，将它们放在可识别的网袋中并置于活井中。这些袋子用于保护鱼类，使其易于识别。

4. 发明授权

US08264417B2 Aperture antenna with shaped dielectric loading 有权
标题翻译：孔径天线，形状介电负载
公开(公告)号：US08264417B2
公开(公告)日：2012-09-11
申请号：US12540114
申请日：2009-08-12
申请人： Jeffrey M. Snow , Thomas Ball
发明人： Jeffrey M. Snow , Thomas Ball
IPC分类号： H01Q13/02
CPC分类号： H01Q9/28 , H01Q13/02 , H01Q15/08 , H01Q19/06 , H01Q19/08
摘要： An antenna structure and a method of propagating an electromagnetic (EM) wave with the antenna structure. The antenna structure comprises a first aperture antenna element and a second element inside the first element adapted to strengthen the directivity of the wave.
摘要翻译：天线结构和使用天线结构传播电磁（EM）波的方法。天线结构包括第一孔径天线元件和第一元件内部的第二元件，其适于加强波的方向性。

5. 发明申请

US20070005633A1 Predicate abstraction via symbolic decision procedures 有权
标题翻译：通过符号决策程序进行谓词抽象
公开(公告)号：US20070005633A1
公开(公告)日：2007-01-04
申请号：US11172760
申请日：2005-07-01
申请人： Thomas Ball , Shuvendu Lahiri
发明人： Thomas Ball , Shuvendu Lahiri
IPC分类号： G06F7/00
CPC分类号： G06F11/3608 , G06F11/3692
摘要： Predicate abstraction techniques and tools. Using symbolic decision procedures, predicate abstractions for computer programs are generated based on a set of predicates representing observations of expected behavior of the program. The set of predicates may be generated by an automatic program analysis tool or may be provided a user based on the user's observations. The predicate abstraction process may employ binary decision diagrams. Two or more symbolic decision procedures (e.g., for different kinds of program logic) can be combined to form a combined symbolic decision procedure to be used for predicate abstraction. A data structure can be used to track derived predicates during predicate abstraction.
摘要翻译：谓词抽象技术和工具。使用符号决策程序，计算机程序的谓词抽象是基于代表对程序预期行为的观察的一组谓词生成的。该组谓词可以由自动程序分析工具生成，或者可以基于用户的观察向用户提供。谓词抽象过程可以采用二进制决策图。可以组合两个或多个符号判定过程（例如，针对不同类型的程序逻辑）以形成用于谓词抽象的组合符号判定过程。数据结构可用于在谓词抽象过程中跟踪派生谓词。

6. 发明申请

US20130339929A1 PROGRAM REPAIR 审中-公开
标题翻译：方案修理
公开(公告)号：US20130339929A1
公开(公告)日：2013-12-19
申请号：US13517602
申请日：2012-06-14
申请人： Francesco Logozzo , Thomas Ball
发明人： Francesco Logozzo , Thomas Ball
IPC分类号： G06F9/44
CPC分类号： G06F9/44589
摘要： A method and system for repairing a program are provided herein. The method includes statically analyzing a code of a program via a modular program verifier and determining semantic errors within the code of the program based on the static analysis. The method also includes inferring verified repairs to the code of the program based on the semantic errors.
摘要翻译：本文提供了修复程序的方法和系统。该方法包括通过模块化程序验证器静态分析程序的代码，并基于静态分析确定程序代码内的语义错误。该方法还包括基于语义错误推断验证的程序代码的修复。

7. 发明授权

US08393110B2 Live sport fish protection system 失效
标题翻译：现场运动鱼类保护系统
公开(公告)号：US08393110B2
公开(公告)日：2013-03-12
申请号：US11731838
申请日：2007-04-02
申请人： Thomas Ball
发明人： Thomas Ball
IPC分类号： A01K97/04 , A01K97/05
CPC分类号： A01K97/20
摘要： A storage and transfer bag system are disclosed for use in tournament fishing competitions. A living fish can be stored in the storage bag, which is kept in a live well until the storage bag with living fish therein is placed in a transfer bag that is partially filled with water. The storage bag is made from a mesh fabric, enabling water to be drained from the storage bag. After draining the water from the storage bag, the storage bag and living fish are weighed, and the weight of the fish computed. The storage bag and living fish are then placed back into the transfer bag and transported to the lake or river or other body of water. The storage bag and living fish are removed from the transfer bag and the fish released without human contact.
摘要翻译：公开了用于比赛钓鱼比赛的储存和转运袋系统。活鱼可以储存在储存袋中，将其保存在活井中，直到其中存有活鱼的储存袋被放置在部分充满水的转运袋中。储物袋由网状织物制成，使水从储存袋中排出。从储存袋中排出水后，称重储存袋和活鱼，计算鱼的重量。然后将储存袋和活鱼放回到转运袋中，并运送到湖泊或河流或其他水体。储存袋和活鱼从转运袋中取出，鱼不会与人接触而释放。

8. 发明申请

US20050229044A1 Predicate-based test coverage and generation 失效
标题翻译：基于谓词的测试覆盖和生成
公开(公告)号：US20050229044A1
公开(公告)日：2005-10-13
申请号：US10844710
申请日：2004-05-12
申请人： Thomas Ball
发明人： Thomas Ball
IPC分类号： G06F11/00
CPC分类号： G06F11/3676
摘要： Techniques and tools for achieving improved test coverage in a finite program state space are described, such as a technique for selecting a set of predicates, calculating a set of possible predicate values, calculating a subset of the set of possible predicate values, and generating a test for the computer program based at least in part on the subset. The subset comprises an approximation (e.g., an under-approximation) of reachable states in the program. A superset of the set of possible predicate values also can be calculated; the superset comprises an over-approximation of the reachable states in the program. In another aspect, a Boolean abstraction of a program is generated, reachability analysis is performed based at least in part on the Boolean abstraction, and symbolic execution is performed to generate test data. The reachability analysis can include computing lower and/or upper bounds of reachable observable states.
摘要翻译：描述了用于在有限程序状态空间中实现改进的测试覆盖的技术和工具，例如用于选择一组谓词的技术，计算一组可能的谓词值，计算可能的谓词值集合的子集，以及生成至少部分地基于子集来测试计算机程序。该子集包括程序中的可达状态的近似（例如，近似近似）。可以计算一组可能的谓词值的超集; 超集包括程序中的可达状态的过近似。另一方面，生成程序的布尔抽象，至少部分基于布尔抽象执行可达性分析，并执行符号执行以生成测试数据。可达性分析可以包括计算可达到的可观察状态的较低和/或上限。

9. 发明申请

US20060075450A1 Systems, devices, and methods for providing high-resolution, live, real-time video signal data and other data using low frequency bandwidth 审中-公开
标题翻译：使用低频带宽提供高分辨率，实时，实时视频信号数据和其他数据的系统，设备和方法
公开(公告)号：US20060075450A1
公开(公告)日：2006-04-06
申请号：US10960417
申请日：2004-10-06
申请人： David Haas , Richard Kucsan , Thomas Ball , Douglas Greaser
发明人： David Haas , Richard Kucsan , Thomas Ball , Douglas Greaser
IPC分类号： H04N7/173
CPC分类号： H04N7/18 , H04N21/4147 , H04N21/43637 , H04N21/6112 , H04N21/6131
摘要： Devices, systems, and methods for providing data, especially video signal data, to a remote location using low frequency bandwidths is disclosed. Transmission of low frequency bandwidths from a transmitting unit to a receiving unit located up to about 15 miles line-of-sight is possible. Adding one or more bridge antennas between the transmitting and receiving units can increase the transmission distance to hundreds of miles line-of-sight. At the receiving unit, data is retransmitted to a facility network for display and/or storage. Control of data generating devices can also be controlled remotely from the remote location or to Internet uses wherever they may be.
摘要翻译：公开了用于使用低频带宽将数据特别是视频信号数据提供给远程位置的装置，系统和方法。将发射单元的低频带宽传输到距离大约15英里视线的接收单元是可能的。在发射和接收单元之间添加一个或多个桥接天线可以将传输距离增加到数百英里的视距。在接收单元处，将数据重传到设施网络以进行显示和/或存储。数据生成设备的控制也可以从远程位置远程控制，也可以在任何地方使用互联网。

10. 发明申请

US20050149904A1 Method for enhancing program analysis 失效
标题翻译：加强程序分析的方法
公开(公告)号：US20050149904A1
公开(公告)日：2005-07-07
申请号：US10978989
申请日：2004-11-01
申请人： Thomas Ball , Sriram Rajamani
发明人： Thomas Ball , Sriram Rajamani
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/3608
摘要： Methods are discussed that enhance program analysis. One aspect of the invention includes a method for checking a model of a program. The method includes a control-flow graph having vertices from the model, applying a transfer function to each vertex to form a set of path edges, and analyzing the set of path edges of a vertex. The set of path edges includes valuations that are implicitly represented so as to inhibit an undesired explosion in the valuations that would hinder the act of analyzing.
摘要翻译：讨论了加强程序分析的方法。本发明的一个方面包括一种用于检查程序模型的方法。该方法包括具有来自模型的顶点的控制流程图，对每个顶点应用传递函数以形成一组路径边缘，以及分析顶点的路径边缘集合。一组路径边缘包括隐含地表示的估值，以便抑制估价中的不期望的爆炸，这将妨碍分析的行为。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式