ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "23f53d23-0f71-4133-93ba-c1996b846c7f"}, "_deposit": {"created_by": 24, "id": "6343", "owners": [24], "pid": {"revision_id": 0, "type": "depid", "value": "6343"}, "status": "published"}, "_oai": {"id": "oai:ir.soken.ac.jp:00006343", "sets": ["19"]}, "author_link": ["11448", "11447", "11446"], "item_1_biblio_info_21": {"attribute_name": "書誌情報(ソート用)", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2020-09-28", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_1_creator_2": {"attribute_name": "著者名", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Zhenya, Zhang"}], "nameIdentifiers": [{"nameIdentifier": "11446", "nameIdentifierScheme": "WEKO"}]}]}, "item_1_creator_3": {"attribute_name": "フリガナ", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "ゼンヤ, ジャン"}], "nameIdentifiers": [{"nameIdentifier": "11447", "nameIdentifierScheme": "WEKO"}]}]}, "item_1_date_granted_11": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2020-09-28"}]}, "item_1_degree_grantor_5": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "総合研究大学院大学"}], "subitem_degreegrantor_identifier": [{"subitem_degreegrantor_identifier_name": "12702", "subitem_degreegrantor_identifier_scheme": "kakenhi"}]}]}, "item_1_degree_name_6": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "博士(情報学)"}]}, "item_1_description_1": {"attribute_name": "ID", "attribute_value_mlt": [{"subitem_description": "20190152", "subitem_description_type": "Other"}]}, "item_1_description_18": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_description": "application/pdf", "subitem_description_type": "Other"}]}, "item_1_description_7": {"attribute_name": "学位記番号", "attribute_value_mlt": [{"subitem_description": "総研大甲第2197号", "subitem_description_type": "Other"}]}, "item_1_dissertation_number_25": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第2197号"}]}, "item_1_select_14": {"attribute_name": "所蔵", "attribute_value_mlt": [{"subitem_select_item": "有"}]}, "item_1_select_16": {"attribute_name": "複写", "attribute_value_mlt": [{"subitem_select_item": "全文複写可"}]}, "item_1_select_17": {"attribute_name": "公開状況", "attribute_value_mlt": [{"subitem_select_item": "全文公開可"}]}, "item_1_select_8": {"attribute_name": "研究科", "attribute_value_mlt": [{"subitem_select_item": "複合科学研究科"}]}, "item_1_select_9": {"attribute_name": "専攻", "attribute_value_mlt": [{"subitem_select_item": "17 情報学専攻"}]}, "item_1_text_10": {"attribute_name": "学位授与年度", "attribute_value_mlt": [{"subitem_text_value": "2020"}]}, "item_1_version_type_23": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Zhenya, Zhang", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "11448", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-11-11"}], "displaytype": "simple", "download_preview_message": "", "file_order": 0, "filename": "甲2197.pdf", "filesize": [{"value": "2.2 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 2200000.0, "url": {"label": "要旨・審査要旨/Abstract, Screening Result", "url": "https://ir.soken.ac.jp/record/6343/files/甲2197.pdf"}, "version_id": "bbb849f8-af0d-4f96-95c7-8aa32b774278"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-12-17"}], "displaytype": "simple", "download_preview_message": "", "file_order": 1, "filename": "A2197本文.pdf", "filesize": [{"value": "5.8 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 5800000.0, "url": {"label": "本文 / Thesis", "url": "https://ir.soken.ac.jp/record/6343/files/A2197本文.pdf"}, "version_id": "74206a01-5834-4770-8d98-45596ae114f7"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "doctoral thesis", "resourceuri": "http://purl.org/coar/resource_type/c_db06"}]}, "item_title": "Hierarchical Optimization for Hybrid System Falsification(ハイブリッドシステム反例生成のための階層的最適化フレームワーク)", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Hierarchical Optimization for Hybrid System Falsification(ハイブリッドシステム反例生成のための階層的最適化フレームワーク)"}, {"subitem_title": "Hierarchical Optimization for Hybrid System Falsification", "subitem_title_language": "en"}]}, "item_type_id": "1", "owner": "24", "path": ["19"], "permalink_uri": "https://ir.soken.ac.jp/records/6343", "pubdate": {"attribute_name": "公開日", "attribute_value": "2020-11-11"}, "publish_date": "2020-11-11", "publish_status": "0", "recid": "6343", "relation": {}, "relation_version_is_last": true, "title": ["Hierarchical Optimization for Hybrid System Falsification(ハイブリッドシステム反例生成のための階層的最適化フレームワーク)"], "weko_shared_id": -1}
  1. 020 学位論文
  2. 複合科学研究科
  3. 17 情報学専攻

Hierarchical Optimization for Hybrid System Falsification(ハイブリッドシステム反例生成のための階層的最適化フレームワーク)

https://ir.soken.ac.jp/records/6343
https://ir.soken.ac.jp/records/6343
284cad71-7f1b-4c90-b8ea-c4bca29ea517
名前 / ファイル ライセンス アクション
甲2197.pdf 要旨・審査要旨/Abstract, Screening Result (2.2 MB)
A2197本文.pdf 本文 / Thesis (5.8 MB)
Item type 学位論文 / Thesis or Dissertation(1)
公開日 2020-11-11
タイトル
タイトル Hierarchical Optimization for Hybrid System Falsification(ハイブリッドシステム反例生成のための階層的最適化フレームワーク)
タイトル
言語 en
タイトル Hierarchical Optimization for Hybrid System Falsification
言語
言語 eng
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_db06
資源タイプ doctoral thesis
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
著者名 Zhenya, Zhang

× Zhenya, Zhang

WEKO 11446

Zhenya, Zhang

Search repository
フリガナ ゼンヤ, ジャン

× ゼンヤ, ジャン

WEKO 11447

ゼンヤ, ジャン

Search repository
著者 Zhenya, Zhang

× Zhenya, Zhang

WEKO 11448

en Zhenya, Zhang

Search repository
学位授与機関
学位授与機関識別子Scheme kakenhi
学位授与機関識別子 12702
学位授与機関名 総合研究大学院大学
学位名
学位名 博士(情報学)
学位記番号
内容記述タイプ Other
内容記述 総研大甲第2197号
研究科
値 複合科学研究科
専攻
値 17 情報学専攻
学位授与年月日
学位授与年月日 2020-09-28
学位授与年度
2020
学位授与番号
学位授与番号 甲第2197号
所蔵
値 有
フォーマット
内容記述タイプ Other
内容記述 application/pdf
著者版フラグ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
戻る
0
views
See details
Views

Versions

Ver.1 2023-06-20 14:09:14.424193
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3