first-order system 中文意思是什麼
first-order system
解釋
一階系統-
We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features
基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。 -
Under the assumption that the elastic tensor satisfies the strong - ellipticity condition, we reduce the two - dimensional equations of linearly elastic membrane shells to a first order linearly symmetric hyperbolic system
摘要在彈性張量滿足強橢圓性條件的假設下，把2 -維線性動態膜殼方程組化為一階線性對稱雙曲組。 -
Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討 -
A monotone approximation for a prey - predator system of first order
被捕食系統的單調方法 -
The photochemical catalysis data in the peracid ( hcooh ) system suggests that the reaction sulfur compounds are converted to their corresponding aqueous - soluble sulfoxide and sulfone follows the characteristic pseudo - first - order reaction kinetics
光甲酸（雙氧水）催化汽油體系中硫化物轉化為水溶性碸和亞碸的反應符合一級反應動力學特徵。 -
For the regular curves, we find two killing fields for the purpose of integrating the structural equations of the p - elastic curves and express the p - elastica by quadratures in a system of cylindrical coordinates. for the star - like affine curves, we solve the euler - lagrange equation by quadratures and reduced the higher order structure equation to a first order linear system by using killing field and the classification of linear lie algebra sl ( 2, r ), sl ( 3, r ) and sl ( 4, r ). we solve the centroaffine p - elastica completely by quadratures
對于正則曲線的情形，我們發現了兩個用於求解p -彈性曲線的結構方程的killing向量場並用積分將p -彈性曲線在一個柱面坐標系中表示出來，而對仿射星形曲線的情形，我們用積分方法解出了歐拉-拉格朗日方程，利用killing向量場及線性李代數s1 （ 2 ， r ） 、 s1 （ 3 ， r ）和s1 （ 4 ， r ）的分類將高階結構方程降為一階線性方程，因此我們用積分完全解出了中心仿射p -彈性曲線。 -
The solution s characteristic of the elliptic type eq uat ion and the system of elliptic type equations with first order are discussed by using the methods of several complex analysis. a series new extended results of t he soutions for the system of elliptic type equations are obtained
將一階橢圓型實方程和橢圓型實方程組轉化為橢圓型復方程和橢圓型復方程組，藉助于多元復分析的方法，研究了一階橢圓型方程和橢圓型方程組的解的特徵，得到了有關一階橢圓型方程組解的一系列新的延拓結果 -
Then a simple e - dealing system is devised to show the thoughts of the protocol. in order to formalize and verify the protocol, bzl logic model is built, which based on first - order logic and introduces many - sorted, dynamic and non - monotony logic
為了形式化驗證數字現金的安全性，本文在經典一階邏輯的基礎上，吸取了多類邏輯、動態邏輯和非單調邏輯的思想，提出了bzl邏輯模型。 -
An analytical model was developed using the first - order laminated anisotropic plate theory to determine the stress and strain distributions within frp and steel pipe joint under combined torsional and tensile loading. taking advantage of the axisym metric nature of torsional and tensile loads about the pipe centralaxis, the equilibrium equations for the three - components joint system consisting of coupling, adhesive and pipe were setup based on the displace mentrelation
通過對各種膠接接頭形式的分析，針對玻璃鋼管與鋼管及鋼管件在實際應用中的具體情況，選擇應用內、外增強型對接接頭進行玻璃鋼管與鋼管（件）的膠接連接，並建立了一種玻璃鋼管與鋼管（件）膠接管接頭在拉伸和扭轉載荷作用下膠層內應力分析模型。 -
The main contents are as follows : ( 1 ) by employing the direct method, the soliton periodic amplification system in optical fiber link with loss is considered, and the adiabatic solution ( slowly varying portion ) and first - order correction ( rapidly varying portion ) for a single soliton case are presented
本文的主要內容如下： （ 1 ）利用直接擾動方法對周期放大系統進行了理論分析，給出孤子周期放大系統的絕熱近似解和一級修正解的積分表達式，結果分析表明孤子在放大過程中一部分能量以色散波的形式流失，而這一色散波主要由孤子周期放大系統的一級修正解來刻畫。 -
This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一階謂詞演算和前後斷言方法，並且自定義了一個重構可靠性證明的邏輯推理系統：重構可靠性推演系統。 -
Our company has obtained the “ high - quality products recommended certificate ” by the america international quality certificate commission, “ anti - explosive conformity certificate ” issued by the national anti - explosive authoritative organ, “ anti - explosive electric apparatus installation and amending qualification certificate ” issued by the national anti - explosive electric products quality supervision and inspecting center, is china oil and natural gas first - order network supplier, zhejiang a - class following contract and enhancing on reputation enterprise and zhejiang industrial and commercial digital authentication enterprise, national anti - explosion electrical standard council commission unit, the iso9001 : 2000 quality system identification enterprise
本公司獲得美國國際品質認證委員會「高質量產品推薦證書」 ，國家防爆權威機構頒發的「防爆合格證」 ，國家防爆電氣產品質量檢驗中心頒發的「防爆電氣設備安裝、修理資格證書」 ，是中石油、中石化一級網路供應商，浙江省a級守合同重信用單位，浙江工商數字認證企業，全國防爆電氣標委會委員單位， iso9001 : 2000質量體系認證企業。 -
The conformal microstrip antenna with some unique character has been applied in many fields, especialy on speedy objects. in this paper, an efficient fdtd algorithm is introduced to analyse the microstrip antenna. firstly, the fdtd formula in descartes coordinate system and in cylindrical coordinate system are obtained from the time _ dependent maxwell equations using the yee algorithm in a calculating region where the dielectric parameters are independent of time and space. the choice of the space discretization units and the time discretization interval are discussed which are decided by the accuracy and stability respectively. the shape and setup of the excitation source are discussed too. the excitation source is chosen to be gaussian pulse in shape. secondly, the mur ' s first - order and second - order boundary condition are deduced in cylindrical coordinate system. the methods of transforming radiation fields from near zone to far zone in the frequency domain and in the time domain are presented when fdtd is applied to analyse the characteristics of far zone. finally, three kinds of microstrip antennas are analysed. they are a slot antenna that lies on a plane ground of a microstrip, a slot antenna that lies on a cylindrical ground of a microstrip and a microstrip line _ fed aperture coupled stacked rectangular patch antenna in cylindrical coordinate system
本文從麥克斯韋旋度方程出發，建立了笛卡兒坐標下無源空間中均勻無耗媒質的fdtd基本方程和圓柱坐標下無源空間中均勻無耗媒質的fdtd基本方程，詳細討論了fdtd法計算中時間步長和空間步長的選取原則以及激勵源的類型和設置；推導了mur一階和二階邊界條件在圓柱坐標下的差分格式；給出了在用fdtd法計算天線的遠場輻射特性時必需採用的頻域和時域近場遠場變換技術；最後用fdtd法計算了平面微帶縫隙天線、柱面共形微帶縫隙天線和柱面共形微帶層疊天線的輸入阻抗和遠區輻射場，並分析了天線的一些參數的變化對天線輸入阻抗的影響，得出了一些有用的結論。 -
In the last chapter, the submarine motion tendencies under first order and second order wave force actions are illustrated through theory analysis and simulations, which established the foundation for studying the design of autopilot control system under wave force disturbances
最後本文從理論、模擬兩個方面分析和顯示了艇體在一階、二階波浪力作用下的運動趨勢，從而為研究潛艇近水面波浪力干擾下的潛艇自動舵設計奠定了基礎。 -
The compensator was h ( s ) = 2370s. the results of simulation showed that attenuation factor of the first order of the third control system was as much as ten times of the value of the system without controller
通過模擬表明，採用速率傳感器，在前三塊帆板上布置壓電驅動器時，一階最大衰減因子為無控時的10倍，可以使脈沖衰減時間縮短15倍。 -
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 ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。 -
The numerical method to solve the equation for spatial amplification theory is described in detail. deduced first - order system equations from spatial instability theory and its eigenvalue problem are solved and neutral lines varied with mach numbers are given
運用穩定性理論的空間放大理論，建立穩定性方程，得到一個六元一階方程組，然後求解該一階系統，計算並得到不同馬赫數下的中性穩定曲線，基於此得到不同馬赫數下流場的臨界失穩點和穩定區域。 -
For determining first order system parameters
確定一階系統參數繪圖技術 -
2 utilize matlab simulating optimization design for first - order system with large time - delay and compare their results with the system designed by pid. 3 design the hardware system and software system of the fuzzy intelligence inverter air - conditioner based on genetic algorithms
2 、利用matlab軟體對基於遺傳演算法模糊智能空調控制系統進行模擬，中文摘要基十遺傳演算法模糊智能變頻空調機理的研究並與模糊邏輯控制演算法、 pid演算法模擬進行對比研究。 -
A new self - adjusting fuzzy controller of a class of first - order system
一種新的一階系統自調整模糊控制器
分享友人