光伏發電系統
光伏發電系統（PhotoVoltaic System，簡稱PVS）
詳見詞條 光伏發電
原型驗證系統
簡介
PVSPVS是原型驗證系統(Prototype Verification System)的縮寫，斯坦福研究機構在過去20年中開發了一系列驗證系統，開發PVS的目的是把它作為一個重量級驗證系統EHDM的輕量級原型，以探索實現EHDM所需的相關技術，PVS這一名字正是由此而來.我們在設計並發麵向對象廣譜規約語言ND一C00SL時，擬對該語言的核心部分進行驗證，因此，對PVS作了較為深入的剖析。
概況
PVS為在計算機科學中嚴格、高效地套用形式化方法提供自動化的機器支持，它易於安裝、使用和維護，足一個良好的集成環境.該系統主要包括規約語言和定理證明器兩部分，並且還集成了解釋器、類型檢查器及預定義的規約庫和各種方便的瀏覽、編輯工具.PvS提供的規約語言基於高階邏拜，具有豐富的類型系統，是一般適用的語言，表達能力很強，大多數數學概念、計算概念均可用該語言自然直接地表示出來.PVS的定理證明器以互動方式工作，同時又具備高度的自動化水準.它的命令的能力很強，瑣屑的證明細節為證明器的內部推理機制掩蓋，使得用戶僅在關健決策點上控制證明過程.PVS為在計算機科學中套用形式化方法提供機器支持，然而形式化方法可以以不同的方式、風格、不同程度的嚴格性，套用於不同的目標.例如，最早的形式化方法用於對程式作正確性證明:即駐行正一段以實現級的程式設計語言書寫的程式滿足已知為正確的詳細規約.PVS並不適合這種程式正確性驗證工作，它的設計目標是輔助形式化方法在計機系統開發的早期階段的套用。欲套用形式化方法，首先要有一個對所研究對象(硬體系統、軟體系統、算法等)的準確的形式化描述，即一個正確的形式化規約.然而，要獲得正確的形式化規約，僅引入形式化方法是不夠的，PVS提供如下機制用以保證規約的正確性:(l)在規約語言中引入豐富的類型系統.通過嚴格的類型檢查來及早發現規約中的錯誤.(2)一個規約相當於一套公理系統，提出一系列關於此公理系統的定理，如果規約是正確的，那么這些定理應該成立，通過套用PVS的定理證明器構造這些定理的證明來證規約的正確性。這樣，PVS可用於構造充分可信為’正確’的規約。
PVS Produktions-Versuchs-Serie （德語）批量試生產，源於德國大眾的項目概念。
PVS平台下的新特性
PVS全稱：Provisioning Server
以下是Provisioning Server 平台下的新特性和修改部分
許可： Provisioning Server 產品提供多等級許可分配製度
1. Provision 不限制已授權的XenServer platinum 主機上運行的平台可支持的虛擬化作業系統（伺服器版本或桌面版本）
2. 如果物理機器可提供不限制數量的虛擬機運行，那么該物理機器的數量受到限制
3. 提供“許可交易”制度。兩種Provisioning Server 許可類型：伺服器版和桌面版本。桌面版本許可能激活Provision的桌面類作業系統（例如：xp ,vista，red hat enterprise desktop等等） 而Provisioning 數據中心服務版許可，能激活provisioning所有支持的作業系統，包括桌面等級作業系統，數據中心等級作業系統（如：windows server 2003, red hat enterprise server等等） 當構建一個桌面作業系統時，Provision Server 首先將獲取一個桌面版許可，如果沒有得到，它將嘗試獲取一個數據中心版許可。這種方法就叫做“許可交易制度”。在控制台可以啟用或者禁用許可交易功能，默認狀態是“啟用”
4. PVS提供一種新的每年制許可模式
5. 按以下步驟順序升級已存在的PVS 4.5許可證 a.備份4.5許可證檔案到單獨的目錄下,如果你是新裝許可伺服器，略過 b.卸載當前許可伺服器 c.安裝新的4.5 sp1許可伺服器 d.複製已備份的4.5許可證到C:/Program Files/Citrix/Licensing/MyFiles e.運行C:/Program Files/Citrix/Licensing/LS/lsportutil.exe /update f.重啟Citrix Licensing service g.重啟PVS Streaming service
物理和虛擬Provisioning: Provision Server 已經具備支持提供從單一虛擬磁碟上的物理和虛擬伺服器的能力
安全：管理API做了幾個安全方面的改進
虛擬磁碟流程：增強的程式用來保護虛擬磁碟原始啟動分區的盤符
XenServer協同性：能有效的使PVS主機運行在虛擬機上
實現PVS NIC failover 功能，查看相關文檔以獲得更多的細節
文檔集僅僅在citrix web站點上下載和獲得維護上可用，這與citrix文檔策略是一致的，提示和幫助檔案依舊提供。
新加入支持以下作業系統： 1. Windows XP SP3 2. Windows Vista Sp1 3. Windows Server 2008* 註明*號請查看此後的已知問題
Part2: Fixed in this Release 修正
修正TFTP 服務日誌輸出的一個錯誤 （bug #6497）
移除一個TFTP的潛在安全威脅（bug #6939）
修正一個存在於管理API中的安全數字問題
當關閉PVS已啟動的vista客戶端並且客戶端確認在“關閉狀態”時，管理員界面不能準確的表達客戶端的狀態，依舊顯示客戶端為綠色連線狀態和紅色L磁碟鎖定狀態。此問題已在當前版本中修正（bug #5517）
當虛擬磁碟位於一個網路共享中，自動更新不能執行。當前版本已修正該問題（bug #6915）
修正一個在啟動或者停止PVS Management API 服務的過程中，傳送給事件瀏覽器的事件訊息的錯誤（bug #6870）
更多的更新請查看citrix文檔集
在鏡像建立後，windows訪問許可權不能轉移，對目錄的安全設定不能適當的複製給虛擬磁碟檔案，通過給目錄設定明確的安全許可權強制指定（bug #6680）
