簡單類型論 的英文怎麼說

中文拼音 [jiǎndānlèixínglún]
簡單類型論 英文
simple theory of types
  • : Ⅰ形容詞(簡單) simple; simplified; brief Ⅱ動詞1 (使簡單; 簡化) simplify 2 [書面語] (選擇人才...
  • : Ⅰ名1 (許多相似或相同的事物的綜合; 種類) class; category; kind; type 2 (姓氏) a surname Ⅱ動詞...
  • : 論名詞(記錄孔子及其門徒的言行的「論語」) the analects of confucius
  • 簡單 : 1 (不復雜) simple; uncomplicated; plain; simplicity 2 (平凡 多用否定式) commonplace; ordinary...
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  1. While it seems easy to write off a majority of these relationships using the usual china stereotypes - gorgeous asian woman with u. f. o. ( ugly, fat, old ) foreign passport holder, or pleather man - bag carrying nouveau riche chinese businessman - this is not always the case

    雖然似乎可以地套用中國常見的那種分法為這戀情籠統地下個定:亞洲靚女跟了一位「 u . f . o 」(又丑又胖又老的)的外國護照持有者,或是跟了一位夾著仿皮男士手包的中國商界新貴,但並非總是這種情形。
  2. This thesis explains the necessity of the character recognition technology of the computer at first, describe the meaning in which the handwritten numeral discerns ; pretreatment technology of handwritten numeral recognition, including two value, line segmentation, word segmentation smooth, removing noising, standardization and thinning are discussed two value concretely discusses whole threshold value, some threshold value, dynamic threshold value and utilize space information to carry on threshold, which are several kinds of common method of choosing threshold value, especially utilize space information to carry on threshold value is describe in detail ; adopting to the foundation of thinning based on mathematics morphology, thinning algorithm of serials same and thinning algorithm of protecting shape are discussed ; afterwards, according to principle ' s diagram of the on - line character recognition, by analyzing the structure feature of the handwritten numeral, this thesis has proposed the online recognition te chnology of the free handwritten numeral based on the stroke feature and the online recognition technology of the free handwritten numeral based on the multistage classifying device. detail narrated noise removing, stroke characteristic definition and discernment, distance criterion of whole word match ; then under the foundation of handwritten numeral segmentation, off - line handwritten numeral recognition is researched. especially minimum distance classifying device, tree classifying device and adaptive resonance ( art ) network classifying device is discussed at the same time, believes degree analyses are introduced to integrate a lot of classifying devices ; at the end, the typical application of the handwritten numeral recognition was briefly narrated, its application in extensive data statistics, financial affairs, tax, finance and mail sorting have been explored

    二值化時對整體閾值二值化、局部閾值二值化、動態閾值二值化和利用空間信息進行閾值選取幾種常用的閾值選取方法進行討,特別對利用空間信息進行閾值選取進行了詳細述;在對通過對基於數學形態學的細化的基礎上,討序貫同倫形態細化演算法和保形的快速形態細化演算法;然後依據聯機字元識別原理框圖,分析了手寫數字的結構特點,提出了基於筆劃特徵的任意手寫數字在線識別技術和基於多級分器任意手寫數字在線識別技術,對其中涉及的筆劃識別前的噪聲處理、筆劃間特徵量的定義及識別、整字匹配的距離準則進行了詳細敘述;繼而在對手寫數字的分割的基礎下對脫機手寫數字識別進行了研究,對基於最小距離分器字元識別、基於樹分器的字元識別、基於自適應共振( art )網路的字元識別分別進行了詳細討,並引入置信度分析將多個分器進行了混合集成;最後闡述了手寫數字識別的典應用,對其在大規模數據統計、財務、稅務、金融及郵件分揀中的應用進行了探索。
  3. This thesis has carried on the research of how to design with nature in modern interior architecture as follows : first of all, the thesis reviews the development of interior natural scenery design domestically and abroad, particularly from 1960s to now ; then, it makes an analysis about the relative technology, the evaluation of the interior natural scenery, the most important elements in the design, and the types of the interior space that hold the natural scenery ; after that, it discusses the interior scenery design methods from tow aspects : its relationship between the space, and the conformation of natural scenery ; in the end, after discussing design theory and methods, the thesis makes an expectation to the development of the design with nature in interior architecture, and supplies ways that combine natural scenery with ecology together in the interior space

    從整篇文來說,首先,對中外室內自然景觀設計的發展歷史和理背景做了的梳理,並重點對20世紀60年代以來出現的新室內自然景觀做了分析。其次,對保證室內景觀實現的技術、室內自然景觀所起的作用、重要的室內自然景觀元素,以及室內自然景觀依託的空間進行了詳細的分析。然後,對室內自然景觀的設計方法做了探討,從空間關系和景觀形態兩個方面進行了分析。
  4. 3. while the author introduces the existing pricing models, he also elaborates the advantage and disadvantage of the models, and lays particular stress on the determination of capital costs in rappaport model

    筆者並未地介紹現有的目標企業定價模,而是在介紹的同時闡述了各的優點與缺陷,並且著重討了rappaport模中資本成本的確定。
  5. Finally, studies the instruction system of cos upon a dedicated instruction of smartcos - xc. chapter 4 discusses the smartcos - xc and gives the design and implementing of a smart card file system framework. based on this, this paper gives a simulation of head - end encryption of entitlement control message ( ecm ) and entitlement management message ( emm ), and implements the decryption of ecm and emm in the smart card

    在對通用cos的研究的基礎上,首先分析了smartcos - xc ,結合該cos ,文針對有條件接收系統,按不同用途、不同分別設計並實現了存儲用戶授權及智能卡應用的文件體系結構,通過該cos的指令系統,設計並實現了模擬前端授權控制信息( entitlementcontrolmessage , ecm ) 、授權管理信息( entitlementmanagementmessage , emm )數據生成模塊及用戶端ecm 、 emm解密模塊。
  6. This paper is based on such theoretical foundations to study the interface making problem : the theory of systematic science, the theory of educational psychology, the theory of aesthetics of transmission, the theory of aesthetics of acception, the theory of linguistics, and the theory of chinese education, etc. from the systematic science ' s point of view, chinese interface is an interface system formed of medias, such as characters, symbols, figures, pictures, cartoons, audios and videos etc. in order to obtain chinese interface system ' s optimum efficiency, to make chinese interface must handle part and whole, orderly and unorderly, structure and function, behavior and purpose relations of interface well

    在此基礎上,本文考查了多媒體輔助語文教學界面製作的,然後全面深入地對語文界面製作的內容進行了闡述:具體述了界面整體設計中的三個主體(界面窗口,交互方式,導航策略)和五對關系(形色、動靜、虛實、遠近,背景與前景、主體與陪體,抽象與具體,明暗與質感,動靜與出入)的設計;深入探討了語文界面語言(文字與字體,圖標、圖形、圖像與色彩,動畫,音頻,視頻等)在界面製作中的運用問題。
  7. By doing this, the writer try to inform industrial policy makers of cluster ' s living mechanism and provide them with an analysis mode. this article conclude seven chapters, the first and second chapter give a brief review of industrial cluster theories, the third chapter analyze how a cluster appear, the fourth chapter analyze industrial cluster ' s drives and action mechanism, the fifth chapter research industrial cluster ' s growing pattern and reasons, the sixth chapter give some advices on how to accelerate cluster ' s growing and on how to maintain a cluster ' s vital. the last chapter reveal problems faced by industrial clusters in china and put forward some advices

    本文共分六章,第一章首先對產業群的概念進行界定並述產業群的特徵,接著對產業集聚機理的相關理做了回顧;第二章對產業群的形成條件和萌芽動因進行了分析;第三章重點研究產業群成長的動力機制;第四章對產業群壽命周期各階段的生長特點及其動因進行了分析;第五章是在前幾章對產業群形成機制研究的基礎上得出的幾點啟示;第六章利用本文建立的分析框架對我國三產業群當前面臨的動力問題進行了分析並提出了相應的對策建議。
  8. For a class of shunt - wound active power line conditioner, based on analysis of mathematical model of system and target of control, the algorithm of fuzzy variable structure sliding mode control is presented. the control algorithm can avoid complicated calculation of harmonic electric current in traditional control algorithm, and realize the feedback control of electric current. the algorithm is simple and easily implemented

    針對一並聯有源電網調節器在分析系統數學模和控制目標的基礎浙江大學博士學位文上,提出了模糊滑模控制策略,避免了傳統控制方法中復雜的諧波電流計算,實現對電源電流的閉環控制,該演算法、易於實現,模擬結果證實了變結構滑模控制的有效性。
  9. The thesis summarizes the basic theories of price discrimination, expatiated on the multi - class differential pricing method and dynamic differential pricing theory ; concludes the factors that have impacts on tickets - price, analyses and classfies the factors ; brings forward a canonical method of market segmentation, introduces the process of market segmentation based on the model of gray relative level, discusses the idiographic measure of ticket - price control ; improves the academic achievements of former scholars, puts forward a model of multi - class dynamic differential pricing for the air passenger transport, which is based on the maximum revenue for the airline industry, and gives a approximate arithmetic of the model, then showes the application of the model and its feasibility on increasing airline industry ’ s revenue by 25 models

    在對民航定價的國內外研究現狀進行綜述的基礎上,從經濟學角度介紹差別定價的基本理,闡述民航客運的多等級差別定價理和動態差別定價理;對民航票價的影響因素進行分說明;作為多等級定價的基礎,提出市場細分的標準和方法,用灰色關聯度模解決航空旅客市場細分問題,並提出票價控制的具體措施;引入一種旅客到達頻率預測的統計方法,以航空公司收益最大化為目標,建立基於多等級定價基礎上的動態差別定價模,即多等級動態差別定價模,給出模的遞歸演算法,通過對動態差別定價模的運行結果進行分析,建立模的一種近似模,並且用25個算例說明模的用法以及在提高航空公司收益方面的可行性。
  10. This thesis firstly gave a brief introduction of some basic concepts on crisis and the crisis management, and distinguished them with some relational concepts in theory through issues, the issue management, risks, the risk management and the none defect management or the last day management ; then analyzed the qualities and types of the marketing crisis management for the study of cases ; finally analyzed the guard of the marketing crises and the communication between enterprises and their publics during the course of the marketing crisis management

    本文首先介紹了危機與危機管理的一些基本概念,並將二者與相關概念進行了區別與比較,涉及了問題、問題管理、風險、風險管理、零缺點管理末日管理等理;其次,基於案例研究分析了營銷危機的性質與;最後在危機管理的一般理的基礎上,著重分析了營銷危機的預防和事中與善後管理中的溝通等問題。
  11. After the comparison of the stability checking computations and the section categorised situation both at home and abroad the current standard, some problems was discussed in the standard of our country. contraposed these questions, the paper computed the space stability coefficient of some general t - shaped and l - shaped sections and all the sections of t - shaped, l - shaped and 2 - angle iron t - shaped in the formed - steel - table, and worked out the curves. according to the comparison of the curves the paper got and the curve in the standard, some simple conclusions was put

    對國內外現行規范軸壓柱穩定驗算方法及柱子曲線截面分情況進行了對比,討了我國規范曲線中存在的一些問題,並針對這些問題,以規范初始彎曲值對任意「 t 」形和「 l 」形截面和鋼表中所有t鋼、 l鋼、雙角鋼t形鋼截面的空間穩定系數進行了計算,作出其與規范曲線的比較圖,通過計算結果的分析對各截面歸情況作了的評述,其中提出的一些建議可以作為規范修訂的參考依據;同時,這些計算結果也進一步證明了本文的柱子空間穩定分析方法的正確性。
  12. Through such division, the author gives out scientific analysis and results on the chronological sequences and evolving process. part four : stage division. combined with porcelains excavated in henan province, the author divides white porcelains into four stages : the first on is from northern qi to sui dynasty, i. e. 575 a. d. to 617 a. d., sum to 105 years ; the second is from the early to prosperous tang dynasty, i. e. 618 a. d. to 766 a. d., sums up to 148 years, the third one is

    在詳盡佔有出土白瓷材料和吸收前人相關研究成果的基礎上,本文首先對所收集到的河南地區出土的早期白瓷進行了器劃分,並對主要器進行了式分;其次,從出土白瓷的數量、工藝發展水平、歷史背景等方面綜合考慮,對河南早期白瓷進行了分期嘗試,確立了河南白瓷的四個發展時期;然後又初步探討了河南各遺存出土的白瓷的窯口歸屬問題,推定了一些白瓷的源流;最後,對河南早期白瓷窯與邢窯、定窯、耀州窯以及景德鎮窯的關系與交流情況進行了證與分析。
  13. The paper includes five parts, begins with the concepts of internet, internet education and internet college, in this way make the research position clear ; then present a brief study of the internet college ' s rising and history, divides its development phases by the term of technology and culture, briefly introduce its current situation, such as its scope, organizer, education type, system and fee - charging, etc ; then according to internet college operation process, take four factors to present a detailed analysis, they are : education needs, education service, organization administration and quality guarantee ; thereafter is a prospect of internet college ' s future development ; the technical innovation of internet college, its culture development and the structure of a learning net in a digital time ; finally after a brief summary of the whole paper comes a presentation of the problems the internet college facing in its operation

    文章共五個部分,首先由對網路、網路教育、網路大學的理解開始,明確文的研究立場;接下來對網路大學的興起作考察,從技術與文化的角度粗略劃分其發展階段,並要描述當前狀況,如規模、舉辦者、實施教育的、學制與收費等;然後再根據網路大學運行的過程,選擇其中從教育需求、教育服務、組織管理到質量保障四個要素加以分述;之後從網路大學技術的革新、網路大學文化的滋長與數字時代學習網路的構建三個方面對網路大學的發展略作展望;最後對前文作的基礎上就網路大學的特性、教學及運行等方面問題進行一些討
  14. The study of one - dimensional ( 1d ) materials has become a potential frontier in nanoscience and nanotechnology in the last few years. this thesis focuses on developing new nano - biomaterials and their immobilization strategies in biosensor - fabricating for the purpose of improving the performance and long - term stability of biosensors. therefore, nano - sized flower - like zno ( chapter 2 ) and zno nano - rods ( chapter 3, 4 ) were synthesized by a simple hydrothermal method and a solvothermal route, respectively

    本研究文主要是通過發展新的生物納米材料及其固定方法,以達到改進固定生物組分活性、提高傳感器靈敏度等目的,以此為出發點分別用水(第2章)和乙醇(第3 、 4章)做溶劑,利用溶劑熱法合成了片狀和棒狀的納米zno ,這兩種方法均具有實驗操作、環境污染少、成本低、產率高等優點;這兩種方法所得到的材料均成功應用於生物傳感器的構建(酚、過氧化氫、葡萄糖傳感器) 。
  15. Finally, take out urban population - time contour to evaluate urban time structure. this thesis take shenzhen special zone for a case study, and it is divided into 165 time - cells firstly. charted with them, and time - cells are clustering analyzed as well

    在實踐方面,本文以深圳特區為研究個案,對深圳特區進行了時間元的劃分並繪制出時間元圖,同時對深圳特區的時間元特點和進行分析。
  16. It is shown that this new type of modulator needs simpler fabrication techniques and has lower insertion loss than that of the existing modulators

    與實驗表明,該的電光調制器具有制備工藝,插入損耗小,易於集成的優點。
  17. The author mainly does the following work : the construction of optical database ' s mainframe and the decision of design scheme ; the designs of concept structure model, logic structure model, physics structure and safety structure after the analysis of system demand ; the classification of optics which is adapted to search optical papers is advocated ; in order to solve the problems of converting heterogeneous data, the optical standards are designed ; the data input program of c / s architecture for optical database is developed, the work of inputting data and simply management of database can be done by this program

    作者重點作了以下工作: ?構造了光學數據庫的主體結構和設計方案; ?經過系統需求分析,對數據庫進行了概念模設計、邏輯設計以及數據庫的物理設計、安全性設計; ?提出了適合光學文查詢的光學學科分; ?為了能解決異構數據的相互轉換問題,嘗試性制定了光學的元數據標準。 ?用visualc + +語言開發了c s模式的光學數據庫的數據錄入程序,該程序能進行數據錄入和的數據庫管理。
  18. So, combining the characteristic of the lu " an mine area, the author first introduce its position terrace and geological composition water geology and the sociological economy condition, and make a detail statistic analysis of the current land resource in the area. through this, the author gets the damage type damage degree and damage area of the land in this area, and make a prediction of the damage condition in the coming ten years

    為此,本文結合潞安礦區的特點,首先對其所處的地理位置、地形地貌及地層地質構造、水文地質及礦區的社會經濟概況作了的介紹,然後對本礦區現有的土地資源作了較為詳細的統計分析,得出了本礦區土地的破壞、破壞程度及破壞面積,並對以後近十年的破壞情況進行了預測。
  19. Fuzzy theory simulates the visual thinking of human being. it expresses the procedure of human ' s thinking in very simple mathematical format and need not precise mathematical modelinglt is a sort of efficient mathematical tool and solves some difficult problems perfectly in the field of classical control theory

    而模糊理則是模擬人的形象思維,用比較的數學形式直接將人的判斷等思維過程表達出來,不需要建立精確的數學模,是一種有效的數學工具與手段,很好的解決了經典控制理難以解決的問題。
  20. This seven - step organization of an argumentation can be simplified into a three - part organization like any other english essay : introduction, body, and conclusion

    該七個步驟也可像其他的文章一樣地分為三個部分:引、本和結
分享友人