{"id":"https://openalex.org/W2345589201","doi":null,"title":"Theory and algorithm of state minimization of linear separation automata","display_name":"Theory and algorithm of state minimization of linear separation automata","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2345589201","mag":"2345589201"},"language":"en","primary_location":{"id":"pmh:oai:irdb.nii.ac.jp:00931:0000189535","doi":null,"is_oa":true,"landing_page_url":"https://uec.repo.nii.ac.jp/records/1505","pdf_url":"https://uec.repo.nii.ac.jp/record/1505/files/9094000285.pdf","source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://uec.repo.nii.ac.jp/record/1505/files/9094000285.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055298166","display_name":"Yuji Numai","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"\u88d5\u4e8c \u6cbc\u4e95","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5055298166"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0015999999595806003,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/state-minimization","display_name":"state minimization","score":0.8930000066757202},{"id":"https://openalex.org/keywords/automata-learning","display_name":"automata learning","score":0.5139999985694885},{"id":"https://openalex.org/keywords/automata-equivalence","display_name":"automata equivalence","score":0.40700000524520874}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6208463311195374},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5395926237106323},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.528281033039093},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48301586508750916},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4631566107273102},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4420641362667084},{"id":"https://openalex.org/C2776061190","wikidata":"https://www.wikidata.org/wiki/Q7451805","display_name":"Separation (statistics)","level":2,"score":0.43447983264923096},{"id":"https://openalex.org/C65753522","wikidata":"https://www.wikidata.org/wiki/Q5204896","display_name":"DFA minimization","level":5,"score":0.4291155934333801},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4021751880645752},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.2653580904006958},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.24871286749839783},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24477288126945496},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.23004090785980225},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.10798421502113342}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:irdb.nii.ac.jp:00931:0000189535","doi":null,"is_oa":true,"landing_page_url":"https://uec.repo.nii.ac.jp/records/1505","pdf_url":"https://uec.repo.nii.ac.jp/record/1505/files/9094000285.pdf","source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},{"id":"pmh:oai:irdb.nii.ac.jp:00931:0000189076","doi":null,"is_oa":true,"landing_page_url":"https://uec.repo.nii.ac.jp/records/1046","pdf_url":null,"source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:2345589201","doi":null,"is_oa":false,"landing_page_url":"http://ci.nii.ac.jp/naid/500000547445","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:irdb.nii.ac.jp:00931:0000189535","doi":null,"is_oa":true,"landing_page_url":"https://uec.repo.nii.ac.jp/records/1505","pdf_url":"https://uec.repo.nii.ac.jp/record/1505/files/9094000285.pdf","source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2345589201.pdf"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W140384553","https://openalex.org/W1535681052","https://openalex.org/W1546585099","https://openalex.org/W1655990431","https://openalex.org/W1658016212","https://openalex.org/W1910567995","https://openalex.org/W1970570995","https://openalex.org/W1992268654","https://openalex.org/W1994584977","https://openalex.org/W2002089154","https://openalex.org/W2004463571","https://openalex.org/W2007696147","https://openalex.org/W2040870580","https://openalex.org/W2088432971","https://openalex.org/W2114575161","https://openalex.org/W2565361214","https://openalex.org/W2572673114"],"related_works":["https://openalex.org/W131833092","https://openalex.org/W7096473565","https://openalex.org/W2585628117","https://openalex.org/W1992268654","https://openalex.org/W3215186800","https://openalex.org/W4253689016","https://openalex.org/W4296599978","https://openalex.org/W1999573492","https://openalex.org/W2742283126","https://openalex.org/W235127245"],"abstract_inverted_index":{"\u672c\u5b66\u4f4d\u8ad6\u6587\u3067\u306f\uff0c\u5b9f\u30d9\u30af\u30c8\u30eb\u7cfb\u5217\u3092\u53d7\u7406\u3059\u308b\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u72b6\u614b\u6570\u6700\u5c0f\u5316\u7406\u8ad6\uff0c\u304a\u3088\u3073\u6700\u5c0f\u5316\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306b\u3064\u3044\u3066\u8ad6\u305a\u308b\uff0e\u307e\u305a\uff0c\u7814\u7a76\u306e\u80cc\u666f\u306b\u3064\u3044\u3066\u8aac\u660e\u3059\u308b\uff0e\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306f\uff0c\u8a08\u7b97\u6a5f\u79d1\u5b66\u306b\u304a\u3044\u3066\u6700\u3082\u91cd\u8981\u306a\u8a08\u7b97\u30e2\u30c7\u30eb\u306e\u4e00\u3064\u3067\u3042\u308b\uff0e\u3053\u306e\u30e2\u30c7\u30eb\u306f\uff0c\u5185\u90e8\u306b\u6709\u9650\u500b\u306e\u72b6\u614b\u3092\u6301\u3063\u3066\u304a\u308a\uff0c\u96e2\u6563\u7684\u306a\u5165\u529b\u30c7\u30fc\u30bf(\u6587\u5b57\u5217)":[0],"\u3092\u53d7\u3051\u53d6\u308b\u3068\uff0c\u72b6\u614b\u9077\u79fb\u95a2\u6570\u3092\u5143\u306b\u5185\u90e8\u306e\u72b6\u614b\u3092\u5909\u5316\u3055\u305b\u308b\uff0e\u8a08\u7b97\u6a5f\u79d1\u5b66\u306e\u4e16\u754c\u3067\u306f\uff0c\u591a\u304f\u306e\u6709\u9650\u72b6\u614b\u6a5f\u68b0\u304c\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u3092\u4f7f\u3063\u3066\u8a2d\u8a08\u3055\u308c\u3066\u3044\u308b\uff0e\u307e\u305f\uff0c\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306f\u96fb\u5b50\u30c7\u30d0\u30a4\u30b9\u306e\u5236\u5fa1\u30b7\u30b9\u30c6\u30e0\u306a\u3069\u3078\u306e\u5fdc\u7528\u3082\u306a\u3055\u308c\u3066\u3044\u308b\uff0e\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306f\u307e\u305f\uff0c\u591a\u304f\u306e\u7814\u7a76\u8005\u306b\u3088\u3063\u3066\u69d8\u3005\u306a\u89b3\u70b9\u304b\u3089\u62e1\u5f35\u3055\u308c\u3066\u304d\u305f\uff0e\u305d\u306e\u4e2d\u306b\u306f\uff0c\u5b9f\u6570\u5024\u3092\u53d6\u308a\u6271\u3048\u308b\u3088\u3046\u306b\u62e1\u5f35\u3055\u308c\u305f\u30e2\u30c7\u30eb\u3082\u5b58\u5728\u3059\u308b\uff0e\u5404\u72b6\u614b\u306b\u5fae\u5206\u65b9\u7a0b\u5f0f\u3092\u4ed8\u968f\u3055\u305b\u305f\u300c\u30cf\u30a4\u30d6\u30ea\u30c3\u30c9\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u300d\u3084\uff0c\u6642\u9593\u7d4c\u904e\u306b\u5fdc\u3058\u305f\u52d5\u4f5c\u3092\u884c\u3046\u300c\u6642\u9593\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u300d\u306a\u3069\u304c\u305d\u308c\u3067\u3042\u308b\uff0e\u300c\u5b9f\u6570\u5024\u3092\u6271\u3046\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u300d\u3092\u8003\u3048\u3088\u3046\u3068\u3057\u305f\u3068\u304d\uff0c\u6271\u3046\u5165\u529b\u30c7\u30fc\u30bf\u3092\u300c\u6587\u5b57\u5217\u300d\u304b\u3089\u300c\u5b9f\u30d9\u30af\u30c8\u30eb\u7cfb\u5217\u300d\u306b\u62e1\u5f35\u3059\u308c\u3070\u3088\u3044\uff0c\u3068\u8003\u3048\u308b\u306e\u306f\u81ea\u7136\u3067\u3042\u308b\uff0e\u5b9f\u969b\uff0c\u5404\u72b6\u614b\u306b\u30b5\u30dd\u30fc\u30c8\u30d9\u30af\u30bf\u30fc\u30de\u30b7\u30f3\u3092\u4ed8\u968f\u3055\u305b\uff0c\u5b9f\u30d9\u30af\u30c8\u30eb\u7cfb\u5217\u3092\u53d6\u308a\u6271\u3046\u3088\u3046\u306b\u3057\u305f\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u3092\u52d5\u4f5c\u8a8d\u8b58\u306b\u9069\u7528\u3057\u305f\u7814\u7a76\u3082\u5b58\u5728\u3059\u308b\uff0e\u305f\u3060\u3057\u305d\u306e\u7814\u7a76\u306f\uff0c\u30e2\u30c7\u30eb\u306e\u7406\u8ad6\u7684\u306a\u6027\u8cea\u3092\u8abf\u3079\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u3044\uff0e\u5b9f\u30d9\u30af\u30c8\u30eb\u7cfb\u5217\u3092\u53d7\u7406\u3059\u308b\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306b\u95a2\u3059\u308b\u7406\u8ad6\u7684\u7814\u7a76\u306f\uff0c\u7ba1\u898b\u306e\u7bc4\u56f2\u3067\u306f\u898b\u5f53\u305f\u3089\u306a\u304b\u3063\u305f\uff0e\u8a08\u7b97\u30e2\u30c7\u30eb\u306b\u95a2\u3059\u308b\u7406\u8ad6\u7684\u306a\u7814\u7a76\u306f\uff0c\u305d\u306e\u30e2\u30c7\u30eb\u306e\u6027\u8cea\u3092\u77e5\u308b\u4e0a\u3067\u3082\uff0c\u30e2\u30c7\u30eb\u3092\u5b9f\u554f\u984c\u306b\u5fdc\u7528\u3059\u308b\u4e0a\u3067\u3082\u91cd\u8981\u3067\u3042\u308b\uff0e\u3057\u304b\u3057\u4e00\u4f53\uff0c\u3069\u306e\u3088\u3046\u306a\u7406\u8ad6\u7684\u7814\u7a76\u304c\u8981\u8acb\u3055\u308c\u308b\u306e\u304b\uff0e\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u4e16\u754c\u306b\u304a\u3044\u3066\u306f\uff0c\u3044\u304f\u3064\u304b\u306e\u5b66\u7fd2\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\uff0c\u72b6\u614b\u6570\u6700\u5c0f\u5316\u306e\u7406\u8ad6\u304a\u3088\u3073\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u5229\u7528\u3057\u3066\u69cb\u7bc9\u3055\u308c\u3066\u3044\u308b\uff0e\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u72b6\u614b\u6570\u6700\u5c0f\u5316\u7406\u8ad6\u3068\u306f\uff0c\u4efb\u610f\u306e\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306b\u5bfe\u3057\u3066\uff0c\u305d\u308c\u3068\u53d7\u7406\u80fd\u529b\u304c\u540c\u3058\u3067\uff0c\u304b\u3064\u5927\u304d\u3055(=\u72b6\u614b\u6570)":[1],"\u304c\u6700\u5c0f\u3068\u306a\u308b\u3088\u3046\u306a\u30e2\u30c7\u30eb\u306e\u7279\u5fb4\u4ed8\u3051\u3092\u884c\u3046\u7406\u8ad6\u3067\u3042\u308b\uff0e\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u72b6\u614b\u6570\u6700\u5c0f\u5316\u306f\uff0c\u30e2\u30c7\u30eb\u306e\u6027\u8cea\u306e\u7406\u89e3\u304a\u3088\u3073\u5fdc\u7528\u306e\u89b3\u70b9\u304b\u3089\u91cd\u8981\u306a\u7406\u8ad6\u3067\u3042\u308b\uff0e\u5b9f\u30d9\u30af\u30c8\u30eb\u7cfb\u5217\u3092\u53d7\u7406\u3059\u308b\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306b\u304a\u3044\u3066\u3082\u540c\u69d8\u306b\uff0c\u72b6\u614b\u6570\u6700\u5c0f\u5316\u306e\u7406\u8ad6\u304a\u3088\u3073\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u6253\u3061\u7acb\u3066\u308b\u3053\u3068\u304c\u91cd\u8981\u3067\u3042\u308b\u3068\u8003\u3048\u3089\u308c\u308b\uff0e\u3053\u3046\u3057\u305f\u80cc\u666f\u306e\u3082\u3068\uff0c\u672c\u8ad6\u6587\u3067\u306f\uff0c\u5b9f\u30d9\u30af\u30c8\u30eb\u7cfb\u5217\u3092\u53d7\u7406\u3059\u308b\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u72b6\u614b\u6570\u6700\u5c0f\u5316\u7406\u8ad6\u306e\u69cb\u7bc9\uff0c\u304a\u3088\u3073\u6700\u5c0f\u5316\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u63d0\u6848\u306e\u305d\u308c\u305e\u308c\u3092\u884c\u3046\uff0e\u6211\u3005\u306e\u5c06\u6765\u7684\u306a\u76ee\u6a19\u306f\uff0c\u4eca\u56de\u6211\u3005\u304c\u53d6\u308a\u6271\u3046\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u30e2\u30c7\u30eb\u3092\u8a08\u7b97\u6a5f\u4e0a\u306b\u5b9f\u88c5\u3057\uff0c\u5b9f\u554f\u984c\u306b\u9069\u7528\u3059\u308b\u3053\u3068\u306b\u3042\u308b\uff0e\u3053\u3053\u3067\u7559\u610f\u3059\u3079\u304d\u306f\uff0c\u8a08\u7b97\u6a5f\u306f\u3075\u3064\u3046\u6709\u9650\u306e\u8868\u73fe\u306e\u307f\u3092\u6271\u3046\u306e\u3067\uff0c\u5b9f\u6570\u5024\u3092\u6271\u3046\u554f\u984c\u3082\u8a08\u7b97\u6a5f\u4e0a\u3067\u306f\u6709\u9650\u306e\u8868\u73fe\u306b\u8fd1\u4f3c\u3055\u308c\u308b\u3053\u3068\u3067\u3042\u308b\uff0e\u554f\u984c\u306e\u8868\u73fe\u304c\u6709\u9650\u306a\u3089\u3070\uff0c\u3082\u3068\u3082\u3068\u306e\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306b\u3088\u3063\u3066\u30e2\u30c7\u30eb\u5316\u3067\u304d\u308b\uff0e\u3057\u304b\u3057\u3053\u306e\u3088\u3046\u306a\u30e2\u30c7\u30eb\u5316\u306f\uff0c\u8907\u96d1\u904e\u304e\u3066\u5b9f\u7528\u7684\u3067\u306f\u306a\u3044\uff0e\u305d\u306e\u70b9\uff0c\u6211\u3005\u306e\u6271\u3046\u30e2\u30c7\u30eb\u306f\uff0c\u5b9f\u6570\u5024\u306e\u95a2\u308f\u308b\u554f\u984c\u3092\u30b3\u30f3\u30d1\u30af\u30c8\u306b\uff0c\u304b\u3064\u8fd1\u4f3c\u7684\u306b\u6271\u3046\u3053\u3068\u304c\u53ef\u80fd\u3067\u3042\u308b\uff0e\u672c\u8ad6\u6587\u3067\u53d6\u308a\u6271\u3046\uff0c\u5b9f\u30d9\u30af\u30c8\u30eb\u7cfb\u5217\u3092\u53d7\u7406\u3059\u308b\u6709\u9650\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u3092\u3053\u3053\u3067\u306f\u300c\u7dda\u5f62\u5206\u96e2\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\uff08Linear":[2],"Separation":[3],"Automaton:":[4],"LSA\uff09\u300d\u3068\u547c\u3076\u3053\u3068\u306b\u3059\u308b\uff0eLSA":[5],"\u306e\u5404\u72b6\u614b\u306b\u306f\u91cd\u307f\u3068\u95be\u5024\u7cfb\u5217\u304c\u4ed8\u968f\u3059\u308b\uff0e\u3053\u306e\u4e8c\u3064\u306b\u3088\u3063\u3066\uff0c\u5165\u529b\u306e\u5404\u6642\u70b9\u306b\u304a\u3044\u3066\uff0c\u3042\u308b\u72b6\u614b\u304b\u3089\u306e\u9077\u79fb\u5148\u72b6\u614b\u304c\u6c7a\u5b9a\u3059\u308b\uff0eLSA":[6],"\u306e\u72b6\u614b\u9077\u79fb\u306f\uff0c\u30d1\u30fc\u30bb\u30d7\u30c8\u30ed\u30f3\u306e\u632f\u821e\u3044\u3068\u5bfe\u5fdc\u3059\u308b\uff0e\u672c\u8ad6\u6587\u3067\u306f\u307e\u305a\uff0cLSA":[7],"\u306e\u72b6\u614b\u6570\u6700\u5c0f\u5316\u7406\u8ad6\u3092\u78ba\u7acb\u3059\u308b\uff0e\u6700\u521d\u306b\uff0cLSA\u306b\u95a2\u3059\u308bMyhill-Nerode":[8],"\u306e\u5b9a\u7406\u3092\u8a3c\u660e\u3059\u308b\uff0e":[9],"\u3053\u308c\u306f\uff0cLSA":[10],"\u306e\u53d7\u7406\u8a00\u8a9e\u3092\u7279\u5fb4\u4ed8\u3051\u308b\u5b9a\u7406\u3067\u3042\u308b\uff0e\u305d\u3057\u3066\uff0c\u540c\u5b9a\u7406\u306b\u304a\u3051\u308b\u8b70\u8ad6\u3092\u30d9\u30fc\u30b9\u3068\u3057\u3066\uff0cLSA":[11],"\u306e\u72b6\u614b\u6570\u6700\u5c0f\u5316\u306e\u7406\u8ad6\u3092\u78ba\u7acb\u3059\u308b\uff0e\u6b21\u306b\uff0cLSA":[12],"\u306e\u6700\u5c0f\u5316\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u63d0\u793a\u3057\uff0c\u305d\u306e\u6b63\u5f53\u6027\u3092\u8a3c\u660e\u3059\u308b\uff0eLSA":[13],"\u306e\u6700\u5c0f\u5316\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\uff0c\u72b6\u614b\u6570\u306e\u6700\u5c0f\u5316\u306e\u90e8\u5206\u3068\uff0c\u95be\u5024\u7cfb\u5217\u306e\u6700\u5c0f\u5316\u306e\u90e8\u5206\u3068\u306b\u5206\u3051\u3089\u308c\u308b\uff0e\u307e\u305a\uff0c\u72b6\u614b\u6570\u306e\u6700\u5c0f\u5316\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u63d0\u793a\u3057\uff0c\u305d\u306e\u6b63\u5f53\u6027\u3092\u8a3c\u660e\u3059\u308b\uff0e\u7d9a\u3044\u3066\uff0c\u72b6\u614b\u6570\u3092\u6700\u5c0f\u5316\u3057\u305f\u30e2\u30c7\u30eb\u306b\u5bfe\u3057\uff0c\u5404\u72b6\u614b\u306e\u95be\u5024\u7cfb\u5217\u306e\u7121\u99c4\u3092\u7701\u3044\u3066\u6700\u5c0f\u5316\u3059\u308b\u624b\u7d9a\u304d\u3092\u63d0\u793a\u3059\u308b\uff0e\u307e\u305f\uff0c\u6700\u5c0f\u5316\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u6642\u9593\u8a08\u7b97\u91cf\u3082\u540c\u6642\u306b\u793a\u3059\uff0e\u6700\u5f8c\u306b\uff0c\u672c\u8ad6\u6587\u306e\u307e\u3068\u3081\u3068\u4eca\u5f8c\u306e\u8ab2\u984c\u3092\u63d0\u793a\u3059\u308b\uff0eIn":[14],"this":[15],"thesis,":[16],"we":[17,46,77,103,120,155],"consider":[18,121],"the":[19,30,43,48,57,66,86,99,125,146,160,172,175],"numerical":[20],"simulation":[21,188],"of":[22,68,158,174,186],"electromagnetic":[23,176],"waveradiation":[24],"and":[25,64,92,109,113,127],"propagation":[26],"problem":[27,63],"based":[28],"on":[29,74],"FDTD":[31,44,137],"method.":[32,138],"In":[33],"order":[34],"to":[35,123],"treat":[36],"aproblem":[37],"in":[38,53,85,98,131,163],"an":[39,149,164,180],"unbounded":[40],"region":[41,87],"by":[42,51,117,136],"method,":[45],"adopt":[47],"PML":[49,100],"techniqueproposed":[50],"Berenger":[52],"1994.":[54],"We":[55,139],"show":[56,128],"exact":[58],"solution":[59],"for":[60,171],"one":[61],"dimensionalcontinuous":[62],"investigate":[65],"mechanism":[67],"artificial":[69],"reflection":[70,84],"caused":[71],"bydiscretization.":[72],"Based":[73],"these":[75],"considerations,":[76],"propose":[78,141],"a":[79,105,142],"new":[80,106,143],"scheme":[81],"with":[82],"lowerartificial":[83],"whose":[88],"conductivity":[89,97],"is":[90,167,189],"constant,":[91],"find":[93],"optimalfunction":[94],"who":[95],"give":[96],"region.":[101,153],"And":[102],"extend":[104],"schemeto":[107],"two-":[108],"three-":[110],"dimensional":[111],"problems":[112],"verify":[114],"its":[115],"validity":[116],"some":[118,129],"numericalexamples.Next,":[119],"how":[122],"model":[124],"antenna":[126,135,147,165,187],"difficulties":[130],"treatinga":[132],"circular":[133],"shaped":[134],"then":[140],"method":[144,170],"formodeling":[145],"as":[148],"electrically":[150],"highly":[151],"conductive":[152],"Also,":[154],"considerthe":[156],"way":[157],"calculating":[159],"electric":[161],"current":[162],"which":[166],"important":[168],"inother":[169],"analysis":[173],"wave":[177],"emitted":[178],"from":[179],"antenna.We":[181],"conclude":[182],"that":[183],"our":[184],"proposal":[185],"effective":[190],"through":[191],"severalnumerical":[192],"simulations.":[193]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}