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

1. 发明授权

US09104826B2 Monitoring coverage for static modelling of an electronic device 有权
标题翻译：监控电子设备静态建模的覆盖范围
公开(公告)号：US09104826B2
公开(公告)日：2015-08-11
申请号：US14078857
申请日：2013-11-13
申请人： Huy Nguyen , Alan J. Carlin , Hugo M. Cavalcanti
发明人： Huy Nguyen , Alan J. Carlin , Hugo M. Cavalcanti
IPC分类号： G06F17/50
CPC分类号： G06F17/5045 , G06F17/5022 , G06F17/5027 , G06F17/505
摘要： A design verification system automatically identifies coverage of different constraints for a static model of an electronic device. The static model can be employed by a tool, referred to as a solver, that identifies whether the mathematical relationships of the static model can be reconciled, given a set of user-defined constraints that indicate a desired configuration, or range of configurations, of the electronic device. After a solution for a particular set of user-defined constraints has been identified, a constraints adjustment module can identify, based on coverage information generated by the solver, if other sets of user-defined constraints were implicitly solved by the solver. If such other sets were implicitly solved, the adjustments module can mark the sets as solved, such that they will omitted from constraints used for subsequent solutions of the solver.
摘要翻译：设计验证系统自动识别电子设备的静态模型的不同约束的覆盖。静态模型可以被称为解算器的工具使用，该工具识别静态模型的数学关系是否可以协调，给定一组用户定义的约束，指示所需的配置或配置范围电子设备。在已经确定了用于特定用户定义的约束集合的解决方案之后，约束调整模块可以基于求解器生成的覆盖信息来识别其他用户定义的约束集合是否由解算器隐含地解决。如果这些其他集合被隐含地解决，则调整模块可以将集合标记为已解决，使得它们将被从用于求解器的后续解的约束中省略。

2. 发明申请

US20150135149A1 MONITORING COVERAGE FOR STATIC MODELLING OF AN ELECTRONIC DEVICE 有权
标题翻译：监控电子设备静态建模的覆盖
公开(公告)号：US20150135149A1
公开(公告)日：2015-05-14
申请号：US14078857
申请日：2013-11-13
申请人： Huy Nguyen , Alan J. Carlin , Hugo M. Cavalcanti
发明人： Huy Nguyen , Alan J. Carlin , Hugo M. Cavalcanti
IPC分类号： G06F17/50
CPC分类号： G06F17/5045 , G06F17/5022 , G06F17/5027 , G06F17/505
摘要： A design verification system automatically identifies coverage of different constraints for a static model of an electronic device. The static model can be employed by a tool, referred to as a solver, that identifies whether the mathematical relationships of the static model can be reconciled, given a set of user-defined constraints that indicate a desired configuration, or range of configurations, of the electronic device. After a solution for a particular set of user-defined constraints has been identified, a constraints adjustment module can identify, based on coverage information generated by the solver, if other sets of user-defined constraints were implicitly solved by the solver. If such other sets were implicitly solved, the adjustments module can mark the sets as solved, such that they will omitted from constraints used for subsequent solutions of the solver.
摘要翻译：设计验证系统自动识别电子设备的静态模型的不同约束的覆盖。静态模型可以被称为解算器的工具使用，该工具识别静态模型的数学关系是否可以协调，给定一组用户定义的约束，指示所需的配置或配置范围电子设备。在已经确定了用于特定用户定义的约束集合的解决方案之后，约束调整模块可以基于求解器生成的覆盖信息来识别其他用户定义的约束集合是否由解算器隐含地解决。如果这些其他集合被隐含地解决，则调整模块可以将集合标记为已解决，使得它们将被从用于求解器的后续解的约束中省略。

3. 发明申请

US20150134305A1 STATIC MODELLING OF AN ELECTRONIC DEVICE 审中-公开
标题翻译：电子设备的静态建模
公开(公告)号：US20150134305A1
公开(公告)日：2015-05-14
申请号：US14078853
申请日：2013-11-13
申请人： Hugo M. Cavalcanti , Alan J. Carlin , Huy Nguyen
发明人： Hugo M. Cavalcanti , Alan J. Carlin , Huy Nguyen
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A design verification system verifies an electronic device design based on a static model of the electronic device. The static model is an expression of the relationships between modules of the electronic device design and relationships between the behaviors of those modules that can be expressed as set of logical relationships. The static model does not rely on a time variable, but instead reflects a fixed set of relationships between the electronic device modules and between behaviors of the electronic device modules. The static model can be employed by a solver, that identifies whether or how the mathematical relationships of the static model can be reconciled, given a set of constraints. The solver results can be analyzed to identify whether there are errors in the device design, such as resource conflicts, failure of the design to achieve a desired configuration, and the like.
摘要翻译：设计验证系统基于电子设备的静态模型验证电子设备设计。静态模型是电子设备设计模块之间的关系和可以表示为逻辑关系集合的那些模块的行为之间的关系的表达。静态模型不依赖于时间变量，而是反映了电子设备模块之间和电子设备模块的行为之间的固定关系。一个求解器可以使用静态模型，用于确定静态模型的数学关系是否或如何可以通过一组约束来协调。可以分析求解器结果以识别设备设计中是否存在错误，例如资源冲突，设计失败以达到期望的配置等。

4. 发明授权

US10223486B2 Static modelling of an electronic device 有权
公开(公告)号：US10223486B2
公开(公告)日：2019-03-05
申请号：US14078853
申请日：2013-11-13
申请人： Hugo M. Cavalcanti , Alan J. Carlin , Huy Nguyen
发明人： Hugo M. Cavalcanti , Alan J. Carlin , Huy Nguyen
IPC分类号： G06F17/50
摘要： A design verification system verifies an electronic device design based on a static model of the electronic device. The static model is an expression of the relationships between modules of the electronic device design and relationships between the behaviors of those modules that can be expressed as set of logical relationships. The static model does not rely on a time variable, but instead reflects a fixed set of relationships between the electronic device modules and between behaviors of the electronic device modules. The static model can be employed by a solver, that identifies whether or how the mathematical relationships of the static model can be reconciled, given a set of constraints. The solver results can be analyzed to identify whether there are errors in the device design, such as resource conflicts, failure of the design to achieve a desired configuration, and the like.

5. 发明授权

US09450633B1 Mobile electronic device case clip and method of use 有权
标题翻译：移动电子设备盒夹和使用方法
公开(公告)号：US09450633B1
公开(公告)日：2016-09-20
申请号：US14710183
申请日：2015-05-12
申请人： Huy Nguyen
发明人： Huy Nguyen
IPC分类号： H04M1/00 , H04B1/3888 , B60R11/02 , H04M1/04 , H04M1/18 , H04M1/02
CPC分类号： H04B1/3888 , B60R11/0241 , B60R2011/0008 , B60R2011/0075 , H04B1/3877 , H04M1/0206 , H04M1/0249 , H04M1/026 , H04M1/04 , H04M1/185
摘要： A mobile phone case for a vehicle vent includes a body forming a cavity and configured to carry the mobile phone therein and a clip pivotally attached to the body and configured to secure the body to the vehicle vent.
摘要翻译：用于车辆通风口的移动电话机壳包括形成空腔并构造成在其中携带移动电话的主体和枢轴地附接到主体并且被构造成将主体固定到车辆通气口的夹子。

6. 发明授权

US09177029B1 Determining activity importance to a user 有权
标题翻译：确定对用户的活动重要性
公开(公告)号：US09177029B1
公开(公告)日：2015-11-03
申请号：US13333991
申请日：2011-12-21
申请人： Stephen Chau , Andrew T. Szybalski , Stephane Lafon , Andrea Lynn Frome , Jerry Howard Morrison , Derek Prothro , Huy Nguyen
发明人： Stephen Chau , Andrew T. Szybalski , Stephane Lafon , Andrea Lynn Frome , Jerry Howard Morrison , Derek Prothro , Huy Nguyen
IPC分类号： G06F17/30
CPC分类号： G06F17/30867 , G06F17/3053 , G06F17/30663
摘要： Configurations of an activity assistant processing system are disclosed that provides users with dynamically-selected activities that are intelligently tailored to a user. The subject technology accesses an index of activities. A score is then determined for each particular activity in the index of activities. The score is based on plurality of signals associated with user-specific parameters and global parameters to determine the quantitative importance of a particular activity. The subject technology identifies a subset of activities within the index of activities using the activity assistant processing system in which the subset includes at least one activity with a corresponding score that is greater than or equal to a decision threshold for the at least one activity. At least a portion of the subset of activities is then ranked based on the quantitative importance of the particular activity using the activity assistant processing system.
摘要翻译：公开了一种活动辅助处理系统的配置，其向用户提供智能地定制到用户的动态选择的活动。主题技术访问活动指标。然后确定活动指数中的每个特定活动的分数。得分基于与用户特定参数和全局参数相关联的多个信号，以确定特定活动的定量重要性。主题技术使用活动助理处理系统识别活动索引内的活动的子集，其中该子集包括具有大于或等于该至少一个活动的决策阈值的对应分数的至少一个活动。然后基于使用活动辅助处理系统的特定活动的定量重要性对活动子集中的至少一部分进行排名。

7. 发明授权

US09135097B2 Node death detection by querying 有权
标题翻译：通过查询节点死亡检测
公开(公告)号：US09135097B2
公开(公告)日：2015-09-15
申请号：US13431196
申请日：2012-03-27
申请人： Vijay Sridharan , Huy Nguyen , Jia Shi , Alex Tsukerman , Kothanda Umamageswaran
发明人： Vijay Sridharan , Huy Nguyen , Jia Shi , Alex Tsukerman , Kothanda Umamageswaran
IPC分类号： G06F11/00 , G06F11/07 , H04L12/26
CPC分类号： G06F11/0709 , G06F11/076 , H04L43/0817 , H04L43/10 , H04L43/16
摘要： Systems, methods, and other embodiments associated with detecting a node death in a clustered distributed system are described. In one embodiment, a method includes transmitting a ping message to a peer node in the network. If a reply to the ping message is not received from the peer node, a query is sent to table of port identifiers that lists ports in the cluster. In one embodiment, the query includes a port identifier associated with the peer node. The peer node is declared as inactive/dead when the query fails to locate a match in the table for the port identifier. When the query locates a match in the table for the port identifier, another ping message is periodically transmitted to the peer node.
摘要翻译：描述了与群集分布式系统中的节点死亡检测相关联的系统，方法和其他实施例。在一个实施例中，一种方法包括将ping消息发送到网络中的对等节点。如果没有从对等节点接收到ping消息的回复，则会将查询发送到列出集群端口的端口标识符表。在一个实施例中，查询包括与对等节点相关联的端口标识符。当查询无法在端口标识符的表中找到匹配时，对等节点被声明为非活动/已停止。当查询查找端口标识符的表中的匹配时，会将另一个ping消息周期性地发送到对等节点。

8. 发明授权

US08466709B2 Integrated circuit with configurable on-die termination 有权
公开(公告)号：US08466709B2
公开(公告)日：2013-06-18
申请号：US13312762
申请日：2011-12-06
申请人： Huy Nguyen
发明人： Huy Nguyen
IPC分类号： H03K17/16
CPC分类号： H03K19/0005 , H04B1/0458 , H04L25/0278 , H04L25/0298
摘要： Described are integrated-circuit die with differential receivers, the inputs of which are coupled to external signal pads. Termination legs coupled to the signal pads support multiple termination topologies. These termination legs can support adjustable impedances, capacitances, or both, which may be controlled using an integrated memory.

9. 发明申请

US20120331570A1 RULE-BASED APPLICATION ACCESS MANAGEMENT 有权
公开(公告)号：US20120331570A1
公开(公告)日：2012-12-27
申请号：US13594041
申请日：2012-08-24
申请人： Arthur S. HITOMI , Robert Tran , Peter J. Kammer , Doug Pfiffner , Huy Nguyen
发明人： Arthur S. HITOMI , Robert Tran , Peter J. Kammer , Doug Pfiffner , Huy Nguyen
IPC分类号： G06F21/24
CPC分类号： H04L63/10 , G06F9/468 , G06F21/6218 , G06F2221/2141 , H04L41/0813 , H04L41/145 , H04L43/0823 , H04L63/108
摘要： A container that manages access to protected resources using rules to intelligently manage them includes an environment having a set of software and configurations that are to be managed. A rule engine, which executes the rules, may be called reactively when software accesses protected resources. The engine uses a combination of embedded and configurable rules. It may be desirable to assign and manage rules per process, per resource (e.g. file, registry, etc.), and per user. Access rules may be altitude-specific access rules.

10. 再颁专利

USRE42306E1 Apparatus and system for charging a portable electronic device 有权
标题翻译：用于对便携式电子设备充电的设备和系统
公开(公告)号：USRE42306E1
公开(公告)日：2011-04-26
申请号：US11283476
申请日：2005-11-18
申请人： William D. Webb , Huy Nguyen
发明人： William D. Webb , Huy Nguyen
IPC分类号： H01M10/46
CPC分类号： H02J7/0044 , H01M10/46
摘要： A charging apparatus for a portable rechargeable electronic device is described. The charging apparatus contains a substantially flat conductive surface for receiving the electronic device placed thereon. Small conducting nodules of the device mate with the conductive surface to charge a rechargeable battery of the device. Charging may commence upon placement of the device. The surface may contain a positive and a negative electrode. The surface may have lips placed around the perimeter to form a tray like structure. Synchronization with a host system and the device may occur wirelessly.
摘要翻译：描述了便携式可再充电电子设备的充电装置。充电装置包含用于接收放置在其上的电子装置的基本平坦的导电表面。该装置的小导电结节与导电表面配合以对装置的可再充电电池充电。充电可能在设备放置后开始。表面可以含有正极和负极。表面可以具有围绕周边设置的唇缘以形成托盘状结构。与主机系统和设备的同步可以无线发生。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式