finite set 中文意思是什麼
finite set
解釋
有限集, 有窮集合-
The set of all strings over a finite alphabet can be generated by it.
有限字母表上所有行的集合可以由它生成。 -
The set of all string over a finite alphabet can be generated by a lgg.
有限字母表上所有行的集合可以由LGG生成。 -
Let p be a finite planar point set with no three points collinear
設p為一個無三點共線的有限平面點集。 -
The research work of this article is a part of the " reliability research of cylinders for compressed natural gas vehicles " project which was subsidized by chongqing scientific committee, it aims to research the destructive theory and design theory and method for fiber enlaced composite materials shell, and synthetically use finite element optimal technology to set up composite materials cad system
本文的研究工作是重慶市科委資助項目「天然氣汽車氣瓶可靠性研究」的一部分，旨在研究纖維纏繞復合材料殼體設計理論及方法和破壞機理，綜合運用有限元優化技術建立復合材料殼體cad系統。 -
Roll over protective structure ( rops ) is a device which installs on out of construction vehicle. the main functions are : when the vehicle rolling over. rops can prevent the vehicle from rolling over further, and reduce the possibility of rolling vehicle injures operator ; when the vehicle traveling on freezing soil. concrete and rock, it has large resist continuous impact ability ; when the vehicle overturning rops can support the whole vehicle. arrangement of falling object protective structure ( fops ) can block objects ( such as trees, rocks ) so that supply protection for operator. this problem is that research rolling over and falling objects protective structure of bulldozer by learning research condition of rops / fops and relative lay down international standard. on the base of theory analysis. detrudes counting formula of rops / fops deformation through founding mechanics analysis model of rops / fops at the stage of elasticity and plastoelastic. and finds a set of feasible nonlinear finite element analysis counting. lt calculates rops / fops plastoelastic deforma variable of 320hp bulldozer, bulldozer has been carried out by optimizing design method
其主要功能是：當車輛滾翻時， rops能刺入未凍土壤而阻止車輛的進一步滾翻，降低滾翻的車輛對系著安全帶司機軋傷的可能性；保證rops在碰撞和沖擊變形不大的地面（如凍土、混疑土上、巖石）時，能具有相當大的抗連續沖擊能力；當車輛已經處于顛覆狀態時，已經變形的rops應能支撐住整車。落物保護裝置（簡稱fops ） ，其構件的布置方式要能遮蔽墜落的物體（如，樹木、巖石等） ，以便對司機提供適當的保護。本課題主要通過了解國內外有關對rops fops的研究情況和有關國際標準的制定，對大型推土機傾翻和落物保護裝置進行研究，在理論分析的基礎上，通過建立rops fops的力學分析模型，推導彈性、彈塑性階段rops fops變形的計算公式，建立一套可行的rops fops的非線性有限元分析計算方法。 -
Meromorphic functions sharing one finite set
具有一個公共值集的亞純函數 -
5 ) the 3 - d geometry and finite element model of the assembly of the optimized obturator of the breech mechanism is set up in terms of the optimized structural parameters. quasi - static and dynamic finite element analysis of stiffness, strength and obturating performance of the optimized obturator of the breech me chanism is performed
利用優化后的結構參數建立了優化后炮閂閉氣結構的裝配體三維幾何實體模型和有限元模型，對優化后的炮閂閉氣結構剛強度和閉氣性能進行了準靜態及動態多體接觸彈塑性有限元分析。 -
The checking method for the associative law of finite groups is discussed by programme. in the same time, the checking of dosure law, unit element and mverse element, is added into the program, so that it can check whethe a finite set is a group for the giving binary operation
用編程的方法討論了群論中結合律的檢查，同時把閉合律、單位元、逆元的檢查也添進程序中，使得該程序能檢查一個有限集合對所給二元運算是否成一個群 -
The other important detail to remember is that xml - rpc has a finite set of datatypes
另一個需要記住的重要細節是xml - rpc具有一個數據類型的有限集。 -
If speech input is one element of a finite set, we can improve the accuracy greatly using similarity of chinese text strings
在已知語音輸入為某有限集元素之一的情形，利用文本在發音上的相似度可以大大提高識別的精度。 -
The title attribute can be one of a finite set of possible values - mr, ms, and mrs - so you intend to implement a
Title屬性是由可能值mr 、 ms和mrs組成的有限集合中的一個值，所以準備用typesafe enumeration （類型安全的枚舉）設計模式來實現一個 -
A block design is a triple d = ( x, b, i ), where x is a finite set ( the point set ) of order v, b is the block set and / is the incidence relation between x and b. for the given block design d, if all the blocks from x, which have the same type of the blocks in b, can be partitioned into some bi, such that each ( x, bi, i ) is a block design with the same parameters and the same type as d, then { ( x, bi, i ) } i is called as large set of d - design of order v. on the other side, let | x | = v, | y | = v + 1, and x y, if all the blocks of the same type from y can be partitioned into some bx, such that each ( y { x }, bx, i } is a block design of order v for any element x y with the same parameters and the same type as d, then { ( y { x }, bx, i ) } x is called an overlarge set of d - design of order v. in this thesis, we discuss the existence problem about some types of large sets and overlarge sets
一個區組設計是由兩個有限集合x ， b及它們之間的關聯關系i組成的，記為d = （ x ， b ， i ） ，其中x為v元集， b為區組集，對于指定的設計d ，若x上與d相應的全部構形可分拆為若干個b _ i ，使得每個（ x ， b _ i ， i ）皆為一個與d同參數同類型設計，則稱這些b _ i構成一個v階d -設計的大集。若v元集x是v + 1元集y的一個子集，而y上與d相應的全部指定構形可分拆為若干個b _ x ，使得每個b _ x恰是y { x }上的一個與d同參數同類型的設計（其中x y ） ，則稱這些b _ x構成一個v階d -設計的超大集。本文中討論了一些區組設計的大集及超大集。 -
Given any finite set of axioms, we have an infinite number of truths that are unprovable in that system
給定任何有限個公設，在該系統內都會有無窮多個無法證明的事實。 -
A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率 -
We investigate the decision - making problem with a finite set of alternatives, in which the decision information takes the form of a fuzzy preference relation. we develop a simple and practical approach to obtaining the priority vector of a fuzzy preference relation. the prominent characteristic of the developed approach is that the priority vector can generally be obtained by a simple formula, which is derived from a quadratic programming model. we utilize the consistency ratio to check the consistency of fuzzy preference relation. if the fuzzy preference relation is of unacceptable consistency, then we can return it to the decision maker to reconsider structuring a new fuzzy preference relation until the fuzzy preference relation with acceptable consistency is obtained. we finally illustrate the priority approach by two numerical examples. the numerical results show that the developed approach is straightforward, effective, and can easily be performed on a computer
研究了決策信息以模糊偏好關系給出的有限方案決策問題，提出了一種簡潔且實用的模糊偏好關系排序方法.該方法首先建立一個二次規劃模型，然後基於該模型推導出求解模糊偏好關系排序向量的一個簡潔公式.基於獲得的排序向量，利用一致性比例對模糊偏好關系進行一致性檢驗.對於一致性較差的模糊偏好關系，則需反饋給決策者重新進行判斷，直至得到一個一致性可接受的模糊偏好關系為止.最後，利用2個算例對該方法進行分析和說明，數值結果表明該方法簡潔、有效，且易於在計算機上操作 -
The finite set of nonzero values
有限的非零值集。 -
Models a business process as a finite set of states and event transitions
將業務流程建模為有限的狀態和事件轉移集。 -
Element is used to create a finite set of choices from a simple data type
元素用於基於一個簡單數據類型來創建有限的一組選項。 -
A software system typically starts out with a finite set of well - understood requirements
軟體系統通常從一組有限的得到良好理解的需求開始。 -
Of course, unlike type declarations, a finite set of tests cannot check an implementation over all possible inputs
當然，與類型聲明不同，有限的幾套測試在檢查實現時無法遍及所有可能的輸入。
分享友人