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

1. 发明申请

US20100153074A1 DESIGN SUPPORT APPARATUS 有权
标题翻译：设计支持设备
公开(公告)号：US20100153074A1
公开(公告)日：2010-06-17
申请号：US12628349
申请日：2009-12-01
申请人： Hitoshi YANAMI , Hirokazu Anai , Tsuneo Nakata , Hidenao Iwane
发明人： Hitoshi YANAMI , Hirokazu Anai , Tsuneo Nakata , Hidenao Iwane
IPC分类号： G06F17/50
CPC分类号： G06F17/11 , G06F2217/08
摘要： A design support apparatus for determining a plurality of objective functions for modeling an object having a plurality of elements, each of the elements providing variable geometrical parameters, the design support apparatus includes a memory for storing the variable geometrical parameters and a processor for executing a process including: determining boundary information associated with specified geometrical parameters of the elements which indicate a state of contact between the elements, dividing the variable geometrical parameters into a plurality of groups on the basis of the boundary information, and determining the plurality of objective functions for each of the groups by using the variable geometrical parameters.
摘要翻译：一种用于确定多个目标函数的设计支持装置，用于对具有多个元素的对象进行建模，所述对象具有提供可变几何参数的每个元素，所述设计支持设备包括用于存储可变几何参数的存储器和用于执行过程包括：确定与所述元件的指定几何参数相关联的边界信息，所述边界信息指示所述元件之间的接触状态，基于所述边界信息将所述可变几何参数划分为多个组，以及确定所述多个目标函数的组合通过使用可变几何参数。

2. 发明申请

US20100332195A1 MULTI-PURPOSE OPTIMIZATION DESIGN SUPPORT APPARATUS AND METHOD, AND RECORDING MEDIUM STORING PROGRAM 审中-公开
标题翻译：多用途优化设计支持设备和方法以及记录中型存储程序
公开(公告)号：US20100332195A1
公开(公告)日：2010-12-30
申请号：US12823621
申请日：2010-06-25
申请人： Hitoshi YANAMI , Hirokazu Anai , Hidenao Iwane , Tsuneo Nakata
发明人： Hitoshi YANAMI , Hirokazu Anai , Hidenao Iwane , Tsuneo Nakata
IPC分类号： G06F17/50
CPC分类号： G06F17/50 , G06F2217/08
摘要： A design support apparatus includes a parameter set generation unit configured to obtain a plurality of types of parameters and sequentially generates parameter sets while sequentially changing each parameter, a design object shape data generation unit configured to generate design object shape data based on the parameter set and initial shape data representing an initial shape of the design object shape, a geometric penalty function value calculation unit configured to calculate a geometric penalty function value indicating suitability of geometric characteristics of the design object shape based on the design object shape data, an objective function calculation control unit configured to determine whether or not the parameter set is used to calculate an objective function based on the geometric penalty function value and an optimal value of the objective function, and an objective function calculation unit configured to calculate the objective function based on the parameter set.
摘要翻译：一种设计支持装置，包括参数集生成单元，被配置为获得多种类型的参数，并且在顺序地改变每个参数的同时依次生成参数集;设计对象形状数据生成单元，被配置为基于参数集生成设计对象形状数据;以及表示设计对象形状的初始形状的初始形状数据;几何惩罚函数值计算单元，被配置为基于设计对象形状数据计算表示设计对象形状的几何特征的适合性的几何惩罚函数值，目标函数计算控制单元，被配置为基于所述几何惩罚函数值和所述目标函数的最优值来确定所述参数集是否用于计算目标函数;以及目标函数计算单元，被配置为基于所述参数来计算所述目标函数组。

3. 发明授权

US08676548B2 Support apparatus using objective function 有权
标题翻译：支持装置使用目标函数
公开(公告)号：US08676548B2
公开(公告)日：2014-03-18
申请号：US12628349
申请日：2009-12-01
申请人： Hitoshi Yanami , Hirokazu Anai , Tsuneo Nakata , Hidenao Iwane
发明人： Hitoshi Yanami , Hirokazu Anai , Tsuneo Nakata , Hidenao Iwane
IPC分类号： G06F7/60 , G06F17/10
CPC分类号： G06F17/11 , G06F2217/08
摘要： A design support apparatus for determining a plurality of objective functions for modeling an object having a plurality of elements, each of the elements providing variable geometrical parameters, the design support apparatus includes a memory for storing the variable geometrical parameters and a processor for executing a process including: determining boundary information associated with specified geometrical parameters of the elements which indicate a state of contact between the elements, dividing the variable geometrical parameters into a plurality of groups on the basis of the boundary information, and determining the plurality of objective functions for each of the groups by using the variable geometrical parameters.
摘要翻译：一种用于确定多个目标函数的设计支持装置，用于对具有多个元素的对象进行建模，所述对象具有提供可变几何参数的每个元素，所述设计支持设备包括用于存储可变几何参数的存储器和用于执行过程包括：确定与所述元件的指定几何参数相关联的边界信息，所述边界信息指示所述元件之间的接触状态，基于所述边界信息将所述可变几何参数划分为多个组，以及确定所述多个目标函数的组合通过使用可变几何参数。

4. 发明授权

US08843351B2 Display processing technique of design parameter space 有权
标题翻译：显示设计参数空间的处理技术
公开(公告)号：US08843351B2
公开(公告)日：2014-09-23
申请号：US13115593
申请日：2011-05-25
申请人： Hitoshi Yanami , Hirokazu Anai , Hidenao Iwane
发明人： Hitoshi Yanami , Hirokazu Anai , Hidenao Iwane
IPC分类号： G06F7/60 , G06F17/10 , G06F17/11
CPC分类号： G06F17/11 , G06F2217/08
摘要： This method includes: generating a constraint equation from data of an approximate expression of a cost function representing a relationship between a plurality of design parameters and a cost, data of a route in a cost space and data of a search range in a design parameter space; obtaining a logical expression of a solution for the constraint equation from a quantifier elimination processing unit that carries out a processing according to a quantifier elimination method; substituting coordinates of each of a plurality of points within the search range in the design parameter space into the logical expression of the solution to determine, for each of the plurality of points, true or false of the logical expression of the solution; and displaying the design parameter space in which a display object including a first point for which true is determined is disposed at the first point.
摘要翻译：该方法包括：从表示多个设计参数与成本之间的关系的成本函数的近似表达式的数据，成本空间中的路线的数据和设计参数空间中的搜索范围的数据的数据生成约束方程 ; 从执行根据量化器消除方法的处理的量化器消除处理单元获得约束方程式的解的逻辑表达式; 将所述设计参数空间内的所述搜索范围内的多个点中的每一个点的坐标替换为所述解的逻辑表达式，以针对所述多个点中的每一个确定所述解的逻辑表达式的真或否; 并且在第一点处显示其中包括确定了真实的第一点的显示对象的设计参数空间。

5. 发明授权

US08533653B2 Support apparatus and method for simplifying design parameters during a simulation process 有权
标题翻译：在模拟过程中简化设计参数的支持装置和方法
公开(公告)号：US08533653B2
公开(公告)日：2013-09-10
申请号：US12702425
申请日：2010-02-09
申请人： Hirokazu Anai , Hidenao Iwane , Hitoshi Yanami
发明人： Hirokazu Anai , Hidenao Iwane , Hitoshi Yanami
IPC分类号： G06F17/50
CPC分类号： G06F17/5068 , G06F2217/10
摘要： A design support apparatus includes: a logical expression substitution unit to substitute a part of the logical expression, which includes a function expression of the design variables and a quantifier attached to the design variable, with a substitution variable; a quantifier elimination unit to generate a relational expression including the substitution variable and design variables without the quantifier by eliminating the design variable to which the quantifier is attached from the logical expression; a sampling point generation unit to generate a plurality of sampling points corresponding to the design variables and the substitution variable included in the relational expression; a possible range computation unit to compute, for each of the sampling points, a possible range that the relational expression may take, by calculating values of remaining design variables included in the relational expression based on the relational expression; and a possible range display unit to display the possible range.
摘要翻译：一种设计支持装置包括：逻辑表达式替换单元，用替代变量替代包含设计变量的函数表达式的一部分逻辑表达式和附加到设计变量的量词; 量化器消除单元，通过从逻辑表达中消除量词符所附加的设计变量，生成包括替代变量和设计变量的关系表达式，而不使用量词; 采样点生成单元，生成与所述关系式中包含的所述设计变量和所述替换变量对应的多个采样点; 可能的范围计算单元，通过基于关系表达式计算关系表达式中包括的剩余设计变量的值，为每个采样点计算关系表达式可能采用的可能范围; 以及可能的范围显示单元来显示可能的范围。

6. 发明授权

US08935131B2 Model expression generation method and apparatus 有权
标题翻译：模型表达式生成方法和装置
公开(公告)号：US08935131B2
公开(公告)日：2015-01-13
申请号：US13071625
申请日：2011-03-25
申请人： Hidenao Iwane , Hirokazu Anai , Hitoshi Yanami
发明人： Hidenao Iwane , Hirokazu Anai , Hitoshi Yanami
IPC分类号： G06F7/60 , G06F17/10 , G06F17/50 , G06F17/11
CPC分类号： G06F17/505 , G06F17/11 , G06F2217/08
摘要： When model expressions of objective functions are generated at vertexes of a quadrilateral on a plane concerning P and N channels of transistors in SRAM, the initial number of times of simulation is allocated to each objective function at each designated vertex according to weight values set based on relationships presumed among the objective functions at each designated vertex. For each objective function at each designated vertex, first simulation is executed the allocated number of times. Furthermore, a model expression is generated from the first simulation result, and an evaluation indicator of an approximation accuracy of the model expression is calculated. Then, for each model expression, it is determined whether the corresponding model expression has influence on the yield, and based on the evaluation indicator of the corresponding model expression and presence or absence of the influence, it is determined whether additional simulation is required for the corresponding objective function.
摘要翻译：当在关于SRAM中的P和N沟道的平面上的四边形的顶点处产生目标函数的模型表达时，根据基于以下的设置的权重值将模拟的初始次数分配给每个指定的顶点处的每个目标函数在每个指定顶点的目标函数中假设关系。对于每个指定顶点的每个目标函数，首先模拟分配的次数。此外，从第一模拟结果生成模型表达式，并且计算模型表达式的近似精度的评估指标。然后，对于每个模型表达式，确定相应的模型表达式是否对产量有影响，并且基于相应模型表达式的评估指标和存在或不存在影响，确定是否需要额外的模拟相应的目标函数。

7. 发明授权

US08498844B2 Optimization processing method and apparatus 有权
标题翻译：优化处理方法和装置
公开(公告)号：US08498844B2
公开(公告)日：2013-07-30
申请号：US13009041
申请日：2011-01-19
申请人： Hidenao Iwane , Hirokazu Anai , Hitoshi Yanami
发明人： Hidenao Iwane , Hirokazu Anai , Hitoshi Yanami
IPC分类号： G06F7/60 , G06F17/10
CPC分类号： G06F17/11
摘要： A first model expression having a first order and representing a relationship between evaluation indicators and the design parameters and a second model expression having a second order higher than the first order and representing a relationship between them are generated. Then, according to a quantifier elimination method, values of the design parameters, which realize an optimum solution of the first model expression, are calculated. And, a design parameter whose value is identical to an upper limit value or a lower limit value is identified, and the second model expression is transformed by substituting the upper limit value or the lower limit value, as a value of the identified design parameter, for the second model expression. Finally, according to the quantifier elimination method, values of the design parameters in the transformed second model expression, which realize an optimum solution of the transformed second model expression, is calculated.
摘要翻译：生成具有第一阶并且表示评估指示符与设计参数之间的关系的第一模型表达式以及具有高于第一阶的二阶并且表示它们之间的关系的第二模型表达式。然后，根据量词消除方法，计算出实现第一模型表达式的最优解的设计参数的值。并且，识别其值与上限值或下限值相同的设计参数，并且通过将上限值或下限值替换为所识别的设计参数的值来变换第二模型表达式，对于第二个模型表达式。最后，根据量词消除方法，计算出转换后的第二模型表达式中设计参数的值，实现了转换后的第二模型表达式的最优解。

8. 发明授权

US08364450B2 Multi-objective optimization design support apparatus and method 有权
标题翻译：多目标优化设计支持设备和方法
公开(公告)号：US08364450B2
公开(公告)日：2013-01-29
申请号：US12838903
申请日：2010-07-19
申请人： Hidenao Iwane , Hirokazu Anai , Hitoshi Yanami
发明人： Hidenao Iwane , Hirokazu Anai , Hitoshi Yanami
IPC分类号： G06F7/60 , G06F17/10
CPC分类号： G06F17/5045 , G06F17/11 , G06F2217/08
摘要： An embodiment relates to a multi-objective optimization design supporting technique to reduces the computational complexity of QE/CAD. When the input logical expression generated by a logical-expression-with-qualifier generation unit is satisfied in regard to the sample point included in a certain piece of cell information for each value of the same design parameter, a first cell processing unit does not evaluate the input logical expression on the cell information including other sample points having a value equal to or smaller than the value of a predetermined design variable (for example, a design variable indicating a yield) corresponding to the sample point above, but selects it as the cell information for an output of a logical expression without a qualifier.
摘要翻译：一个实施例涉及一种多目标优化设计支持技术，以减少QE / CAD的计算复杂度。当对于相同设计参数的每个值的特定小区信息中包含的采样点满足由逻辑表达式 - 限定符生成单元生成的输入逻辑表达式时，第一小区处理单元不评估小区信息中的输入逻辑表达式包括具有等于或小于与上述采样点相对应的预定设计变量（例如，指示收益的设计变量）的值的其他采样点的选择，但将其选择为没有限定符的逻辑表达式的输出的单元格信息。

9. 发明申请

US20120046915A1 DISPLAY PROCESSING TECHNIQUE OF DESIGN PARAMETER SPACE 有权
标题翻译：设计参数空间的显示处理技术
公开(公告)号：US20120046915A1
公开(公告)日：2012-02-23
申请号：US13115593
申请日：2011-05-25
申请人： Hitoshi YANAMI , Hirokazu Anai , Hidenao Iwane
发明人： Hitoshi YANAMI , Hirokazu Anai , Hidenao Iwane
IPC分类号： G06F17/50
CPC分类号： G06F17/11 , G06F2217/08
摘要： This method includes: generating a constraint equation from data of an approximate expression of a cost function representing a relationship between a plurality of design parameters and a cost, data of a route in a cost space and data of a search range in a design parameter space; obtaining a logical expression of a solution for the constraint equation from a quantifier elimination processing unit that carries out a processing according to a quantifier elimination method; substituting coordinates of each of a plurality of points within the search range in the design parameter space into the logical expression of the solution to determine, for each of the plurality of points, true or false of the logical expression of the solution; and displaying the design parameter space in which a display object including a first point for which true is determined is disposed at the first point.
摘要翻译：该方法包括：从表示多个设计参数与成本之间的关系的成本函数的近似表达式的数据，成本空间中的路线的数据和设计参数空间中的搜索范围的数据的数据生成约束方程 ; 从执行根据量化器消除方法的处理的量化器消除处理单元获得约束方程式的解的逻辑表达式; 将所述设计参数空间内的所述搜索范围内的多个点中的每一个点的坐标替换为所述解的逻辑表达式，以针对所述多个点中的每一个确定所述解的逻辑表达式的真或否; 并且在第一点处显示其中包括确定了真实的第一点的显示对象的设计参数空间。

10. 发明申请

US20110295573A1 MODEL EXPRESSION GENERATION METHOD AND APPARATUS 有权
标题翻译：模型表达式生成方法和装置
公开(公告)号：US20110295573A1
公开(公告)日：2011-12-01
申请号：US13071625
申请日：2011-03-25
申请人： Hidenao Iwane , Hirokazu Anai , Hitoshi Yanami
发明人： Hidenao Iwane , Hirokazu Anai , Hitoshi Yanami
IPC分类号： G06F17/10
CPC分类号： G06F17/505 , G06F17/11 , G06F2217/08
摘要： When model expressions of objective functions are generated at vertexes of a quadrilateral on a plane concerning P and N channels of transistors in SRAM, the initial number of times of simulation is allocated to each objective function at each designated vertex according to weight values set based on relationships presumed among the objective functions at each designated vertex. For each objective function at each designated vertex, first simulation is executed the allocated number of times. Furthermore, a model expression is generated from the first simulation result, and an evaluation indicator of an approximation accuracy of the model expression is calculated. Then, for each model expression, it is determined whether the corresponding model expression has influence on the yield, and based on the evaluation indicator of the corresponding model expression and presence or absence of the influence, it is determined whether additional simulation is required for the corresponding objective function.
摘要翻译：当在关于SRAM中的P和N沟道的平面上的四边形的顶点处产生目标函数的模型表达时，根据基于以下的设置的权重值将模拟的初始次数分配给每个指定的顶点处的每个目标函数在每个指定顶点的目标函数中假设关系。对于每个指定顶点的每个目标函数，首先模拟分配的次数。此外，从第一模拟结果生成模型表达式，并且计算模型表达式的近似精度的评估指标。然后，对于每个模型表达式，确定相应的模型表达式是否对产量有影响，并且基于相应模型表达式的评估指标和存在或不存在影响，确定是否需要额外的模拟相应的目标函数。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式