程式語言型式 的英文怎麼說

中文拼音 [chéngshìyǔyánxíngshì]
程式語言型式 英文
program language types
  • 程 : 名詞1 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
  • 程式 : form; pattern; formula; modality
  • 語言 : language
  1. This thesis firstly introduces new demands of aerial product logistics support under high - tech war and some defects of traditional logistics support, and puts forward a kind of system model of aerial product logistics support following data - sharing of cals, and emphasizes detm. secondly it sets forth application of step and xml in the ietm, researchs conversion of xml schema and relation schema, and simply researchs mapping of xml and express. afterword, a based - xml framework of info - transfer between different platform are presented, according to this framework, the author establish a archetypal system of helicopter information query system based xml and dbms

    本文首先介紹了現代高科技戰爭條件下對航空產品維修保障的新要求，概述了傳統的後勤保障技術的不足，遵循cals的數據共享的理念，提出了航空產品維修保障系統模型，重點研究了互動式電子技術手冊；接著分析了step標準和xml技術在製作互動式電子技術手冊中的應用，重點研究了肌模式和關系模式之間的相互轉換，初步研究了xml和express語言之間的映射關系；然後，提出了基於xml的一種解決航空產品信息跨平臺傳遞的解決方案，給出了該方案的具體實現流程和詳細的通訊協議，並開發了基於xul和數據庫的某型號直升飛機的信息查詢原型系統。
  2. Xml web services use xml - based messaging as a fundamental means of data communication to help bridge the differences that exist between systems that use incongruent component models, operating systems, and programming languages

    Xml web服務使用基於xml的消息處理作為基本的數據通信方式，以幫助消除使用不同組件模型、操作系統和編程語言的系統之間存在的差異。
  3. 11 katoen j - p, langerak r, latella d, brinksma e. on specifying real - time systems in a causality - based setting. lecture notes in computer science 1135, 1996, pp. 385 - 405. 12 fecher h, majster - cederbaum m, wu j. refinement of actions in a real - time process algebra with a true concurrency model

    在系統模型的結構表示上，本文擴充了傳統的事件結構，使用一種帶時間信息的捆綁式事件結構來模擬系統行為，在系統模型的語言刻畫上，本文採用的是帶時間的類lotos進程代數描述語言，對于動作精化，我們同樣採用運算元的觀點，將動作精化定義為一個操作運算元。
  4. This paper starts the research of the liquid floated pendulous accelerometer testing system according to the engineering. at first, this paper gives the brief introduction of the history and present status of accelerometer and its testing technology, the working principium and math model of the liquid floated pendu - lous accelerometer, and then, decides the binary width pulse force retrim loop as the design proposal of testing system, researches the transfer function of every part in the system emphasizly, analyses the stability of the whole accelerometer testing system from the angle of control theoretics by the open loop transfer function of system, and designed the correcting net, analyses the basal problems such as resolution, sampling restraint, precision and so on, designs the hardware testing circuits such as preamplification, band - pass filter, alternating amplifier, phase sensitive demodulatorn, pulse - width modulation, frequency scale circuit, moment current generator. finally, using the graphics program language labv - iew which is designed for testing field especially by ni accomplishes the solfware design of testing system, realized the testing functions

    首先對加速度計及其測試技術的發展歷史和現狀，液浮擺式加速度計的工作原理和數學模型等作了簡要的介紹，然後確定了以二元調寬脈沖再平衡測試迴路為設計方案，並從控制理論的角度進行了分析，著重研究了系統中各部分的傳遞函數，利用系統開環傳遞函數分析了系統的穩定性，同時設計了系統的校正網路;分析了二元調寬脈沖再平衡測試迴路的解析度、采樣約束以及測試精度等基本問題，並按照系統分析的結果設計了包括前置放大、帶通濾波、交流放大、相敏解調、脈寬調制、頻標電路以及力矩電流發生器等測試系統各部分硬體電路，驗證了電路的正確性，最後按照測試系統的要求，採用了美國ni公司專為測試領域所開發的虛擬儀器工具? ? labview作為測試軟體開發工具，利用該圖形化編程語言完成了測試系統軟體部分的設計，實現了測試功能。
  5. 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方法為主要內容。
  6. The contents of this paper can be discribed as follows : at first, introduced several terms which have something to do with this system, for example wap, sms, ota, wig, wib, wml. then, analyzed and compared four kinds of mobile stock system model ; analyzed the requirements in theory, discussed the technology of push and web database ; designed the founction of the mobile stock value - added system ; established the system frame of the mobile stock system based on wireless internet browser ; discussed the security performance of mobile stock system, and designed a security scheme which may be received by stockholder, brokedealer, banker. finally, implemented the menu of mobile stock value - added system, and remote management it with the ota technology

    本文首先介紹了幾個重要術語，比如無線應用協議wap 、空中下載ota 、無線網際網路關wig 、微瀏覽器wib 、編寫無線應用菜單的語言wml ；然後分析、比較四種手機炒股模型；對系統的需求進行了理論分析；研究了「推拉」技術和web數據庫技術；設計了系統的功能框架；建立了基於微瀏覽器模式的手機炒股系統的體系結構和總體框架；探討了移動電子商務中的安全策略；設計了股民、證券交易商、銀行都可以接受的安全方案；最後實現了手機炒股系統的增值服務菜單以及利用ota技術對服務菜單的遠程管理。
  7. In communicaton the bandwidth is an important problem that we should consider, specially in wireless communication. in fact the fiber is mainly used in backbone networks, so it is essential to develop the low rating coding technology of voice. the arithmetic of melp is based on the model of lpc and use the form of mixed excitation. because it integrates the idea of multi - band, so it has the merit of lpc and mbe. it is a perfect coding scheme in low rating voice coding relatively

    而melp語音壓縮編碼演算法是在線性預測編碼參數模型的基礎上，採用混合激勵的形式，並且結合了多帶的思想，因此它擁有線性預測編碼和多帶激勵的優點，是目前低速率語音編碼中一種比較理想的編碼方案，也是本文研究的重點。本論文通過研究melp的語音編解碼演算法的原理，對它的編解碼過程作了比較深入的研究，對其中的一些公式進行了理論推導，並作了模擬分析，最後研究了該演算法的c語言實現。
  8. 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機上以自然語言或繪制控制流程圖、填寫表格的方式輸入控制任務，然後在系統內部經過數據挖掘和知識發現分析得到可用控制要求信息，並自動引導推理求解過程進行硬體選型和生成相應的控製程序，最後利用模擬介面，自動將控製程序轉化為現有的控制模擬軟體的文件格式，並在控制模擬軟體中，從而用戶可以對生成的控制系統進行模擬，檢查設計的正確性。
  9. Aiming at this problem, the main research issues and achievements in this paper are as follows : bi - directional data transformation between rdb and xml with semantic constraints preserved for most of existing researches on static data transformation between xml and rdb, dtd is taken as the schema description language for xml, and the semantic constraints are often lost during the transformation process. to overcome these disadvantages, the author adopts xml - schema, a standard schema description language proposed by w3c to replace dtd, as the description method owing to its more powerful functions than dtd, and of course with the syntax much more complicated. after analyzing the constraints characteristics in both xml - schema and relational schema, a semantic constraints - preserved algorithm is proposed which can realize the bi - directional schema mapping between rdb and xml through a formalized description of xml based on regular tree and a general expression for relational schema based on direct graph approach

    保留語義約束的xml與rdb雙向靜態數據轉換技術現有研究大多採用dtd （ documenttypedefinition ，文檔類型定義）作為xml的模式描述語言，並且在模式映射過程中丟失語義約束信息，本文分析了xml - schema （ xml - schema採用與dtd完全不同的語法，數據描述能力更強同時也更為復雜，已被w3c確定為替代dtd作為xml模式描述語言的標準）及關系模式的語義約束特徵，通過基於正則樹的xml形式化描述方法以及基於有向圖的一般關系模式表示方法的研究，建立保留語義約束的xml - schema與關系模式的雙向模式映射演算法，實現了xml與rdb的雙向數據轉換，較好地解決了xml與rdb在靜態數據轉換層面的數據集成問題，可有效滿足企業大量rdb數據面向xml的發布以及與日俱增的xml數據存入rdb的應用需求。
  10. Component - based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. the analysis procedure is performed recursively based on the depth - first rule. it first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component

    該語言採用數學方程統一不同領域的模型描述，支持基於組件的陳述式非因果建模，使得可以在一個統一框架內組合不同領域的模型組件構造系統模型，具備模型重用性好便於數據交換建模簡單等許多優點，非常適合於復雜多領域物理系統建模。
  11. 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 + +語言以規則類為例說明系統中具體類的實現，用偽代碼的形式描述了推理的演算法；第五章描述了整個系統的結構，對系統主要功能模塊和界面進行了介紹，並總結系統的特點；第六章總結了全文，指出本文所構造系統存在的不足以及對將來的展望。
  12. In this thesis, based on activity based classification, there are three subjects to be researched, that is, how to build and express cost caculation rules, how to support many caculation methods and how to support more quick and accurate cost caculation. moreover, this thesis lucubrates a flexible cost cacaulation model. this model bases on advanced cost theory - - activity based classification, and it includes the building of abc ' s cost caculation model, the receptions " automatical accumulattion and transformation rules, the storage and use motivating causes rules, the diverse cost distribution and supporting many cost caculation methods. besides, the model brings forward rules about cost information transformation and accumulattion, rules about keeping business records, rules about motivating causes ’ accumulattion, rules about cost distribution and formula language. what ’ s more, it builds a rule engine, and all of these make this model meet enterprises ’ demand for using many cost caculation methods, and then simplify operators ’ operation. also, it can realize cost accumulated more accuratly, keeping business records more promptly and cost analysed more intensively, and then give supports to enterprises ’ further decision with related data. in the third chapter, it expounds the design and realization of this flexible cost cacaulation management system, and use one model case to validate its legitimacy, which explains that with j2ee technology and mvc design pattern, this system has good features of reuse and adaptability. at last, it introduces its application in china resource alcohol co., ltd

    本文以作業成本法為理論基點，圍繞著如何建立成本核算規則並給予表達、如何支持多種成本核算方法以及如何提供更為快捷、精確的成本核算等三大主題展開深入的研究，並建立了多適應性成本核算模型。該模型以先進的成本核算方法作業成本法為理論基礎，涵蓋了從作業成本核算模型的建立到成本單據自動歸集轉換等規則的提取，從動因量存儲使用等規則的建立到成本多樣化分配以及支持多種成本計算方法等全部內容。在對成本核算規則進行分析和表達的基礎上，該模型提出了基於作業成本法的成本信息轉換存儲規則、記賬規則、動因量歸集規則、分配規則以及計算公式語言，並建立了基於這些規則的規則引擎，從而使得該模型能夠滿足企業多種成本計算方法的需求，簡化了企業人員的操作過程，並且實現了更為準確的成本歸集，更為迅速的成本制單，以及更為細化的成本分析，為企業的進一步決策提供了有力的數據支持。
  13. Since web service model can not be used directly in the traditional workflow model, the paper detailed describe the design of the encapsulate and structure workflow, this workflow is different from the traditional workflow which is modeled in a graph method, we use the idea of the object oriented to make the workflow more reusable and easy to be deployed in web service environment

    由於web服務模型並不能直接用在傳統的工作流模型中，因此就需要對傳統的工作流語言建模做相應的修改來適應web服務的特點。對此，本文就詳細討論了一種結構化封裝型工作流的設計，該工作流不同於以往工作流都是通過圖形化的方式建模，而是採用面向對象方法中的解釋器模式來設計一個封裝和結構化的定義流程。
  14. The javafx script hereinafter referred to as javafx language is a declarative and statically typed programming language

    And tian le tin javafx script下文中成為javafx語言是一種聲明式的靜態類型編程語言。
  15. National standards of english course ( experimental edition ) explicitly indicates : the focus of reform of english course is to change the situation of putting more emphasis on grammar and lexical explanations, and of the tendency of overlooking learners " language performance on actual occasions. the reform advocates experience, practice, participation, collaborative and communicative learning style and task - oriented approach based on learners " interests, life experience and cognitive level, aiming at developing learners " comprehensive abilities

    國家《英語課程標準（實驗稿） 》明確指出： 「此次英語課程改革的重點就是要改變英語課程過分重視語法和詞匯知識的講解與傳授、忽視對學生實際語言運用能力的培養的傾向，強調課程從學生的學習興趣、生活經驗和認知水平出發，倡導體驗、實踐、參與、合作與交流的學習方式和任務型的教學途徑，發展學生的綜合語言運用能力。 」
  16. Program language types

    程序語言型式
  17. After analyzing the product data exchange and share among cax, pdm and erp, this paper expounded three arrangements of ideas to carry out system integration between pdm and erp at present, then, broadly combining with the last research achievements of information integration theory and method and synthetically considering technical advancement and practical needs of domestic medium and small - scale enterprises. advanced and analyzed three plans to solve the integration problems. in view of reasonable method to organize product information, the paper adopted express model language to describe integrated logic data structure, built integrated data model with o - o feature to support system integration, discussed the method to bring about integrated data model on rdbms, and at last, according to the implementation of cims in yunnei power co., ltd, developed a integrated data model to exchange and share information between pdm and erp by means of transforming ebom to mbom

    本文首先對cax 、 pdm 、 erp之間的產品數據交換與共享作了分析，闡述了現階段pdm與cax應用系統之間實現集成的三個層次：結合國內外信息集成理論及方法的最新研究成果，綜合考慮技術上的先進性和國內中小企業的實際需要，提出並分析了三種解決集成問題的方案；基於產品信息的合理組織方法，採用express模式語言描述集成邏輯數據結構，建立了具有o - o特徵的集成數據模型以支持系統集成，並討論了集成數據模型在rdbms上的實現方法；最後開發了一個以雲內動力股份有限公司cims工程為應用背景的集成數據模型，通過利用ebom向mbom轉換的技術來實現pdm系統與erp系統之間的信息交換和共享。
  18. This research finally returnees with the foundation of this frame prototype, then according to the leading of the development method of object frame, and practicing the educational administration management system " s development of the central south forestry university to fulfillment, and be used as to examination that patterns, pattern language and application program frame with verify, from target for find outing among them not perfectly, inaccuracy with not complete place, with conduct and actions next move studying with direction

    本研究最後還以此框架原型為基礎，以基於面向對象框架的軟體開發方法為指導，通過一套中南林學院教務管理系統的開發為實踐，作為對該模式、模式語言及應用程序框架的檢測和驗證，從面找出其中不完善，不正確和不完整的地方，以作為下一步研究的目標和方向。
  19. According to the modern software engineering design idea, the systematical requirement for the construction of beijing eco - environment information was analyzed and studied. it was designed with uml ( unified modeling language ) and constructed under iterate development model as an internet network system using multi - language crossing flatforms technologies to integrate multi - source data. 2

    按照現代軟體工程的設計思想，分析和研究北京市生態環境信息化建設的系統需求，提出以uml （統一模式語言）為設計模型，採用迭代式研發模式，以多種語言跨平臺技術集成多源數據，建立生態環境互聯系統的研發方案； 2
  20. Then analyze the routing strategy of model ' s runtime, carry out an expression language to support running

    分析了模型運行時的路由問題，提出了一個表達式語言支持過程模型的運行。
分享友人
分享到 Line

分享到臉書