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