-
公开(公告)号：US09600767B1
公开(公告)日：2017-03-21
申请号：US12317884
申请日：2008-12-30
申请人： Aleksey Nogin , Deepak Khosla , Yang Chen
发明人： Aleksey Nogin , Deepak Khosla , Yang Chen
CPC分类号： G06N5/02 , G06N3/08 , G06N5/04 , G06N99/005
摘要： The present invention relates to a system, method, and computer program product for generating a single software code based on a description of a distributed architecture. The present invention introduces a BICA-SMART development framework that implements a distributed architecture in a flexible, parallel and scalable implementation that is embodied by a single software code. Thus, using the present invention, a user can input a description of the architecture into the system, with the system automatically generating the software code to implement the architectural description.
-
2.发明授权Revision control server with self-hosting multi-level access controls and user notifications 有权具有自主托管多级访问控制和用户通知的修订控制服务器公开(公告)号：US08990249B1
公开(公告)日：2015-03-24
申请号：US12460511
申请日：2009-07-20
申请人： Aleksey Nogin , Yang Chen
发明人： Aleksey Nogin , Yang Chen
IPC分类号： G06F17/30
CPC分类号： G06F17/30067 , G06F17/3023
摘要： Described is a system for managing a multi-user revision control repository which provides multi-level access control. The present invention describes creating configuration files which describe a set of management states of management areas of a repository. The configuration files describe access control to a set of management areas, and the set of management states is stored in the repository to create a self-hosting management implementation. A new commit is processed to the repository by contacting a revision control repository server with a client software, communicating a user's new revision to the revision control repository server, verifying the user's authentication and authorization prior to collecting a new revision with the revision control repository server, and executing a custom script configured to run on the revision control repository server.
摘要翻译： 描述了一种用于管理多用户修订控制库的系统，其提供多级访问控制。 本发明描述了创建描述存储库的管理区域的一组管理状态的配置文件。 配置文件描述对一组管理区域的访问控制，并且一组管理状态存储在存储库中以创建自主托管管理实现。 通过联系修订控制存储库服务器与客户端软件，将用户的新版本与版本控制存储库服务器进行通信，验证用户的身份验证和授权，然后再使用版本控制存储库服务器收集新的修订版本，将新的提交处理到存储库 ，并执行配置为在版本控制存储库服务器上运行的自定义脚本。
-
公开(公告)号：US09697462B1
公开(公告)日：2017-07-04
申请号：US14588929
申请日：2015-01-03
CPC分类号： G06N3/04
摘要： A synaptic time-multiplexed (STM) neuromorphic network includes a neural fabric that includes nodes and switches to define inter-nodal connections between selected nodes of the neural fabric. The STM neuromorphic network further includes a neuromorphic controller to form subsets of a set of the inter-nodal connections representing a fully connected neural network. Each subset is formed during a different time slot of a plurality of time slots of a time multiplexing cycle of the STM neuromorphic network. In combination, the inter-nodal connection subsets implement the fully connected neural network. A method of synaptic time multiplexing a neuromorphic network includes providing the neural fabric and forming the subsets of the set of inter-nodal connections.
-
4.发明授权公开(公告)号：US08645310B2
公开(公告)日：2014-02-04
申请号：US13053739
申请日：2011-03-22
申请人： Shengbing Jiang , Aleksey Nogin
发明人： Shengbing Jiang , Aleksey Nogin
CPC分类号： G06F17/504
摘要： A method for verifying the performance of a real-time system modeled as a timed automaton. An abstract model of the system is checked against an initial Linear Temporal Logic specification. If a path to an undesirable state is found, the counterexample is validated or invalidated using negative cycle detection. If a negative cycle is detected, optimization is undertaken to identify a minimal infeasible fragment in the negative cycle. The specification is then refined to eliminate usage of the minimal infeasible fragment, and the abstract model is then checked against the refined specification.
摘要翻译： 一种用于验证建模为定时自动机的实时系统的性能的方法。 根据初始线性时间逻辑规范检查系统的抽象模型。 如果找到到不良状态的路径，则使用负循环检测验证或无效反例。 如果检测到负循环，则进行优化以鉴定负循环中的最小不可行碎片。 然后细化规范以消除最小不可行片段的使用，然后根据精细规范检查抽象模型。
-
5.发明申请Establishing Common Interest Negotiation Links Between Consumers and Suppliers to Facilitate Solving a Resource Allocation Problem 有权建立消费者和供应商之间的共同利益谈判链接，促进解决资源分配问题公开(公告)号：US20110196912A1
公开(公告)日：2011-08-11
申请号：US12702062
申请日：2010-02-08
申请人： David W. Payton , Aleksey Nogin
发明人： David W. Payton , Aleksey Nogin
IPC分类号： G06F15/16 , G06F15/173
CPC分类号： G06Q30/0611 , G06Q10/06
摘要： A computer-implemented method includes communicating to a number of agents a first resource negotiation request that includes one or more first parameters each having a corresponding first range of acceptability. The method includes receiving first request responses from each of one or more capable agents each operable to fulfill at least one first parameter within the corresponding first range of acceptability. The method includes determining solution entities based on the first responses, each solution entity including one or more of the capable agents operable to fulfill the one or more parameters of the first request within the corresponding first ranges of acceptability, each capable agent operable to fulfill at least one first parameter within the corresponding first range of acceptability. The method includes communicating a second resource negotiation request to each capable agent in each determined solution entity, the second request including one or more second parameters each having a corresponding second range of acceptability.
摘要翻译： 计算机实现的方法包括向多个代理进行通信，所述第一资源协商请求包括一个或多个第一参数，每个参数具有相应的第一可接受范围。 该方法包括接收来自一个或多个能力代理中的每一个的第一请求响应，每个可执行代理可操作以满足相应的第一可接受范围内的至少一个第一参数。 该方法包括基于第一响应来确定解决方案实体，每个解决方案实体包括一个或多个能力代理，可操作以在相应的第一可接受范围内履行第一请求的一个或多个参数，每个能力代理可操作以在 在相应的第一可接受范围内的至少一个第一参数。 该方法包括向每个确定的解决方案实体中的每个能力的代理传达第二资源协商请求，所述第二请求包括一个或多个第二参数，每个具有相应的第二可接受范围。
-
6.发明授权Synaptic time multiplexing neuromorphic network that forms subsets of connections during different time slots 有权突触时间复用神经元网络，在不同的时隙内形成连接子集公开(公告)号：US08977578B1
公开(公告)日：2015-03-10
申请号：US13535114
申请日：2012-06-27
CPC分类号： G06N3/04
摘要： A synaptic time-multiplexed (STM) neuromorphic network includes a neural fabric that includes nodes and switches to define inter-nodal connections between selected nodes of the neural fabric. The STM neuromorphic network further includes a neuromorphic controller to form subsets of a set of the inter-nodal connections representing a fully connected neural network. Each subset is formed during a different time slot of a plurality of time slots of a time multiplexing cycle of the STM neuromorphic network. In combination, the inter-nodal connection subsets implement the fully connected neural network. A method of synaptic time multiplexing a neuromorphic network includes providing the neural fabric and forming the subsets of the set of inter-nodal connections.
摘要翻译： 突触时间复用（STM）神经元网络包括神经织构，其包括用于定义神经织物的选定节点之间的节间连接的节点和开关。 STM神经元网络还包括神经形态控制器，以形成代表完全连接的神经网络的一组节点间连接的子集。 每个子集在STM神经形态网络的时间复用周期的多个时隙的不同时隙中形成。 结合在一起，节点间连接子集实现完全连接的神经网络。 突触时间复用神经元网络的方法包括提供神经织物并形成一组节间连接的子集。
-
7.发明授权Establishing common interest negotiation links between consumers and suppliers to facilitate solving a resource allocation problem 有权建立消费者和供应商之间的共同利益谈判联系，以便于解决资源分配问题公开(公告)号：US08370422B2
公开(公告)日：2013-02-05
申请号：US12702062
申请日：2010-02-08
申请人： David W. Payton , Aleksey Nogin
发明人： David W. Payton , Aleksey Nogin
IPC分类号： G06F15/16
CPC分类号： G06Q30/0611 , G06Q10/06
摘要： A computer-implemented method includes communicating to a number of agents a first resource negotiation request that includes one or more first parameters each having a corresponding first range of acceptability. The method includes receiving first request responses from each of one or more capable agents each operable to fulfill at least one first parameter within the corresponding first range of acceptability. The method includes determining solution entities based on the first responses, each solution entity including one or more of the capable agents operable to fulfill the one or more parameters of the first request within the corresponding first ranges of acceptability, each capable agent operable to fulfill at least one first parameter within the corresponding first range of acceptability. The method includes communicating a second resource negotiation request to each capable agent in each determined solution entity, the second request including one or more second parameters each having a corresponding second range of acceptability.
摘要翻译： 计算机实现的方法包括向多个代理进行通信，所述第一资源协商请求包括一个或多个第一参数，每个参数具有相应的第一可接受范围。 该方法包括接收来自一个或多个能力代理中的每一个的第一请求响应，每个可执行代理可操作以满足相应的第一可接受范围内的至少一个第一参数。 该方法包括基于第一响应来确定解决方案实体，每个解决方案实体包括一个或多个能力代理，可操作以在相应的第一可接受范围内履行第一请求的一个或多个参数，每个能力代理可操作以在 在相应的第一可接受范围内的至少一个第一参数。 该方法包括向每个确定的解决方案实体中的每个能力的代理传达第二资源协商请求，所述第二请求包括一个或多个第二参数，每个具有相应的第二可接受范围。
-
-
-
-
-
-
搜索结果
7 条记录 (耗时 0.024 秒)