基于动态极小势参数矩阵求解极小碰集的方法
TP31; 在基于模型的故障诊断与测试过程中,求解极小碰集是诊断与测试的一个关键步骤,极大地影响了故障诊断的最终效率.鉴于此,提出一种基于动态极小势的参数矩阵计算极小碰集的新算法JMatrix,利用参数矩阵描述冲突集合簇中元素与集合的关系,每次动态选取当前矩阵中势最小的集合进行分解,将大问题逐步分解成规模更小的子问题,并在碰集求解过程中通过加入剪枝策略和启发式信息,避免了对无解空间的搜索;在对每一个碰集进行极小化时,根据原始冲突集合簇的矩阵特性,可以快速地找到特定元素所在的集合,从而加快极小化的速度.实验结果表明,所提算法JMatrix不但在大量人工测试数据集上较其他经典极小碰集求解算法具有更...
Saved in:
| Published in | 计算机集成制造系统 Vol. 29; no. 5; pp. 1657 - 1667 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | Chinese |
| Published |
烟台大学 计算机与控制工程学院,山东 烟台 264005%浙江师范大学 数学与计算机科学学院,浙江 金华 321004
31.05.2023
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 1006-5911 |
| DOI | 10.13196/j.cims.2023.05.022 |
Cover
| Abstract | TP31; 在基于模型的故障诊断与测试过程中,求解极小碰集是诊断与测试的一个关键步骤,极大地影响了故障诊断的最终效率.鉴于此,提出一种基于动态极小势的参数矩阵计算极小碰集的新算法JMatrix,利用参数矩阵描述冲突集合簇中元素与集合的关系,每次动态选取当前矩阵中势最小的集合进行分解,将大问题逐步分解成规模更小的子问题,并在碰集求解过程中通过加入剪枝策略和启发式信息,避免了对无解空间的搜索;在对每一个碰集进行极小化时,根据原始冲突集合簇的矩阵特性,可以快速地找到特定元素所在的集合,从而加快极小化的速度.实验结果表明,所提算法JMatrix不但在大量人工测试数据集上较其他经典极小碰集求解算法具有更高的效率,而且在国际基准 ISCAS-85 电路数据集上仍具有高效稳定的性能. |
|---|---|
| AbstractList | TP31; 在基于模型的故障诊断与测试过程中,求解极小碰集是诊断与测试的一个关键步骤,极大地影响了故障诊断的最终效率.鉴于此,提出一种基于动态极小势的参数矩阵计算极小碰集的新算法JMatrix,利用参数矩阵描述冲突集合簇中元素与集合的关系,每次动态选取当前矩阵中势最小的集合进行分解,将大问题逐步分解成规模更小的子问题,并在碰集求解过程中通过加入剪枝策略和启发式信息,避免了对无解空间的搜索;在对每一个碰集进行极小化时,根据原始冲突集合簇的矩阵特性,可以快速地找到特定元素所在的集合,从而加快极小化的速度.实验结果表明,所提算法JMatrix不但在大量人工测试数据集上较其他经典极小碰集求解算法具有更高的效率,而且在国际基准 ISCAS-85 电路数据集上仍具有高效稳定的性能. |
| Author | 魏霞 黄森 赵相福 |
| AuthorAffiliation | 烟台大学 计算机与控制工程学院,山东 烟台 264005%浙江师范大学 数学与计算机科学学院,浙江 金华 321004 |
| AuthorAffiliation_xml | – name: 烟台大学 计算机与控制工程学院,山东 烟台 264005%浙江师范大学 数学与计算机科学学院,浙江 金华 321004 |
| Author_FL | WEI Xia HUANG Sen ZHAO Xiangfu |
| Author_FL_xml | – sequence: 1 fullname: WEI Xia – sequence: 2 fullname: ZHAO Xiangfu – sequence: 3 fullname: HUANG Sen |
| Author_xml | – sequence: 1 fullname: 魏霞 – sequence: 2 fullname: 赵相福 – sequence: 3 fullname: 黄森 |
| BookMark | eNrjYmDJy89LZWCQNjTQMzQ2tDTTz9JLzswt1jMyMDLWMzDVMzAyYmHgNDQwMNM1tTQ05GDgLS7OTAJyTc2MzU1NORlsns7f9WRX39OuFc8aGp_Na3y6of9p1_6n_U3Ppm54Pn_lyxlbn21serF8MUTq-aINL2e3PZ_V8mzazmebp_IwsKYl5hSn8kJpboZQN9cQZw9dH393T2dHH91iQwNTI11TwyRDQ0OzFEvTVFNzo7Q0UyML4ySTlGQzc0szI4MkI5NkC3MjU4uUpLQ081Rz86Q0c6MU8zRzY1OzNJNEA4MUY24GLYi55Yl5aYl56fFZ-aVFeUAb47OKs7KSq6oqSkAeNjAFetcYAH2xYi0 |
| ClassificationCodes | TP31 |
| ContentType | Journal Article |
| Copyright | Copyright © Wanfang Data Co. Ltd. All Rights Reserved. |
| Copyright_xml | – notice: Copyright © Wanfang Data Co. Ltd. All Rights Reserved. |
| DBID | 2B. 4A8 92I 93N PSX TCJ |
| DOI | 10.13196/j.cims.2023.05.022 |
| DatabaseName | Wanfang Data Journals - Hong Kong WANFANG Data Centre Wanfang Data Journals 万方数据期刊 - 香港版 China Online Journals (COJ) China Online Journals (COJ) |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| DocumentTitle_FL | Computing minimal hitting sets based on dynamic minimal cardinality parameter matrix |
| EndPage | 1667 |
| ExternalDocumentID | jsjjczzxt202305022 |
| GrantInformation_xml | – fundername: (国家自然科学基金); (国家自然科学基金) funderid: (国家自然科学基金); (国家自然科学基金) |
| GroupedDBID | 2B. 4A8 92I 93N ALMA_UNASSIGNED_HOLDINGS CDYEO PSX TCJ |
| ID | FETCH-LOGICAL-s1052-51b1116d95e572ff5283b4dc679620b24c87258dbff7e77bf72d7f7356f4a00d3 |
| ISSN | 1006-5911 |
| IngestDate | Thu May 29 04:00:06 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 5 |
| Keywords | 极小冲突集 极小碰集 极小势 参数矩阵 基于模型的诊断 |
| Language | Chinese |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-s1052-51b1116d95e572ff5283b4dc679620b24c87258dbff7e77bf72d7f7356f4a00d3 |
| PageCount | 11 |
| ParticipantIDs | wanfang_journals_jsjjczzxt202305022 |
| PublicationCentury | 2000 |
| PublicationDate | 2023-05-31 |
| PublicationDateYYYYMMDD | 2023-05-31 |
| PublicationDate_xml | – month: 05 year: 2023 text: 2023-05-31 day: 31 |
| PublicationDecade | 2020 |
| PublicationTitle | 计算机集成制造系统 |
| PublicationTitle_FL | Computer Integrated Manufacturing Systems |
| PublicationYear | 2023 |
| Publisher | 烟台大学 计算机与控制工程学院,山东 烟台 264005%浙江师范大学 数学与计算机科学学院,浙江 金华 321004 |
| Publisher_xml | – name: 烟台大学 计算机与控制工程学院,山东 烟台 264005%浙江师范大学 数学与计算机科学学院,浙江 金华 321004 |
| SSID | ssib006563755 ssib023646381 ssib001102950 ssib051375755 ssib023167363 ssib036438063 ssib000459500 ssib002258428 |
| Score | 2.4104407 |
| Snippet | TP31; 在基于模型的故障诊断与测试过程中,求解极小碰集是诊断与测试的一个关键步骤,极大地影响了故障诊断的最终效率.鉴于此,提出一种基于动态极小势的参数矩阵计算极小碰... |
| SourceID | wanfang |
| SourceType | Aggregation Database |
| StartPage | 1657 |
| Title | 基于动态极小势参数矩阵求解极小碰集的方法 |
| URI | https://d.wanfangdata.com.cn/periodical/jsjjczzxt202305022 |
| Volume | 29 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVEBS databaseName: Inspec with Full Text issn: 1006-5911 databaseCode: ADMLS dateStart: 20200701 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.ebsco.com/products/research-databases/inspec-full-text omitProxy: false ssIdentifier: ssib000459500 providerName: EBSCOhost |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3Na9RAFA91e_EiiorfFHROy2oyyWRmwEuyzVLEerGF3krzpS10BbsF2ZMt4qEHe6qIggU9qLeKeLAX_xl3a_8L33uTzcbuUqpQwuzMe7_83ryQNzPNvLGsW4kHYcF204abZLLhqSxvxCK2G3auMxivZ1lm497h2Qf-zLx3b0EsTNSSyldL6534dtIdu6_kf7wKdeBX3CX7D54tQaECyuBfuIKH4XoiH7NIMN1iYcAiD68qwhoVsECxyMePGJSDBR1RQbAQalqFTGgKLaY4yVBrJBEw0CzSTCsWCmwKHZJRLJAscMcBQj0nddAKmfIJB_h4JAwImnBcZo66HIyGCTNigUMIEdOS5JtkUQkFhiimbWILlHxsAtMCYguYYUiFEJgPHh8UCaaJmkY8HQ1byCo0TOINQkX3hnv8pQxohjzYG0TVpRHuDv6rXzzMqK9c7DbTnSExDTzsLSxMA3r9WEs9ZIG-8_Fq1ApLgSnIE1nwqQpLRDJMY7fzJok5-GegdLM-SqoOY1J4FzJuXCpQ2_jWCCEFhTRVEzXHmVA-JCWHkvkx1klE0U5Fa6wJRznVyc0DTQXOjOq4E8wcI13EUVyoErqIo0WgLZa2lqufMlDUdHyTpLwYgTm-OaFlJLpjuKDwniyvYqp97lLWXbOx_Uja9JW1lZWk233WQTFbgNApa5JD6Ldr1mQwPXv_YXVWo0UlSyWMiLkW1e3hMEqvzNJhCuTK4XZujskkKlns8EgGiGpl2ISfrrKH7cIBbUnnMZfdVORDQwPvjJpHGwrb-VL7UWXsO3fWOlNMWqcC8wY6Z010H5-37vZ293_tv-ptfe4_3-i_3-jtbfe2fva2N_s7ewe7Xw7ffO9_3fz96aNpOviwd_ju5cHbF_3XP_rfdi5Y861orjnTKM5iaazBDIw3hBPDqMhPtciE5HmOOaFiL01wGZrbMfcSJaGb0jjPZSZlnEueyly6ws-9JdtO3YtWrf2knV2yppI0zR1c0MczfkQilmLAFRzmocr1YXp42bpZWLtYvGvXFke9eeVEUlet08MXwzWr1nm6nl2HWUQnvlE8BX8A8B_JFg |
| linkProvider | EBSCOhost |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=%E5%9F%BA%E4%BA%8E%E5%8A%A8%E6%80%81%E6%9E%81%E5%B0%8F%E5%8A%BF%E5%8F%82%E6%95%B0%E7%9F%A9%E9%98%B5%E6%B1%82%E8%A7%A3%E6%9E%81%E5%B0%8F%E7%A2%B0%E9%9B%86%E7%9A%84%E6%96%B9%E6%B3%95&rft.jtitle=%E8%AE%A1%E7%AE%97%E6%9C%BA%E9%9B%86%E6%88%90%E5%88%B6%E9%80%A0%E7%B3%BB%E7%BB%9F&rft.au=%E9%AD%8F%E9%9C%9E&rft.au=%E8%B5%B5%E7%9B%B8%E7%A6%8F&rft.au=%E9%BB%84%E6%A3%AE&rft.date=2023-05-31&rft.pub=%E7%83%9F%E5%8F%B0%E5%A4%A7%E5%AD%A6+%E8%AE%A1%E7%AE%97%E6%9C%BA%E4%B8%8E%E6%8E%A7%E5%88%B6%E5%B7%A5%E7%A8%8B%E5%AD%A6%E9%99%A2%2C%E5%B1%B1%E4%B8%9C+%E7%83%9F%E5%8F%B0+264005%25%E6%B5%99%E6%B1%9F%E5%B8%88%E8%8C%83%E5%A4%A7%E5%AD%A6+%E6%95%B0%E5%AD%A6%E4%B8%8E%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%A7%91%E5%AD%A6%E5%AD%A6%E9%99%A2%2C%E6%B5%99%E6%B1%9F+%E9%87%91%E5%8D%8E+321004&rft.issn=1006-5911&rft.volume=29&rft.issue=5&rft.spage=1657&rft.epage=1667&rft_id=info:doi/10.13196%2Fj.cims.2023.05.022&rft.externalDocID=jsjjczzxt202305022 |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fwww.wanfangdata.com.cn%2Fimages%2FPeriodicalImages%2Fjsjjczzxt%2Fjsjjczzxt.jpg |