公开(公告)号：CN119647724A

公开(公告)日：2025-03-18

申请号：CN202410207529.4

申请日：2024-02-26

Applicant: 株式会社东芝 ,  东芝能源系统株式会社

Inventor： 进博正 ,  志贺庆明 ,  柿元满 ,  福原龙马

IPC: G06Q10/063 ,  H02J3/00 ,  H02J3/38 ,  G06Q50/06 ,  G06Q10/04

Abstract: 提供使用多个推定方式高精度地推定对象时间段的发电量的信息处理装置、信息处理方法以及程序。信息处理装置具备标签处理部和合成数据生成部。标签处理部将标签与表示由对象发电设备发电的每个时间段的推定的发电量的推定数据建立对应关系，所述标签表示推定数据的算出中使用的推定方式和与从推定数据的更新时刻到时间段的开始时刻为止的时间差相应的版本的组。合成数据生成部基于多个对象推定数据和与多个对象推定数据对应的预先推定出的多个误差数据生成表示在对象时间段中由对象发电设备发电的发电量的合成数据。多个对象推定数据各自是和与其他的对象推定数据不同的标签建立了对应关系的、推定出在对象时间段中由对象发电设备发电的发电量的推定数据。

公开(公告)号：CN115115081A

公开(公告)日：2022-09-27

申请号：CN202111010632.2

申请日：2021-08-31

Applicant: 株式会社东芝 ,  东芝能源系统株式会社

Inventor： 志贺庆明 ,  进博正 ,  柿元满 ,  爱须英之 ,  林祐希 ,  大场健史

IPC: G06Q10/04 ,  G06Q50/06 ,  H02J3/00 ,  H02J3/38

Abstract: 本发明的实施方式涉及信息处理装置以及信息处理方法。信息处理装置具备：预测部，其基于第1参数和变化频率比所述第1参数高的第2参数预测预定的物理量；第1调优部，其基于所述物理量的实绩数据将所述第1参数进行调优；以及第2调优部，其基于所述物理量的实绩数据将所述第2参数进行调优。由此，提供能够使用可靠性高的工程模型精确地预测物理量的信息处理装置以及信息处理方法。

公开(公告)号：CN101276308A

公开(公告)日：2008-10-01

申请号：CN200810087865.0

申请日：2008-03-26

Applicant: 株式会社东芝

Inventor： 进博正

IPC: G06F11/36

CPC classification number: G06F11/3608 ,  G06F9/44589 ,  G06F11/3612

Abstract: 本发明提供一种验证目标程序的验证规范的产生装置和方法，该装置产生验证规范以验证包含对一个或多个对象进行操作的函数的验证目标程序，该装置包括：第一输入单元，用来输入描述第一有限状态机的第一规范，所述第一有限状态机定义由于事件的发生而导致的多个状态之间的转换；第二输入单元，用来输入第二规范，所述第二规范为第一对象类型描述了对具有所述第一对象类型的对象进行操作的函数与所述第一有限状态机中的所述事件之间的对应；以及验证规范产生单元，用来通过合成所述第一和第二规范来产生对所述验证目标程序进行验证的验证规范，所述验证规范描述了第二有限状态机，所述第二有限状态机定义了由于调用对具有所述第一对象类型的所述对象进行操作的函数而导致的具有所述第一对象类型的所述对象的状态之间的转换。

公开(公告)号：CN101387950A

公开(公告)日：2009-03-18

申请号：CN200810213579.4

申请日：2008-09-16

Applicant: 株式会社东芝

Inventor： 进博正

IPC: G06F9/22

CPC classification number: G06F1/3203 ,  G06F1/3243 ,  G06F9/4893 ,  G06F9/5044 ,  G06F9/5094 ,  Y02D10/152 ,  Y02D10/22 ,  Y02D10/24

Abstract: 本发明涉及微处理器控制装置以及用于该装置的方法和程序。所述装置控制微处理器的操作速度，该微处理器执行包括指令代码的程序，该装置包括：状态观察单元，其在执行最终期限指令代码前的多个预定定时观察程序的执行状态；在为预定义的执行状态的每一个完成执行最终期限指令代码前要求的剩余计算量的预测数据；预测计算量获取单元，其获取对应于观察的执行状态的剩余计算量作为剩余预测计算量；剩余时间计算单元，其计算直至最终期限指令代码的所述最终期限的剩余时间；操作速度计算单元，其计算在剩余时间内处理剩余预测计算量要求的微处理器的最小操作速度；以及控制单元，其控制微处理器以所述最小操作速度或更高的速度操作。

公开(公告)号：CN1920797A

公开(公告)日：2007-02-28

申请号：CN200610121455.4

申请日：2006-08-25

Applicant: 株式会社东芝

Inventor： 进博正 ,  国信茂太

IPC: G06F12/14

CPC classification number: G06F12/1466

Abstract: 在区域切换表中，定义了覆盖存储空间的地址区域，并且列出了可以访问在对应于程序组件的域中的区域的操作。在相应的寄存器中保存指示对应于执行中的程序组件的域的域号，以及指示包含之前访问的地址的区域的区域号。装置包括访问检查单元，如果处理器请求地址(VA)落在区域边界之外，则发出第一中断。如果根据对应于包含处理器请求地址(VA)的区域的域号的许可属性，不许可处理器请求操作码(OP)，则访问检查单元还发出第二中断。如果已出现第一中断或第二中断，则访问检查单元将中断因子写入寄存器。

公开(公告)号：CN100428202C

公开(公告)日：2008-10-22

申请号：CN200610121455.4

申请日：2006-08-25

Applicant: 株式会社东芝

Inventor： 进博正 ,  国信茂太

IPC: G06F12/14

CPC classification number: G06F12/1466

Abstract: 在区域切换表中，定义了覆盖存储空间的地址区域，并且列出了可以访问在对应于程序组件的域中的区域的操作。在相应的寄存器中保存指示对应于执行中的程序组件的域的域号，以及指示包含之前访问的地址的区域的区域号。装置包括访问检查单元，如果处理器请求地址(VA)落在区域边界之外，则发出第一中断。如果根据对应于包含处理器请求地址(VA)的区域的域号的许可属性，不许可处理器请求操作码(OP)，则访问检查单元还发出第二中断。如果已出现第一中断或第二中断，则访问检查单元将中断因子写入寄存器。