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

1. 发明授权

US08037002B2 Property description coverage measuring apparatus 有权
标题翻译：物业描述覆盖测量仪器
公开(公告)号：US08037002B2
公开(公告)日：2011-10-11
申请号：US12054610
申请日：2008-03-25
申请人： Takeo Imai , Yusuke Endoh
发明人： Takeo Imai , Yusuke Endoh
IPC分类号： G06F17/00 , G06N5/02
CPC分类号： G06N5/02 , G01R31/318364 , G06F17/504
摘要： A design automaton extractor extracts a design automaton from design description data, and a property automaton extractor extracts a property automaton from property description data corresponding to the design description data. A matched state detector counts all states of the design automaton, detects matched states matching the property automaton from all the states of the design automaton, and counts the matched states. A coverage calculator obtains a ratio of the number of matched states to the number of all the states of the design automaton, thereby calculating a coverage representing the degree of correspondence of the property description data to the design description data.
摘要翻译：设计自动机提取器从设计描述数据中提取设计自动机，属性自动提取器根据与设计描述数据对应的属性描述数据提取属性自动机。匹配状态检测器对设计自动机的所有状态进行计数，从设计自动机的所有状态检测与属性自动机匹配的匹配状态，并对匹配状态进行计数。覆盖计算器获得匹配状态数与设计自动机的所有状态数的比率，由此计算表示属性描述数据与设计描述数据的对应程度的覆盖。

2. 发明授权

US08578308B2 Verification apparatus and verification method 有权
标题翻译：验证装置和验证方法
公开(公告)号：US08578308B2
公开(公告)日：2013-11-05
申请号：US12163486
申请日：2008-06-27
申请人： Yusuke Endoh , Takeo Imai , Hideji Kawata , Noritaka Kawakatsu
发明人： Yusuke Endoh , Takeo Imai , Hideji Kawata , Noritaka Kawakatsu
IPC分类号： G06F17/50 , G06F17/10
CPC分类号： G06F17/5022 , G06F17/5031 , G06F17/504
摘要： A variable is allocated to a statement that designates an event associated with a function call in an assertion. Generation of the event at an arbitrary time on a continuous time series is detected, and a value corresponding to a meaning of the statement is assigned to the variable. Whether or not a condition corresponding to the meaning of the statement is satisfied is determined based on the value of the variable at each time on a discrete time series.
摘要翻译：一个变量被分配给一个语句，该语句指定与断言中的函数调用相关联的事件。检测在连续时间序列上的任意时间生成事件，并将与该语句的含义对应的值分配给该变量。基于每个离散时间序列上的变量的值来确定与语句的含义相对应的条件是否被确定。

3. 发明申请

US20090019406A1 VERIFICATION APPARATUS AND VERIFICATION METHOD 有权
标题翻译：验证装置和验证方法
公开(公告)号：US20090019406A1
公开(公告)日：2009-01-15
申请号：US12163486
申请日：2008-06-27
申请人： Yusuke Endoh , Takeo Imai , Hideji Kawata , Noritaka Kawakatsu
发明人： Yusuke Endoh , Takeo Imai , Hideji Kawata , Noritaka Kawakatsu
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , G06F17/5031 , G06F17/504
摘要： A variable is allocated to a statement that designates an event associated with a function call in an assertion. Generation of the event at an arbitrary time on a continuous time series is detected, and a value corresponding to a meaning of the statement is assigned to the variable. Whether or not a condition corresponding to the meaning of the statement is satisfied is determined based on the value of the variable at each time on a discrete time series.
摘要翻译：一个变量被分配给一个语句，该语句指定与断言中的函数调用相关联的事件。检测在连续时间序列上的任意时间生成事件，并将与该语句的含义对应的值分配给该变量。基于每个离散时间序列上的变量的值来确定与语句的含义相对应的条件是否被确定。

4. 发明申请

US20080243747A1 PROPERTY DESCRIPTION COVERAGE MEASURING APPARATUS 有权
标题翻译：属性描述覆盖测量装置
公开(公告)号：US20080243747A1
公开(公告)日：2008-10-02
申请号：US12054610
申请日：2008-03-25
申请人： Takeo Imai , Yusuke Endoh
发明人： Takeo Imai , Yusuke Endoh
IPC分类号： G06N5/02
CPC分类号： G06N5/02 , G01R31/318364 , G06F17/504
摘要： A design automaton extractor extracts a design automaton from design description data, and a property automaton extractor extracts a property automaton from property description data corresponding to the design description data. A matched state detector counts all states of the design automaton, detects matched states matching the property automaton from all the states of the design automaton, and counts the matched states. A coverage calculator obtains a ratio of the number of matched states to the number of all the states of the design automaton, thereby calculating a coverage representing the degree of correspondence of the property description data to the design description data.
摘要翻译：设计自动机提取器从设计描述数据中提取设计自动机，属性自动提取器根据与设计描述数据对应的属性描述数据提取属性自动机。匹配状态检测器对设计自动机的所有状态进行计数，从设计自动机的所有状态检测与属性自动机匹配的匹配状态，并对匹配状态进行计数。覆盖计算器获得匹配状态数与设计自动机的所有状态数的比率，由此计算表示属性描述数据与设计描述数据的对应程度的覆盖。

5. 发明授权

US09298973B2 Face impression analyzing method, aesthetic counseling method, and face image generating method 有权
公开(公告)号：US09298973B2
公开(公告)日：2016-03-29
申请号：US14131374
申请日：2012-07-06
申请人： Takeo Imai
发明人： Takeo Imai
IPC分类号： G06K9/00 , G06Q50/10 , G06T7/00 , G06K9/62
摘要： The face impression analyzing device (100) includes a facial form acquiring unit (10), a face component analyzing unit (50), a face impression determining unit (60), and a storage unit (70). The facial form acquiring unit (10) acquires facial form information representing a form of a face surface of a subject. The storage unit (70) stores one or more feature values obtained by applying multivariate analysis to target population face information representing three-dimensional forms of facial surfaces of a target population formed by a plurality of persons, and tendency information indicating an impression tendency of a facial shape associated with each of the one or more feature values. The face component analyzing unit (50) calculates an amount of revelation of each of the one or more feature values of the face of the subject on the basis of the facial form information of the subject, and the feature value extracted from the target population face information. The face impression determining unit (60) refers to the storage unit (70), and acquires the impression tendency of the face of the subject or the degree of the impression tendency on the basis of the feature value of the face of the subject and the amount of revelation of the feature value.

6. 发明授权

US08584093B2 Pre-condition generation device, post-condition generation device, and method for generating these conditions 失效
标题翻译：前提条件生成装置，后置条件生成装置以及用于产生这些条件的方法
公开(公告)号：US08584093B2
公开(公告)日：2013-11-12
申请号：US12721749
申请日：2010-03-11
申请人： Masahiro Sakai , Takeo Imai
发明人： Masahiro Sakai , Takeo Imai
IPC分类号： G06F9/44 , G06F11/00
CPC分类号： G06F8/313
摘要： A device includes: a storage storing second logical expressions; an storage storing an essential condition which indicates a set of one or more second logical expressions selected such that a proposition is not satisfied that the post-condition is satisfied immediately after a program is executed when a logical product of other second logical expressions obtained by excluding the set indicated by the essential condition from the storage is satisfied; a generator generating a candidate condition represented by a logical product of one or more second logical expressions to include a common second logical expression with the set indicated by the essential condition; a judging unit judging whether satisfied is a proposition that the post-condition is satisfied immediately after the program is executed when the candidate condition is satisfied, and an output unit configured to output the candidate condition determined to satisfy the proposition as representing a pre-condition of the program.
摘要翻译：一种设备包括：存储第二逻辑表达式的存储器; 存储存储指示选择的一个或多个第二逻辑表达的集合的必要条件，使得命题不满足在执行程序之后立即满足后续条件，当通过排除获得的其他第二逻辑表达式的逻辑积满足存放条件的要求; 生成由一个或多个第二逻辑表达式的逻辑积表示的候选条件，以包括与基本条件指示的集合的公共第二逻辑表达式; 判断单元判断满足是当满足候选条件时在执行程序之后立即满足后置条件的命题，以及输出单元，被配置为将确定为满足命题的候选条件输出为表示前置条件的程序。

7. 发明申请

US20100235818A1 PRE-CONDITION GENERATION DEVICE, POST-CONDITION GENERATION DEVICE, AND METHOD FOR GENERATING THESE CONDITIONS 失效
标题翻译：前置条件生成装置，后处理生成装置以及用于生成这些条件的方法
公开(公告)号：US20100235818A1
公开(公告)日：2010-09-16
申请号：US12721749
申请日：2010-03-11
申请人： Masahiro Sakai , Takeo Imai
发明人： Masahiro Sakai , Takeo Imai
IPC分类号： G06F9/44
CPC分类号： G06F8/313
摘要： A device includes: a storage storing second logical expressions; an storage storing an essential condition which indicates a set of one or more second logical expressions selected such that a proposition is not satisfied that the post-condition is satisfied immediately after a program is executed when a logical product of other second logical expressions obtained by excluding the set indicated by the essential condition from the storage is satisfied; a generator generating a candidate condition represented by a logical product of one or more second logical expressions to include a common second logical expression with the set indicated by the essential condition; a judging unit judging whether satisfied is a proposition that the post-condition is satisfied immediately after the program is executed when the candidate condition is satisfied, and an output unit configured to output the candidate condition determined to satisfy the proposition as representing a pre-condition of the program.
摘要翻译：一种设备包括：存储第二逻辑表达式的存储器; 存储存储指示选择的一个或多个第二逻辑表达的集合的必要条件，使得命题不满足在执行程序之后立即满足后续条件，当通过排除获得的其他第二逻辑表达式的逻辑积满足存放条件的要求; 生成由一个或多个第二逻辑表达式的逻辑积表示的候选条件，以包括与基本条件指示的集合的公共第二逻辑表达式; 判断单元判断满足是当满足候选条件时在执行程序之后立即满足后置条件的命题，以及输出单元，被配置为将确定为满足命题的候选条件输出为表示前置条件的程序。

8. 发明授权

US09330298B2 Face impression analyzing method, aesthetic counseling method, and face image generating method 有权
标题翻译：面部印象分析方法，美学咨询方法和面部图像生成方法
公开(公告)号：US09330298B2
公开(公告)日：2016-05-03
申请号：US14131374
申请日：2012-07-06
申请人： Takeo Imai
发明人： Takeo Imai
IPC分类号： G06K9/00 , G06Q50/10 , G06T7/00 , G06K9/62
CPC分类号： G06K9/00268 , G06K9/00201 , G06K9/6247 , G06K2009/00322 , G06Q50/10 , G06T7/593 , G06T2207/10012 , G06T2207/30201
摘要： The face impression analyzing device (100) includes a facial form acquiring unit (10), a face component analyzing unit (50), a face impression determining unit (60), and a storage unit (70). The facial form acquiring unit (10) acquires facial form information representing a form of a face surface of a subject. The storage unit (70) stores one or more feature values obtained by applying multivariate analysis to target population face information representing three-dimensional forms of facial surfaces of a target population formed by a plurality of persons, and tendency information indicating an impression tendency of a facial shape associated with each of the one or more feature values. The face component analyzing unit (50) calculates an amount of revelation of each of the one or more feature values of the face of the subject on the basis of the facial form information of the subject, and the feature value extracted from the target population face information. The face impression determining unit (60) refers to the storage unit (70), and acquires the impression tendency of the face of the subject or the degree of the impression tendency on the basis of the feature value of the face of the subject and the amount of revelation of the feature value.
摘要翻译：面部印象分析装置（100）具有面部成像取得部（10），面部成分分析部（50），面部印象确定部（60），存储部（70）。面部形式获取单元（10）获取表示被摄体的脸部表面的形状的面部形状信息。存储单元（70）存储通过将多变量分析应用于表示由多个人形成的目标人群的面部表面的三维形式的目标人群面部信息而获得的一个或多个特征值，以及表示多个人的印象倾向的趋势信息与一个或多个特征值中的每一个相关联的面部形状。面部成分分析部（50）根据被检体的面部形态信息，根据被检体的面部形态信息，计算出被检体的面部的一个以上的特征值的每一个的显示量，信息。面部印象确定单元（60）参考存储单元（70），并且基于被摄体的面部的特征值获得被摄体的面部的印象倾向或印象趋势的程度，并且特征值的揭示量。

9. 发明申请

US20120266133A1 PRECONDITION GENERATING APPARATUS 失效
标题翻译：预先生成装置
公开(公告)号：US20120266133A1
公开(公告)日：2012-10-18
申请号：US13453006
申请日：2012-04-23
申请人： Takeo Imai , Masahiro Sakai
发明人： Takeo Imai , Masahiro Sakai
IPC分类号： G06F9/44
CPC分类号： G06F8/313 , G06F11/3608
摘要： There is provided a precondition generating apparatus in which a storage stores a set “S” of logical expressions; a creating unit creates a first logical expression being a logical product of the “S”, logical expressions of a program and a negation of a logical expression indicating a postcondition; a solver finds a solution that makes the first logical expression true and specifies a set of clauses that cannot be simultaneously true in the first logical expression if not found; wherein the creating unit sets relaxing variables for the logical expressions belonging to the set “S” in the set of clauses wherein the logical expressions indicates a precondition of the program, generates a second logical expression by alleviating the clauses of logical expressions corresponding to the relaxing variables in the first logical expression, and applies same process as in the first logical expression to the second logical expression.
摘要翻译：提供了一种前提条件生成装置，其中存储器存储逻辑表达式的集合S; 创建单元创建第一逻辑表达式，其是S的逻辑积，程序的逻辑表达式和指示后置条件的逻辑表达式的否定; 求解器找到一个使第一个逻辑表达式为真的解决方案，并指定一组在第一个逻辑表达式中不能同时为true的子句; 其中，所述创建单元在所述组合条款中设置属于所述集合S的逻辑表达式的松弛变量，其中所述逻辑表达式指示所述程序的前提条件，通过减轻对应于所述放松变量的逻辑表达式的子句来生成第二逻辑表达式第一个逻辑表达式，并将与第一个逻辑表达式中相同的进程应用于第二个逻辑表达式。

10. 发明申请

US20080244492A1 APPARATUS AND METHOD FOR DESIGNING SYSTEM, AND COMPUTER READABLE MEDIUM 审中-公开
标题翻译：设计系统和计算机可读介质的设备和方法
公开(公告)号：US20080244492A1
公开(公告)日：2008-10-02
申请号：US12048503
申请日：2008-03-14
申请人： Takeo Imai
发明人： Takeo Imai
IPC分类号： G06F17/50
CPC分类号： G06F17/5045
摘要： There is provided with a designing apparatus, including: an input accepting unit configured to accept an input of design description which describes a design of a system that includes components and a plurality of channels each of which connects between components communicating with each other; component constraint description which describes constraints that should be met by respective components; channel constraint description which describes constraints that should be met by respective channels; a connection constraint description calculator configured to calculate connection constraint description which describes constraints that should be met between components connected by each channel: a specifying unit configured to specify communication medium or communication protocol to be used in the system; an overall constraint description calculator configured to calculate overall constraint description which describes constraints that should be met between all of the components.
摘要翻译：提供了一种设计装置，包括：输入接受单元，被配置为接受描述包括部件和系统的设计的设计描述的输入，每个通道在彼此通信的部件之间连接; 组件约束描述，描述各个组件应该满足的约束; 通道约束描述，其描述各个通道应该满足的约束; 连接约束描述计算器，其被配置为计算连接约束描述，所述连接约束描述描述了由每个信道连接的组件之间应该满足的约束;指定单元，被配置为指定要在系统中使用的通信介质或通信协议; 整体约束描述计算器被配置为计算描述在所有组件之间应该满足的约束的总约束描述。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式