JP7666628B2 - モデル分析装置、モデル分析方法、及びプログラム - Google Patents

モデル分析装置、モデル分析方法、及びプログラム Download PDF

Info

Publication number
JP7666628B2
JP7666628B2 JP2023556017A JP2023556017A JP7666628B2 JP 7666628 B2 JP7666628 B2 JP 7666628B2 JP 2023556017 A JP2023556017 A JP 2023556017A JP 2023556017 A JP2023556017 A JP 2023556017A JP 7666628 B2 JP7666628 B2 JP 7666628B2
Authority
JP
Japan
Prior art keywords
configuration information
model
target
trained model
information
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
JP2023556017A
Other languages
English (en)
Japanese (ja)
Other versions
JPWO2023073910A1 (https=
JPWO2023073910A5 (ja
Inventor
淳 西岡
純明 榮
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Publication of JPWO2023073910A1 publication Critical patent/JPWO2023073910A1/ja
Publication of JPWO2023073910A5 publication Critical patent/JPWO2023073910A5/ja
Application granted granted Critical
Publication of JP7666628B2 publication Critical patent/JP7666628B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • G06F11/3608—Analysis of software for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/445—Program loading or initiating
    • G06F9/44505—Configuring for program initiating, e.g. using registry, configuration files
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N20/00—Machine learning

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Artificial Intelligence (AREA)
  • Computer Vision & Pattern Recognition (AREA)
  • Data Mining & Analysis (AREA)
  • Evolutionary Computation (AREA)
  • Medical Informatics (AREA)
  • Computing Systems (AREA)
  • Mathematical Physics (AREA)
  • Stored Programmes (AREA)
JP2023556017A 2021-10-29 2021-10-29 モデル分析装置、モデル分析方法、及びプログラム Active JP7666628B2 (ja)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2021/039981 WO2023073910A1 (ja) 2021-10-29 2021-10-29 モデル分析装置、モデル分析方法、及び記録媒体

Publications (3)

Publication Number Publication Date
JPWO2023073910A1 JPWO2023073910A1 (https=) 2023-05-04
JPWO2023073910A5 JPWO2023073910A5 (ja) 2024-07-09
JP7666628B2 true JP7666628B2 (ja) 2025-04-22

Family

ID=86157609

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2023556017A Active JP7666628B2 (ja) 2021-10-29 2021-10-29 モデル分析装置、モデル分析方法、及びプログラム

Country Status (3)

Country Link
US (1) US20240385943A1 (https=)
JP (1) JP7666628B2 (https=)
WO (1) WO2023073910A1 (https=)

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2017516181A (ja) 2014-03-13 2017-06-15 クアルコム，インコーポレイテッド 周辺デバイスを安全にするための挙動分析
JP2020067911A (ja) 2018-10-25 2020-04-30 トヨタ自動車株式会社 制御支援装置、車両、および制御支援システム
JP2020161167A (ja) 2017-03-21 2020-10-01 株式会社Ｐｒｅｆｅｒｒｅｄ Ｎｅｔｗｏｒｋｓ サーバ装置、学習済モデル提供プログラム、学習済モデル提供方法及び学習済モデル提供システム

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2017516181A (ja) 2014-03-13 2017-06-15 クアルコム，インコーポレイテッド 周辺デバイスを安全にするための挙動分析
JP2020161167A (ja) 2017-03-21 2020-10-01 株式会社Ｐｒｅｆｅｒｒｅｄ Ｎｅｔｗｏｒｋｓ サーバ装置、学習済モデル提供プログラム、学習済モデル提供方法及び学習済モデル提供システム
JP2020067911A (ja) 2018-10-25 2020-04-30 トヨタ自動車株式会社 制御支援装置、車両、および制御支援システム

Also Published As

Publication number Publication date
WO2023073910A1 (ja) 2023-05-04
JPWO2023073910A1 (https=) 2023-05-04
US20240385943A1 (en) 2024-11-21

Similar Documents

Publication Publication Date Title
US9990501B2 (en) Diagnosing and tracking product vulnerabilities for telecommunication devices via a database
JP7399889B2 (ja) 暗号化された一致インデックスについての完全一致およびファジーマッチングでの重複の検出
WO2008046099A2 (en) System and method for diagnosis of and recommendations for remote processor system
WO2009104268A1 (ja) パッチ候補選択装置、パッチ候補選択プログラムおよびパッチ候補選択方法
US20160321069A1 (en) Effective feature location in large legacy systems
JP2020144493A (ja) 学習モデル生成支援装置、及び学習モデル生成支援方法
JP6996629B2 (ja) 検証自動化装置、検証自動化方法、およびプログラム
US20230101955A1 (en) Reuse of machine learning models
KR20110139896A (ko) 금융 상품 추천 방법
JP7666628B2 (ja) モデル分析装置、モデル分析方法、及びプログラム
US20080005070A1 (en) Non-Repetitive Web Searching
KR102285308B1 (ko) 경영 표준 규격 자동 매핑 시스템
CN111078263A (zh) 基于Drools规则引擎的热部署方法、系统、服务器及存储介质
US20120317526A1 (en) Verification method, computer-readable recording medium, and design verification apparatus
AU2025204610A1 (en) Provider performance scoring using supervised and unsupervised learning
CN114089997A (zh) 页面栈的处理方法和装置、存储介质及电子装置
US20230306309A1 (en) Cloud-based device artificial intelligence configuration system and method
KR20220053131A (ko) 딥러닝을 활용한 인플루언서와 기업의 매칭 방법 및 그 서버
JP5508933B2 (ja) ソフトウェア仕様の証明支援装置、及び証明支援方法
US8964730B2 (en) IP telephone provisioning system and methods
JP6541736B2 (ja) 情報処理装置、情報処理方法および情報処理プログラム
WO2020057104A1 (zh) 用于应用开发的方法和装置
KR102705365B1 (ko) 개인화된 맞춤형 하드웨어 컴포넌트를 제조하는 시스템 및 방법
US20180196886A1 (en) Devices and methods for implementing dynamic collaborative workflow systems
JP4883315B2 (ja) 情報漏洩分析システム

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20240416

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20240416

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20241203

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20250131

RD01 Notification of change of attorney

Free format text: JAPANESE INTERMEDIATE CODE: A7421

Effective date: 20250203

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20250217

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20250311

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20250324

R150 Certificate of patent or registration of utility model

Ref document number: 7666628

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150