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

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

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

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

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

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

新操作；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ò)更新中的每一個更新操作計算出一個對應(yīng)該操作的更新消息?？刂破饔嬎阃旮孪⒑?，同時下發(fā)所有的更新消息到對應(yīng)的網(wǎng)絡(luò)節(jié)點(diǎn)。節(jié)點(diǎn)接收到更新消息后按照以下規(guī)則進(jìn)行執(zhí)行。對于一個收到更新消息的

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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