lattice work 中文意思是什麼
lattice work
解釋
n. 名詞 1. 格子。2. 格子細工，格子花樣。
-
Soil reinforcement. backfilled structures reinforced with quasi - inextensible and flexible reinforcing strips or sheets. part 2 : reinforcement with metallic strips in lattice work. design
土壤加固.用近似不能伸展的和軟增強帶和增強板增強的回填結構.第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一歸結原理進行了初步探討 -
First, using a kind of realization of yangian of a two angular momentum coupling system, we can work out the quantum states of the h = - s model, a two - lattice physics system whose orbital angular momentum and spin coupled in a special way. then, we select that situation that a orbital angular momentum of any value coupled with another of the value of 1 / 2 as an example, discuss the degenerate states of the model
首先，通過二角動量耦合狀況下的yangian實現來確定模型（一個軌道角動量和自旋角動量以一種特定方式耦合的兩格點物理體系）的量子態，以任意的軌道角動量與1 2的角動量耦合為例，來討論具體到某一量子態下該體系的簡並問題。 -
In the framework of the transverse ising model ( tim ), landau phase transition theory and the electrostatic field theory, we study the physical properties of the ferroelectric thin film, bilayer, sandwich structure, multilayer with a non - polarization slab and a two - dimension polar lattice model with polar defects. the main work and results are as follows : first, the long - range interaction in ferroelectric material is sometimes neglected in the previous studies. we introduce the long - range interaction in the framework of the tim and the landau theory
本文在橫場伊辛模型、朗道相變理論以及靜電場等理論的框架內，對鐵電薄膜、鐵電雙層膜、鐵電三明治結構以及含有雜質層的鐵電多層膜和含有偶極缺陷的二維偶極點陣系統等多層鐵電系統的相變、熱電、介電、電滯行為等物理性質進行了深入研究。 -
Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution
第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。 -
Thin - film sensors in tension measuring straps monitor mounting and work forces directly in the flow of force in construction and operation of lattice - tower cranes, for example
拉力測試繩上的薄膜傳感器監控著連續力和工作力，正在網格塔起重機的建造和操作過程中。 -
Based on lotfi a. zadeh ’ s work, mingsheng ying ’ s work and daowen qiu ’ s work, the author proposed two new formal models of computing with words, namely the formal model of computing with words via lattice - valued finite state automata and the formal model of computing with words via lattice - valued regular grammar. the formal model of computing with words is expored and investigated
本文在lotfia . zadeh教授、應明生教授、邱道文教授等人的工作基礎上，提出了詞計算的兩種新的形式模型? ?基於格值有限狀態自動機的詞計算形式模型和基於格值正則文法的詞計算形式模型，對詞計算的形式模型作了進一步研究和探討。 -
The regular script sharp gauze production factory attendance “ township of the chinese silk screen ”, this factory manager the time is engaged in the gauze and silk screen ' s production and the sale, my factory product specification is complete, quality excellent, including : the stainless steel mesh, the ectrowelding net, the heavy hexagonal network, the ore strainer, the metal net, the round hole net, the security net, the copper screen, the steel plate lattice - work, the ginning network, the safety net, cancel the flowered net, the extra wide net, the window screening, the guard rail net, the road guard rail, the railroad guard rail, the airport guard rail, the factory railing, the garden guard rail, the black cloth and silk, to breed the cage to have, the plastic even net, the galvanization silk and so on each kind of silk screen, widely uses in professions and so on petroleum, chemical industry, building, spinning and weaving, medicine, aviation, astronautics
楷銳金屬絲網製品廠地處「中國絲網之鄉」 ，本廠長期從事金屬絲網及絲網的生產和銷售，我廠產品規格齊全，質量精良，主要有：不銹鋼網、電焊網、重型六角網、礦篩網、金屬網片、圓孔網、防盜網、銅網、鋼板網、軋花網、安全網、勾花網、寬幅網、窗紗、護欄網、公路護欄、鐵路護欄、機場護欄、工廠圍欄、花園護欄、黑絲布、養殖籠具、塑料平網、鍍鋅絲等各種絲網，廣泛用於石油、化工、建築、紡織、醫藥、航空、航天等行業。 -
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 ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。 -
In the thesis, we proposed a random lattice model of mea the lattice model randomly occupied by three kinds of particles, pt / c, nafion and ptfe ( poly - tetra - fluoro - ethylene ), was generated on a computer by the means of monte carlo method. it was supposed that current was only produced on those catalysts which have not only channels of electrons via carbon but also have channels of proton via nafion. the purpose of the work, in a word, is to find how many catalysts, pt / c, with such a two - types channels
本文首先建立了質子交換膜燃料電池的膜電極的隨機方格子模型，在電極模型各格點位置用montecarlo方法生成隨機分佈的電極粒子、 nafion粒子和聚四氟乙烯團粒，認為只有那些既有質子傳輸通道，又有連續的電子通道和氣體擴散通道的胞元才產生有效的電流，而其餘胞元不產生電流，把電極的輸出電流轉化成一個概率事件。 -
Much theoretical work in lattice differential equations concerns one - dimensional lattices, often with weak coupling between lattice sites. by contrast, we are more concerned with lattice systems in two - dimensions
由於生物和電學（ josephsonjunctions ）的需要，人們對一維耦合振子鏈做了許多研究，其中包括許多理論的結果和數值上的分析。 -
In this paper, in order to solve the difficulties in the rain pipe construction in jianyu road of yulin city, the pipe - pushing technique for the hand - type tool pipe in the sand soil layer has been researched by experiments in which many practice problems were considered such as the movement and deformation of sand soil, the difficulties for the pipe to enter the scheduled work soil, the collapse of excavation surface, the departure of pipe center and the difficulties to correct this departure. by both the calculations for the stabilities of back - supporting soil body and excavation surface and the theoretical analysis on the reasons for the departure ' s producing, some construction techniques were introduced and adopted in this paper which include not only the change and reinforcement to both the back - supporting soil body and the scheduled work soil body but also the settings of pipe cap, lattice and correcting system on the head of the tool pipe
本文針對榆林市建榆路雨水管道中遇到的技術難題，進行手掘式工具管砂土層頂管法施工技術試驗研究，在研究中考慮砂土層存在的后靠土體移位、變形，工具管難以進入出洞土體，挖掘面易坍塌、管道中心易偏差及難糾偏等問題，通過對后靠土體和挖掘面的穩定計算及偏差產生原因的理論分析，提出並採用后靠土體換填加固，出洞土體換填加固，以及在工具管頭部設置管帽、格柵、糾偏系統等技術措施 -
However the study of metal - oxide hetero - interface is relatively less because the properties of metals and oxides usually differ extremely from each other. contrary to metals, the oxides are usually very brittle, elastically stiffer, insulating and exhibit less thermal expansion and their crystal lattice constants are different from metals. moreover, the preparation of specimen of metal - oxide interface is very difficult, the observation of searching a suitable interface under the electron microscope is also a tedious work
然而，對金屬-氧化物界面結構的研究卻相對少一些，這主要是由於金屬與氧化物之間的性質相差非常大，與金屬相反，氧化物通常很脆、絕熱、熱膨脹系數小，晶格常數也不同於金屬，有的甚至相差很大，而且，制備金屬-氧化物界面比較困難，在電子顯微鏡下全面地觀察一個合適的界面也是一項令人乏味的工作。 -
According to the requirement of innovation engineering in chinese academy of sciences, the work in this thesis focused on fabrication of soi material with epitaxial layer transfer of porous silicon and study of luminescence of modified porous silicon, and we obtained the following new results : the effect of doping and anodizing condition on the properties of porous silicon, including the microstructure, ciystallinity and surface morphology, has been studied systematically. it is found that the porous silicon and substrate have the same orientation and share a coherent boundary. but at the edge of pores, the lattice relaxes, which induces xrd peak moving of porous silicon
Soi技術和多孔硅納米發光技術研究是當今微電子與光電子研究領域的前沿課題，本文根據科學院創新工程研究工作的需要，開展了多孔硅外延層轉移eltran - soi新材料制備與改性多孔硅發光性能的研究，獲得的主要結果如下：系統研究了矽片摻雜濃度、摻雜類型和陽極氧化條件等因素對多孔硅結構、單晶性能和表面狀態的影響，發現多孔硅與襯底並不是嚴格的四方畸變，在多孔硅/硅襯底的界面上，多孔硅的晶格與襯底完全一致，但在孔的邊緣，多孔硅的晶格發生弛豫。 -
The main research work is to make use of concept lattice structure to solve the problem of mining association rules, classification rules, and functional dependencies from data
研究工作的重點是使用概念格結構模型對關聯規則、分類規則和函數依賴的發現問題進行求解。
分享友人