-
公开(公告)号：CN101013447A
公开(公告)日：2007-08-08
申请号：CN200610071574.3
申请日：2006-03-30
Applicant: 株式会社东芝
Inventor： 酒井良哲
IPC: G06F17/50
CPC classification number: G05B17/02
Abstract: 自动数字电路设计设备接收以设计描述语言被编写的控制目标模型，生成由有限状态机模型表示的控制目标模型，存储生成的控制目标模型，接收以设计描述语言被编写的控制规范模型，生成由有限状态机模型表示的控制规范模型，存储生成的控制规范模型，通过组合生成的控制目标模型和生成的控制规范模型而生成控制设备综合模型，计算可控制的仿真关系，存储计算的可控制的仿真关系，确定控制设备综合模型是否为能够提供控制的模型，生成容许操作模型，存储生成的容许操作模型，确定控制法则，生成由有限状态机表示的控制设备模型，以及把控制设备模型变换成以设计描述语言编写的控制设备模型。
-
公开(公告)号：CN116737653A
公开(公告)日：2023-09-12
申请号：CN202210986293.X
申请日：2022-08-17
Applicant: 株式会社东芝
Abstract: 提供能够求解优化问题的计算装置、计算程序、记录介质以及计算方法。根据实施方式，计算装置包括能够实施处理步骤的处理装置。所述处理步骤包括第1矢量的第1更新、第2矢量的第2更新以及第3矢量的第3更新。所述第1更新包括使用所述第2矢量和所述第3矢量来对所述第1矢量进行更新。所述第2更新包括使用所述第1矢量来对所述第2矢量进行更新。所述处理装置能够输出反复进行了所述处理步骤之后所得到的所述第1矢量、和所述反复进行了所述处理步骤之后所得到的所述第1矢量的函数的至少任一个的输出。
-
公开(公告)号：CN113646784B
公开(公告)日：2025-02-28
申请号：CN202080025399.2
申请日：2020-03-27
Applicant: 株式会社东芝 , 东芝数字解决方案株式会社
IPC: G06F15/16 , G06F15/163 , G06E3/00
Abstract: 提供一种在实用性的时间内计算组合最优化问题的解的信息处理装置、信息处理系统、信息处理方法、存储介质及计算机程序产品。作为本发明的实施方式的信息处理装置具备存储部和处理电路。上述存储部构成为，存储作为第1向量的要素的第1变量及作为第2向量的要素的第2变量。上述处理电路构成为，将上述第1变量基于对应的上述第2变量更新，将上述第1变量用第1系数加权并加上对应的上述第2变量，使用多个上述第1变量来计算问题项，将上述问题项加上上述第2变量，计算包含约束项与第2系数的积在内的第1修正项，将上述第1修正项加上上述第2变量，根据更新次数将上述第1系数及上述第2系数的绝对值增加。上述约束项基于表示约束条件的约束函数，具有上述第1变量作为自变量。
-
Patent Agency Ranking
公开(公告)号：CN112789610A
公开(公告)日：2021-05-11
申请号：CN202080004803.8
申请日：2020-02-20
Applicant: 株式会社东芝 , 东芝数字解决方案株式会社
IPC: G06F17/11
Abstract: 根据一个实施例，信息处理设备包括第一处理电路和第二处理电路。第一处理电路被配置为基于基本方程来更新第三矢量。每个基本方程是目标函数关于目标函数中任一变量的偏导数。第二处理电路被配置为更新第一矢量的元素并更新第二矢量的元素。第一矢量的小于第一值的元素被设定为第一值。第一矢量的大于第二值的元素被设定为第二值。
-
公开(公告)号：CN116737654A
公开(公告)日：2023-09-12
申请号：CN202210990651.4
申请日：2022-08-18
Applicant: 株式会社东芝
Abstract: 提供能够求解优化问题的计算装置、计算程序、记录介质以及计算方法。根据实施方式，计算装置包括能够实施处理步骤的处理装置。所述处理步骤包括第1矢量的第1更新、第2矢量的第2更新以及第3矢量的第3更新。所述第1更新包括使用所述第2矢量和所述第3矢量来对所述第1矢量进行更新。所述第2更新包括使用所述第1矢量来对所述第2矢量进行更新。所述处理装置能够输出反复进行了所述处理步骤之后所得到的所述第1矢量、和所述反复进行了所述处理步骤之后所得到的所述第1矢量的函数的至少任一个。
-
公开(公告)号：CN112633546B
公开(公告)日：2024-08-09
申请号：CN202010847151.6
申请日：2020-08-21
Applicant: 株式会社东芝
IPC: G06Q10/047 , G06Q20/38
Abstract: 本发明提供一种搜索装置、搜索方法、程序、搜索系统以及套利系统。高速地输出最佳化问题的解。搜索装置按照每单位时间，更新假想的多个粒子各自的位置以及运动量。搜索装置按照每单位时间，关于粒子计算对象时刻下的位置，关于节点计算与出来的2个以上的有向边对应的、将2个以上的粒子在对象时刻下的位置累加的第1累计值，关于节点计算与进入的2个以上的有向边对应的、将2个以上的粒子在对象时刻下的位置累加的第2累计值，关于粒子，根据第1累计值以及第2累计值，计算对象时刻下的运动量。
-
公开(公告)号：CN113646784A
公开(公告)日：2021-11-12
申请号：CN202080025399.2
申请日：2020-03-27
Applicant: 株式会社东芝 , 东芝数字解决方案株式会社
Abstract: 提供一种在实用性的时间内计算组合最优化问题的解的信息处理装置、信息处理系统、信息处理方法、存储介质及程序。作为本发明的实施方式的信息处理装置具备存储部和处理电路。上述存储部构成为，存储作为第1向量的要素的第1变量及作为第2向量的要素的第2变量。上述处理电路构成为，将上述第1变量基于对应的上述第2变量更新，将上述第1变量用第1系数加权并加上对应的上述第2变量，使用多个上述第1变量来计算问题项，将上述问题项加上上述第2变量，计算包含约束项与第2系数的积在内的第1修正项，将上述第1修正项加上上述第2变量，根据更新次数将上述第1系数及上述第2系数的绝对值增加。上述约束项基于表示约束条件的约束函数，具有上述第1变量作为自变量。
-
公开(公告)号：CN112633546A
公开(公告)日：2021-04-09
申请号：CN202010847151.6
申请日：2020-08-21
Applicant: 株式会社东芝
Abstract: 本发明提供一种搜索装置、搜索方法、程序、搜索系统以及套利系统。高速地输出最佳化问题的解。搜索装置按照每单位时间，更新假想的多个粒子各自的位置以及运动量。搜索装置按照每单位时间，关于粒子计算对象时刻下的位置，关于节点计算与出来的2个以上的有向边对应的、将2个以上的粒子在对象时刻下的位置累加的第1累计值，关于节点计算与进入的2个以上的有向边对应的、将2个以上的粒子在对象时刻下的位置累加的第2累计值，关于粒子，根据第1累计值以及第2累计值，计算对象时刻下的运动量。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.018 seconds)
