有限態語言 的英文怎麼說

中文拼音 [yǒuxiàntàiyǔyán]
有限態語言 英文
finite state language
  • 有 : 有副詞[書面語] （表示整數之外再加零數）: 30 有 5 thirty-five; 10 有 5年 fifteen years
  • 限 : Ⅰ名詞（指定的范圍; 限度） limit; bounds Ⅱ動詞（指定范圍, 不許超過） set a limit; limit; restrict
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
  • 有限 : limited; restricted; finite; a little; not much
  • 語言 : language
  1. In my opinion, the strategy of pera ' s rhetoric of science aims to, through the rhetorical context, save and rebuild the rationality and achieve the inner unity of rational reason and rhetorical persuasion and breaks thoroughly the rigid bounds both between the logical demonstration and the argumentative persuasion and between the static norms and the dynamic exchange evaluation. at the same time, it also provides a way in which some dilemmas such as formal logical presuppositions and irrationalism can be solved, gives the specific strategically psychological direction and much broader room for language creation to bring a fresh motive power for the development of contemporary philosophy of science

    本文認為，佩拉所倡導的科學修辭學戰略的目的在於，通過修辭學語境空間來拯救或重塑理性，以達到理性的「理由」和修辭學的「有理由」的內在統一，從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限；同時，也為走出形式邏輯的預設和非理性主義困境提供了一條出路，並從科學論述的境遇、選擇、辯護中，給出戰略性的心理定向和更廣闊的語言創造的可能空間，為當代科學哲學的發展注入新的活力。
  2. The content of this thesis comes from the fujian natural science found following research task 。 it studies on a space cantilever single beam attached to a moving support 。 inertia forces which are brought by the support ' s movement ， are acceded to the equivalent initiative forces and the equivalent initiative moments 。 when we consider the relation of the forces and deformation ， we change the method of material mechanical analysis to the elastic mechanical analysis 。 further more ， we discusses the feasibility of the method which uses the multi - rigid - body discrete model to simulate the dynamic characteristic of a elastic body 。 first ， the finite segment method is adopted to establish the models of the beam 。 based on kane ' s equations ， dynamic math - model for the beam are derived 。 and by use of c - language and runge - kutta procedure ， the computer - oriented procedure can give the whole responses of the beam 。 second ， with compare to the numerical examples ， the method which uses the multi - rigid - body discrete model to simulate the dynamic characteristic of a elastic body which is under the condition of movement is verified to be feasible 。

    本論文為福建省自然科學基金后續研究課題，以已知支撐運動的單個空間懸臂梁為對象，在等效主動力與等效主動力矩中加入支撐轉動引起的慣性力，並在考慮力與變形關系時，用更一般的彈性力學分析代替材料力學分析，進一步研究用多剛體離散模型來模擬其動力學特性的可行性。首先，用有限段建立機械臂的多剛體離散模型，用kane動力學方法建立其動力學方程。並用c語言編制演算法程序，採用了四階runge - kutta積分程序求解微分方程組，給出構件的全部動態歷程。
  3. Some related techniques and applications on supply chain are described. through studying the order - decomposing process simulation, this dissertation defines the two agent classes : coordination & resource agent, maps the order - decomposing process into a real - time control process formed by a group of agents, proposes finite state machine as a kind of ideal modeling approach used to analyze the real - time control process, describes the conversation rules of agent conversation classes, identifies agents & conversation rules and develops the conversation models by using the framework provided by jafmas, jdk1. 1 integrated development environment & java. according to the structural characteristics, this dissertation transforms the optimization of series supply chain design into multi - stage decision - making problem and develops an optimization model for it

    在對國內外供需鏈研究與應用進行大量調研分析的基礎上，本文給出了供需鏈的定義；闡述了供需鏈管理范疇的內涵、外延及其管理目標；綜述了供需鏈研究的現狀；在對訂單處理流程分析的基礎上，定義了兩種代理類：協調代理和資源代理，創見性地把訂單分解?匹配過程映射為一個由多個代理組成的實時控制過程；針對實時控制過程瞬時狀態難以描述的特點，本文首次把有限狀態機fsm應用到訂單分解?匹配過程中，用以描述代理會話類的會話規則；在jafmas平臺上，利用jdk1 . 1集成開發環境以及面向對象編程語言java設計了jafmas的面向對象代理模型，實現了代理會話規則的有限狀態機模型。
  4. The ansys, a kind of fea program, was used to build model of small carriage. the procedure of gantry beam bump with secondary beam of bridge was reappeared by running nonlinear calculation and loading program which was written by apdl program language. the closest deforming result was gotten, and the deforming of main beam, secondary beam and end beam and inner stress distribution status were calculated

    採用大型三維有限元軟體ansys對該起重機以及小車架等進行了建模、應用apdl語言編寫加載程序、進行非線性計算，再現龍門橫梁與起重機副梁碰撞過程，最後得到與實際變形結果最接近的一種狀態，得出起重機橋架主梁、副梁、端梁的變形以及其內部的應力分佈情況。
  5. At the beginning of this article, we give the analysis about the principle of external condensation. we find out that the most important factor in the condensation is the temperature of the air in the system. and we point out the factors which can make influence in the external condensation, such as the temperature and the humidity of the environment, the temperature and the pressure of the supplying air, the load of the system, the area of passage of speed control valve, and so on. next, we give the mathematics model of the pneumatic system using the knowledge of aerodynamics and heat transfer theory. and using the finite difference method and the numerical analysis we can get the solutions of the model. we use c program to simulate the model

    本文首先對氣動系統外部結露的原理進行了分析，指出了氣動系統內部氣體溫度下降是氣動系統外部結露根本原因，提出了影響氣動外部結露的主要因素，包括環境溫度、環境濕度、供氣壓力、供氣溫度、氣缸負載和調速閥開度等。然後應用氣體動力學、氣體熱力學和傳熱學對氣動系統建立數學模型，用逆步進有限差分法和數值分析演算法對所建模型進行求解，利用c語言編製程序對氣動系統模型進行模擬，給出了氣管及氣缸內氣體的各個時刻的狀態參數。
  6. In this dissertation, the principle of fem in em was discussed, then the pulse radar and three - layered pavements were analyzed with 20 - noded and 4 - noded isoparametric elements respectively. then, corresponding fem programs are compiled in fortran90. so a forward model was built up to describe the transmitting of electromagnetic in the radar and pavements, according to the system identification method

    針對上述情況，本文系統闡述了電磁場有限單元法的基本原理，然後採用二十節點、四節點等參單元分別對pulse雷達實體及三層路面系統進行了靜態場和時變場的有限元分析，初步建立了電磁波在三層路面中傳播的正演模型，同實測波形相比，模擬效果較好，並用fortran90語言編制了相應的三維、二維有限元程序，具有較好的可讀性和可移植性。
  7. For this reason, the thesis presents an approach based on constraint satisfaction, symbolic execution and extended finite state machines. it can analyze programs written in a subset of the c programming language

    針對上述情況，本文中提出了一種方法，它基於約束滿足問題求解方法和擴展有限狀態機上的符號執行演算法，能夠對c語言子集描述的程序進行分析。
  8. Here are the main contents of the paper. the thesis exploits in - deep the systematic tools and apdl commands of the ansys for realizing the parameterized finite element modeling and approximate calculations of many design state variables

    論文工作主要包括：深入挖掘開發了anasys軟體所提供的技術工具和apdl語言集，實現了復雜的參數化結構有限元建模以及諸多狀態變量的近似計算。
  9. It ' s also presented of the theory fundament and software that are involved in the research project. the formulae are concluded respectively at detail according to the precondition and the program compiled with c language is presented as well

    根據建立混凝土泵車底架有限元模型的需要，詳細推斷了在四點支承和三點支承兩種狀態下混凝土泵車支腿反力的計算公式，並利用c語言編寫了程序。
  10. Then we also formulate the model of computing with values via lattice - valued finite state automata, as well as the state transition function of the model of computing with words via lattice - valued finite state automata and the language accepted by lattice - valued finite automata

    然後，給出了基於格值有限狀態自動機的數值計算的形式模型。同時，建立了輸入是詞的格值有限狀態自動機的轉移函數以及格值有限狀態自動機所接收的語言的定義。
  11. With the help of this program, this paper does research on the moved backwards of the slide surface, lengthening the anchor section, the soil nail ' s total force, gets conclusion about relations between the soil nail ' s length and the slope ' s grade, height, soil ' s mechanical parameter ; relations between soil nail ' s total force and coulomb soil pressure. with the help of the large multiuse finite element program ansys, this paper analyzes the soil nailing in one - step ' s slopes, in two - steps " slopes, puts the emphasis on the axis force ' s distributing along the soil nail at each rows, the effect of both the excavating mode and the original slope figure to the axis force of the soil nail, the one another effect between the upper - step slope and the nether - step slope in the soil nail ' s axis force, gets conclusion about the design of soil nail at the first low, different slope body is the same with different excavating mode, the original slope figure has more effect to some than others because of the slope body, the reasonably design of the step width in two - steps slopes, the two - steps excavating and retaining has more virtue than the one - step ' s. through soil pressure analysis this paper does research on the differences and the links between the coulomb soil pressure theory and the rankin ' s, the vertical pressure at the slope surface when the slope surface is inclined and the retaining wall is rough, the soil pressure ' s distributing behind the panel, gets conclusion about the effect of both the slope body inner stability and the slope surface local stability to the soil pressure

    通過分析比較，論證了對數螺旋線型比圓弧形作為邊坡的假設滑裂面具有較多的工程優點，並為此編制了一個採用極限平衡法分析土釘支護的fortran語言程序，以此作工具對滑裂面的后移、土釘錨固段的超長、土釘總力的大小等方面作了研究，得出了有關土釘的長度與邊坡的坡角、坡高、土體力學參數的關系、土釘總力與庫侖土壓力間的關系等結論；採用大型通用有限元數值分析程序ansys分別對採用土釘支護的一階邊坡、二階邊坡進行分析，重點是研究各排土釘的軸力分佈規律、開挖方式及原始邊坡形態對土釘的軸力的影響、上下階邊坡在土釘軸力方面的相互作用，得出了有關第一排土釘的設計問題、不同類型的土體應適用於特定的開挖方式、原始開挖出的邊坡形態對一些類型坡體的邊坡土釘支護有較大的影響而對另外一些影響不大、二階邊坡臺階寬度的合理確定、二階開挖及支護比一階時具有較多的工程優點等結論；通過土壓力分析對朗肯、庫侖兩種經典土壓力理論的區別與聯系、坡面傾斜及墻背有摩擦時的坡面豎向應力分佈、面板背土壓力的分佈形態作了研究，得出了邊坡支擋土壓力受坡體內部穩定與坡面局部穩定兩個方面的影響、土釘支護面板背土體中卸荷拱的存在對面板受力有利等結論。
  12. In fact, while the type systems of languages like the java language, c, and c are static, they are far too impoverished to offer much meaningful help to xml validity constraints

    實際上，雖然象java語言、 c + +和c #之類的語言類型系統都是靜態的，但是它們太有限而不能向xml有效性約束提供非常有意義的幫助。
  13. Abstract : the state space, search heuristics, and move generator in searching solutions to a given problem are characterized by first order language, which implies that the logical properties of a search algorithm are determined by its state space, that is, the logic describing the searching process has compactness and the class of initial states has finite close property

    文摘:搜索演算法的初始空間、搜索策略、搜索過程可以用一階語言描述，搜索演算法的邏輯性質由初始狀態空間確定.這意味著描述搜索過程的邏輯具有緊致性，初始狀態的初等類具有有限封閉性
  14. This paper introduces the basic concepts of object - oriented programming to the finite element method for linear static analysis. in the view of ooad ( object - oriented analysis and design ) method, a set of basic classes for the fem system are founded and their relationship is discussed too. all these fem classes are implemented in c + + language because the hybrid language c + + is an object - oriented extension of c. ( this language includes all the feature of c and is well suited to solve numerical problems because of its efficiency. )

    本文在靜態線性有限元系統中引入了面向對象的程序設計方法，介紹了面向對象方法的基本概念及特徵，並通過有限元的面向對象分析和設計，確定了一套基本的有限元對象類及有限元的面向對象模型，本文設計的所有類均採用c + +編程語言進行了實現，最終形成了一套fem類庫，它們以動態連接庫的形式存在。
  15. Finite - state language

    有限狀態語言
  16. The pulsar system is developed with the following parts : the robust feature extraction based on auditory mechanisms, acoustic modeling with mandarin pronunciation characteristics, search space building based on wfst, and efficient global decoding scheme

    本研究實現的系統pulsar包括：基於聽感知機理的抗噪聲特徵提取，針對漢語發音特點的聲學建模，基於加權有限狀態自動機（ wfst ）的搜索空間，融合聲學模型和語言模型的高效全局解碼。
  17. Because localization of vrml2. 0 on moving functions and more embodiment of vitality and reality, i use java language. bcause it has points of mutuality, safety and credibility, smallness and agility, facing object, distributed network communications, multithreading and so on, and makes up difference between bandwidth and m anagement ability, and transmitts rich and colorful and alternant media on actual bandwidth condition

    由於vrml2 . 0版本語言在運動功能上的局限性，同時也為了更好體現逼真性、生動性的特點。我引入了java語言。由於它具有廣泛移植性，面向對象，交互性，分散式的網路通信，安全可靠，小巧靈活，多線程等一系列優良性能，同時彌補了帶寬與處理能力之間的差距，可在當前的帶寬狀態下傳送豐富多彩及互動式媒體。
  18. In scenarios where pages are served to small devices that have limited client - side resources or use a markup language that does not support a hidden field element, it is required to store view state on the server

    在將頁提供給客戶端資源有限或所用標記語言不支持隱藏欄位元素的小型設備時，需要將視圖狀態存儲在服務器上。
  19. Presents the airport slot analysis model established using universal model lanquage ( uml ) after the domain analysis of a berth assignment system and the explanation of customers needs using the case diagram, the class diagram and the activity diagram, using the model of the berth assignment system unfolded and detailed, and the berth assignment system of the airport management information system of changle in fuzhou city has been designed and developed using universal model lanquage ( uml ), and concludes from test results the system possesses flexibility and adaptability ; it can process incomplete information in original data to pledge that the pre - assignment of berth works well ; the berth automatic assignment and the berth dynamic monitoring can be achieved as well using the system

    採用統一建模語言（ uml ）技術，對機場機位分配系統的域領域進行分析，利用用例圖、類圖、活動圖進行需求說明，並在此基礎上建立了機場機位需求分析模型.在綜合考慮所有技術限制的基礎上，對此模型作進一步展開和細化，完成了機場機位分配系統模型設計，開發了福州長樂國際機場管理信息系統的機位分配子系統.實際測試表明，該系統具有較好的靈活性和適應性，能夠處理原始數據中的不完全信息，以保證機位預分配的順利進行；利用該子系統可實現機場機位的自動分配和動態監控
  20. Under specific on - board environment, driver ' s nature language is processed using normal - mode and infinite state machine theory to achieve the goal of intention recognition and speech control

    在車載環境下，利用規范模式和有限狀態機理論對駕駛員的自然語言進行分析，達到意圖識別和語音控制的目的。
分享友人
分享到 Line

分享到臉書