Partial order reductionとは 意味・読み方・使い方

PARTIAL ORDER REDUCTION USING GUARDED INDEPENDENCE RELATION例文帳に追加

保護された独立関係を用いた部分的命令低減 - 特許庁

Partial order reduction is performed using the guarded independence relation to permit automatic pruning of redundant thread interleavings when the guarded independence condition holds.例文帳に追加

部分的命令低減は、保護された独立状態が続くとき、冗長なスレッドインターリービングを自動的に取り除くことを許すために、保護された独立関係を用いて行なわれる。 - 特許庁

A system and method for conducting symbolic partial order reduction for concurrent systems includes determining a guarded independence relation which includes transitions from different threads that are independent for a set of states, when a condition or predicate holds.例文帳に追加

コンカレントシステムのための、記号的部分的命令低減を行うシステムおよび方法は、条件または述語が当てはまるとき、一群の条件について独立である異なったスレッドからの遷移を含む、保護された独立関係を求めることを含む。 - 特許庁

To provide a fuel cell generation apparatus and its method which can re-reduce a catalyst without stopping operation of the fuel cell generation apparatus, in order to improve the reduction of performance of improvement quality together with oxidization of catalyst occurred compulsorily in accordance with fuel battery generation apparatus including quality improvement unit of partial oxidization reforming method.例文帳に追加

部分酸化改質方式の改質器を備えた燃料電池発電装置において、やむなく生じる触媒の酸化に伴う改質性能の低下を改善するために、燃料電池発電装置の運転を中断することなく酸化された触媒を再還元することが可能な燃料電池発電装置およびその方法を提供する。 - 特許庁

Article 12 (1) With regard to a notification made to prefectural governors prior to the enforcement of a Municipal Ordinance on Green Space-Area Ratios, etc., under Article 6, paragraph (1), Article 7, paragraph (1), or Article 8, paragraph (1) of the Factory Location Act, or Article 3, paragraph (1) of the Supplementary Provisions of the Act for Partial Revision of the Act on Investigation of Factory Location, etc., for which any disposition of a recommendation, an order to change matters related to a recommendation, or reduction of a period to restrict implementation has not been rendered as on the date of the enforcement of a Municipal Ordinance on Green Space-Area Ratios, etc., the provisions then in force shall remain applicable to such recommendation, order to change matters related to a recommendation, or reduction of a period to restrict implementation.発音を聞く 例文帳に追加

第十二条　緑地面積率等条例の施行前に都道府県知事にされた工場立地法第六条第一項、第七条第一項若しくは第八条第一項又は工場立地の調査等に関する法律の一部を改正する法律附則第三条第一項の規定による届出であって緑地面積率等条例の施行の日において勧告、勧告に係る事項を変更すべき旨の命令又は実施の制限の期間の短縮の処理がされていないものについての勧告、勧告に係る事項を変更すべき旨の命令又は実施の制限の期間の短縮については、なお従前の例による。 - 日本法令外国語訳データベースシステム

(3) Where a Municipal Ordinance on Green Space-Area Ratios, etc. has been repealed or has become invalid, an agreed zone for intensively promoting the establishment of new business facilities has been abolished, or a Municipal Ordinance that establishes transitional measures as prescribed in paragraph (1) of the preceding Article (hereinafter referred to as the "Municipal Ordinance on Transitional Measures" in this paragraph) has been repealed or has become invalid, and as a result, a specified factory has ceased to be subject to the rules established by said Municipal Ordinance on Green Space-Area Ratios, etc. (when a Municipal Ordinance on Transitional Measures has been established, said Municipal Ordinance on Transitional Measures), with regard to such specified factory, a notification which was made, under Article 6, paragraph (1), Article 7, paragraph (1), or Article 8, paragraph (1) of the Factory Location Act, or Article 3, paragraph (1) of the Supplementary Provisions of the Act for Partial Revision of the Act on Investigation of Factory Location, etc., to the head of a municipality who is specified to carry out affairs pertaining to the agreed zone for intensively promoting the establishment of new business facilities related to said Municipal Ordinance on Green Space-Area Ratios, etc. or affairs pertaining to a specified factory set forth in paragraph (1) of the preceding Article related to said Municipal Ordinance on Transitional Measures (excluding the head of a designated city set forth in Article 252-19, paragraph (1) of the Local Autonomy Act), prior to the date of repeal or invalidity of said Municipal Ordinance on Green Space-Area Ratios, etc., the date of the abolition of said agreed zone for intensively promoting the establishment of new business facilities, and the date of repeal or invalidity of said Municipal Ordinance on Transitional Measures, respectively, shall be deemed to have been made to the prefectural governor pertaining to the agreed zone for intensively promoting the establishment of new business facilities related to said Municipal Ordinance on Green Space-Area Ratios, etc., after the respective date of repeal, abolition, or invalidity (hereinafter referred to as the "specified date" in this Article); provided, however, that with regard to said notification, for which any disposition of a recommendation, an order to change matters related to a recommendation, or reduction of a period to restrict implementation has not been rendered as on the specified date, the provisions then in force shall remain applicable to such recommendation, order to change matters related to a recommendation, or reduction of a period to restrict implementation.発音を聞く 例文帳に追加

３　緑地面積率等条例の廃止若しくは失効、同意企業立地重点促進区域の廃止又は前条第一項の規定により経過措置を定める条例（以下この項において「経過措置条例」という。）の廃止若しくは失効により、当該緑地面積率等条例（経過措置条例が定められている場合にあっては、当該経過措置条例）で定めた準則の適用を受けないこととなった特定工場について、それぞれ当該緑地面積率等条例の廃止若しくは失効の日、当該同意企業立地重点促進区域の廃止の日又は当該経過措置条例の廃止若しくは失効の日前に当該緑地面積率等条例に係る同意企業立地重点促進区域に係る事務又は当該経過措置条例に係る同条第一項の特定工場に係る事務を行うものとされた市町村の長（地方自治法第二百五十二条の十九第一項の指定都市の長を除く。）にされた工場立地法第六条第一項、第七条第一項若しくは第八条第一項又は工場立地の調査等に関する法律の一部を改正する法律附則第三条第一項の規定による届出は、それぞれの廃止又は失効の日（以下この条において「特定日」という。）以後においては、当該緑地面積率等条例に係る同意企業立地重点促進区域に係る都道府県の知事にされたものとみなす。ただし、当該届出であって特定日において勧告、勧告に係る事項を変更すべき旨の命令又は実施の制限の期間の短縮の処理がされていないものについての勧告、勧告に係る事項を変更すべき旨の命令又は実施の制限の期間の短縮については、なお従前の例による。 - 日本法令外国語訳データベースシステム