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

111. 发明授权

US08689194B1 Optimization identification 有权
标题翻译：优化识别
公开(公告)号：US08689194B1
公开(公告)日：2014-04-01
申请号：US11894388
申请日：2007-08-20
申请人： Aravind Pillarisetti , Peter Szpak , Jesung Kim , Xiaocang Lin , Pieter J. Mosterman
发明人： Aravind Pillarisetti , Peter Szpak , Jesung Kim , Xiaocang Lin , Pieter J. Mosterman
IPC分类号： G06F9/45
CPC分类号： G06F8/30 , G06F8/35 , G06F8/41 , G06F9/45516 , G06F11/362 , G06F11/3664 , G06F11/3676
摘要： A computer readable medium including executable instructions that when executed perform a method for validating an optimization in generated code using an executable constraints document is provided. The medium can include instructions for relating an assumption to the optimization during code generation. The medium can include instructions for generating the executable constraints document during the code generation, the executable constraints document including information about the relating; and the medium can include instructions for executing the constraints document when the validating is performed, the validating including performing an operation based on a validation result produced by the validating, where the operation includes displaying the validation result to a user, storing the validation result, sending the validation result to a destination, or modifying the generated code.
摘要翻译：一种包括可执行指令的计算机可读介质，其被执行时执行执行用于使用可执行约束文档来验证生成的代码中的优化的方法。介质可以包括用于在码生成期间将假设与优化相关联的指令。介质可以包括用于在代码生成期间生成可执行约束文档的指令，可执行约束文档包括关于相关的信息; 并且所述介质可以包括当执行所述验证时执行所述约束文档的指令，所述验证包括基于由所述验证产生的验证结果执行操作，其中所述操作包括向所述用户显示所述验证结果，存储所述验证结果，将验证结果发送到目的地，或修改生成的代码。

112. 发明授权

US08676550B1 Modeling of passive multiplexers for signal filters 有权
标题翻译：用于信号滤波器的无源多路复用器的建模
公开(公告)号：US08676550B1
公开(公告)日：2014-03-18
申请号：US12896064
申请日：2010-10-01
申请人： Timothy Reeves
发明人： Timothy Reeves
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： A system and method are described that model a passive multiplexer, which may be used for a junction of a plurality of signal filters (e.g., radio frequency, microwave, satellite, etc.). Illustratively, based on obtaining parameters for the individual signal filters, an initial resonant frequency offset vector estimation may be calculated and input into a convergence algorithm to determine a set of multiplexer parameters. In particular, the convergence algorithm is generally different from the initial resonant frequency offset vector estimation calculation, and the initial resonant frequency offset vector estimation assists in achieving better (e.g., faster, more frequent) convergence on a set of multiplexer parameters from the convergence algorithm.
摘要翻译：描述了一种可以用于多个信号滤波器（例如射频，微波，卫星等）的结点的无源多路复用器的系统和方法。说明性地，基于获得各个信号滤波器的参数，可以计算初始谐振频率偏移矢量估计，并将其输入到收敛算法中以确定一组多路复用器参数。特别地，收敛算法通常不同于初始谐振频率偏移矢量估计计算，并且初始谐振频率偏移矢量估计有助于从收敛算法的一组多路复用器参数上实现更好的（例如，更快，更频繁）的收敛。

113. 发明授权

US08667470B2 Traceability in a modeling environment 有权
公开(公告)号：US08667470B2
公开(公告)日：2014-03-04
申请号：US13335485
申请日：2011-12-22
申请人： Xiaocang Lin , Aravind Pillarisetti , William J. Aldrich , Kai Tuschner
发明人： Xiaocang Lin , Aravind Pillarisetti , William J. Aldrich , Kai Tuschner
IPC分类号： G06F9/44
CPC分类号： G06F8/34 , G06F8/10 , G06F8/35 , G06F8/355 , G06F8/73 , G06F11/3664 , G06F11/3688 , G06F11/3696 , G06F17/2241 , G06F17/2264
摘要： Exemplary embodiments employ a mapping among entities that are related to each other. The entities may include a graphical model, generated code, a generated report, a requirements document and/or an intermediate representation. The mapping may facilitate graphical identifications between parts of one entity that maps to part of another entity. The graphical identification may occur based on a selection of a part in one of the entities.

114. 发明授权

US08666709B1 Verification and validation system for a graphical model 有权
标题翻译：图形模型的验证和验证系统
公开(公告)号：US08666709B1
公开(公告)日：2014-03-04
申请号：US13611968
申请日：2012-09-12
申请人： William J. Aldrich , Gregoire Hamon
发明人： William J. Aldrich , Gregoire Hamon
IPC分类号： G06F7/60 , G06F17/10 , G06F9/455 , G06F7/62
CPC分类号： G06F17/5009 , G06F8/34 , G06F2217/04 , G06F2217/74
摘要： A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.
摘要翻译：图形建模环境中的验证工具允许图形建模环境中的组件用于定义错误或特殊条件，而不会对模型的最终实现产生不利影响。在一个示例中，系统呈现图形界面以便于由图形块构建的模型的设计; 接收多个块与验证子系统的关联; 并且执行操作以验证验证子系统中的块不影响验证系统外部的模型的操作。

115. 发明申请

US20140046643A1 BLOCK DIAGRAM EXPLORER IN A METHOD AND APPARATUS FOR INTEGRATED MODELING, SIMULATION AND ANALYSIS OF CHEMICAL AND BIOLOGICAL SYSTEMS 审中-公开
标题翻译：一种用于化学和生物系统的综合建模，仿真和分析的方法和装置的框图探测器
公开(公告)号：US20140046643A1
公开(公告)日：2014-02-13
申请号：US14035566
申请日：2013-09-24
申请人： The MathWorks, Inc.
发明人： Ricardo E. Paxson , Melissa J. Pike , Joseph F. Hicklin , Roy Lurie , Edward Whittington Gulley
IPC分类号： G06F19/00
CPC分类号： G16C20/80 , G16B5/00 , G16B45/00 , G16B50/00
摘要： A system for modeling, simulating and analyzing chemical and biochemical reactions includes a modeling environment for constructing a model of a chemical or biochemical system comprising a plurality of chemical reactions. The system also includes a simulation engine accepting as input said constructed model of the chemical or biochemical system and generating as output an expected result. The modeling environment includes a block diagram explorer for displaying a block diagram in a graphical user interface describing the system as a hierarchical network of interconnected blocks. Each block represents a species participating one of the chemical reactions or one of said chemical reactions in the system. The block diagram explorer allows for a user to manipulate and modify the graphical parameters of the block diagram representation to provide insight into the functionality and operation of the system being modeled.
摘要翻译：用于建模，模拟和分析化学和生物化学反应的系统包括用于构建包括多个化学反应的化学或生化系统的模型的建模环境。该系统还包括模拟引擎，接受化学或生物化学系统的所述构造模型的输入并产生作为预期结果的输出。建模环境包括用于在描述系统的图形用户界面中显示框图的框图探查器，作为互连块的分层网络。每个嵌段代表参与系统中化学反应之一或所述化学反应之一的物质。框图浏览器允许用户操纵和修改框图表示的图形参数，以提供对被建模系统的功能和操作的洞察。

116. 发明授权

US08630829B1 Computer aided design environment with electrical and electronic features 有权
公开(公告)号：US08630829B1
公开(公告)日：2014-01-14
申请号：US11780383
申请日：2007-07-19
申请人： Thomas Gaudette , Pieter J. Mosterman
发明人： Thomas Gaudette , Pieter J. Mosterman
IPC分类号： G06G7/48
CPC分类号： G06F17/5095 , G06F17/5009
摘要： In one embodiment, a Computer Aided Design (CAD) environment is configured to maintain a model of a system. The CAD environment includes a plurality of predefined transducers, and a graphical user interface configured to permit a user to select one or more of the predefined transducers and connect the selected transducers to portions of the model. The CAD environment further includes a simulation engine to run a simulation of the model. A graphical programming environment is configured to execute a graphical program embodied in a block diagram. The graphical program receives one or more simulated transducer signals from the CAD environment and generates and sends one or more control signals to the CAD environment, to control the simulation.

117. 发明授权

US08627276B2 Traceability in a modeling environment 有权
公开(公告)号：US08627276B2
公开(公告)日：2014-01-07
申请号：US13335546
申请日：2011-12-22
申请人： Xiaocang Lin , Aravind Pillarisetti , William J Aldrich , Kai Tuschner
发明人： Xiaocang Lin , Aravind Pillarisetti , William J Aldrich , Kai Tuschner
IPC分类号： G06F9/44
CPC分类号： G06F8/34 , G06F8/10 , G06F8/35 , G06F8/355 , G06F8/73 , G06F11/3664 , G06F11/3688 , G06F11/3696 , G06F17/2241 , G06F17/2264
摘要： Exemplary embodiments employ a mapping among entities that are related to each other. The entities may include a graphical model, generated code, a generated report, a requirements document and/or an intermediate representation. The mapping may facilitate graphical identifications between parts of one entity that maps to part of another entity. The graphical identification may occur based on a selection of a part in one of the entities.

118. 发明授权

US08606375B2 Interactive control of multiple input multiple output control structures 有权
公开(公告)号：US08606375B2
公开(公告)日：2013-12-10
申请号：US13026823
申请日：2011-02-14
申请人： Pascal Gahinet , Pierre Apkarian , Dominikus Noll
发明人： Pascal Gahinet , Pierre Apkarian , Dominikus Noll
IPC分类号： G05B13/02
CPC分类号： G05B13/042 , G05B13/047 , H04B17/391
摘要： Exemplary embodiments allow users to interactively formulate and solve multivariable feedback control problems. For example, users can solve problems where a plurality of control elements are distributed over one or more feedback loops and need to be jointly tuned to optimize overall performance and robustness of a control system. Embodiments allow users to specify design requirements and objectives in formats familiar to the user. Embodiments can operate on tunable parameters to solve the control problem in a manner that satisfies the design requirements and/or objectives provided by the user.

119. 发明授权

US08595439B1 Optimization of cache configuration for application design 有权
标题翻译：优化应用程序设计的缓存配置
公开(公告)号：US08595439B1
公开(公告)日：2013-11-26
申请号：US13449073
申请日：2012-04-17
申请人： David Koh , Murat Belge , James K. Weixel
发明人： David Koh , Murat Belge , James K. Weixel
IPC分类号： G06F12/00
CPC分类号： G06F8/30 , G06F11/3442 , G06F11/3466 , G06F12/0802 , G06F2201/885
摘要： A device may execute application code in a first cache environment to obtain a first result. The first cache environment may be based on a first cache configuration that is associated with the application code. The device may determine a second cache configuration based on the first result and execute the application code in a second cache environment to obtain a second result. The second cache environment may be based on the second cache configuration. The device may select one of the first cache configuration or the second cache configuration as a selected cache configuration for the application code based on comparing the first result with the second result, and may configure the one or more caches based on the selected one of the first cache configuration or the second cache configuration.
摘要翻译：设备可以在第一高速缓存环境中执行应用代码以获得第一结果。第一缓存环境可以基于与应用代码相关联的第一高速缓存配置。设备可以基于第一结果确定第二高速缓存配置，并且在第二高速缓存环境中执行应用代码以获得第二结果。第二缓存环境可以基于第二高速缓存配置。基于将所述第一结果与所述第二结果进行比较，所述设备可以选择所述第一高速缓存配置或所述第二高速缓存配置中的一个作为所述应用代码的选择的高速缓存配置，并且可以基于所选择的一个或多个高速缓存配置第一缓存配置或第二缓存配置。

120. 发明授权

US08594984B2 Bi-directional projection 失效
标题翻译：双向投影
公开(公告)号：US08594984B2
公开(公告)日：2013-11-26
申请号：US13243484
申请日：2011-09-23
申请人： Alan John Moore
发明人： Alan John Moore
IPC分类号： G06G7/48 , G06G7/66 , G06G7/70
CPC分类号： G06F9/44505
摘要： In an embodiment, one or more computer-readable media holding executable instructions is provided. The instructions may be executed on a processing device to project a specification to a platform environment that includes a system model. The media may hold one or more instructions for accessing an algorithm model, the algorithm model being associated with the specification. The media may further hold one or more instructions for projecting the specification to the system model via a forward projection. The media may hold one or more instructions for receiving a reverse projection that includes specification changes, the specification changes identifying suggested changes to the specification. The media may further hold one or more instructions for modifying the algorithm model based on the specification changes, and the media may hold one or more instructions for storing the modified algorithm model.
摘要翻译：在一个实施例中，提供了一个或多个保持可执行指令的计算机可读介质。指令可以在处理设备上执行以将规范投射到包括系统模型的平台环境。媒体可以保存用于访问算法模型的一个或多个指令，该算法模型与规范相关联。介质可以进一步保持一个或多个指令，用于经由前向投影将规格投影到系统模型。介质可以容纳一个或多个用于接收包括规范改变的反向投影的指令，该规范改变标识对规范的建议的改变。介质可以进一步保持一个或多个指令，用于基于规范改变来修改算法模型，并且介质可以保存用于存储修改的算法模型的一个或多个指令。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式