专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明专利

JP6721423B2 アプリロジックおよびその検証方法有权
公开(公告)号：JP6721423B2
公开(公告)日：2020-07-15
申请号：JP2016117505
申请日：2016-06-14
申请人：株式会社日立製作所
发明人：本谷徹 , 白石雅裕 , 西川悟史 , 山本圭輔 , 鳥羽忠信 , 上薗巧 , 原田英雄 , 菅野雄介
IPC分类号： G21D3/04 , G05B19/05 , G06F30/3308

2. 发明专利

JP2019185301A 演算器の検証装置审中-公开
公开(公告)号：JP2019185301A
公开(公告)日：2019-10-24
申请号：JP2018073913
申请日：2018-04-06
申请人：株式会社日立製作所
发明人：本谷徹 , 白石雅裕 , 末永雅士 , 西川悟史 , 山本圭輔 , 名取克修 , 中嶋哲也
IPC分类号： G06F17/50
摘要：【課題】浮動小数点数演算器の特殊演算ケースの検証の進捗度合を、内部のとりうる値やおこりうる例外に着目して、定量的に計測可能して、信頼性の高い検証を行えるようにする。【解決手段】RTL記述によるハードウェア記述言語を解釈実行して、入力値に対して出力値として出力する論理シミュレータと、入力値に対して規定の演算を行い、期待値として出力する高信頼演算器とを有し、論理シミュレータの出力する出力値と、高信頼演算器の出力する期待値とを比較することにより、ハードウェア記述言語により機能を記述された演算器を検証する演算器を検証するダイナミック検証装置を有し、ダイナミック検証装置は、ハードウェア記述言語により記述されたモジュールの内部に用いられる中間ポートを参照し、ある中間ポートの取りうる値に対しての検証の網羅性を算出して、中間値カバレッジとして出力する。【選択図】図1

3. 发明专利

JPWO2017033319A1 制御システム审中-公开
公开(公告)号：JPWO2017033319A1
公开(公告)日：2018-03-08
申请号：JP2017536139
申请日：2015-08-26
申请人：株式会社日立製作所
发明人：山本圭輔 , 清水勝人 , 石井一彦 , 白石雅裕 , 西川悟史
IPC分类号： G06F13/00
CPC分类号： G06F13/00
摘要：正常動作時に照合結果が不一致となることを回避することが可能な制御システムを提供する。制御システム(1)のデジタル入力装置(200)は、信号源(410)からのデジタル信号をA系とB系に並列に入力し、二重化されたA系とB系のデジタル信号伝達時間誤差と信号取り込み時間差の合計よりも大きい時間間隔で少なくとも2回デジタル信号の値を取り込み、2回取り込んだデジタル信号値を保持するA系入力制御部(213)およびB系入力制御部(223)と、2回取り込んだデジタル信号値を付加した通信フレームを生成するA系通信制御部(211)およびB系通信制御部(221)と、をA系とB系で二重化して備える。また、A系とB系のそれぞれが生成した通信フレームの1回目に取り込んだデジタル信号値と2回目に取り込んだデジタル信号値の少なくともどちらか一方が一致していれば照合一致とみなすフレーム照合部(230)を備える。

4. 发明专利

JP2017224060A アプリロジックおよびその検証方法および構成方法审中-公开
公开(公告)号：JP2017224060A
公开(公告)日：2017-12-21
申请号：JP2016117505
申请日：2016-06-14
申请人：株式会社日立製作所
发明人：本谷徹 , 白石雅裕 , 西川悟史 , 山本圭輔 , 鳥羽忠信 , 上薗巧 , 原田英雄 , 菅野雄介
IPC分类号： G21C17/00 , G21D3/04 , G05B19/05 , G06F17/50
CPC分类号： G06F11/3652 , G06F11/25 , G06F11/3636 , G06F17/504 , G21C17/00 , G21D3/001 , G06F9/3017 , Y02E30/40
摘要：【課題】 SIL4相当の高安全なアプリロジックを提供する。【解決手段】所定の演算を行う1または複数のマクロロジックと、マクロロジックに演算を行わせるために、マクロロジックに演算の開始を指示するマクロ演算制御部と、データを記憶する演算データ記憶領域と、を備えるアプリロジックの検証方法である。このアプリロジックは、マクロロジック、マクロ演算制御部、演算データ記憶領域の各々について、形式検証言語のプロパティ記述による静的検証を行い、マクロロジックの少なくとも一つについて、さらに、シミュレーションによる動的検証を行う。【選択図】図1

5. 发明专利

JP2021117720A プログラマブルデバイス及びこれを用いた制御コントローラ审中-公开
公开(公告)号：JP2021117720A
公开(公告)日：2021-08-10
申请号：JP2020010493
申请日：2020-01-27
申请人：株式会社日立製作所
发明人：上薗巧 , 白石雅裕 , 鳥羽忠信 , 西川悟史 , 山本圭輔
IPC分类号： G05B19/042
摘要：【課題】プログラマブルデバイス及びこれを用いた制御コントローラの動作継続性を向上させる。【解決手段】プログラマブルデバイスは、多重化されたユーザ論理ブロックよりエラー検出し通知するエラーチェック機構と、最終ユーザ論理ブロックの出力端に接続し制御周期ごとにユーザ論理ブロックの出力値を取込んで出力する前値保持部7と、前記エラーチェック機構より受けたエラー発生通知によりスキャン割込みがかかり、CRAM上のスキャン領域をリードしてエラー検出・訂正してエラー訂正の成否を通知するCRAM検査部8と、前記エラー発生通知を受けた時に、前記前値保持部にユーザ論理ブロックの前出力を保持する指示を送信し前記CRAM検査部8よりエラー訂正の成功の通知を受けた時に、前記前値保持部7に前値保持を解除する指示を送信すると共に、エラーに該当するユーザ論理ブロックに論理リセット指示を送信するエラー対処部9とを備える。【選択図】図1

6. 发明专利

JP6471234B2 制御システム有权
公开(公告)号：JP6471234B2
公开(公告)日：2019-02-13
申请号：JP2017536139
申请日：2015-08-26
申请人：株式会社日立製作所
发明人：山本圭輔 , 清水勝人 , 石井一彦 , 白石雅裕 , 西川悟史
IPC分类号： G06F13/00

7. 发明专利

JP6227283B2 プリント基板コーティング装置及びプリント基板のコーティング方法有权
公开(公告)号：JP6227283B2
公开(公告)日：2017-11-08
申请号：JP2013117424
申请日：2013-06-04
申请人：株式会社日立製作所
发明人：山本圭輔 , 濱本悟朗 , 石井美千夫 , 川上恭司 , 田嶋淳哉 , 鈴木一弘
IPC分类号： B05D1/26 , B05D7/00 , B05D3/00 , B05C11/10 , H05K3/28

8. 发明专利

JPWO2020090034A1 処理装置审中-公开
公开(公告)号：JPWO2020090034A1
公开(公告)日：2021-09-02
申请号：JP2018040516
申请日：2018-10-31
申请人：株式会社日立製作所
发明人：高橋智一 , 今澤貴夫 , 山本圭輔 , 白石雅裕
IPC分类号： G05B9/02 , G05B9/03
摘要：高い安全性を有し、異常の検出が可能である処理装置を提供する。例えば、共通要因故障が発生した場合においても異常の検出を可能であり、一点故障による安全機能喪失の可能性を排除して異常の検出が可能である処理装置を提供する。本発明における処理装置は、それぞれ同一の機能を有する複数の系により多重化された処理回路(100)を備える。それぞれの処理回路(100)の出力信号を相互に照合する出力信号照合部(111)を、それぞれの処理回路(100)が具備する。これにより、処理回路(100)において異常が発生した場合、出力信号には異なる信号が現れ、出力信号照合部(111)が出力信号を対比することにより、異常を検出することが可能である。また、出力信号照合部(111)が多重化されており、出力信号照合部(111)の一点故障による安全機能喪失の可能性を排除することが可能である。

9. 发明专利

JP6875533B2 アナログ制御装置およびアナログ制御システム有权
公开(公告)号：JP6875533B2
公开(公告)日：2021-05-26
申请号：JP2019538755
申请日：2017-08-28
申请人：株式会社日立製作所
发明人：山本圭輔 , 西川悟史 , 白石雅裕
IPC分类号： G06F11/16

10. 发明专利

JPWO2019043745A1 アナログ制御装置およびアナログ制御システム审中-公开
公开(公告)号：JPWO2019043745A1
公开(公告)日：2020-03-26
申请号：JP2017030674
申请日：2017-08-28
申请人：株式会社日立製作所
发明人：山本圭輔 , 西川悟史 , 白石雅裕
IPC分类号： G06F11/16
摘要：本発明は、信頼性を向上できるようにしたアナログ制御装置およびアナログ制御システムを提供する。一つの観点では、データ間の厳密な一致を要求するのではなく、通信フレーム同士の適合を要求することにより、信頼性と使い勝手を両立できるようにしたアナログ制御装置およびアナログ制御システムを提供する。アナログ信号に基づいて制御するアナログ制御装置は、多重化された処理回路であって、アナログ信号を処理することにより通信フレームを生成する処理回路と、各処理回路で生成された通信フレームを比較し、各通信フレームが適合する場合に各通信フレームのうち所定の通信フレームの出力を許可するフレーム照合部と、を備える。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式