concurrent processes 中文意思是什麼

Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。

If you deal with concurrent access of functions, either by threads or processes, you can face problems caused by non - reentrancy of the functions

如果要對函數進行並發訪問，不管是通過線程還是通過進程，您都可能會遇到函數不可重入所導致的問題。

A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems, introducing a predicate mu - calculus to characterize desired properties, and verifying value - passing concurrent processes using an " on - the - fly " algorithm

解決這個問題的一個方案是：使用帶賦值符號遷移圖（ stga ）作為並發傳值進程的模型，使用謂詞演算作為刻畫性質的邏輯，並採用動態實例化的演算法對傳值並發進程直接進行模型檢測。

Process - a concurrent activity. a complete virtual machine. the system may have many concurrent processes executing at the same time

進程? ?一個並發活動。一個完整的虛擬機。這個系統可以同時擁有很多個並發進程。

What s more, simple concurrent programming has been available on essentially all unix hosts since at least 1988, which is when ksh standardized its " co - processes. " if you save the ksh source in listing 1, below, as ex1. ksh and then run it, you ll see a " countdown " - " ten, nine, eight, etc. " - display, then the result of the ksh subprocess : " all done. " in practice, you might use something like this for a long - running chemical calculation or database retrieval : launch the operation as a subprocess, but keep users informed about what s going on or how much time is left before completion

此外，至少自1988年以來，基本上已經在所有unix主機上實現了簡單的並發編程，在1988年這一年ksh對其「協同進程（ co - process ） 」進行了標準化。如果您將下面清單1中的ksh源代碼保存為ex1 . ksh ，然後運行它，您會看到「倒計時」顯示： 「十、九、八，等等」 ，然後看到ksh子進程的結果： 「 all done 」 。實際運用中，您可能會對長期運行的化學計算或數據庫檢索使用類似這樣的操作：啟動操作作為子進程，但是讓用戶始終知道操作的進展或完成之前還剩多少時間。

Concurrent design environment is a multi - user, multi - task system, which consists of lots of collaborative processes

摘要網上并行設計是典型的多用戶參與的多任務系統，用戶之間存在大量的協作過程。

In exceptional circumstances, where this is not possible, it may be necessary to validate processes during routine production ( concurrent validation )

如有例外情況使工藝驗證不能如期進行，則必須在日常生產過程中進行驗證（同步驗證） 。

From concurrent view of process, processes in the view are like nodes in network

從進程並發的角度看，進程與網路節點相似。

At last, the process cost evaluation method and the implementation analysis method in the concurrent designing or re - engineering of processes are provided

其次，根據不同評價要求，提出了過程并行設計重構過程中的實施成本評價策略和過程實施成本總評價策略，並對過程實施成本進行了分析。

As the application of distributed computing is used much more widely ， distributed database becomes a significant part of information management it avoids a lot of disadvantages of conventional centralized database ， and is applicable to many situations distributed database is a set of data which is the unity logic ， but in fact these data is located on different sites it is of high availability ， easy expansibility ， high concurrency ， high efficiency and etc in distributed system ， data redundancy is a method to improve the speed of query and the availability of system distributed query should shield the lower level details of data redundancy from end users ， distributed transaction should ensure data from disaccord this paper introduces basic conceptions of distributed database firstly ， discusses distributed transaction and concurrent control ， describes the development prototype mysql ’ s characters ， architecture and executive mechanism ， then shows the skeleton model of dpsql and exposes the strategy and algorithm of distributed query and distributed transaction ， at last analyzes the extra expenses and response delay of distributed processes this paper exposes the implementation mechanism of distributed query and distributed transaction emphatically distributed query uses the strategy of “ read one ， write a11 ” s0 in such a system if user ’ s requests are read - - only for the most part and the distribution of data redundancy is plausible ， efficiency is very high distributed transaction uses two - 。 phase commit protocol to ensure the consistency of global data ， which has less communication overhead

分散式查詢需要向用戶屏蔽數據冗餘分散的底層細節，分散式事務處理要保證全局數據完整，這都是傳統集中式數據庫不曾面臨的問題。本文首先介紹了分散式數據庫的概念性問題；接著討論了分散式事務涉及的定義及演算法；然後描述了dpsql的原型mysql的特性、結構和執行機制；繼而給出了dpsql的梗概模型，闡述了實現分散式查詢和分散式事務處理的策略及演算法；最後分析了進行分散式處理給系統增加的額外開銷和客戶端的額外響應延遲。本文重點描述了分散式查詢和分散式事務處理的實現機制，分散式查詢採用」讀一個寫全部」的本地優先策略，在讀操作頻繁的系統中，只要庫的分佈合理，單機效率極高，幾乎無任何附加開銷和延遲，而以整個系統的角度看來，吞吐量就更是優于單機系統；分散式事務處理採用兩階段提交協議，通信次數較少並能確實保證副本一致。