前置條件
- “中國式現(xiàn)代化”作為政治學概念建構(gòu)的前置條件
代。唯有重視前置條件，中國政治學的概念建構(gòu)才能從無意識走向有意識和自主性，使建構(gòu)程序更為規(guī)范與科學，可以更理智地理解引發(fā)概念爭議的深刻根源。那么，中國政治學概念建構(gòu)的前置條件是什么？本文認為，概念建構(gòu)具有兩個前置條件，即情境性條件與價值預設性條件。以此為基礎，“中國式現(xiàn)代化”作為一個復合命題，包含了中國政治學概念建構(gòu)的兩個前置條件。合理理解中國政治學概念建構(gòu)的前置條件，并不能避免或減少概念研究可能出現(xiàn)的爭議，但能更理智地看待概念分歧與爭議的緣由。概念建構(gòu)的
社會觀察 2023年5期2023-09-01
- 基于數(shù)據(jù)分類的循環(huán)不變式自動生成
式化規(guī)約(如前置條件、后置條件和循環(huán)不變式)，然后利用自動驗證工具或交互式定理證明器驗證給定程序是否滿足所撰寫的形式化規(guī)約[4-5]。為了提高驗證效率、簡化驗證難度，出現(xiàn)了Z3[6]、Danfy[7]和Why3[8]等自動化驗證工具。運用這類自動化驗證工具對代碼量較少的程序進行驗證，無須驗證者撰寫大量證明腳本，僅須按照自動化驗證工具的規(guī)范撰寫待驗證程序的形式化規(guī)約，即可快速得到程序是否正確的驗證結(jié)果。然而，為程序提供合適的形式化規(guī)約，尤其是循環(huán)不變式，需要
計算機應用與軟件 2023年1期2023-02-17
- 基于算術表達式的順控前置條件設計與實現(xiàn)
些風險。順控前置條件是在執(zhí)行順控遙控命令前的一系列邏輯閉鎖或特定狀態(tài)檢測的一種有效手段，實現(xiàn)遙控防誤閉鎖[2]的功能。結(jié)合中綴表達式的應用，在執(zhí)行遙控命令前，判斷是否存在閉鎖條件或閉鎖條件是否滿足[3]，可提高順控執(zhí)行的安全性，同時各前置條件的結(jié)果會直觀在界面上顯示，操作員能根據(jù)顯示結(jié)果盡量排查原因，減少人工故障檢測時間。下面針對基于中綴表達式的前置條件設計實現(xiàn)進行介紹。1 設計與實現(xiàn)順控是一系列遙控對象的集合，即順控卡片，是電氣操作票的倒閘過程[4]，用
科技創(chuàng)新與應用 2022年32期2022-11-15
- 《民法典》物業(yè)服務人員起訴前置條件規(guī)則
員設置了起訴前置條件。一、業(yè)主欠費時物業(yè)服務人員救濟途徑的法律規(guī)范演變《民法典》施行前，《物業(yè)管理條例》（以下簡稱《條例》）及《最高人民法院關于審理物業(yè)服務糾紛案件具體應用法律若干問題的解釋》（以下簡稱《解釋》）均已對物業(yè)服務人員的相關救濟途徑進行了規(guī)定，《民法典》在參考相關條文的基礎上，作出了新的規(guī)定。（一）《條例》第六十四條①國務院《物業(yè)管理條例》（2018年3月19日修正版）第六十四條：違反物業(yè)服務合同約定，業(yè)主逾期不交納物業(yè)服務費用的，業(yè)主委員會應
法制博覽 2021年27期2021-11-25
- 清華取消“申請碩士學位須發(fā)論文”要求
或申請學位的前置條件。消息一出，輿論炸鍋，碩士研究生們紛紛表示“清華回應了學子們的焦慮”，并希望自己的學校好好學一學。實際上，清華的這次修訂從2017年開始，歷經(jīng)了4年的努力，但的確客觀上回應了當下碩士研究生的焦慮情緒，也從側(cè)面說明，清華至少在4年前就看到了目前在碩士研究生領域內(nèi)泛濫的“卡論文”現(xiàn)象。《光明日報》：清華大學的規(guī)定無疑是根據(jù)本校碩士研究生培養(yǎng)現(xiàn)狀做出的決定，但對其他大學也不無啟發(fā)。實際上，就目前國內(nèi)整體的碩士研究生培養(yǎng)狀況而言，廢除碩士研究生
課堂內(nèi)外·創(chuàng)新作文高中版 2021年5期2021-08-09
- 早該如此：申請碩士學位不用發(fā)論文
請碩士學位的前置條件。清華大學的規(guī)定，無疑是根據(jù)本校碩士研究生培養(yǎng)現(xiàn)狀作出的決定，但對其他大學以及整個碩士研究生相關狀況的判斷也不無啟發(fā)。稍早幾年，中國人民大學、北京師范大學、外交學院、中國農(nóng)業(yè)大學、中央財經(jīng)大學、北京語言大學、華中科技大學等7所大學已經(jīng)取消了碩士研究生申請學位或畢業(yè)必須發(fā)表論文的硬性指標，率先打破了這個已不合時宜的規(guī)定。在普通高等教育愈益普及化的當下，碩士研究生的學習越來越具有學科專業(yè)高級訓練的性質(zhì)。在恢復高考頭一二十年里，高層次高等級人
科學導報 2021年19期2021-04-19
- 一種面向航空集群機載網(wǎng)絡的分布式更新方法
新操作；2)前置條件：表示執(zhí)行該更新操作所需要預先執(zhí)行的前置更新操作的組合，以邏輯布爾表達式呈現(xiàn)，更新操作之間采用邏輯關系式進行連接，只有前置條件滿足之后才可執(zhí)行該操作。3)后置操作：表示依賴于該更新操作執(zhí)行的一系列更新操作的集合?？刂破鞲鶕?jù)從數(shù)據(jù)平面收集到的網(wǎng)絡狀態(tài)信息為網(wǎng)絡更新中的每一個更新操作計算出一個對應該操作的更新消息?？刂破饔嬎阃旮孪⒑?，同時下發(fā)所有的更新消息到對應的網(wǎng)絡節(jié)點。節(jié)點接收到更新消息后按照以下規(guī)則進行執(zhí)行。對于一個收到更新消息的
空軍工程大學學報 2020年5期2020-12-17
- 基于AOP的契約定義及其與JML契約的轉(zhuǎn)換
當不變式以及前置條件和后置條件均看成橫切關注點，AOP就可以很容易地完成它們與其他功能模塊之間的相互分離，使得開發(fā)人員可以在獨立的編織器模塊中實現(xiàn)和編寫這些模塊的功能，并以較為靈活的方式調(diào)用它們［5］。AOP的這些特性正好可以彌補合同編程的缺陷，所以，在面向?qū)ο笤O計中使用AOP技術來支持合同設計是一個增強軟件系統(tǒng)可靠性的新方法［6-7］。但是，作為一種形式化的方法，基于AOP的契約很難執(zhí)行。此外，若用手動方法將基于AOP的契約轉(zhuǎn)換為可執(zhí)行程序會導致性能下降
武漢工程大學學報 2020年4期2020-08-13
- 基于合約逐級求解的系統(tǒng)測試用例生成
可通過組件的前置條件、后置條件及不變式予以限定[5]。調(diào)用方按照前置條件生成合法輸入。執(zhí)行方依照后置條件保證輸出數(shù)據(jù)符合預期要求。不變式是系統(tǒng)生命周期中應始終滿足的條件。這些前置條件、后置條件及不變式與組件合約存在對應關系。組件合約即為反應組件正確執(zhí)行時輸入信號、輸出信號及參數(shù)接口的邏輯關系。邏輯關系采用的是命題邏輯公式進行描述。根據(jù)軟件系統(tǒng)模型生成組件合約，通過對命題邏輯公式的求解，從而得到正確的輸入樣例和期望輸出值，即測試用例。根據(jù)測試用例驗證源代碼生
計算機工程與設計 2020年3期2020-04-24
- 基于邏輯化算法的油田設備數(shù)據(jù)分析判斷法
中，通過設置前置條件，在滿足前置條件的基礎上依據(jù)判斷條件篩選異常數(shù)據(jù)。前置條件的關系包含兩種：第一種是且關系，每組關系必須滿足全部成立的條件下，進行下一步判斷或者分析是否異常；第二種是或關系，每組關系中，有一種滿足，即可進入下一步判斷或者分析異常。判斷范圍類型的時候，必須輸入值1和值2，如果范圍類型為內(nèi)，則表示數(shù)據(jù)在值1和值2之間（數(shù)值大于值1且小于值2），如果為外，則表示在值1和值2之外（數(shù)值小于值1或者數(shù)值大于值2）。如果功率突然上升，且持續(xù)，電流下降
中國管理信息化 2020年4期2020-02-27
- 調(diào)研要重實效
項極其重要的前置條件。如果連這項前置條件都缺失走樣，又何談調(diào)研成果的真實性和有效性？對此，習近平總書記在“不忘初心、牢記使命”主題教育工作會議上特別強調(diào)，“調(diào)查研究要注重實效，使調(diào)研的過程成為加深對黨的創(chuàng)新理論領悟的過程，成為保持同人民群眾血肉聯(lián)系的過程，成為推動事業(yè)發(fā)展的過程。”問政于民方知得失，問需于民方知冷暖，問計于民方知虛實。切實轉(zhuǎn)變調(diào)研作風，深入基層、深入群眾、深入實際，聽真話、察實情、辦實事，從而把準社會脈搏、摸清社情民意，在思考辨析中把握事物
共產(chǎn)黨員(遼寧) 2019年23期2019-11-18
- 約束覆蓋導向的Web服務測試數(shù)據(jù)生成
服務S中若干前置條件和后置條件組成的約束系統(tǒng).前置條件定義了服務輸入應滿足的約束，用于生成Web服務的測試數(shù)據(jù)，后置條件則定義了服務輸出應滿足的約束，用于檢查測試數(shù)據(jù)的執(zhí)行結(jié)果.圖1 WSDL文檔示例 Fig.1 An example WSDL document2.3 基于 SMT 約束求解器的測試數(shù)據(jù)生成為了表達Web服務中輸入和輸出參數(shù)之間的關聯(lián)關系，本文擬采用一階邏輯公式定義約束，并基于SMT(Satisfiability Modulo Theori
小型微型計算機系統(tǒng) 2019年10期2019-11-11
- 人工智能技術構(gòu)筑智能政府的前置條件研究
;智能政府;前置條件中圖分類號：C93? ? ?文獻標志碼：A? ? 文章編號：1009-3605（2019）05-0005-08迄今為止，有關運用人工智能技術的事例有很多，一些運用涉及到智能政府建設，比如新聞媒體、國家醫(yī)學考試、地震通告和權威發(fā)布、版權監(jiān)管等等。由于在社會進步中，政府管理居于最重要的地位，加上人工智能技術日新月異迅猛發(fā)展，適時提出和闡釋人工智能技術背景下的智能政府建設及其前置條件，顯得尤為必要。一、人工智能技術概述人工智能（artific
湖南行政學院學報 2019年5期2019-10-18
- 一種基于符號執(zhí)行的測試用例生成方法
除方法。利用前置條件計算已探索路徑的路徑條件，在測試用例生成時針對程序共享的路徑后綴使用后置條件進行識別，若當前的路徑條件合并到后置條件，則此執(zhí)行路徑的其余部分將跳過，在保證覆蓋有效的測試用例的情況下，通過冗余路徑的刪除，減少程序的執(zhí)行時間，從而達到減輕符號執(zhí)行的路徑爆炸問題的目的。2 相關理論依據(jù)2.1 符號執(zhí)行符號執(zhí)行的核心思想是將程序輸入符號化，利用符號值來代替具體值，對程序進行靜態(tài)分析，獲取代碼中的控制流圖，在控制流圖的基礎上生成符號執(zhí)行樹，為程序
計算機與數(shù)字工程 2019年9期2019-10-08
- 國務院辦公廳關于全面開展工程建設項目審批制度改革的實施意見(二) 國辦發(fā)〔2019〕11號
少保留事項的前置條件。下放審批權限，按照方便企業(yè)和群眾辦事的原則，對下級機關有能力承接的審批事項，下放或委托下級機關審批。合并審批事項，對由同一部門實施的管理內(nèi)容相近或者屬于同一辦理階段的多個審批事項，整合為一個審批事項。轉(zhuǎn)變管理方式，對能夠用征求相關部門意見方式替代的審批事項，調(diào)整為政府內(nèi)部協(xié)作事項。調(diào)整審批時序，地震安全性評價在工程設計前完成即可，環(huán)境影響評價、節(jié)能評價等評估評價和取水許可等事項在開工前完成即可；可以將用地預審意見作為使用土地證明文件申
四川建筑 2019年2期2019-02-14
- 調(diào)研要重實效
項極其重要的前置條件。如果連這項前置條件都缺失走樣，又何談調(diào)研成果的真實性和有效性？對此，習近平總書記在“不忘初心、牢記使命”主題教育工作會議上特別強調(diào)，“調(diào)查研究要注重實效，使調(diào)研的過程成為加深對黨的創(chuàng)新理論領悟的過程，成為保持同人民群眾血肉聯(lián)系的過程，成為推動事業(yè)發(fā)展的過程?！眴栒诿穹街檬?，問需于民方知冷暖，問計于民方知虛實。切實轉(zhuǎn)變調(diào)研作風，深入基層、深入群眾、深入實際，聽真話、察實情、辦實事，從而把準社會脈搏、摸清社情民意，在思考辨析中把握事物
共產(chǎn)黨員·上 2019年12期2019-02-11
- 寧?！皩徟ㄍァ钡贡茩嗔Α笆萆怼?/a>
行政審批事項前置條件“理而不清、法理不足”等現(xiàn)象愈發(fā)明顯，成為改革推進的“中梗阻”。針對這一情況，浙江省寧波市寧海縣積極探索建立審批裁決工作機制，創(chuàng)設獨立于相關部門的“審批法庭”，以“法治思維＋頂層設計”為理念，向?qū)徟搭^“動刀”，對行政部門審批事項的前置條件按法律法規(guī)進行審查“瘦身”?！皩徟ㄍァ毕韧ㄟ^庭審對每一件行政權力和公共服務事項全面審查，再按照行政審批法定化、規(guī)范化、標準化的要求，作出裁決后，交由相關部門執(zhí)行。這是“審批法庭”的“串珠成鏈”工作法
領導決策信息 2018年20期2018-11-20
- 論“自動投案”的司法適用
自動投案屬于前置條件。因此，在司法實踐中準確審查和認定“自動投案”具有重要的實踐指導意義，認定“自動投案”，應當遵循主客觀相統(tǒng)一的原則，并結(jié)合法律及相關司法解釋予以準確適用。關鍵詞 “自動投案” 前置條件 司法適用作者簡介：李超，天津市西青區(qū)人民檢察院公訴部檢察官助理。中圖分類號：D926 文獻標識碼：A DOI：10.19387/j.cnki.1009-0592.2018.10.343《刑法》第六十七條規(guī)定了自首情節(jié)的法律適用問題，相應的《關于處理自首和
法制與社會 2018年30期2018-11-16
- “審批法庭”：給權力“瘦身”
行政審批事項前置條件“理而不清、法理不足”等現(xiàn)象成為“中梗阻”。針對這一情況，寧?？h探索以“審批法庭”對審批源頭“動刀”，取得明顯成效。2018年3月22日下午3時20分，窗外的小雨漸停，陳杰的情緒也逐漸平靜下來。就在50分鐘前，寧海縣住建局作為“被告”參加了該縣“審批法庭”組建以來的第八次“庭審”，作為該局建筑業(yè)管理科科長的陳杰“出庭應訴”。一番“唇槍舌劍”的辯論后，“庭長”葛仁元宣布了裁決結(jié)果。不出陳杰所料，在建筑工程施工許可證的審批中，多個“于法無據(jù)
浙江人大 2018年5期2018-06-07
- 一種基于功能的程序表示研究
A，以及它的前置條件P，我們希望能夠通過學習A的特征從而預測當P成立時，運行A得到的結(jié)果，即程序A的后置條件Q。一般地，我們將P和Q表示成一個實值向量，該向量包含了程序在某個特定時刻的狀態(tài)（即程序中變量的值），這里的（P,A,Q）被稱為霍爾三元組。我們提出以霍爾三元組集合作為深度網(wǎng)絡的輸入來學習程序的特征，采用的主要方法是同時找到程序的狀態(tài)和程序在特征空間的對應的點，在這個空間上，程序可以視作是程序的前置條件到后置條件的一個線性映射。更具體地說，給定一個三
現(xiàn)代計算機 2018年8期2018-04-24
- 70年
須申請，沒有前置條件，也不影響交易”，并強調(diào)國務院已經(jīng)責成相關部門就不動產(chǎn)保護相關法律抓緊研究，提出議案。點評：對于“70年宅地使用權”的說法，民間一直焦慮不止，因為這涉及到每個家庭的具體利益，如果沒有法律保障，沒有政策支撐，誰都擔心70年宅地使用期限一到，“家”會不保，自己沒地方住，子孫后代沒地方住?？偫泶舜位貞鰪娏斯姾阈?。一是總理既提到“有恒產(chǎn)者有恒心”，又提到用法律來保障，釋放出“用法律來保障‘有恒產(chǎn)者有恒心”這一信號。從總理表態(tài)來看，有可能用法
時代金融 2017年10期2017-05-05
- 模型精化過程中模型間一致性檢測研究
數(shù)集var在前置條件集condition下可執(zhí)行action。另外，每個Event-B模型都需要一個初始化事件(INITIALIZATION)用來指定模型的初始狀態(tài)。ProB[30]是一個很常用的模型檢測工具，可集成在Rodin上，可使用LTL作為輸入進行驗證。ProB支持模型的自動一致性檢測，具體主要包括死鎖和不變式違反的檢測，而ProB無法檢測模型間那些潛在的反映系統(tǒng)行為方面屬性的一致性，所以提出使用系統(tǒng)行為屬性的方法來達到模型間行為方面的一致性檢測的
計算機應用與軟件 2016年11期2016-12-26
- 一種基于用例依賴關系自動生成測試調(diào)度的方法
；誤報消除；前置條件1 引言隨著近幾年互聯(lián)網(wǎng)業(yè)務的發(fā)展，軟件自動化測試技術越來越受到關注，在回歸與迭代測試中廣泛應用。特別是自動化測試框架的更完整應用使自動化測試平臺可以應用更多其他的測試技術讓自動化測試入門更簡單，操作更方便，結(jié)果查看更清晰。2 當前自動化測試的困局自動化測試平臺的大力推廣，大大提高了軟件測試工作的效率，尤其在回歸測試中，把一些重復的、機械的測試任務交給計算機去做，很大程度上減輕了測試人員的壓力，并通過增加測試覆蓋率等方式一定程度上提高了
電腦與電信 2016年9期2016-12-07
- 浙江義烏國土局涉嫌“定向出讓”遭質(zhì)疑
牌出讓、設立前置條件到低價中標，一路備受公眾質(zhì)疑，遭到當?shù)胤康禺a(chǎn)業(yè)界的詬病。據(jù)義烏當房地產(chǎn)人士介紹，A地塊地處繁華地段，市場估值約25億元，卻被10億元低價掛牌，中標價為10.09億元，樓面均價每平米僅為3178元，與A地塊附近住宅均價約每平米20000元，商業(yè)均價超過每平米40000元的價格相去甚遠。這種涉嫌“低價定向出讓”的行為，嚴重擾亂了當?shù)厥袌鲋刃?、影響市場公平，在當?shù)匾饛娏曳错憽?月31日，《中國經(jīng)濟信息》記者來到浙江省義烏市，就社會公眾普遍關
中國經(jīng)濟信息 2016年7期2016-05-14
- 我省多舉措支持社會辦醫(yī)療機構(gòu)
型設備的必要前置條件，凡是法律法規(guī)沒有明文禁止的領域，只要符合準入條件，都要向社會力量放開?！锻ㄖ访鞔_，落實社會辦醫(yī)療機構(gòu)各項稅收政策。對社會辦醫(yī)療機構(gòu)提供的醫(yī)療服務，免征營業(yè)稅；對符合規(guī)定的社會辦非營利性醫(yī)療機構(gòu)自用的房產(chǎn)、土地，免征房產(chǎn)稅、城鎮(zhèn)土地使用稅；對符合規(guī)定的社會辦營利性醫(yī)療機構(gòu)自用的房產(chǎn)、土地，自其取得執(zhí)業(yè)登記之日起，三年內(nèi)免征房產(chǎn)稅、城鎮(zhèn)土地使用稅。（消息來源：《黑龍江日報》；如欲了解詳情，請進入本刊微信公眾號，在對話欄輸入關鍵詞“開醫(yī)院
黨的生活（黑龍江） 2016年3期2016-03-21
- 鄭州市實現(xiàn)科學審批標準化
規(guī)清理，實現(xiàn)前置條件法定，開展部門自查、審批中心核查。部門自查做到“不留縫隙、不留死角”，對所保留審批事項的前置條件進行全面細致的自查清理，分類核準匯總后上報市行政審批中心。市審批中心對各部門前置條件自查清理結(jié)果逐條、逐項進行復審，對照與每一個審批前置條件相對應的法律法規(guī)依據(jù)，做到事事有依據(jù)、條條有來源。清理部門規(guī)章和各種規(guī)范性文件規(guī)定，減少自由裁量權，對各單位依據(jù)部門規(guī)章和規(guī)范性文件設置的一些模糊要求進行明確清理或取消。清理各部門在審批中要求本系統(tǒng)下級部
行政科學論壇 2016年1期2016-02-27
- 動物檢疫申報前置條件調(diào)研
動物檢疫申報前置條件調(diào)研任曉玲1，王小軍2，關婕葳2，雷江紅1 （1.陜西省動物衛(wèi)生監(jiān)督所，陜西西安710016；2. 北京市動物衛(wèi)生監(jiān)督所，北京100044；3.中國動物疫病預防控制中心，北京100125）本文以重慶、湖南、山東等?。ㄊ校╅_展的檢疫申報前置條件的專題調(diào)研內(nèi)容為基礎，結(jié)合北京市和陜西省當前檢疫工作的實際情況，闡述了動物檢疫申報前置條件的內(nèi)涵，介紹了檢疫申報前置條件是否能夠阻止動物疫病傳播、是否具有可操作性和合理性、是否適應市場經(jīng)濟發(fā)展、是否
中國動物檢疫 2016年8期2016-01-29
- 廣西開征物業(yè)稅的稅制設計研究
開征物業(yè)稅的前置條件進行了梳理，指出廣西開征物業(yè)稅必須先理清物業(yè)稅與現(xiàn)有稅費的關系和建立滿足開征物業(yè)稅的技術條件這兩個核心問題。在此基礎上，通過對比發(fā)達國家或地區(qū)開征物業(yè)稅的實踐經(jīng)驗，為廣西開征物業(yè)稅提供經(jīng)驗啟示。最后，從納稅人、納稅對象及范圍、計稅依據(jù)、稅率和優(yōu)惠減免等方面構(gòu)建廣西稅收制度，并提出了廣西開征物業(yè)稅的開征時序問題。關鍵詞：前置條件 國際經(jīng)驗啟示 制度設計中圖分類號：F810.42 文獻標識碼：A文章編號：1004-4914（2015）05-
經(jīng)濟師 2015年5期2015-05-30
- 為“黑戶”松綁是對常識的重申
理出生入戶的前置條件”。對廣東這一做法，網(wǎng)上好評眾多。但這可能算不上什么了不得的成就。以廣東為例，在這項政策出臺之前，該省從未要求將計劃生育作為入戶前置條件。但現(xiàn)實卻是，“不繳納社會撫養(yǎng)費，給超生兒上戶口的可能性幾乎沒有?！倍科湓?，是“超生罰款”與“新生兒入戶”捆綁一直成為一些地方通行的“土政策”。而“計生捆綁”所捆綁的也不僅是戶口，還包括了義務教育、醫(yī)保報銷、結(jié)婚登記、身份證明等方面。江西贛州尋烏縣甚至一度要求，符合計生政策的新生兒想上戶口，父母一方
新傳奇 2015年43期2015-05-30
- 黑龍江省發(fā)展改革委專題研究進一步推進行政審批制度改革
投資項目核準前置條件的通知》精神。會議指出，黨中央、國務院高度重視行政審批制度改革，著力規(guī)范和改進行政審批行為。近日下發(fā)的網(wǎng)上并聯(lián)核準制度工作方案和一律不得將企業(yè)經(jīng)營自主權事項作為企業(yè)投資項目核準前置條件的通知，以精簡前置審批，規(guī)范中介服務，實行更加便捷、透明的投資項目核準制為重點，提出了深化企業(yè)投資項目核準制度改革的總體目標、重點任務和實施步驟，取消了三大類18項作為企業(yè)經(jīng)營自主權的企業(yè)投資項目核準前置條件的事項，對于轉(zhuǎn)變政府職能，營造便利創(chuàng)業(yè)創(chuàng)新的營商
中國經(jīng)貿(mào)導刊 2015年4期2015-03-31
- 精簡審批事項 規(guī)范中介服務
投資項目核準前置條件的通知》兩個文件有關情況。國家發(fā)展改革委秘書長李樸民、投資司副司長羅國三出席新聞發(fā)布會并介紹相關情況、回答記者提問。發(fā)布會首先由李樸民介紹總體情況，李樸民指出，按照國務院關于深化投資審批制度改革的總體部署和要求，發(fā)改委會同有關部門研究形成了《精簡審批事項 規(guī)范中介服務 實行企業(yè)投資項目網(wǎng)上并聯(lián)核準制度的工作方案》。報請國務院批準后，國務院以國辦發(fā)（2014）59號文件正式印發(fā)實施。《工作方案》從改革方案創(chuàng)新制度入手，以精簡前置審批，規(guī)范
中國經(jīng)貿(mào)導刊 2015年3期2015-03-11
- 政府
資項目核準的前置條件。國家發(fā)改委著力規(guī)范和改進行政審批的一系列改革舉措，是政府簡政放權、推進職能轉(zhuǎn)變的具體表現(xiàn)。會上，國家發(fā)改委秘書長李樸民及投資司副司長羅國三對《精簡審批事項、規(guī)范中介服務、實行企業(yè)投資項目網(wǎng)上并聯(lián)核準制度的工作方案》（《方案》）以及由國家發(fā)改委、中央編辦下發(fā)的《關于一律不得將企業(yè)自主經(jīng)營權事項作為企業(yè)投資項目核準前置條件的通知》（《通知》）兩個文件進行了解讀。羅國三稱，《方案》核心可以概括為“項目核準制度改革”，并且不是個別企業(yè)投資項目
航運交易公報 2015年2期2015-01-19
- 兩部門取消18項企業(yè)投資項目核準前置條件
投資項目核準前置條件，取消18項企業(yè)投資項目核準前置條件。兩部門指出，企業(yè)投資項目，除關系國家安全和生態(tài)安全、涉及全國重大生產(chǎn)力布局、戰(zhàn)略性資源開發(fā)和重大公共利益等項目外，一律由企業(yè)依法依規(guī)自主決策。同時，企業(yè)投資建設實行核準制的項目，政府僅從維護經(jīng)濟安全、合理開發(fā)利用資源、保護生態(tài)環(huán)境、優(yōu)化重大布局、保障公共利益、防止出現(xiàn)壟斷等“外部性”方面進行核準。對外商投資項目，還要從市場準入、資金項目管理等方面進行核準。項目的市場前景、經(jīng)濟效益、資金來源和產(chǎn)品技術
國際商務財會 2015年1期2015-01-02
- 循環(huán)結(jié)構(gòu)的形式化推導*
tra的最弱前置條件程序推導；英國愛丁堡大學的Burstall和Darlington所研制的ZAP系統(tǒng)；基于公理語義的Z；基于指稱語義的VDM；基于抽象機的B方法；江西師范大學提出的PAR（Partition And Recur）方法[2-5]等。如果能找出一套形式化方法，實現(xiàn)程序的自動化開發(fā)和證明，將使得開發(fā)周期大大縮短，降低程序開發(fā)的成本，也將不再有后期維護的后顧之憂。Dijkstra主張程序開發(fā)和程序證明同時進行，屬于半自動化的形式化方法[6]。需要
網(wǎng)絡安全與數(shù)據(jù)管理 2014年5期2014-07-25
- 中國決定削減前置審批 推行投資項目網(wǎng)上核準
一律不再作為前置條件；對法律法規(guī)未明確規(guī)定為前置條件的，一律不再進行前置審批；對法律法規(guī)有明確規(guī)定的前置條件，除確有必要保留的外，通過修法一律取消；核準機關能通過征求部門意見解決的，一律不再進行前置審批；除特殊需要并有法律法規(guī)依據(jù)的外，一律不得設定強制性中介服務和指定中介機構(gòu)。對確需保留的前置審批及中介服務，要制定目錄，并向社會公布。二是企業(yè)需要中介服務的，由企業(yè)自主選擇。行政機關委托開展的中介服務，要通過競爭方式選擇，并由行政機關支付費用。建立中介機構(gòu)信
計算機與網(wǎng)絡 2014年21期2014-04-15
- 面向行為可信的大數(shù)據(jù)安全系統(tǒng)形式化描述*
ead操作的前置條件，見表2。表2 Read操作前置條件根據(jù)前置條件，Read操作完整規(guī)格說明可以定義為：Read堞DoRead∨IllegalPerson∨NotAuthorized，垂直形式的模式為：3.2.2 Update：更新操作與Read操作類似，DoUpdate為可信行為，IllegalPerson和NotAuthorized操作為不可信行為，不再分別描述，直接給出Update操作的完整規(guī)格說明：Update堞DoUpdate∨IllegalP
電信科學 2014年7期2014-02-28
- 漳州開展行政審批前置條件清理
目申報材料和前置條件。一是明確清理范圍。針對2013年市級保留的76項行政審批項目和91項公共服務項目，要求提供第三方審核審批、證明等材料所設置的前置條件，重點是身份證、結(jié)婚證、戶口薄、申請表、報告書、申請書、承諾書、保證書、委托書、場地證明等，列入重點清理范圍。二是明確清理原則。對國務院部門規(guī)章和省政府規(guī)章、規(guī)范性文件設置的前置條件，除涉及國策、國家公共利益、重大安全或環(huán)保等事項予以保留外，其余的一律取消；對能通過市場機制、行業(yè)自律、企業(yè)和個人自主決定以
中國機構(gòu)編制 2014年9期2014-02-03
- 基于克雷格插值的反例理解方法
的語法級最弱前置條件算法輔助反例理解, 該方法從反例中提取一個最小原子命題集作為反例不可行的證明, 這種語法級的證明能通過轉(zhuǎn)換語句直接把反例理解結(jié)果映射到錯誤源碼. 由于最弱前置條件的計算被約束在單個執(zhí)行路徑上, 且最弱前置條件本身計算代價較低, 因此這種反例理解方法具有更好的可擴展性. 然而, 其不可行最小證明的求解過程需要對公式中所有文字進行逐個測試, 每個測試過程都會觸發(fā)一個計算代價較高的SAT求解過程. 為了提高錯誤原因的提取效率, 本文提出一種利
吉林大學學報（理學版） 2013年1期2013-12-03
- 基于Z規(guī)格的UML模型形式化轉(zhuǎn)換及驗證
結(jié)論。（2）前置條件驗證對某操作模式，其前置條件即精確條件：在此條件下，給定的操作可用。前置條件標識符記作Pre，只限于描述操作模式，運算的結(jié)果為一個模式，稱為條件模式。設OP是個模式，則可定義PreOP為：-State＇；Out！·OP。這里State是系統(tǒng)的抽象狀態(tài)，OP為該狀態(tài)定義的操作模式，Outs！是OP的輸出變量聲明的集合。根據(jù)Z規(guī)格說明前置條件的求法：從表述操作模式的說明中刪去后狀態(tài)變量及輸出變量，將謂詞部分的此種變量使用存在量詞進行量化。在
計算機工程與設計 2013年6期2013-09-08