{"created":"2023-05-15T12:05:15.405956+00:00","id":9878,"links":{},"metadata":{"_buckets":{"deposit":"ac61eba5-4eaa-4dd7-b43c-62af2ca981e0"},"_deposit":{"created_by":3,"id":"9878","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"9878"},"status":"published"},"_oai":{"id":"oai:iwate-u.repo.nii.ac.jp:00009878","sets":["1515:1519"]},"author_link":["61373","61372","61370","61371"],"item_16_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2001-01-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicPageEnd":"991","bibliographicPageStart":"983","bibliographicVolumeNumber":"42","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}]}]},"item_16_date_6":{"attribute_name":"登録日","attribute_value_mlt":[{"subitem_date_issued_datetime":"2009-11-18"}]},"item_16_description_12":{"attribute_name":"Abstract","attribute_value_mlt":[{"subitem_description":"As classes of AND-EXOR expressions, PPRMs, FPRMs, and ESOPs are well-known. In this paper, a new class of AND-EXOR expressions, Double Fixed-Polarity Reed-Muller Expressions (DFPRMs), is proposed. DFPRMs are generalized expressions of FPRMs, and can be the smallest PLA among all the classes of AND-EXOR expressions. We discuss their properties: the relation to other classes, a compact realization with (AND/OR)-EXOR PLAs, and the easy testability of the PLA. We show that all the stuck-at faults in DFPRM PLAs are detected by (2n+4) tests, which are independent of the functions realized by the PLAs. And we demonstrate the compactness of DFPRMs by giving a table of the number of products of the minimum DFPRMs for all 4-variable functions. The table is obtained by a minimization algorithm presented in this paper.","subitem_description_type":"Other"}]},"item_16_publisher_14":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"社団法人情報処理学会"}]},"item_16_rights_18":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright(C) Information Processing Society of Japan"},{"subitem_rights":"ここに掲載した著作物の利用に関する注意 本著作物の著作権は（社）情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。"}]},"item_16_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0387-5806","subitem_source_identifier_type":"ISSN"}]},"item_16_text_4":{"attribute_name":"著者(機関)","attribute_value_mlt":[{"subitem_text_value":"Ashikaga Institute of Technology, (present address)Faculty of Engineering, Iwate University"},{"subitem_text_value":"Ashikaga Institute of Technology"},{"subitem_text_value":"Faculty of Engineering, Iwate University"},{"subitem_text_value":"Faculty of Engineering, Gunma University"}]},"item_16_version_type_27":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"HIRAYAMA, TAKASHI"}],"nameIdentifiers":[{"nameIdentifier":"61370","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NAGASAWA, KAZUYUKI"}],"nameIdentifiers":[{"nameIdentifier":"61371","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NISHITANI, YASUAKI"}],"nameIdentifiers":[{"nameIdentifier":"61372","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SHIMIZU, KENSUKE"}],"nameIdentifiers":[{"nameIdentifier":"61373","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-11-14"}],"displaytype":"detail","filename":"ipsj-v42n4p983-991.pdf","filesize":[{"value":"1.2 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"ipsj-v42n4p983-991.pdf","url":"https://iwate-u.repo.nii.ac.jp/record/9878/files/ipsj-v42n4p983-991.pdf"},"version_id":"35ffea03-b1dd-4759-8d49-1721a01e33d8"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Double Fixed-Polarity Reed-Muller Expressions : A New Class of AND-EXOR Expressions for Compact and Testable Realization","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Double Fixed-Polarity Reed-Muller Expressions : A New Class of AND-EXOR Expressions for Compact and Testable Realization"}]},"item_type_id":"16","owner":"3","path":["1519"],"pubdate":{"attribute_name":"公開日","attribute_value":"2009-11-18"},"publish_date":"2009-11-18","publish_status":"0","recid":"9878","relation_version_is_last":true,"title":["Double Fixed-Polarity Reed-Muller Expressions : A New Class of AND-EXOR Expressions for Compact and Testable Realization"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2023-05-16T07:59:30.356644+00:00"}