公开(公告)号：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.

摘要翻译： 一种设备包括：存储第二逻辑表达式的存储器; 存储存储指示选择的一个或多个第二逻辑表达的集合的必要条件，使得命题不满足在执行程序之后立即满足后续条件，当通过排除获得的其他第二逻辑表达式的逻辑积 满足存放条件的要求; 生成由一个或多个第二逻辑表达式的逻辑积表示的候选条件，以包括与基本条件指示的集合的公共第二逻辑表达式; 判断单元判断满足是当满足候选条件时在执行程序之后立即满足后置条件的命题，以及输出单元，被配置为将确定为满足命题的候选条件输出为表示前置条件 的程序。

公开(公告)号：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.

摘要翻译： 一种设备包括：存储第二逻辑表达式的存储器; 存储存储指示选择的一个或多个第二逻辑表达的集合的必要条件，使得命题不满足在执行程序之后立即满足后续条件，当通过排除获得的其他第二逻辑表达式的逻辑积 满足存放条件的要求; 生成由一个或多个第二逻辑表达式的逻辑积表示的候选条件，以包括与基本条件指示的集合的公共第二逻辑表达式; 判断单元判断满足是当满足候选条件时在执行程序之后立即满足后置条件的命题，以及输出单元，被配置为将确定为满足命题的候选条件输出为表示前置条件 的程序。

公开(公告)号：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的逻辑表达式的松弛变量，其中所述逻辑表达式指示所述程序的前提条件，通过减轻对应​​于所述放松变量的逻辑表达式的子句来生成第二逻辑表达式 第一个逻辑表达式，并将与第一个逻辑表达式中相同的进程应用于第二个逻辑表达式。

公开(公告)号：US08707273B2

公开(公告)日：2014-04-22

申请号：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”设置用于所述逻辑表达式的松弛变量，其中所述逻辑表达式表示所述程序的前提，通过减轻对应​​于所述放松的逻辑表达式的子句来生成第二逻辑表达式 第一个逻辑表达式中的变量，并将第一个逻辑表达式中的相同过程应用于第二个逻辑表达式。

公开(公告)号：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.

公开(公告)号：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），并且基于被摄体的面部的特征值获得被摄体的面部的印象倾向或印象趋势的程度，并且 特征值的揭示量。

公开(公告)号：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.

摘要翻译： 设计自动机提取器从设计描述数据中提取设计自动机，属性自动提取器根据与设计描述数据对应的属性描述数据提取属性自动机。 匹配状态检测器对设计自动机的所有状态进行计数，从设计自动机的所有状态检测与属性自动机匹配的匹配状态，并对匹配状态进行计数。 覆盖计算器获得匹配状态数与设计自动机的所有状态数的比率，由此计算表示属性描述数据与设计描述数据的对应程度的覆盖。

公开(公告)号：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.

摘要翻译： 提供了一种设计装置，包括：输入接受单元，被配置为接受描述包括部件和系统的设计的设计描述的输入，每个通道在彼此通信的部件之间连接; 组件约束描述，描述各个组件应该满足的约束; 通道约束描述，其描述各个通道应该满足的约束; 连接约束描述计算器，其被配置为计算连接约束描述，所述连接约束描述描述了由每个信道连接的组件之间应该满足的约束;指定单元，被配置为指定要在系统中使用的通信介质或通信协议; 整体约束描述计算器被配置为计算描述在所有组件之间应该满足的约束的总约束描述。

公开(公告)号：US07228530B2

公开(公告)日：2007-06-05

申请号：US10356540

申请日：2003-02-03

申请人： Takeo Imai

发明人： Takeo Imai

IPC分类号： G06F9/45

CPC分类号： G06F8/24 ,  G06F8/73

摘要： Comparison indices each for two components incorporated in a source program are used for easy and quantitative evaluation of functional redundancy in the program, effective and accurate extraction of redundant code segments from the program and also effective and accurate extraction of components to be modified simultaneously. A tree T is entered and an initial level of functional redundancy m(P) is set at 0 in a program P expressed by the tree T. The top node of the tree T is selected as a node N. A specific computation is performed for the top node selected as the node N with attribute information including the similarity and the number of children of the node N to obtain a level α. The level α is added to the functional redundancy m(P). The specific computation is performed for every node in the tree T, to obtain functional redundancy m(P) including the total of α for all nodes.

摘要翻译： 用于源程序中并入的两个组件的比较指标用于对程序中的功能冗余进行简单和定量的评估，从程序中有效和准确地提取冗余代码段，以及有效和准确地提取要同时修改的组件。 树T被输入，并且由树T表示的程序P中将功能冗余m（P）的初始级别设置为0.将树T的顶层节点选择为节点N.对于 选择作为节点N的顶级节点具有包括节点N的相似性和子数的属性信息以获得级别α。 将级别α添加到功能冗余m（P）中。 对树T中的每个节点执行特定的计算，以获得包括所有节点的总和的功能冗余m（P）。

公开(公告)号：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.

摘要翻译： 一个变量被分配给一个语句，该语句指定与断言中的函数调用相关联的事件。 检测在连续时间序列上的任意时间生成事件，并将与该语句的含义对应的值分配给该变量。 基于每个离散时间序列上的变量的值来确定与语句的含义相对应的条件是否被确定。