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

1. 发明专利

JP2018136755A プログラム自動生成システム及びプログラム自動生成方法审中-公开
公开(公告)号：JP2018136755A
公开(公告)日：2018-08-30
申请号：JP2017030940
申请日：2017-02-22
申请人：株式会社日立製作所
发明人：宮本篤志 , 松村忠幸 , 大久保教夫 , 嶺竜治
IPC分类号： G06F8/00 , G06N3/12
CPC分类号： G06F8/30 , G06F8/10 , G06F8/42 , G06F8/75 , G06N3/126
摘要：【課題】処理の組み合せの爆発を抑制してプログラムを自動的に生成する。【解決手段】プログラム生成装置100は、プログラム記憶部200に記憶された複数の第2のプログラムを分析してプログラムモデルを生成するプログラム分析部104と、プログラム分析部104が生成したプログラムモデルと入力部210から入力された設計要件に基づいて、進化計算のための基本ノードと制約条件を生成する基本ノード/制約条件生成部106と、基本ノード/制約条件生成部106が生成した基本ノード及び制約条件と、入力部210から入力された入力データ及び前記目標データに基づいて進化計算により第1のプログラムを生成する最適化部107とを有する。【選択図】図1

2. 发明专利

JP2018055389A プログラム作成支援方法审中-公开
公开(公告)号：JP2018055389A
公开(公告)日：2018-04-05
申请号：JP2016190452
申请日：2016-09-28
申请人：本田技研工業株式会社
发明人：澤崎祥悟 , 小林直樹
IPC分类号： G06F8/70 , G06F11/22 , G06F11/36 , G06F8/34
CPC分类号： G06F8/36 , G06F8/10 , G06F8/34 , G06F11/36
摘要：【課題】複雑なプログラムであっても、コストの低減を図りながら当該プログラムの作成を支援することができる方法を提供する。【解決手段】情報ソフト21に含まれている複数のコードから不要な因子が除去されて複数の基礎コードが作成される。各基礎コードから所定の抽出則にしたがって複数の機能のそれぞれに関する複数の指定情報が抽出される。抽出された指定情報は、生成予定の新規検査ソフト222に含まれる機能または処理内容を間接的または直接的にユーザに選定させるために用いられる。当該選定により定義される構成要素によって構成されるフローチャートをユーザに作成させ、このフローチャートに含まれる各構成要素に関連付けられている関数が、テンプレート(所定の雛型に記入されることにより、新規検査ソフト222を記述する新規のコードが自動的に生成される。【選択図】図2

3. 发明专利

JPWO2015145556A1 ソフトウェア仕様間依存関係検証装置、及びソフトウェア仕様間依存関係検証方法有权
公开(公告)号：JPWO2015145556A1
公开(公告)日：2017-04-13
申请号：JP2016509656
申请日：2014-03-25
申请人：株式会社日立製作所
发明人：正敏村上 , 正敏村上 , 雄一郎中川 , 雄一郎中川 , 三部　良太 , 良太三部 , 直樹古家 , 直樹古家
IPC分类号： G06F9/44
CPC分类号： G06F8/10
摘要：ソフトウェア仕様間整合性検証装置100は、対応するソフトウェア仕様を取得し、あらかじめ前記階層構造に従ってソフトウェア仕様中での相対位置が設定されている各仕様項目を抽出する仕様構造解析部103と、対応する仕様項目間で成立すべき依存関係を記述してなるマッチングルールを用いて、各仕様項目間の依存関係の有無を判別する仕様項目マッチング部105と、依存関係があると判定された仕様項目の組合せを指定する依存関係情報を抽出する依存関係情報生成部106と、特定の仕様項目の組合せについて成立すべき整合条件を含む検証ルールにより抽出された依存関係情報に基づき、整合条件を満たすか判定し、満たさないと判定した場合、当該依存関係を不整合情報として出力する依存関係検証部109と、前記不整合情報を所定のユーザインタフェースによって出力する検証結果可視化部110とを有する。

4. 发明专利

JP6088001B2 プロセス管理環境内でモジュール実行シーケンスを管理する方法及び装置有权
标题翻译：如何管理过程控制环境和设备模块的执行顺序
公开(公告)号：JP6088001B2
公开(公告)日：2017-03-01
申请号：JP2015146296
申请日：2015-07-24
申请人：フィッシャー−ローズマウントシステムズ,インコーポレイテッド
发明人：ゲアリロー , ブランドンヒーブ , デイビッドアール. デニソン , アルパーエンヴァー
IPC分类号： G05B19/042
CPC分类号： G06F8/10 , G05B19/0426 , G05B2219/23248 , G05B2219/25389

5. 发明专利

JP6033891B2 状態図の生成有权
标题翻译：状态图的生成
公开(公告)号：JP6033891B2
公开(公告)日：2016-11-30
申请号：JP2014557823
申请日：2013-02-15
申请人：ザマスワークス, インク , THE MATHWORKS, INC.
发明人：シャンカルシッダルタ , アバダヌラスリナス , メスチアンエブラヒム , ラグハバンビジェイ , レンヨー
IPC分类号： G06F17/50
CPC分类号： G06F8/10 , G06F8/00 , G06F9/444 , G06N5/02

6. 发明专利

JPWO2014054233A1 情報システムの性能評価装置、方法およびプログラム有权
标题翻译：一个信息系统，方法和程序的性能评价装置
公开(公告)号：JPWO2014054233A1
公开(公告)日：2016-08-25
申请号：JP2014539591
申请日：2013-09-17
申请人：日本電気株式会社
发明人：啓榊 , 啓榊
IPC分类号： G06F11/34 , G06F11/36
CPC分类号： G06F8/20 , G06F8/10 , G06F11/3447
摘要：本発明の目的は、未開発部分のある情報システムの性能を精度よく評価することにある。本発明の情報システム性能評価装置は、性能評価の実行指示が入力された場合に、性能評価の対象となる情報システムである評価対象システムのシステムモデルに基づいて、評価対象システムのシステムモデルと同一のシステムモデルを用いて構築された既存システムの運用情報を運用情報DB2から取得する運用情報取得部11と、取得された既存システムの運用情報から、評価対象システムに組み込むモジュールのうち、未開発部分のモジュールに対応するパラメータを抽出する未開発部分抽出部12と、抽出されたパラメータ、および評価対象システムの開発済みモジュールに対応するパラメータを用いて、評価対象システムの性能を評価する性能評価部13と、を備える。
摘要翻译：本发明的目的是评价与未显影部分的精度良好的性能信息的系统。本发明中，当用于性能评价的执行指令已被输入，基于所述系统的系统模型进行评估的信息系统的性能评价装置是一个信息系统是性能评价，等同于系统的系统模型进行评估系统模型和运转信息获取单元11，获取从使用操作信息DB2内置现有系统的操作信息，从操作信息获得的现有系统中，在评价对象系统并入的模块，未开发的部分和未显影部分，用于提取对应于该模块中，所提取的参数，参数提取部12和评价使用参数用于在目标系统中，评估性能评价部13的展开模块，用于评估所述目标系统的性能并且，配备了。

7. 发明专利

JP5961275B2 ソフトウェア開発の完全性監視のための追跡可能性リンク強度の使用有权
标题翻译：使用追溯连接强度完整性监控软件开发
公开(公告)号：JP5961275B2
公开(公告)日：2016-08-02
申请号：JP2014539434
申请日：2012-10-24
申请人：インターナショナル・ビジネス・マシーンズ・コーポレーション , INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人：シミオノヴィチ、ヤハロミト , ニセンソン、モルデチャイ , ブナヤフ、ジョナサン
IPC分类号： G06F9/44
CPC分类号： G06F11/3604 , G06F8/30 , G06F8/71 , G06F8/75 , G06F8/77 , G06F8/10 , G06F8/20

8. 发明专利

JP2015187894A プロセス管理環境内でモジュール実行シーケンスを管理する方法及び装置有权
标题翻译：在过程控制环境中管理模块运行序列的方法和设备
公开(公告)号：JP2015187894A
公开(公告)日：2015-10-29
申请号：JP2015146296
申请日：2015-07-24
申请人：フィッシャー−ローズマウントシステムズ,インコーポレイテッド
发明人：ゲアリロー , ブランドンヒーブ , デイビッドアール. デニソン , アルパーエンヴァー
IPC分类号： G05B19/042
CPC分类号： G06F8/10 , G05B19/0426 , G05B2219/23248 , G05B2219/25389
摘要：【課題】プロセス制御環境内でモジュール実行シーケンスを管理する例示的方法及び装置が開示される。【解決手段】開示された例示的方法は、複数の機能ブロックを含んでいるモジュールを受信するステップと、前記複数の機能ブロックのサブセットの表示を受信するステップと、前記サブセットに対する第1実施シーケンスの表示を受信するステップと、を含み、前記モジュールに関して、第1実施シーケンスは、第2実施シーケンスとは異なる。また、例示的方法は、前記サブセットを実行シーケンス識別子に関連付けるステップと、前記実行シーケンス識別子をトリガ条件に関連付けるステップと、をも含む。【選択図】図1
摘要翻译：要解决的问题：提供在过程控制环境中管理模块运行序列的示例性方法和装置。解决方案：公开的示例性方法包括：接收包括多个功能块的模块，接收多个功能的子集的指示并且接收针对所述子集的第一执行序列的指示，其中所述第一执行序列不同于与所述模块相关联的第二执行序列。示例性方法还包括将该子集与运行序列标识符相关联，并将运行序列标识符与触发条件相关联。

9. 发明专利

JP2015152979A 製品設計支援プログラム、製品設計支援方法および製品設計支援装置有权
标题翻译：产品设计支持计划，产品设计支持方法和产品设计支持设备
公开(公告)号：JP2015152979A
公开(公告)日：2015-08-24
申请号：JP2014023881
申请日：2014-02-10
申请人：富士通株式会社
发明人：菊地英晴
IPC分类号： G06F11/28 , G06F9/44
CPC分类号： G06F11/3692 , G06F11/3676 , G06F8/10 , G06Q10/06
摘要：【課題】製品に必要な要件を実現する難易度を定量的に算出することで、製品の設計の支援を行うことを目的とする。【解決手段】製品設計支援装置は、データベース3と演算部6とを備える。データベース3は、要件を定義した第1の書類と、第1の書類から関連付けられ要件の機能を定義した第2の書類と、第2の書類に関連付けられたテスト書類と、テスト書類に対応付けられたテスト結果と、を記憶する。演算部6は、第1の書類に関連付けられた全ての第2の書類についてのテスト書類に含まれるテスト項目の数とテスト項目のテスト結果とに基づいて、要件を実現する際の難易度を算出する。【選択図】図1
摘要翻译：要解决的问题：通过定量计算满足产品所需要求的难度来支持产品的设计。解决方案：产品设计支持设备包括数据库3和运算单元6.定义要求的第一个文档，第二个文档相关联第一个文件定义要求的功能，与第二个文件相关联的测试文件，以及与测试文件相对应的测试结果存储在数据库3中。运算单元6基于以下原则计算满足要求的难度：包含在与第一个文档相关联的所有第二个文档相关联的测试文档中的测试项目的数量以及测试项目的测试结果。

10. 发明专利

JP5725014B2 情報処理装置、情報処理方法及び情報処理プログラム有权
公开(公告)号：JP5725014B2
公开(公告)日：2015-05-27
申请号：JP2012505651
申请日：2011-03-07
申请人：日本電気株式会社
发明人：榊啓 , 大崎隆夫
IPC分类号： G06F9/44
CPC分类号： G06F8/10

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式