自動機語言 的英文怎麼說
中文拼音 [zìdòngjīyǔyán]
自動機語言
英文
automaton language-
Meanwhile, it supports the international open specification. owl - s it based owl is the primary production for the describing model of semantic web - service in international, it is a mark model for describing web service, it provide a mark symbols set that is explicable and precise to describe the attributes and functions of web service for computer. owl - s uses serviceprofile 、 servicemodel and servicegrounding to describe “ what the service does ? ” 、 “ how it works ? ” 、 “ how to access it ? ” this paper provides an introduction to the basic concepts and architecture of soa ( service - oriented architecture ), the features of web service technology, anddiscusses the relationship between soa and web services
而owl框架下的owl - s是國際上語義web服務描述模型方面的主要研究成果，它是一種描述web服務的標記模型，為機器提供了可解釋的、精確的、關于web服務屬性和能力描述的一系列標記符。它是基於owl語言為描述web服務而定義的一個本體，主要通過服務proile （ serviceprofile ） ，服務模型（ servicemodel ）和服務綁定（ servicegrounding ）三個類來描述服務做什麼、服務如何做、服務如何訪問等三方面的語義，從而允許服務的自動發現、執行、組合和運行的監視。Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources
基於以上考慮，論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討：全面回顧了「可持續發展」概念的由來與演變，對國內外「可持續發展」的研究現狀進行了述評，並對「可持續發展」概念的科學內涵進行了深入探討；對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述，對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解；全面闡述了地下水資源變值系統理論的內容和意義，並與傳統的地下水資源計算評價方法進行了對比分析，結合實例具體說明了方法的應用；深入分析了地下水資源預測預報工作的極端重要性和復雜性，對傳統的地下水資源動態預測方法進行了全面的評述，指出了各類預測預報方法的特點及適用條件，對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍，以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹，並應用於地下水動態過程線的分析，採用時間序列中的b ? j法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content
本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。Both of the methods make some achievement, but both of them must need a reliable natur language denotation to make computer comprehend language correctly and improve their development
這兩種方法都取得了不少的成績。不過，最終它們都需要依賴可靠的語言知識驅動計算機正確地處理自然語言，由此可見后臺語言知識表示的重要性。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積分程序求解微分方程組，給出構件的全部動態歷程。The present article analyzes two extracts from college english classroom teaching, using a conversation analysis ( ca ) methodology and tries to explore the potential that teachers of efl may facilitate or increase opportunities for language learning and learner participation through their choice and use of language and the possibility that they may hinder or decrease these opportunities
本文採用會話分析法，通過對選自大學英語課堂的兩個真實錄音片段的分析，旨在指出教師既可以通過語言的選擇和使用增加學習者語言學習和參與課堂活動的機會，也可能妨礙或減少這種機會。After the users input control tasks in three modes : natural language, electric sheet or flow char, the computer will receive the information of control demands by data mining and knowledge discovery. and then illation is leaded to select the hardware and program the software in the inner of the computer. afterward, control program is transformed in the file format of exiting simulation software by using the simulation interface and is opened in the simulation software
用戶只需在pc機上以自然語言或繪制控制流程圖、填寫表格的方式輸入控制任務，然後在系統內部經過數據挖掘和知識發現分析得到可用控制要求信息，並自動引導推理求解過程進行硬體選型和生成相應的控製程序，最後利用模擬介面，自動將控製程序轉化為現有的控制模擬軟體的文件格式，並在控制模擬軟體中，從而用戶可以對生成的控制系統進行模擬，檢查設計的正確性。This paper introduces the development process of wastewater disposal, it ' s auto control system, the level of nowadays and several new techniques of china and foreign countries. the immanent structure, control rules, main features and design methods of auto control systems in wastewater disposal process are studied in this paper. aiming at four typical parameters, such as temperature, dissolved oxygen, ph and the planes of water, the distributed control system is designed, composed by pc called epigyny computer and scm 8098 called hypogyny computer, and some sensors, shift deliver utensils and related meet orifices of parameters gathering and figures communication
本文介紹了國內外污水處理及其自動控制系統的發展過程、當今水平和提高自動化程度的若干新技術；研究了污水處理自動控制系統的內在結構、控制規律、主要特點和設計方法；選取污水處理中的典型參數溫度、溶解氧、 ph值和液位等為控制對象，設計了以個人計算機為上位機、以8098單片機為下位機，並輔之以傳感器、變送器及相關介面單元所構成的二級集散控制系統（ dcs ） ；介紹了幾個主要程序模塊的設計思路、工作過程，這些程序模塊是：用高級語言visualbasic6 . 0開發的上位機人機交互界面程序、數據處理和圖表輸出程序，用執行效率高的匯編語言開發的下位機數據採集與系統監控程序、上位機與下位機之間的數據通信程序，匯編語言與vb之間的轉接程序，等等。The content of this paper is arranged as foll owing : chapter 1 introduces the concept of credit, credit risk and credit assessment, as well as the history and development of credit assessment ; chapter 2 introduces the history of ai technology, and the background of expert system and neural network. characters and disadvantages of expert system and neural network are presented respectively and the necessity of combining expert system and neural network is lightened ; chapter 3 shows the process of dealing with sample data, including the treatment of exceptional data and factor analysis, and puts forward the concrete framework of the mixed - expert credit assessment system ; chapter 4 introduces concept of object - oriented technology, and constructs object model and functional model after analyzing the whole system. it also illustrates the implementation of concrete classes by an example of rule class and the inference algorithm in the form of pseudocode ; chapter 5 introduces the structure of the whole system, the major functional models and their interfaces, and the characteristic of the system is also generalized ; chapter 6 summarizes the whole work, and points out the remaining deficiencies as well as the prospective of this method
本文具體內容安排如下：第一章介紹了信用、信用風險、信用評價的概念，回顧了信用評價的歷史、發展和現狀，並綜合各種信用評價模型，指出這些模型各自的優缺點：第二章簡單描述了人工智慧技術，著重介紹有關專家系統與神經網路的基礎知識，通過總結它們的優缺點，指出結合專家系統與神經網路構造混合型專家系統的必要性；本章還介紹了神經網路子模塊的概念，提出了混合型專家系統的一般框架與設計步驟：第三章對樣本數據進行處理，包括異常數據的剔除、因子分析等，提出了信用評價混合型專家系統的具體框架結構，介紹了系統知識庫的主要部分、基於優先級的正向推理機制的流程、以及基於事實的自動解釋機制的具體實現方法；第四章介紹了面向對象技術，進而採用面向對象對信用評價系統進行分析，建立了對象模型和功能模型，並在此基礎上，採用c + +語言以規則類為例說明系統中具體類的實現，用偽代碼的形式描述了推理的演算法；第五章描述了整個系統的結構，對系統主要功能模塊和界面進行了介紹，並總結系統的特點；第六章總結了全文，指出本文所構造系統存在的不足以及對將來的展望。In this system, there are much function including : test, data - process, data - storage, certificate - print, document - consult etc. the design process of the examination software is introduced. the error is analyzed
利用rs - 232介面，採用在windows操作系統下用visualbasic語言進行編程，能使檢定工作的整個過程由微機控制進行半自動校驗。Abstract : a technical solution for the multi - channel random data stream by tsr receiving programming is presented. details about resident interrupt receiving, data buffer setup, data segment address keeping, buffer read / write operation and program resident / unresident are described ， and information process programming with advanced language is discussed. the application of this technique in the control system for the automatic burdening of a cement production line is given. the debugging method and procedure is introduced. source program written in advanced language, include data buffer access and calling are listed
文摘:給出了一種「多通道隨機數據流的中斷駐留接收技術方案」 ，詳細描述了內存駐留中斷接收、開設數據緩沖區、數據段地址保存、駐留/解除和數據緩沖區讀取，討論了高級語言程序信息處理，舉出了該技術方案在「水泥生產線微機全自動配料測控系統」中應用的實例，介紹了調試方法和步驟，給出了高級語言讀取數據緩沖區數據及調用源程序。According to requirements and experiences, industrial computer, control instruments and operation desk compose the control system. automatic, manual and hardware controls are available. the lower side controller is based on mcs51, and the upper side computer executes monitoring software programmed with vc + +
根據需求分析並結合以往工程經驗，系統控制部分由工控機、控制儀表、操作臺共同組成，兼具自動、手動、硬手動等多種控制方式，下位機為基於c51的單片機系統，由c語言編程實現，上位工控機中監控軟體用vc + +編程實現。Automatic language translator
自動語言翻譯機In the compiled system, the paper describes symbolic structure of the siprom language word with regular expression. based on the fa theory, this paper presents a lexical analysis method by using morphology table. after comparing some common syntax analysis methods, this paper choosing the lr ( 1 ) analyzer
在編譯部分，本文用正規表達式描述了siprom語言單詞符號的結構，利用有限自動機原理，提出了用構造詞形表的方式來識別單詞的方法，使詞法分析程序具有很好的開放性。There was too much to be thought, and felt, and said, for attention to any other objects. she soon learnt that they were indebted for their present good understanding to the efforts of his aunt, who did call on him in her return through london, and there relate her journey to longbourn, its motive, and the substance of her conversation with elizabeth ; dwelling emphatically on every expression of the latter which, in her ladyship s apprehension, peculiarly denoted her perverseness and assurance ; in the belief that such a relation must assist her endeavours to obtain that promise from her nephew which she had refused to give
實在無心去注意別的事情，她馬上就認識到，這次雙方所以會取得這樣的諒解，還得歸功於他姨母的一番力量，原來他姨母回去的時候，路過倫敦果真去找過他一次，把她自己到浪搏恩來的經過動機，以及和伊麗莎白談話的內容，都一一告訴了他，特別把伊麗莎白的一言一語談得十分詳細，凡是她老人家認為囂張乖癖厚顏無恥的地方，都著重地說了又說，認為這樣一來，縱使伊麗莎白不肯答應打消這門親事，她姨倒一定會親口承諾。It introduces by form the conception of event - clock automata and two - way timed automata, it gives the construction from event - clock automata to two - way timed automata and it proves the inclusion relationship between them
基於時間自動機不同模型的驗證被工業界廣泛應用，本文形式描述了兩種這樣的模型，給出了從事件時鐘自動機到雙向時間自動機的構造方法，證明了二者識別語言之間的包含關系。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
然後，給出了基於格值有限狀態自動機的數值計算的形式模型。同時，建立了輸入是詞的格值有限狀態自動機的轉移函數以及格值有限狀態自動機所接收的語言的定義。She kept writing in her diary to remember her experiences until she could no longer hold a pen. aya simply wished to live until the end of her life, and the purpose of writing in the diary was to remind herself to not give up. she shed tears many times, at the same time encompassed by the rich love and support from her family and friends
女主角-木藤亞也，因為一場突如其來的病變脊髓小腦病癥，使其身體運動機能衰弱，手腳自主活動與語言能力逐漸喪失，直至患病末期只能無助地躺在床上，面對生命的無助，卻勇敢地生存至最後一秒，直至生命機能停止而死亡！The paper formally defines the concept of electronic contract and their goals, obligations, bindings and non - repudiatable proofs by the formal language and automata theory. by making the obligations and proofs work together, the partners are enforced to achieve the business goals
本文用形式語言與自動機理論對電子合同及其目標、責任、約束以及不可抵賴性證據進行形式化定義，使責任和證據相互配合，迫使達到商業目標。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 ）的搜索空間，融合聲學模型和語言模型的高效全局解碼。分享友人