前置條件
- “中國(guó)式現(xiàn)代化”作為政治學(xué)概念建構(gòu)的前置條件
代。唯有重視前置條件,中國(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)的
社會(huì)觀察 2023年5期2023-09-01
- 基于數(shù)據(jù)分類的循環(huán)不變式自動(dòng)生成
式化規(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)不變式,需要
計(jì)算機(jī)應(yīng)用與軟件 2023年1期2023-02-17
- 基于算術(shù)表達(dá)式的順控前置條件設(shè)計(jì)與實(shí)現(xià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],用
科技創(chuàng)新與應(yīng)用 2022年32期2022-11-15
- 《民法典》物業(yè)服務(wù)人員起訴前置條件規(guī)則
員設(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)
法制博覽 2021年27期2021-11-25
- 清華取消“申請(qǐng)碩士學(xué)位須發(fā)論文”要求
或申請(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)狀況而言,廢除碩士研究生
課堂內(nèi)外·創(chuàng)新作文高中版 2021年5期2021-08-09
- 早該如此:申請(qǐng)碩士學(xué)位不用發(fā)論文
請(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í)人
科學(xué)導(dǎo)報(bào) 2021年19期2021-04-19
- 一種面向航空集群機(jī)載網(wǎng)絡(luò)的分布式更新方法
新操作;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è)收到更新消息的
空軍工程大學(xué)學(xué)報(bào) 2020年5期2020-12-17
- 基于AOP的契約定義及其與JML契約的轉(zhuǎn)換
當(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)致性能下降
武漢工程大學(xué)學(xué)報(bào) 2020年4期2020-08-13
- 基于合約逐級(jí)求解的系統(tǒng)測(cè)試用例生成
可通過組件的前置條件、后置條件及不變式予以限定[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)證源代碼生
計(jì)算機(jī)工程與設(shè)計(jì) 2020年3期2020-04-24
- 基于邏輯化算法的油田設(shè)備數(shù)據(jù)分析判斷法
中,通過設(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ù),電流下降
中國(guó)管理信息化 2020年4期2020-02-27
- 調(diào)研要重實(shí)效
項(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ì)脈搏、摸清社情民意,在思考辨析中把握事物
共產(chǎn)黨員(遼寧) 2019年23期2019-11-18
- 約束覆蓋導(dǎo)向的Web服務(wù)測(cè)試數(shù)據(jù)生成
服務(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
小型微型計(jì)算機(jī)系統(tǒng) 2019年10期2019-11-11
- 人工智能技術(shù)構(gòu)筑智能政府的前置條件研究
;智能政府;前置條件中圖分類號(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
湖南行政學(xué)院學(xué)報(bào) 2019年5期2019-10-18
- 一種基于符號(hào)執(zhí)行的測(cè)試用例生成方法
除方法。利用前置條件計(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í)行樹,為程序
計(jì)算機(jī)與數(shù)字工程 2019年9期2019-10-08
- 國(guó)務(wù)院辦公廳關(guān)于全面開展工程建設(shè)項(xiàng)目審批制度改革的實(shí)施意見(二) 國(guó)辦發(fā)〔2019〕11號(hào)
少保留事項(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ù)審意見作為使用土地證明文件申
四川建筑 2019年2期2019-02-14
- 調(diào)研要重實(shí)效
項(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ì)脈搏、摸清社情民意,在思考辨析中把握事物
共產(chǎn)黨員·上 2019年12期2019-02-11
- 寧海“審批法庭”倒逼權(quán)力“瘦身”
行政審批事項(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í)行。這是“審批法庭”的“串珠成鏈”工作法
領(lǐng)導(dǎo)決策信息 2018年20期2018-11-20
- 論“自動(dòng)投案”的司法適用
自動(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)于處理自首和
法制與社會(huì) 2018年30期2018-11-16
- “審批法庭”:給權(quá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ù)
浙江人大 2018年5期2018-06-07
- 一種基于功能的程序表示研究
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è)三
現(xiàn)代計(jì)算機(jī) 2018年8期2018-04-24
- 70年
須申請(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í)代金融 2017年10期2017-05-05
- 模型精化過程中模型間一致性檢測(cè)研究
數(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è)的
計(jì)算機(jī)應(yīng)用與軟件 2016年11期2016-12-26
- 一種基于用例依賴關(guān)系自動(dòng)生成測(cè)試調(diào)度的方法
;誤報(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è)試覆蓋率等方式一定程度上提高了
電腦與電信 2016年9期2016-12-07
- 浙江義烏國(guó)土局涉嫌“定向出讓”遭質(zhì)疑
牌出讓、設(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)
中國(guó)經(jīng)濟(jì)信息 2016年7期2016-05-14
- 我省多舉措支持社會(huì)辦醫(yī)療機(jī)構(gòu)
型設(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ī)院
黨的生活(黑龍江) 2016年3期2016-03-21
- 鄭州市實(shí)現(xiàn)科學(xué)審批標(biāo)準(zhǔn)化
規(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í)部
行政科學(xué)論壇 2016年1期2016-02-27
- 動(dòng)物檢疫申報(bào)前置條件調(diào)研
動(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ā)展、是否
中國(guó)動(dòng)物檢疫 2016年8期2016-01-29
- 廣西開征物業(yè)稅的稅制設(shè)計(jì)研究
開征物業(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-
經(jīng)濟(jì)師 2015年5期2015-05-30
- 為“黑戶”松綁是對(duì)常識(shí)的重申
理出生入戶的前置條件”。對(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ì)生政策的新生兒想上戶口,父母一方
新傳奇 2015年43期2015-05-30
- 黑龍江省發(fā)展改革委專題研究進(jìn)一步推進(jìn)行政審批制度改革
投資項(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)商
中國(guó)經(jīng)貿(mào)導(dǎo)刊 2015年4期2015-03-31
- 精簡(jiǎn)審批事項(xiàng) 規(guī)范中介服務(wù)
投資項(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ī)范
中國(guó)經(jīng)貿(mào)導(dǎo)刊 2015年3期2015-03-11
- 政府
資項(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)目
航運(yùn)交易公報(bào) 2015年2期2015-01-19
- 兩部門取消18項(xiàng)企業(yè)投資項(xiàng)目核準(zhǔn)前置條件
投資項(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ù)
國(guó)際商務(wù)財(cái)會(huì) 2015年1期2015-01-02
- 循環(huán)結(jié)構(gòu)的形式化推導(dǎo)*
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]。需要
網(wǎng)絡(luò)安全與數(shù)據(jù)管理 2014年5期2014-07-25
- 中國(guó)決定削減前置審批 推行投資項(xiàng)目網(wǎng)上核準(zhǔn)
一律不再作為前置條件;對(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)信
計(jì)算機(jī)與網(wǎng)絡(luò) 2014年21期2014-04-15
- 面向行為可信的大數(shù)據(jù)安全系統(tǒng)形式化描述*
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
電信科學(xué) 2014年7期2014-02-28
- 漳州開展行政審批前置條件清理
目申報(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è)人自主決定以
中國(guó)機(jī)構(gòu)編制 2014年9期2014-02-03
- 基于克雷格插值的反例理解方法
的語(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ò)誤原因的提取效率, 本文提出一種利
吉林大學(xué)學(xué)報(bào)(理學(xué)版) 2013年1期2013-12-03
- 基于Z規(guī)格的UML模型形式化轉(zhuǎn)換及驗(yàn)證
結(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)行量化。在
計(jì)算機(jī)工程與設(shè)計(jì) 2013年6期2013-09-08