会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Convergence analysis of program variables
    • 程序变量的收敛分析
    • US09189215B1
    • 2015-11-17
    • US14468935
    • 2014-08-26
    • NATIONAL INSTRUMENTS CORPORATION
    • Taylor L. RicheNewton G. PetersenHojin KeeAdam T. ArnesenHaoran YiDustyn K. BlasigTai A. Ly
    • G06F9/45
    • G06F8/433G06F8/443
    • System and method for convergence analysis. One or more state variables of a first program may be determined based on dependencies of variables in a first program. A second program corresponding to the first program is created based on the state variables and their dependencies, and executed multiple times. Each execution may include recording values of the state variables, determining an execution count, comparing the values to corresponding values from previous executions of the second program, and terminating the executing in response to the values matching corresponding values from at least one previous execution of the second program. A convergence property for the first program is determined based on the execution count, and indicating a number of executions of the first program required to generate all possible values of the one or more variables. The convergence property is stored, and may be useable to optimize the first program.
    • 收敛分析的系统和方法 可以基于第一程序中的变量的依赖性来确定第一程序的一个或多个状态变量。 基于状态变量及其依赖性创建与第一程序相对应的第二程序,并执行多次。 每个执行可以包括状态变量的记录值,确定执行计数,将值与先前执行的第二程序的对应值进行比较,并且响应于与来自所述第二程序的至少一个先前执行的对应值匹配的值终止执行 第二个程序。 基于执行次数确定第一程序的收敛性,并且指示生成所述一个或多个变量的所有可能值所需的第一程序的执行次数。 收敛性被存储,并可用于优化第一程序。
    • 10. 发明授权
    • Correlation analysis of program structures
    • 程序结构的相关分析
    • US09489181B2
    • 2016-11-08
    • US14510441
    • 2014-10-09
    • NATIONAL INSTRUMENTS CORPORATION
    • Hojin KeeHaoran YiTai A. LyNewton G. PetersenJames M. LewisDustyn K. BlasigAdam T. ArnesenTaylor L. Riche
    • G06F9/44G06F9/45
    • G06F8/443G06F8/20G06F8/34
    • System and method for performing correlation analysis. A program that includes multiple program structures and one or more data objects is stored. Each data object is shared by at least two of the program structures. For each program structure, decomposition effects on each of the data objects shared by the program structure resulting from each of a respective one or more optimizing transforms applied to the program structure are analyzed. One or more groups of correlated structures are determined based on the analyzing. Each group includes two or more program structures that share at least one data object, and at least one optimizing transform that is compatible with respect to the two or more program structures and the shared data object. For at least one group, the at least one optimizing transform is usable to transform the two or more program structures to meet a specified optimization objective.
    • 执行相关分析的系统和方法。 存储包括多个程序结构和一个或多个数据对象的程序。 每个数据对象由至少两个程序结构共享。 对于每个程序结构,分析由应用于程序结构的相应的一个或多个优化变换中的每一个产生的由程序结构共享的每个数据对象的分解效果。 基于分析确定一组或多组相关结构。 每个组包括共享至少一个数据对象的两个或更多个程序结构,以及与两个或多个程序结构和共享数据对象兼容的至少一个优化变换。 对于至少一个组,所述至少一个优化变换可用于变换所述两个或多个程序结构以满足指定的优化目标。