公开(公告)号：CN102737160A

公开(公告)日：2012-10-17

申请号：CN201210088953.9

申请日：2012-03-29

Applicant: 富士通株式会社

Inventor： 宋哲炫 ,  因德拉迪普·高希

IPC: G06F19/00 ,  G01R31/00

CPC classification number: G06Q10/06 ,  G01D4/002 ,  Y02B70/3266 ,  Y02B90/241 ,  Y02P90/82 ,  Y04S20/242 ,  Y04S20/32

Abstract: 测量电力消耗设备的能量消耗并确定能量消耗模式。在一个实施方式中，一个或更多个电子设备在多个电力消耗设备的每一个处访问能量消耗数据，在各个所述电力消耗设备处的能量消耗数据指示对于多个过去的预定时间周期中的每一个，所述电力消耗设备在该过去的预定时间周期内的总计能量使用，所述电力消耗设备处的能量测量单元已针对各个所述过去的预定时间周期测量并记录了所述电力消耗设备的总计能量使用，以用于随后的访问，各个所述能量测量单元具有实质上唯一的标识符ID，各个所述电力消耗设备具有其自己的一个所述能量测量单元；以及基于所述能量消耗数据，确定在至少所述过去的预定时间周期内全部所述电力消耗装置的一个或更多个能量消耗模式。

公开(公告)号：CN100446013C

公开(公告)日：2008-12-24

申请号：CN200610105943.6

申请日：2006-07-19

Applicant: 富士通株式会社

Inventor： 因德拉迪普·高希 ,  穆库尔·R·普拉萨德

IPC: G06F17/50

CPC classification number: G06F17/504

Abstract: 估计形式验证问题的难度级。对验证问题的难度级的估计包括以下步骤：接收输入，该输入包括设计和可以被验证的关于该设计的性质。针对关于该设计的每个性质执行验证处理。根据所述验证处理，针对每个性质建立性质可验证性量度值，其中性质可验证性量度值表示对关于设计的性质进行验证的难度级。根据所述多个性质可验证性量度值来确定设计可验证性量度值，其中，所述设计可验证性量度值表示对所述设计进行验证的难度级。

公开(公告)号：CN1900937A

公开(公告)日：2007-01-24

申请号：CN200610105943.6

申请日：2006-07-19

Applicant: 富士通株式会社

Inventor： 因德拉迪普·高希 ,  穆库尔·R·普拉萨德

IPC: G06F17/50

CPC classification number: G06F17/504

Abstract: 估计形式验证问题的难度级。对验证问题的难度级的估计包括以下步骤：接收输入，该输入包括设计和可以被验证的关于该设计的性质。针对关于该设计的每个性质执行验证处理。根据所述验证处理，针对每个性质建立性质可验证性量度值，其中性质可验证性量度值表示对关于设计的性质进行验证的难度级。根据所述多个性质可验证性量度值来确定设计可验证性量度值，其中，所述设计可验证性量度值表示对所述设计进行验证的难度级。