運算元模式 的英文怎麼說
中文拼音 [yùnsuànyuánmóshì]
運算元模式
英文
operator schema- 運 : Ⅰ動詞1 (物體位置不斷變化) move; revolve 2 (搬運; 運輸) carry; transport 3 (運用) use; wield...
- 算 : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
- 模 : 模名詞1. (模子) mould; pattern; matrix 2. (姓氏) a surname
- 式 : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
- 運算 : [數學] operation; arithmetic; operating
- 模式 : model; mode; pattern; type; schema
-
11 katoen j - p, langerak r, latella d, brinksma e. on specifying real - time systems in a causality - based setting. lecture notes in computer science 1135, 1996, pp. 385 - 405. 12 fecher h, majster - cederbaum m, wu j. refinement of actions in a real - time process algebra with a true concurrency model
在系統模型的結構表示上,本文擴充了傳統的事件結構,使用一種帶時間信息的捆綁式事件結構來模擬系統行為,在系統模型的語言刻畫上,本文採用的是帶時間的類lotos進程代數描述語言,對于動作精化,我們同樣採用運算元的觀點,將動作精化定義為一個操作運算元。First, the paper introduces the basic knowledge of the image processing technique, emphasizes the image processing method that is used in the measur - ement system, such as edge detection operator, curve fitting algorithm, espe - cially hough change in detail, etc. second, the paper introduces the vc + + 6. 0 program language, analyses its peculiarity and advantage, explains the form of the image in the computer and dib visiting functions
首先,介紹了圖像處理方法的基礎知識,特別重點講述了在本系統中將會應用到的一些圖像處理方法,如邊緣檢測運算元、曲線擬合演算法等等,尤其是對于哈夫變換的方法,進行了詳細闡述。其次,介紹了本系統所應用的編程語言vc + + 6 . 0 ,分析了其特點和優點,並說明了模擬圖像數字化后,在計算機里的存儲格式以及相應的設備無關位圖訪問函數。_ _ _ _ uncertain factors of macroscale inversion analysis of displacements are summed up. associated inversion model containing non - deterministic factors is proposed, i. e. " deterministic inversion of differential equation + systematic optimization technique = non - deterministic inversion ". the systematic optimization technique includes direct operator optimization, direct numerical analysis optimization, measurement design optimization, measured data processing, in - ersion algorithm optimization, and inverse operator regularization, etc. when this associated inversion technique is used in displacements back analysis, uncertain factors can be processed quantitatively
歸納了宏觀尺度位移反演分析的不確定性因素,提出了容納不確定性因素的位移反演分析的聯合反演模式,即「微分方程確定性反演+系統性優化技術=非確定性反演」的模式,並具體論述了聯合反演模式的系統性優化技術,包括正演運算元的優化、正演數值分析的優化、測量設計優化、觀測數據處理、反演演算法優化、反演運算元處理等六個優化方法。Also, by the means of the pattern of matrix and the pattern of linear operator, we characterize the linear operators that strongly preserve nilpotence and that strongly preserve invertibility over antinegative commutative semirings without zero divisors
另外,利用矩陣模式和運算元模式等工具,我們在非負無零因子半環上刻畫了強保持冪零的線性運算元和強保持可逆的線性運算元Their pd signals are measured and measured cables are anatomized to observe their discharging trace. implement of picking - up character and mode classifying are introduced, and expatiate the principle of artificial neural networks. soft program is necessary to pick - up the character of pd signals and classify pd mode
論文介紹了由特徵量提取器和模式識別分類器兩大模塊構成的模式識別系統,闡述了人工神經網路的模式識別原理,本文一方面採用信號的prpd模式的放電次數和統計運算元作為bpnn的輸入信號,設計了相應的bpnn模式識別程序;另一方面採用prpd模式的統計運算元作為sart人工神經網路的輸入,設計了相應的sart神經網路模式識別程序。Also, the author ’ s design strategy and creativity has been given in this paper. specifically, it includes : based on the feasibility analysis of the fit selection of control parameters in the aeration process, the aeration process of wastewater treatment of the joint - constructional complete - mixed activated sludge process has been aimed at in this paper. then, the state equations of the aeration process have been proposed in this paper, which is on the base of dissolved oxygen concentration ( do ) and discharge quantity of sludge ( qw ) as control variables, the concentration of bod and sludge as state variables. based on the present study on optimization control of wastewater treatment, the multivariable optimal control model with restriction factor has been presented in the paper with introducing modern control theory and system analysis into the field of activated sludge wastewater treatment,
具體包括:以完全混合、表面曝氣合建式活性污泥工藝的污水處理曝氣過程為研究對象,在闡述了曝氣過程式控制制參數選取可行性的基礎上,建立了以溶解氧濃度do和活性污泥排放量qw為控制變量,以曝氣池中有機物濃度s和微生物濃度x為狀態變量的活性污泥曝氣過程的基本狀態方程;運用現代控制理論的觀點和污水處理理論,在現有關于污水處理最優控制問題研究的基礎上,建立了有約束條件多變量能耗最小數學模型,該數學模型是以有機物排放總量和狀態變量的末值條件作為約束條件,曝氣過程的能耗最小作為目標泛函;採用增廣拉格朗日乘子法對最優控制問題進行轉化,並對應用極大值原理求解能耗最小這一最優控制問題進行了詳細的解析;引入約束運算元,應用具有控制約束的共軛梯度演算法對能耗最小這一最優控制問題進行求解,並進行模擬實驗驗證。At first, in order to prevent the premature convergence of genetic algorithm effectively, the author brings forward a novel dyadic floating - point supplementary mutation operator. then, simulating the natural evolution, the author presents a novel topology, unoriented - connected topology, for parallel genetic algorithm. in the end, an interval decomposed optimization method is brought forward for ipga, which can improve the optimization performance of the algorithm
為提高演算法的性能,作者對遺傳演算法進行三種改進:首先,為克服遺傳演算法早熟收斂,作者提出一種新的二元浮點補碼變異運算元;其次,模擬生物自然進化模式,為并行遺傳演算法提出了一個新的并行拓撲結構- - - -無定向拓撲連接;最後,作者提出一種區間分解優化思想,來提高對最優解的搜索能力。By employing the theory of operator representation, the reflection / transmission operator is decomposed into the form of double domains in the scheme, so it is adaptable to laterally heterogeneous media and fluctuating reflectors, can mimic ava of reflections when the incident angle is less than 45
文中利用運算元可分表示理論將反射透射運算元分解成適合於雙域(空間域和波數域)運算的表達形式,使得本文得到的地震波數值模擬演算法可適應於一定程度橫向非均勻介質和界面起伏情況,在入射角小於45時能夠準確模擬振幅隨入射角( ava )的關系。In the last, the problem of the perturbation of fuzzy reasoning is discussed in detail, and the maximum perturbation parameters for various methods of fuzzy reasoning is estimated according to the choice of conjunctive operator and implication operator
根據椎理規則中合取運算元與蘊涵運算元的不同選取方式,對各種模糊推理方法的最大攝動參數進行了評估,為實際應用中選擇恰當的模糊推理方法提供了一個準則In the study of risk theory, a class of continuous time risk process with deficit - time geometry distribution of claim inter - occurrence time was made into a strong piecewise - deterministic markov process with the theory of piecewise - deterministic markov process and by introducing a supplementary variable. martingale approach is one of the most powerful methods of pdmp. the programming process is getting the ruin probability from the martingale construction. we use the idea of change of measure in the programming process and find the result and the function of adjustment coefficient
本文應用逐段決定馬爾可夫過程理論及補充變量技巧,使索賠到達間隔服從虧時幾何分佈的連續時間風險過程成為齊次強馬爾可夫過程,然後利用pdmp中的鞅方法(用廣義生成運算元得出鞅)推導了鞅的形式,作為該風險模型索賠額分佈為一般分佈下的破產概率的一般表達式,其中用到了測度變換的思想。Facing to manufacturing system, this paper analyzed its characters and evolvement of production management modes, demonstrated that lean production and human - based theory were practical ways to reform our manufacturing systems fit for the reality. a division method was raised to separate the job - scheduling problem into shop and station types, and emphasis was pressed on the study of partheno - genetic algorithm ( pga ), a revised genetic algorithm, to calculate this problem. a new kind of gene joint - move algorithm was also raised
針對製造系統,分析其生產管理模式的特點和變遷,論證了精益生產和以人為本的思想是適合現階段我國實際的製造系統管理模式改造途徑,對其中的主要具體問題?作業計劃調度提出shop (車間)和station (工作站)型兩分法,求解上重點研究了遺傳演算法的改進型式?單染色體遺傳演算法( pga )的基本理論,提出一種基因聯合移位運算元,證明了演算法的有效性與優越性,研究了如何將pga應用於製造系統作業調度這一復雜的組合優化問題,針對生產中總時間最短和jit兩種生產性能指標,給出了具體的解決方案及運算過程。In the selective calculation module, the calculations of heat exchanger design, the analysis of pipe setting patterns are combined with the database so that the selective calculation sub - system is developed. considering the factors such as uniform flowing of the fluid, smaller inner radius of the shell, the well heat exchanging effect and saving materials, the pipe setting module is developed based on the designing data. in the module for automatically generating parts and assembly drawings, the database of pattern sizes and the drawing libraries are established according to the classifications and series
在選型計算模塊中,通過換熱器設計計算、管束組件的布管方式分析、數據庫的檢索,開發了浮頭式換熱器輔助設計計運算元系統;在布管定型模塊中,按照確保殼程流體流動均勻、且換熱器殼體的內徑較小、管程殼程間換熱良好且節省材料的原則,根據設計計算參數建立了自動布管定型系統;在零部件圖和裝配圖自動生成模塊中,分級分類地開發了浮頭式換熱器所有零部件圖和裝配圖的圖紙尺寸數據庫和圖庫,運用「死圖活尺寸」的開發理念,開發了圖形自動生成與管束參數化設計的集成系統。Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method
本文在格值命題邏輯系統lp ( x )和格值一階邏輯系統lf ( x )的基礎上,討論了廣義格值模態邏輯系統的語義及語法性質,並對其-歸結原理做了初步探討,主要在下述三個方面取得了研究成果:第一部分:關于格值模態命題邏輯系統及其歸結方法的研究在此部分,把模態運算元n (必然)和p (可能)引入格值命題邏輯系統lp ( x ) ,建立了新的格值模態命題邏輯系統lmp ( x ) ,並研究了它的語義刻畫及語法結構,證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的;在此基礎上,進一步研究了基於格值模態命題邏輯系統lmp ( x )的-歸結原理,給出了計算-直接歸結式和-自歸結式的規則,並總結出具體的歸結方法。When the author sets up the mathematics model with describing the process of two - dimensional debris flow, he develops the continuity equation by the law of conservation of mass and establishes the momentum equations by the law of conservation of momentum. the author makes full use of the advanced computer technologies, establishes the finite difference equation of numerical simulation by the differential operator fission method, and writes programs for computers which contact friendly with the other programs. the parameters are directly input on the keyboard
在泥石流堆積數值模擬方面,作者以前人工作成果為基礎,在建立數學模型時,根據質量守恆原理,推導建立了泥石流連續性方程,根據動量守恆原理,推導建立了泥石流運動方程;在數值解法上,充分利用高速發展的計算機技術,採用運算元分裂法建立數學模型的差分格式,開放式編製程序,人機對話方式設置參數,計算機程序具有通用性、可擴展性和易維護性。This evaluation problem is formulated as a multi - attribute decision - making model in a fuzzy environment and solved by a fusion method based on the meowa operators
首先,將製造彈性評估問題建構為一個模糊環境下多屬性決策模式,並提出一種運用meowa運運算元的語意融合演演算法于評估製造彈性。This paper applied the character that linear subjective isometries preserve the geometric rank of a operator to characterize the onto isometries between compact operators space in weakly closed modules of nest algebras, and obtained the expressions of the isomtries
摘要利用運算元的幾何秩在線性等距映射下不變的性質研究了套代數弱閉模中緊運算元空間的線性等距離映射,最後得到其空間實現形式。Further, analyse the characteristic of the seismic wavefield of fractural reservoir and the influence caused by fracture density, property of the filled material and the strike of fracture. fifthly, in term of research of zhangshulun et al., concisely discuss the arithmetic of the plane wave forward modeling and migration with phase shift method, in prestack common offset gathers and check the arithmetic by numerical simulation
第四,用基於彈性?聲學近似的反射系數計算公式和本文提出的付氏變換子波生成法得到縫洞模型的反射系數模型和子波模型並用vrselrf波場延拓運算元對其進行地震波場數值模擬;進一步分析了縫洞儲層的地震波場特徵及縫洞密度、充填物性質和裂縫走向對其波場特徵的影響。In this algorithm, the unfitness function is chosen as a merit at the beginning of iterative and a new cross operation is designed. in addition, we use a hybrid mutation operation, and make immune operation on individual after mutation operation
該演算法在迭代初期引入不適應度函數作為評價標準,結合啟發式交叉和邊重組交叉運算元設計了一種新的交叉運算元,採用了模式變異和啟發式變異相結合的混合變異運算元,並對變異后個體進行免疫操作。This dissertation is composed of follows : a ) introducing new logic operator into the traditional agent bdi model, including bel, asm, des, goal and int, in order to describe the dynamic restrictions and interactive triggering relations between belief, desire and intention of agent. a new intentional model was built in complementation of the kd45 regular modal logic axiom, which is the base of agent self - control interaction with the outer environment
在傳統的理性agent的bdi形式化邏輯模型中作者引入新的邏輯運算元bel 、 asm 、 des 、 goal和int等,表達了信念、願望和意圖三者間的動態約束與相互激發關系,補充了正規模態邏輯的kd45公理,建立agent從信念到動作選擇的的意圖模型,為研究agent與環境交互的自主行為模式提供了理性化模型。4. it is used fuzzy neural networks ( fnn ) of the intelligent theory to control the formation process. in order to realize the real - time control, we use the compensatory learning algorithm
第四,將智能控制理論中的模糊神經網路控制方法引入發酵過程式控制制,為了滿足實時控制的要求,引入了補償模糊運算元,從而大大提高了收斂速度。分享友人