公开(公告)号：US20170364432A1

公开(公告)日：2017-12-21

申请号：US15543101

申请日：2015-01-30

Applicant: Hitachi, Ltd.

Inventor： Masataka NISHI

IPC: G06F11/36

CPC classification number: G06F11/3608

Abstract: While the effectiveness of a model inspection method as a means for detecting software defects is known, large-scale software cannot be handled due to great amounts of calculation required for inspection. According to the present invention, after a model inspection problem of software is attributed to be a satisfiability determination problem, the problem is converted to a type that can be solved by a solver used for solving a notification optimization problem having constrained conditions, and the satisfiability is determined in a numerically analytical manner.

公开(公告)号：US20180032079A1

公开(公告)日：2018-02-01

申请号：US15550415

申请日：2015-02-12

Applicant: Hitachi, Ltd.

Inventor： Masataka NISHI

IPC: G05D1/02 ,  G08G1/16 ,  G05D1/00

CPC classification number: G05D1/0214 ,  B60W30/09 ,  B60W50/00 ,  G05D1/0088 ,  G05D2201/0213 ,  G08G1/16 ,  G08G1/165 ,  G08G1/166

Abstract: A mechanism having an autonomous operation verification device having a function of determining satisfiability of expected operation and safety requirement under a predetermined operation-time precondition and determining occurrence possibility of hazard violating the safety requirement in a predictive manner and achieving operation safety of an autonomous system operating in an open environment is provided. A function for determining whether the expected operation and operation safety are satisfiable or not in a case where operation planning means provides a planned operation and evaluating the operation safety of the planned operation during operation is provided. Further, an autonomous system having a function of calculating an alternative operation by using the predictive determination function and recovering operation safety by avoiding the hazard is provided.

公开(公告)号：US20150309485A1

公开(公告)日：2015-10-29

申请号：US14650111

申请日：2013-03-11

Applicant: HITACHI, LTD.

Inventor： Masataka NISHI

IPC: G05B13/02

CPC classification number: G05B13/026 ,  B60W30/09 ,  G05D1/0088 ,  G06K9/00805 ,  G06K9/6878

Abstract: An object of the present invention is to provide an autonomous system that realizes expected operation in a form in which the soundness of the operation can be proved to a third party in adaptation to an external factor that dynamically varies and to enhance a working ratio in autonomous operation. The autonomous system is provided with a function for dynamically leading a satisfiable combination of a requirement for the soundness of operation and expected operation on the basis of the information of operating environment acquired via exterior world measurement means, a function for generating control logic for realizing the expected operation, a function for recording the control logic, the requirement for sound operation and the expected operation, and a function for presenting the record in a form in which the third party can read the record.

Abstract translation: 本发明的一个目的是提供一种自动系统，其实现期望的操作，其形式是可以根据动态变化的外部因素来适应第三方的操作的正确性，并提高自主的工作比率 操作。 该自主系统具有根据经由外部世界测量装置获取的操作环境的信息，动态地引导操作的健全性和预期操作的可满足的组合的功能，用于产生用于实现 预期操作，用于记录控制逻辑的功能，声音操作和期望操作的要求，以及以第三方可以读取记录的形式呈现记录的功能。

公开(公告)号：US20130110430A1

公开(公告)日：2013-05-02

申请号：US13665118

申请日：2012-10-31

Applicant: Hitachi, Ltd.

Inventor： Masataka NISHI ,  Nobuyasu KANEKAWA

IPC: G01R31/36 ,  G06F19/00

CPC classification number: H01M10/4207 ,  G01D21/00 ,  G01R31/3606 ,  G06F17/40 ,  G06F19/00 ,  H01M10/48 ,  H01M2010/4271

Abstract: A storage control unit for a storage system includes a first storage controller. The first storage controller includes: first voltage detection terminals that is connected to voltage detection lines respectively connected to first storage units, via switches; a first voltage detection circuit that is connected to each of the first voltage detection terminals and that detects a first voltage of each of the first storage units via each of the first voltage detection lines; a first voltage input terminal that a second voltage of each of second storage units that are different from the first storage units is input to; and a first voltage output terminal that is connected to the first voltage detection terminals via switches. The first voltage detection circuit is further connected to the first voltage input terminal and detects the second voltage via the first voltage input terminal.

Abstract translation: 用于存储系统的存储控制单元包括第一存储控制器。 第一存储控制器包括：经由开关连接到分别连接到第一存储单元的电压检测线的第一电压检测端子; 第一电压检测电路，其连接到每个第一电压检测端子，并且经由每个第一电压检测线检测每个第一存储单元的第一电压; 输入与第一存储单元不同的第二存储单元的第二电压的第一电压输入端子; 以及经由开关连接到第一电压检测端子的第一电压输出端子。 第一电压检测电路还连接到第一电压输入端，并经由第一电压输入端检测第二电压。