会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 11. 发明申请
    • VERIFYING DATA CONSISTENCY AMONG STRUCTURED FILES
    • 在结构化文件中验证数据一致性
    • US20090055416A1
    • 2009-02-26
    • US12176317
    • 2008-07-18
    • Ankit AgarwalMahesh LavannisPradeep K. Singh
    • Ankit AgarwalMahesh LavannisPradeep K. Singh
    • G06F17/30
    • G06F17/30067
    • A scalable comparison structure and methodology is provided that is suitable for comparing select data content in hundreds or thousands of files in an efficient manner. Section delimiters are defined to identify the sections of the files within which the select data content is located, and sets of unique sections are identified based on the select data content within the section. Thereafter, comparisons and reports are based on these unique content sections. If multiple files include a common set of data, a single unique content section is used to represent these multiple files. File groups are optionally defined, and different sets of select data content can be compared based on these file groups. The result of the comparison is presented in multiple hierarchical forms, including an identification of which files are different from each other, and an identification of the differences among the unique content segments.
    • 提供了可扩展的比较结构和方法,适用于以有效的方式比较数百或数千个文件中的选择数据内容。 段定界符被定义为识别选择数据内容所在的文件的部分,并且基于该部分内的选择数据内容来识别唯一部分的集合。 此后,比较和报告是基于这些独特的内容部分。 如果多个文件包含一组通用数据,则使用单个唯一内容部分来表示这些多个文件。 可选地定义文件组,并且可以基于这些文件组来比较不同组的选择数据内容。 比较的结果以多种分层形式呈现,包括哪些文件彼此不同的标识以及唯一内容段之间的差异的识别。
    • 12. 发明授权
    • Routing validation
    • 路由验证
    • US08130759B2
    • 2012-03-06
    • US11494441
    • 2006-07-27
    • Alain J. CohenPradeep K. SinghVinod JeyachandranNitin Gupta
    • Alain J. CohenPradeep K. SinghVinod JeyachandranNitin Gupta
    • H04L12/28
    • H04L45/28H04L41/0631H04L41/08H04L41/0866H04L41/14H04L41/145H04L45/02H04L45/124
    • A simulator simulates routing system protocols to build routing tables corresponding to a modeled network, and a comparator compares the routing tables in the actual network to these simulator-created routing tables. Because the modeled system represents a fault-free version of the actual system, and assuming that the modeled routing system protocols are representative of the algorithms used in the actual routers, these simulator-produced routing tables will represent the ‘ideal’ routing tables that should be present in the routers of the actual network. By querying each router in the actual network for its routing table and comparing each routing table to the corresponding simulator-produced routing table, any differences from the ‘ideal’ can be identified.
    • 模拟器模拟路由系统协议以构建与建模网络相对应的路由表,并且比较器将实际网络中的路由表与这些模拟器创建的路由表进行比较。 因为建模的系统代表了实际系统的无故障版本,并且假设建模的路由系统协议代表实际路由器中使用的算法,则这些模拟器生成的路由表将表示应该应用的“理想”路由表 存在于实际网络的路由器中。 通过查询实际网络中的每个路由器的路由表,并将每个路由表与相应的模拟器生成的路由表进行比较,可以识别与“ideal”的任何差异。
    • 13. 发明授权
    • Traffic independent survivability analysis
    • 交通独立生存能力分析
    • US07843840B2
    • 2010-11-30
    • US12195393
    • 2008-08-20
    • Vanko VankovArun PasupathyVinod JeyachandranPradeep K. SinghAlain J. CohenYonghuan Cao
    • Vanko VankovArun PasupathyVinod JeyachandranPradeep K. SinghAlain J. CohenYonghuan Cao
    • G06F11/30
    • H04L43/50
    • First-order effects of hypothesized fault conditions are determined by propagating discrete test packets between select nodes and noting the change of path, if any, taken by the test packet under each condition relative to the fault-free path. Tools are provided to create classes of node pairs of interest, and test packets are created only for select classes. The network is analyzed to identify fault conditions that are likely to impact system performance, and only these fault conditions are simulated. By providing a methodology for selecting classes of node pairs to test, and prioritizing the faults to simulate, a first-order survivability analysis of large networks can be performed efficiently and effectively. The efficiency of this technique is also enhanced by providing test packets that are representative of a wide range of possible source-destination combinations, and by evaluating only the source-destination combinations that may be directly affected by each fault condition.
    • 通过在选择节点之间传播离散的测试包,并注意到每个条件下相对于无故障路径,由测试包采取的路径(如果有的话)的变化来确定假设故障条件的一阶影响。 提供工具来创建感兴趣的节点对类,并且只为选择类创建测试包。 分析网络以识别可能影响系统性能的故障状况,并且仅模拟这些故障条件。 通过提供一种选择要测试的节点对的类别并对故障进行优先级模拟的方法,可以有效和高效地执行大型网络的一阶生存性分析。 通过提供表示广泛范围的可能的源 - 目的地组合的测试分组以及通过仅评估可能由每个故障状况直接影响的源 - 目的地组合来增强该技术的效率。
    • 14. 发明授权
    • Incremental update of virtual devices in a modeled network
    • 模拟网络中虚拟设备的增量更新
    • US07693699B2
    • 2010-04-06
    • US11503553
    • 2006-08-11
    • Pradeep K. SinghRaymond OnleyNishant GuptaAlain J. Cohen
    • Pradeep K. SinghRaymond OnleyNishant GuptaAlain J. Cohen
    • G06F17/50
    • G06F17/30286
    • In a network simulation system, a compiler is provided to support incremental updates to the configuration data associated with the modeled network. Each incremental change is identified and logged, to facilitate configuration management and select roll-backs to prior configurations. Because each update is processed and managed individually, and integrated automatically into the overall system configuration, the overhead associated with keeping a configuration database up-to-date is substantially reduced, thereby increasing the likelihood that all configuration changes will be reflected in the modeled network. In a preferred embodiment, the same data is used to incrementally update the configuration model and to execute the change in the actual system, thereby further reducing the overhead and assuring a correspondence between the modeled network and the actual network.
    • 在网络仿真系统中,提供编译器来支持与建模网络相关联的配置数据的增量更新。 识别和记录每个增量更改,以便于配置管理,并选择回滚到以前的配置。 由于每个更新被单独处理和管理,并且自动整合到整个系统配置中,所以与保持配置数据库的最新状态相关联的开销大大减少,从而增加了所有配置更改将反映在建模网络中的可能性 。 在优选实施例中,相同的数据用于递增地更新配置模型并执行实际系统中的改变,从而进一步降低开销并确保建模网络与实际网络之间的对应关系。
    • 16. 发明授权
    • Tracing routing differences
    • 跟踪路由差异
    • US07688743B2
    • 2010-03-30
    • US11494692
    • 2006-07-27
    • Alain J. CohenPradeep K. SinghVinod JeyachandranNitin Gupta
    • Alain J. CohenPradeep K. SinghVinod JeyachandranNitin Gupta
    • H04L12/26H04L12/28
    • H04L45/28H04L45/02H04L45/54
    • A routing validation method and system identifies routers that are likely to be the cause of differences in forwarding tables associated with two versions of a network. Each destination sub-network prefix is processed to identify all the routers that exhibit differences in their forwarding table for this prefix. Each router exhibiting a difference is assessed to determine whether the difference may have been propagated to this router from another router. If the difference could not have been propagated from another router, this router is identified as a potential source of the observed difference. By eliminating routers that could have received the effects of the differences from another router, the task of identifying the root cause of the observed differences is substantially reduced in complexity.
    • 路由验证方法和系统识别可能是与两个网络版本相关联的转发表中的差异的原因的路由器。 处理每个目标子网络前缀以标识在其前缀的转发表中表现出差异的所有路由器。 评估每个出现差异的路由器,以确定差异是否可能已经从另一个路由器传播到该路由器。 如果差异不能从另一个路由器传播,则该路由器被识别为观察到的差异的潜在来源。 通过消除可能已经接收到来自另一个路由器的差异的影响的路由器,识别所观察到的差异的根本原因的任务在复杂性上显着降低。
    • 19. 发明授权
    • Wireless MAC and link-layer simulation modeling
    • 无线MAC和链路层仿真建模
    • US08249094B2
    • 2012-08-21
    • US11501388
    • 2006-08-09
    • Pradeep K. SinghAlain J. CohenAlejandro Talavera-MartinezArun PasupathyPoonam SinghIbrahim Utku Moral
    • Pradeep K. SinghAlain J. CohenAlejandro Talavera-MartinezArun PasupathyPoonam SinghIbrahim Utku Moral
    • H04L12/413
    • H04W16/225H04W74/00
    • Simulation models of media access control and physical layer characteristics facilitate the simulation/emulation of a variety of phenomena that affect transmissions via a wireless media. Such phenomena include media access contention delays, packet drops, and retransmissions that are generally dependent upon changes in transmitter/receiver locations. Each wireless environment is characterized by a model of the communication channel that characterizes transmission effects based on the number of competing transmitters in the environment, which is dynamically determined based on the location of each node in the environment. Additionally, the location of nodes is used to simulate the effects of ‘hidden nodes’, nodes that are unknown to a transmitting node but can interfere with the reception of transmissions at a receiving node. Each device/node model in the wireless environment preferably accesses the same model of the communication channel, thereby minimizing the amount of detail required at each device model.
    • 介质访问控制和物理层特性的仿真模型有助于模拟/仿真影响通过无线介质传输的各种现象。 这种现象包括通常取决于发射机/接收机位置的改变的媒体接入争用延迟,分组丢弃和重传。 每个无线环境的特征在于基于环境中的竞争发射机的数量来表征传输效应的通信信道的模型,其基于环境中的每个节点的位置动态地确定。 另外,节点的位置用于模拟“隐藏节点”,发送节点未知的节点的影响,但可能会干扰接收节点的传输接收。 无线环境中的每个设备/节点模型优选地访问通信信道的相同模型,从而最小化每个设备模型所需的细节量。