前置條件

代。唯有重視前置條件，中國(guó)政治學(xué)的概念建構(gòu)才能從無(wú)意識(shí)走向有意識(shí)和自主性，使建構(gòu)程序更為規(guī)范與科學(xué)，可以更理智地理解引發(fā)概念爭(zhēng)議的深刻根源。那么，中國(guó)政治學(xué)概念建構(gòu)的前置條件是什么？本文認(rèn)為，概念建構(gòu)具有兩個(gè)前置條件，即情境性條件與價(jià)值預(yù)設(shè)性條件。以此為基礎(chǔ)，“中國(guó)式現(xiàn)代化”作為一個(gè)復(fù)合命題，包含了中國(guó)政治學(xué)概念建構(gòu)的兩個(gè)前置條件。合理理解中國(guó)政治學(xué)概念建構(gòu)的前置條件，并不能避免或減少概念研究可能出現(xiàn)的爭(zhēng)議，但能更理智地看待概念分歧與爭(zhēng)議的緣由。概念建構(gòu)的

式化規(guī)約(如前置條件、后置條件和循環(huán)不變式)，然后利用自動(dòng)驗(yàn)證工具或交互式定理證明器驗(yàn)證給定程序是否滿足所撰寫的形式化規(guī)約[4-5]。為了提高驗(yàn)證效率、簡(jiǎn)化驗(yàn)證難度，出現(xiàn)了Z3[6]、Danfy[7]和Why3[8]等自動(dòng)化驗(yàn)證工具。運(yùn)用這類自動(dòng)化驗(yàn)證工具對(duì)代碼量較少的程序進(jìn)行驗(yàn)證，無(wú)須驗(yàn)證者撰寫大量證明腳本，僅須按照自動(dòng)化驗(yàn)證工具的規(guī)范撰寫待驗(yàn)證程序的形式化規(guī)約，即可快速得到程序是否正確的驗(yàn)證結(jié)果。然而，為程序提供合適的形式化規(guī)約，尤其是循環(huán)不變式，需要

些風(fēng)險(xiǎn)。順控前置條件是在執(zhí)行順控遙控命令前的一系列邏輯閉鎖或特定狀態(tài)檢測(cè)的一種有效手段，實(shí)現(xiàn)遙控防誤閉鎖[2]的功能。結(jié)合中綴表達(dá)式的應(yīng)用，在執(zhí)行遙控命令前，判斷是否存在閉鎖條件或閉鎖條件是否滿足[3]，可提高順控執(zhí)行的安全性，同時(shí)各前置條件的結(jié)果會(huì)直觀在界面上顯示，操作員能根據(jù)顯示結(jié)果盡量排查原因，減少人工故障檢測(cè)時(shí)間。下面針對(duì)基于中綴表達(dá)式的前置條件設(shè)計(jì)實(shí)現(xiàn)進(jìn)行介紹。1 設(shè)計(jì)與實(shí)現(xiàn)順控是一系列遙控對(duì)象的集合，即順控卡片，是電氣操作票的倒閘過程[4]，用

員設(shè)置了起訴前置條件。一、業(yè)主欠費(fèi)時(shí)物業(yè)服務(wù)人員救濟(jì)途徑的法律規(guī)范演變《民法典》施行前，《物業(yè)管理?xiàng)l例》（以下簡(jiǎn)稱《條例》）及《最高人民法院關(guān)于審理物業(yè)服務(wù)糾紛案件具體應(yīng)用法律若干問題的解釋》（以下簡(jiǎn)稱《解釋》）均已對(duì)物業(yè)服務(wù)人員的相關(guān)救濟(jì)途徑進(jìn)行了規(guī)定，《民法典》在參考相關(guān)條文的基礎(chǔ)上，作出了新的規(guī)定。（一）《條例》第六十四條①國(guó)務(wù)院《物業(yè)管理?xiàng)l例》（2018年3月19日修正版）第六十四條：違反物業(yè)服務(wù)合同約定，業(yè)主逾期不交納物業(yè)服務(wù)費(fèi)用的，業(yè)主委員會(huì)應(yīng)

或申請(qǐng)學(xué)位的前置條件。消息一出，輿論炸鍋，碩士研究生們紛紛表示“清華回應(yīng)了學(xué)子們的焦慮”，并希望自己的學(xué)校好好學(xué)一學(xué)。實(shí)際上，清華的這次修訂從2017年開始，歷經(jīng)了4年的努力，但的確客觀上回應(yīng)了當(dāng)下碩士研究生的焦慮情緒，也從側(cè)面說(shuō)明，清華至少在4年前就看到了目前在碩士研究生領(lǐng)域內(nèi)泛濫的“卡論文”現(xiàn)象。《光明日?qǐng)?bào)》：清華大學(xué)的規(guī)定無(wú)疑是根據(jù)本校碩士研究生培養(yǎng)現(xiàn)狀做出的決定，但對(duì)其他大學(xué)也不無(wú)啟發(fā)。實(shí)際上，就目前國(guó)內(nèi)整體的碩士研究生培養(yǎng)狀況而言，廢除碩士研究生

請(qǐng)碩士學(xué)位的前置條件。清華大學(xué)的規(guī)定，無(wú)疑是根據(jù)本校碩士研究生培養(yǎng)現(xiàn)狀作出的決定，但對(duì)其他大學(xué)以及整個(gè)碩士研究生相關(guān)狀況的判斷也不無(wú)啟發(fā)。稍早幾年，中國(guó)人民大學(xué)、北京師范大學(xué)、外交學(xué)院、中國(guó)農(nóng)業(yè)大學(xué)、中央財(cái)經(jīng)大學(xué)、北京語(yǔ)言大學(xué)、華中科技大學(xué)等7所大學(xué)已經(jīng)取消了碩士研究生申請(qǐng)學(xué)位或畢業(yè)必須發(fā)表論文的硬性指標(biāo)，率先打破了這個(gè)已不合時(shí)宜的規(guī)定。在普通高等教育愈益普及化的當(dāng)下，碩士研究生的學(xué)習(xí)越來(lái)越具有學(xué)科專業(yè)高級(jí)訓(xùn)練的性質(zhì)。在恢復(fù)高考頭一二十年里，高層次高等級(jí)人

新操作；2)前置條件：表示執(zhí)行該更新操作所需要預(yù)先執(zhí)行的前置更新操作的組合，以邏輯布爾表達(dá)式呈現(xiàn)，更新操作之間采用邏輯關(guān)系式進(jìn)行連接，只有前置條件滿足之后才可執(zhí)行該操作。3)后置操作：表示依賴于該更新操作執(zhí)行的一系列更新操作的集合?？刂破鞲鶕?jù)從數(shù)據(jù)平面收集到的網(wǎng)絡(luò)狀態(tài)信息為網(wǎng)絡(luò)更新中的每一個(gè)更新操作計(jì)算出一個(gè)對(duì)應(yīng)該操作的更新消息。控制器計(jì)算完更新消息后，同時(shí)下發(fā)所有的更新消息到對(duì)應(yīng)的網(wǎng)絡(luò)節(jié)點(diǎn)。節(jié)點(diǎn)接收到更新消息后按照以下規(guī)則進(jìn)行執(zhí)行。對(duì)于一個(gè)收到更新消息的

當(dāng)不變式以及前置條件和后置條件均看成橫切關(guān)注點(diǎn)，AOP就可以很容易地完成它們與其他功能模塊之間的相互分離，使得開發(fā)人員可以在獨(dú)立的編織器模塊中實(shí)現(xiàn)和編寫這些模塊的功能，并以較為靈活的方式調(diào)用它們［5］。AOP的這些特性正好可以彌補(bǔ)合同編程的缺陷，所以，在面向?qū)ο笤O(shè)計(jì)中使用AOP技術(shù)來(lái)支持合同設(shè)計(jì)是一個(gè)增強(qiáng)軟件系統(tǒng)可靠性的新方法［6-7］。但是，作為一種形式化的方法，基于AOP的契約很難執(zhí)行。此外，若用手動(dòng)方法將基于AOP的契約轉(zhuǎn)換為可執(zhí)行程序會(huì)導(dǎo)致性能下降

可通過組件的前置條件、后置條件及不變式予以限定[5]。調(diào)用方按照前置條件生成合法輸入。執(zhí)行方依照后置條件保證輸出數(shù)據(jù)符合預(yù)期要求。不變式是系統(tǒng)生命周期中應(yīng)始終滿足的條件。這些前置條件、后置條件及不變式與組件合約存在對(duì)應(yīng)關(guān)系。組件合約即為反應(yīng)組件正確執(zhí)行時(shí)輸入信號(hào)、輸出信號(hào)及參數(shù)接口的邏輯關(guān)系。邏輯關(guān)系采用的是命題邏輯公式進(jìn)行描述。根據(jù)軟件系統(tǒng)模型生成組件合約，通過對(duì)命題邏輯公式的求解，從而得到正確的輸入樣例和期望輸出值，即測(cè)試用例。根據(jù)測(cè)試用例驗(yàn)證源代碼生

中，通過設(shè)置前置條件，在滿足前置條件的基礎(chǔ)上依據(jù)判斷條件篩選異常數(shù)據(jù)。前置條件的關(guān)系包含兩種：第一種是且關(guān)系，每組關(guān)系必須滿足全部成立的條件下，進(jìn)行下一步判斷或者分析是否異常；第二種是或關(guān)系，每組關(guān)系中，有一種滿足，即可進(jìn)入下一步判斷或者分析異常。判斷范圍類型的時(shí)候，必須輸入值1和值2，如果范圍類型為內(nèi)，則表示數(shù)據(jù)在值1和值2之間（數(shù)值大于值1且小于值2），如果為外，則表示在值1和值2之外（數(shù)值小于值1或者數(shù)值大于值2）。如果功率突然上升，且持續(xù)，電流下降

項(xiàng)極其重要的前置條件。如果連這項(xiàng)前置條件都缺失走樣，又何談?wù){(diào)研成果的真實(shí)性和有效性？對(duì)此，習(xí)近平總書記在“不忘初心、牢記使命”主題教育工作會(huì)議上特別強(qiáng)調(diào)，“調(diào)查研究要注重實(shí)效，使調(diào)研的過程成為加深對(duì)黨的創(chuàng)新理論領(lǐng)悟的過程，成為保持同人民群眾血肉聯(lián)系的過程，成為推動(dòng)事業(yè)發(fā)展的過程?！眴栒诿穹街檬?，問需于民方知冷暖，問計(jì)于民方知虛實(shí)。切實(shí)轉(zhuǎn)變調(diào)研作風(fēng)，深入基層、深入群眾、深入實(shí)際，聽真話、察實(shí)情、辦實(shí)事，從而把準(zhǔn)社會(huì)脈搏、摸清社情民意，在思考辨析中把握事物

服務(wù)S中若干前置條件和后置條件組成的約束系統(tǒng).前置條件定義了服務(wù)輸入應(yīng)滿足的約束，用于生成Web服務(wù)的測(cè)試數(shù)據(jù)，后置條件則定義了服務(wù)輸出應(yīng)滿足的約束，用于檢查測(cè)試數(shù)據(jù)的執(zhí)行結(jié)果.圖1 WSDL文檔示例 Fig.1 An example WSDL document2.3 基于 SMT 約束求解器的測(cè)試數(shù)據(jù)生成為了表達(dá)Web服務(wù)中輸入和輸出參數(shù)之間的關(guān)聯(lián)關(guān)系，本文擬采用一階邏輯公式定義約束，并基于SMT(Satisfiability Modulo Theori

;智能政府;前置條件中圖分類號(hào)：C93? ? ?文獻(xiàn)標(biāo)志碼：A? ? 文章編號(hào)：1009-3605（2019）05-0005-08迄今為止，有關(guān)運(yùn)用人工智能技術(shù)的事例有很多，一些運(yùn)用涉及到智能政府建設(shè)，比如新聞媒體、國(guó)家醫(yī)學(xué)考試、地震通告和權(quán)威發(fā)布、版權(quán)監(jiān)管等等。由于在社會(huì)進(jìn)步中，政府管理居于最重要的地位，加上人工智能技術(shù)日新月異迅猛發(fā)展，適時(shí)提出和闡釋人工智能技術(shù)背景下的智能政府建設(shè)及其前置條件，顯得尤為必要。一、人工智能技術(shù)概述人工智能（artific

除方法。利用前置條件計(jì)算已探索路徑的路徑條件，在測(cè)試用例生成時(shí)針對(duì)程序共享的路徑后綴使用后置條件進(jìn)行識(shí)別，若當(dāng)前的路徑條件合并到后置條件，則此執(zhí)行路徑的其余部分將跳過，在保證覆蓋有效的測(cè)試用例的情況下，通過冗余路徑的刪除，減少程序的執(zhí)行時(shí)間，從而達(dá)到減輕符號(hào)執(zhí)行的路徑爆炸問題的目的。2 相關(guān)理論依據(jù)2.1 符號(hào)執(zhí)行符號(hào)執(zhí)行的核心思想是將程序輸入符號(hào)化，利用符號(hào)值來(lái)代替具體值，對(duì)程序進(jìn)行靜態(tài)分析，獲取代碼中的控制流圖，在控制流圖的基礎(chǔ)上生成符號(hào)執(zhí)行樹，為程序

少保留事項(xiàng)的前置條件。下放審批權(quán)限，按照方便企業(yè)和群眾辦事的原則，對(duì)下級(jí)機(jī)關(guān)有能力承接的審批事項(xiàng)，下放或委托下級(jí)機(jī)關(guān)審批。合并審批事項(xiàng)，對(duì)由同一部門實(shí)施的管理內(nèi)容相近或者屬于同一辦理階段的多個(gè)審批事項(xiàng)，整合為一個(gè)審批事項(xiàng)。轉(zhuǎn)變管理方式，對(duì)能夠用征求相關(guān)部門意見方式替代的審批事項(xiàng)，調(diào)整為政府內(nèi)部協(xié)作事項(xiàng)。調(diào)整審批時(shí)序，地震安全性評(píng)價(jià)在工程設(shè)計(jì)前完成即可，環(huán)境影響評(píng)價(jià)、節(jié)能評(píng)價(jià)等評(píng)估評(píng)價(jià)和取水許可等事項(xiàng)在開工前完成即可；可以將用地預(yù)審意見作為使用土地證明文件申

項(xiàng)極其重要的前置條件。如果連這項(xiàng)前置條件都缺失走樣，又何談?wù){(diào)研成果的真實(shí)性和有效性？對(duì)此，習(xí)近平總書記在“不忘初心、牢記使命”主題教育工作會(huì)議上特別強(qiáng)調(diào)，“調(diào)查研究要注重實(shí)效，使調(diào)研的過程成為加深對(duì)黨的創(chuàng)新理論領(lǐng)悟的過程，成為保持同人民群眾血肉聯(lián)系的過程，成為推動(dòng)事業(yè)發(fā)展的過程?！眴栒诿穹街檬?，問需于民方知冷暖，問計(jì)于民方知虛實(shí)。切實(shí)轉(zhuǎn)變調(diào)研作風(fēng)，深入基層、深入群眾、深入實(shí)際，聽真話、察實(shí)情、辦實(shí)事，從而把準(zhǔn)社會(huì)脈搏、摸清社情民意，在思考辨析中把握事物

行政審批事項(xiàng)前置條件“理而不清、法理不足”等現(xiàn)象愈發(fā)明顯，成為改革推進(jìn)的“中梗阻”。針對(duì)這一情況，浙江省寧波市寧?？h積極探索建立審批裁決工作機(jī)制，創(chuàng)設(shè)獨(dú)立于相關(guān)部門的“審批法庭”，以“法治思維＋頂層設(shè)計(jì)”為理念，向?qū)徟搭^“動(dòng)刀”，對(duì)行政部門審批事項(xiàng)的前置條件按法律法規(guī)進(jìn)行審查“瘦身”。“審批法庭”先通過庭審對(duì)每一件行政權(quán)力和公共服務(wù)事項(xiàng)全面審查，再按照行政審批法定化、規(guī)范化、標(biāo)準(zhǔn)化的要求，作出裁決后，交由相關(guān)部門執(zhí)行。這是“審批法庭”的“串珠成鏈”工作法

自動(dòng)投案屬于前置條件。因此，在司法實(shí)踐中準(zhǔn)確審查和認(rèn)定“自動(dòng)投案”具有重要的實(shí)踐指導(dǎo)意義，認(rèn)定“自動(dòng)投案”，應(yīng)當(dāng)遵循主客觀相統(tǒng)一的原則，并結(jié)合法律及相關(guān)司法解釋予以準(zhǔn)確適用。關(guān)鍵詞 “自動(dòng)投案” 前置條件 司法適用作者簡(jiǎn)介：李超，天津市西青區(qū)人民檢察院公訴部檢察官助理。中圖分類號(hào)：D926 文獻(xiàn)標(biāo)識(shí)碼：A DOI：10.19387/j.cnki.1009-0592.2018.10.343《刑法》第六十七條規(guī)定了自首情節(jié)的法律適用問題，相應(yīng)的《關(guān)于處理自首和

行政審批事項(xiàng)前置條件“理而不清、法理不足”等現(xiàn)象成為“中梗阻”。針對(duì)這一情況，寧?？h探索以“審批法庭”對(duì)審批源頭“動(dòng)刀”，取得明顯成效。2018年3月22日下午3時(shí)20分，窗外的小雨漸停，陳杰的情緒也逐漸平靜下來(lái)。就在50分鐘前，寧?？h住建局作為“被告”參加了該縣“審批法庭”組建以來(lái)的第八次“庭審”，作為該局建筑業(yè)管理科科長(zhǎng)的陳杰“出庭應(yīng)訴”。一番“唇槍舌劍”的辯論后，“庭長(zhǎng)”葛仁元宣布了裁決結(jié)果。不出陳杰所料，在建筑工程施工許可證的審批中，多個(gè)“于法無(wú)據(jù)

A，以及它的前置條件P，我們希望能夠通過學(xué)習(xí)A的特征從而預(yù)測(cè)當(dāng)P成立時(shí)，運(yùn)行A得到的結(jié)果，即程序A的后置條件Q。一般地，我們將P和Q表示成一個(gè)實(shí)值向量，該向量包含了程序在某個(gè)特定時(shí)刻的狀態(tài)（即程序中變量的值），這里的（P,A,Q）被稱為霍爾三元組。我們提出以霍爾三元組集合作為深度網(wǎng)絡(luò)的輸入來(lái)學(xué)習(xí)程序的特征，采用的主要方法是同時(shí)找到程序的狀態(tài)和程序在特征空間的對(duì)應(yīng)的點(diǎn)，在這個(gè)空間上，程序可以視作是程序的前置條件到后置條件的一個(gè)線性映射。更具體地說(shuō)，給定一個(gè)三

須申請(qǐng)，沒有前置條件，也不影響交易”，并強(qiáng)調(diào)國(guó)務(wù)院已經(jīng)責(zé)成相關(guān)部門就不動(dòng)產(chǎn)保護(hù)相關(guān)法律抓緊研究，提出議案。點(diǎn)評(píng)：對(duì)于“70年宅地使用權(quán)”的說(shuō)法，民間一直焦慮不止，因?yàn)檫@涉及到每個(gè)家庭的具體利益，如果沒有法律保障，沒有政策支撐，誰(shuí)都擔(dān)心70年宅地使用期限一到，“家”會(huì)不保，自己沒地方住，子孫后代沒地方住?？偫泶舜位貞?yīng)增強(qiáng)了公眾恒心。一是總理既提到“有恒產(chǎn)者有恒心”，又提到用法律來(lái)保障，釋放出“用法律來(lái)保障‘有恒產(chǎn)者有恒心”這一信號(hào)。從總理表態(tài)來(lái)看，有可能用法

數(shù)集var在前置條件集condition下可執(zhí)行action。另外，每個(gè)Event-B模型都需要一個(gè)初始化事件(INITIALIZATION)用來(lái)指定模型的初始狀態(tài)。ProB[30]是一個(gè)很常用的模型檢測(cè)工具，可集成在Rodin上，可使用LTL作為輸入進(jìn)行驗(yàn)證。ProB支持模型的自動(dòng)一致性檢測(cè)，具體主要包括死鎖和不變式違反的檢測(cè)，而ProB無(wú)法檢測(cè)模型間那些潛在的反映系統(tǒng)行為方面屬性的一致性，所以提出使用系統(tǒng)行為屬性的方法來(lái)達(dá)到模型間行為方面的一致性檢測(cè)的

；誤報(bào)消除；前置條件1 引言隨著近幾年互聯(lián)網(wǎng)業(yè)務(wù)的發(fā)展，軟件自動(dòng)化測(cè)試技術(shù)越來(lái)越受到關(guān)注，在回歸與迭代測(cè)試中廣泛應(yīng)用。特別是自動(dòng)化測(cè)試框架的更完整應(yīng)用使自動(dòng)化測(cè)試平臺(tái)可以應(yīng)用更多其他的測(cè)試技術(shù)讓自動(dòng)化測(cè)試入門更簡(jiǎn)單，操作更方便，結(jié)果查看更清晰。2 當(dāng)前自動(dòng)化測(cè)試的困局自動(dòng)化測(cè)試平臺(tái)的大力推廣，大大提高了軟件測(cè)試工作的效率，尤其在回歸測(cè)試中，把一些重復(fù)的、機(jī)械的測(cè)試任務(wù)交給計(jì)算機(jī)去做，很大程度上減輕了測(cè)試人員的壓力，并通過增加測(cè)試覆蓋率等方式一定程度上提高了

牌出讓、設(shè)立前置條件到低價(jià)中標(biāo)，一路備受公眾質(zhì)疑，遭到當(dāng)?shù)胤康禺a(chǎn)業(yè)界的詬病。據(jù)義烏當(dāng)房地產(chǎn)人士介紹，A地塊地處繁華地段，市場(chǎng)估值約25億元，卻被10億元低價(jià)掛牌，中標(biāo)價(jià)為10.09億元，樓面均價(jià)每平米僅為3178元，與A地塊附近住宅均價(jià)約每平米20000元，商業(yè)均價(jià)超過每平米40000元的價(jià)格相去甚遠(yuǎn)。這種涉嫌“低價(jià)定向出讓”的行為，嚴(yán)重?cái)_亂了當(dāng)?shù)厥袌?chǎng)秩序、影響市場(chǎng)公平，在當(dāng)?shù)匾饛?qiáng)烈反響。3月31日，《中國(guó)經(jīng)濟(jì)信息》記者來(lái)到浙江省義烏市，就社會(huì)公眾普遍關(guān)

型設(shè)備的必要前置條件，凡是法律法規(guī)沒有明文禁止的領(lǐng)域，只要符合準(zhǔn)入條件，都要向社會(huì)力量放開?！锻ㄖ访鞔_，落實(shí)社會(huì)辦醫(yī)療機(jī)構(gòu)各項(xiàng)稅收政策。對(duì)社會(huì)辦醫(yī)療機(jī)構(gòu)提供的醫(yī)療服務(wù)，免征營(yíng)業(yè)稅；對(duì)符合規(guī)定的社會(huì)辦非營(yíng)利性醫(yī)療機(jī)構(gòu)自用的房產(chǎn)、土地，免征房產(chǎn)稅、城鎮(zhèn)土地使用稅；對(duì)符合規(guī)定的社會(huì)辦營(yíng)利性醫(yī)療機(jī)構(gòu)自用的房產(chǎn)、土地，自其取得執(zhí)業(yè)登記之日起，三年內(nèi)免征房產(chǎn)稅、城鎮(zhèn)土地使用稅。（消息來(lái)源：《黑龍江日?qǐng)?bào)》；如欲了解詳情，請(qǐng)進(jìn)入本刊微信公眾號(hào)，在對(duì)話欄輸入關(guān)鍵詞“開醫(yī)院

規(guī)清理，實(shí)現(xiàn)前置條件法定，開展部門自查、審批中心核查。部門自查做到“不留縫隙、不留死角”，對(duì)所保留審批事項(xiàng)的前置條件進(jìn)行全面細(xì)致的自查清理，分類核準(zhǔn)匯總后上報(bào)市行政審批中心。市審批中心對(duì)各部門前置條件自查清理結(jié)果逐條、逐項(xiàng)進(jìn)行復(fù)審，對(duì)照與每一個(gè)審批前置條件相對(duì)應(yīng)的法律法規(guī)依據(jù)，做到事事有依據(jù)、條條有來(lái)源。清理部門規(guī)章和各種規(guī)范性文件規(guī)定，減少自由裁量權(quán)，對(duì)各單位依據(jù)部門規(guī)章和規(guī)范性文件設(shè)置的一些模糊要求進(jìn)行明確清理或取消。清理各部門在審批中要求本系統(tǒng)下級(jí)部

動(dòng)物檢疫申報(bào)前置條件調(diào)研任曉玲1，王小軍2，關(guān)婕葳2，雷江紅1 （1.陜西省動(dòng)物衛(wèi)生監(jiān)督所，陜西西安710016；2. 北京市動(dòng)物衛(wèi)生監(jiān)督所，北京100044；3.中國(guó)動(dòng)物疫病預(yù)防控制中心，北京100125）本文以重慶、湖南、山東等省（市）開展的檢疫申報(bào)前置條件的專題調(diào)研內(nèi)容為基礎(chǔ)，結(jié)合北京市和陜西省當(dāng)前檢疫工作的實(shí)際情況，闡述了動(dòng)物檢疫申報(bào)前置條件的內(nèi)涵，介紹了檢疫申報(bào)前置條件是否能夠阻止動(dòng)物疫病傳播、是否具有可操作性和合理性、是否適應(yīng)市場(chǎng)經(jīng)濟(jì)發(fā)展、是否

開征物業(yè)稅的前置條件進(jìn)行了梳理，指出廣西開征物業(yè)稅必須先理清物業(yè)稅與現(xiàn)有稅費(fèi)的關(guān)系和建立滿足開征物業(yè)稅的技術(shù)條件這兩個(gè)核心問題。在此基礎(chǔ)上，通過對(duì)比發(fā)達(dá)國(guó)家或地區(qū)開征物業(yè)稅的實(shí)踐經(jīng)驗(yàn)，為廣西開征物業(yè)稅提供經(jīng)驗(yàn)啟示。最后，從納稅人、納稅對(duì)象及范圍、計(jì)稅依據(jù)、稅率和優(yōu)惠減免等方面構(gòu)建廣西稅收制度，并提出了廣西開征物業(yè)稅的開征時(shí)序問題。關(guān)鍵詞：前置條件 國(guó)際經(jīng)驗(yàn)啟示 制度設(shè)計(jì)中圖分類號(hào)：F810.42 文獻(xiàn)標(biāo)識(shí)碼：A文章編號(hào)：1004-4914（2015）05-

理出生入戶的前置條件”。對(duì)廣東這一做法，網(wǎng)上好評(píng)眾多。但這可能算不上什么了不得的成就。以廣東為例，在這項(xiàng)政策出臺(tái)之前，該省從未要求將計(jì)劃生育作為入戶前置條件。但現(xiàn)實(shí)卻是，“不繳納社會(huì)撫養(yǎng)費(fèi)，給超生兒上戶口的可能性幾乎沒有?！倍科湓?，是“超生罰款”與“新生兒入戶”捆綁一直成為一些地方通行的“土政策”。而“計(jì)生捆綁”所捆綁的也不僅是戶口，還包括了義務(wù)教育、醫(yī)保報(bào)銷、結(jié)婚登記、身份證明等方面。江西贛州尋烏縣甚至一度要求，符合計(jì)生政策的新生兒想上戶口，父母一方

投資項(xiàng)目核準(zhǔn)前置條件的通知》精神。會(huì)議指出，黨中央、國(guó)務(wù)院高度重視行政審批制度改革，著力規(guī)范和改進(jìn)行政審批行為。近日下發(fā)的網(wǎng)上并聯(lián)核準(zhǔn)制度工作方案和一律不得將企業(yè)經(jīng)營(yíng)自主權(quán)事項(xiàng)作為企業(yè)投資項(xiàng)目核準(zhǔn)前置條件的通知，以精簡(jiǎn)前置審批，規(guī)范中介服務(wù)，實(shí)行更加便捷、透明的投資項(xiàng)目核準(zhǔn)制為重點(diǎn)，提出了深化企業(yè)投資項(xiàng)目核準(zhǔn)制度改革的總體目標(biāo)、重點(diǎn)任務(wù)和實(shí)施步驟，取消了三大類18項(xiàng)作為企業(yè)經(jīng)營(yíng)自主權(quán)的企業(yè)投資項(xiàng)目核準(zhǔn)前置條件的事項(xiàng)，對(duì)于轉(zhuǎn)變政府職能，營(yíng)造便利創(chuàng)業(yè)創(chuàng)新的營(yíng)商

投資項(xiàng)目核準(zhǔn)前置條件的通知》兩個(gè)文件有關(guān)情況。國(guó)家發(fā)展改革委秘書長(zhǎng)李樸民、投資司副司長(zhǎng)羅國(guó)三出席新聞發(fā)布會(huì)并介紹相關(guān)情況、回答記者提問。發(fā)布會(huì)首先由李樸民介紹總體情況，李樸民指出，按照國(guó)務(wù)院關(guān)于深化投資審批制度改革的總體部署和要求，發(fā)改委會(huì)同有關(guān)部門研究形成了《精簡(jiǎn)審批事項(xiàng) 規(guī)范中介服務(wù) 實(shí)行企業(yè)投資項(xiàng)目網(wǎng)上并聯(lián)核準(zhǔn)制度的工作方案》。報(bào)請(qǐng)國(guó)務(wù)院批準(zhǔn)后，國(guó)務(wù)院以國(guó)辦發(fā)（2014）59號(hào)文件正式印發(fā)實(shí)施。《工作方案》從改革方案創(chuàng)新制度入手，以精簡(jiǎn)前置審批，規(guī)范

資項(xiàng)目核準(zhǔn)的前置條件。國(guó)家發(fā)改委著力規(guī)范和改進(jìn)行政審批的一系列改革舉措，是政府簡(jiǎn)政放權(quán)、推進(jìn)職能轉(zhuǎn)變的具體表現(xiàn)。會(huì)上，國(guó)家發(fā)改委秘書長(zhǎng)李樸民及投資司副司長(zhǎng)羅國(guó)三對(duì)《精簡(jiǎn)審批事項(xiàng)、規(guī)范中介服務(wù)、實(shí)行企業(yè)投資項(xiàng)目網(wǎng)上并聯(lián)核準(zhǔn)制度的工作方案》（《方案》）以及由國(guó)家發(fā)改委、中央編辦下發(fā)的《關(guān)于一律不得將企業(yè)自主經(jīng)營(yíng)權(quán)事項(xiàng)作為企業(yè)投資項(xiàng)目核準(zhǔn)前置條件的通知》（《通知》）兩個(gè)文件進(jìn)行了解讀。羅國(guó)三稱，《方案》核心可以概括為“項(xiàng)目核準(zhǔn)制度改革”，并且不是個(gè)別企業(yè)投資項(xiàng)目

投資項(xiàng)目核準(zhǔn)前置條件，取消18項(xiàng)企業(yè)投資項(xiàng)目核準(zhǔn)前置條件。兩部門指出，企業(yè)投資項(xiàng)目，除關(guān)系國(guó)家安全和生態(tài)安全、涉及全國(guó)重大生產(chǎn)力布局、戰(zhàn)略性資源開發(fā)和重大公共利益等項(xiàng)目外，一律由企業(yè)依法依規(guī)自主決策。同時(shí)，企業(yè)投資建設(shè)實(shí)行核準(zhǔn)制的項(xiàng)目，政府僅從維護(hù)經(jīng)濟(jì)安全、合理開發(fā)利用資源、保護(hù)生態(tài)環(huán)境、優(yōu)化重大布局、保障公共利益、防止出現(xiàn)壟斷等“外部性”方面進(jìn)行核準(zhǔn)。對(duì)外商投資項(xiàng)目，還要從市場(chǎng)準(zhǔn)入、資金項(xiàng)目管理等方面進(jìn)行核準(zhǔn)。項(xiàng)目的市場(chǎng)前景、經(jīng)濟(jì)效益、資金來(lái)源和產(chǎn)品技術(shù)

tra的最弱前置條件程序推導(dǎo)；英國(guó)愛丁堡大學(xué)的Burstall和Darlington所研制的ZAP系統(tǒng)；基于公理語(yǔ)義的Z；基于指稱語(yǔ)義的VDM；基于抽象機(jī)的B方法；江西師范大學(xué)提出的PAR（Partition And Recur）方法[2-5]等。如果能找出一套形式化方法，實(shí)現(xiàn)程序的自動(dòng)化開發(fā)和證明，將使得開發(fā)周期大大縮短，降低程序開發(fā)的成本，也將不再有后期維護(hù)的后顧之憂。Dijkstra主張程序開發(fā)和程序證明同時(shí)進(jìn)行，屬于半自動(dòng)化的形式化方法[6]。需要

一律不再作為前置條件；對(duì)法律法規(guī)未明確規(guī)定為前置條件的，一律不再進(jìn)行前置審批；對(duì)法律法規(guī)有明確規(guī)定的前置條件，除確有必要保留的外，通過修法一律取消；核準(zhǔn)機(jī)關(guān)能通過征求部門意見解決的，一律不再進(jìn)行前置審批；除特殊需要并有法律法規(guī)依據(jù)的外，一律不得設(shè)定強(qiáng)制性中介服務(wù)和指定中介機(jī)構(gòu)。對(duì)確需保留的前置審批及中介服務(wù)，要制定目錄，并向社會(huì)公布。二是企業(yè)需要中介服務(wù)的，由企業(yè)自主選擇。行政機(jī)關(guān)委托開展的中介服務(wù)，要通過競(jìng)爭(zhēng)方式選擇，并由行政機(jī)關(guān)支付費(fèi)用。建立中介機(jī)構(gòu)信

ead操作的前置條件，見表2。表2 Read操作前置條件根據(jù)前置條件，Read操作完整規(guī)格說(shuō)明可以定義為：Read堞DoRead∨IllegalPerson∨NotAuthorized，垂直形式的模式為：3.2.2 Update：更新操作與Read操作類似，DoUpdate為可信行為，IllegalPerson和NotAuthorized操作為不可信行為，不再分別描述，直接給出Update操作的完整規(guī)格說(shuō)明：Update堞DoUpdate∨IllegalP

目申報(bào)材料和前置條件。一是明確清理范圍。針對(duì)2013年市級(jí)保留的76項(xiàng)行政審批項(xiàng)目和91項(xiàng)公共服務(wù)項(xiàng)目，要求提供第三方審核審批、證明等材料所設(shè)置的前置條件，重點(diǎn)是身份證、結(jié)婚證、戶口薄、申請(qǐng)表、報(bào)告書、申請(qǐng)書、承諾書、保證書、委托書、場(chǎng)地證明等，列入重點(diǎn)清理范圍。二是明確清理原則。對(duì)國(guó)務(wù)院部門規(guī)章和省政府規(guī)章、規(guī)范性文件設(shè)置的前置條件，除涉及國(guó)策、國(guó)家公共利益、重大安全或環(huán)保等事項(xiàng)予以保留外，其余的一律取消；對(duì)能通過市場(chǎng)機(jī)制、行業(yè)自律、企業(yè)和個(gè)人自主決定以

的語(yǔ)法級(jí)最弱前置條件算法輔助反例理解, 該方法從反例中提取一個(gè)最小原子命題集作為反例不可行的證明, 這種語(yǔ)法級(jí)的證明能通過轉(zhuǎn)換語(yǔ)句直接把反例理解結(jié)果映射到錯(cuò)誤源碼. 由于最弱前置條件的計(jì)算被約束在單個(gè)執(zhí)行路徑上, 且最弱前置條件本身計(jì)算代價(jià)較低, 因此這種反例理解方法具有更好的可擴(kuò)展性. 然而, 其不可行最小證明的求解過程需要對(duì)公式中所有文字進(jìn)行逐個(gè)測(cè)試, 每個(gè)測(cè)試過程都會(huì)觸發(fā)一個(gè)計(jì)算代價(jià)較高的SAT求解過程. 為了提高錯(cuò)誤原因的提取效率, 本文提出一種利

結(jié)論。（2）前置條件驗(yàn)證對(duì)某操作模式，其前置條件即精確條件：在此條件下，給定的操作可用。前置條件標(biāo)識(shí)符記作Pre，只限于描述操作模式，運(yùn)算的結(jié)果為一個(gè)模式，稱為條件模式。設(shè)OP是個(gè)模式，則可定義PreOP為：-State＇；Out！·OP。這里State是系統(tǒng)的抽象狀態(tài)，OP為該狀態(tài)定義的操作模式，Outs！是OP的輸出變量聲明的集合。根據(jù)Z規(guī)格說(shuō)明前置條件的求法：從表述操作模式的說(shuō)明中刪去后狀態(tài)變量及輸出變量，將謂詞部分的此種變量使用存在量詞進(jìn)行量化。在