type theory 中文意思是什麼
type theory
解釋
類型論, 類型理論-
First of all, i ' ve collected taboo culture of each ethnic, and analyzed each type centering around anthropology, folklore, and theological theory of the altaic group of language in china
首先以中國阿爾泰語系諸民族的有關資料為中心收集禁忌文化。通過人類學、民俗學、宗教學等理論分析各民族的禁忌類型。 -
In the end, by the logic theory of analogism, the paper gets the logistics optimized model of operation entropy in discrete manufacturing system of job - shop ordering type
最後，利用類比推理的邏輯學理論得出單件小批訂貨型離散製造系統物流優化運行熵模型。 -
In the process of designing an effective prompting system for nppe, the dissertation discussed the physical aspect of prompting system in terms of stock prompting and salary prompting, designed a salary prompting scheme for managerial staff, technical staff and operational staff. based on the theory of marginal utility degression in terms of salary and prompting theory, the principle of psychic prompting has been ensured. consulting industrial and other company ' s prompting system, and based on the principle of psychic prompting, psychic prompting system, which shapes an individual and effective psychic prompting scheme in allusion to different staff for nppe, has been established respectively for managerial post, technical post and operational post in allusion to behavior characteristic in different type of worker
在對東北管道工程有限公司激勵機制設計的過程中，分別從股權激勵和薪酬激勵兩方面研究了該公司的物質激勵機制，並設計了管理人員、技術人員及操作崗位員工的薪酬方案；在論述了薪酬的邊際效價遞減問題的基礎上，根據各種激勵理論，確定了精神激勵機制的原則，參考行業和其他企業的方法，研究了該公司總體精神激勵，針對不同類型員工的行為特點分別對管理崗、技術崗、操作崗確定了相應的精神激勵機制，形成東北管道公司對不同員工獨特的而有效的精神激勵機制方案。 -
Basing the theory of finite elemental modeling and ansys software, this text build the entitative model and elemental model of the main parts and carry the modal analysis. and we get the natural frequency and shaking type of all steps. and then we compare the analysis results with the results of experimental modal analysis, testing the correctness of the elemental model
本文根據有限元建模理論，並利用ansys有限元分析軟體，分別對螺桿泵地面驅動系統的上述主要部件進行實體建模、有限元建模以及模態分析，確定這些部件的各階固有頻率和振型。 -
By equilibrant theory study has been carried out for the causation to improve the oriented capability of the new type bogie to passing through the curve line
摘要利用力（矩）的平衡原理，分析了新型轉向架曲線導向性能提高的機理。 -
As to the work about theory analysis, at first, the paper describes the atomizing and humidifying process of the centrifugal nozzle with firing pin type, high pressure and little aperture and liquid physical properties. later, combining with the structure characters of this kind of nozzle, the paper studies on the theory of the atomizing and humidifying process by three phases, which is water film forming phase, water film falling into pieces phase, and heat and mass transfer between water and air phase in turn
理論工作方面，首先描述了撞針型高壓小孔徑離心式噴嘴的霧化加濕過程和液體的物理性質，然後結合撞針型高壓小孔徑離心式噴嘴的結構特點，將其霧化加濕過程分三個階段進行機理上的研究，這三個階段依次為液膜形成、液膜初次破碎及二次霧化、水與空氣的熱濕交換。 -
Based on the theory analysis and experiment work, the paper studies the humidifying property of the centrifugal nozzle with firing pin type, high pressure and little aperture. compared with the traditional air washer, the high efficiency and energy saving character of this kind of nozzle is stood out
課題從理論和試驗兩方面分析研究了撞針型高壓小孔徑離心式噴嘴的霧化加濕性能，並將其與傳統噴水室加濕系統進行能耗比較，突出了撞針型高壓小孔徑離心式噴嘴高效節能的特點。 -
Integrated the work on theory and experiment, the paper provides technical performance material at large about the automating and humidifying character of the centrifugal nozzle with firing pin type, high pressure and little aperture to the manufacture and user. with the valuable reference during the selecting the equipment and ascertaining the parameters, the users could select and control the humid parameter
課題的理論與試驗兩方面工作相結合，為撞針型高壓小孔徑離心式噴嘴的霧化加濕性能提供了較為詳細的技術性能資料，為生產廠家和用戶在設備選型和參數選擇過程中，提供了有價值的參考，便於用戶正確而經濟地選擇、控制濕度參數，有效調節噴嘴孔徑、噴水初溫和噴水壓力的大小。 -
But almost none studies analysis and design principle about quasiliquid device by the numbers. for providing theory guidance for quasiliquid device design and improving capability and reliability of quasiliquid fuzes, taking experience formula of loose object orifice flowage of loose object mechanics, this paper constitutes three type quasiliquid safety and arming device mathematics models by force analysis
為了為引信準流體機構設計提供理論指導，提高準流體引信性能及其可靠性，本文以散體力學散粒體孔口流動經驗公式出發，結合典型準流體機構具體結構，通過受力分析，建立了離心力驅動、彈簧力驅動和離心力與彈簧力相結合驅動三種典型準流體延期解除保險機構地解除保險過程數學模型。 -
Group theory is particularly rich in problems of this type, especially because of the search for sporadic simple groups.
在這類問題中，特別是由於對散在的單群的研究，群論有特別豐富的內容。 -
Since the problem of feature extraction from 2 - d radar data can be approached as a parametric modeling and parameter estimation problem, the 2 - d type - discriminated geometric theory of diffraction based ( td - gtd ) model that discriminate between the localized and distributed scattering centers of the target is presented
在對目標散射中心的建模與參數估計中，提出採用更貼近散射機理的、特徵含量更為豐富的二維散射中心模型?區分局域性與展布式散射中心類型的幾何繞射理論（ td - gtd ）模型。 -
Contraposing the measurement principle of the traditional hotwire air mass flowmeter, the reason of the excursion of the result for flow measurement was analyzed and inferred when environment temperature changed ; the method for temperature compensation and the realization circuit was given ; and compared the theory output of the new type hotwire air mass flowmeter with its real output after temperature compensation
摘要針對傳統型熱線式空氣質量流量計的測量原理，分析和推導出當環境溫度變化時對流量測量結果產生偏移的原因；提出了一種環境溫度的補償方法和具體的實現電路；並對經環境溫度補償后的一種新型熱線式空氣質量流量計的理論輸出和實際輸出進行了計算與比較。 -
Lastly, the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory
最後，基於c2adl和軟體體系結構的類型理論，系統地研究了引入agent模型產生的軟體演化問題。 -
A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory
本文提出一種新的基於類型理論邏輯框架lf的特定論域推理途徑lftop 。在此途徑下，用戶可以不必是類型理論方面的專家。 -
Thus, the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained, such as precision and machine - checkable proofs
由此，邏輯框架的復雜性就被隱藏起來了，同時我們還保留了精確性和機器驗證等使用類型理論系統及其相關工具的優點。 -
The text type theory, which is an important breakthrough and a significant complement of the traditional translation " equivalence principle ", is based on the divisions of text functions
摘要文本類型理論建立在以文本功能為劃分標準的基礎之上，是對傳統翻譯等值觀的一個重要突破和重要補充。 -
The paper applies algebraic geometry, computational geometry, approximation theory to study the following problems : the nother type theory and the riemann - roch type theory of the piecewise algebraic curve ; the number of real intersection points of piecewise algebraic curves ; the real piecewise algebraic variety and the b - net resultant of polynomials
本文應用代數幾何，計算幾何，函數逼近論等學科的基本理論，分別就分片代數曲線的n （ ? ） ther型與riemann - roch型定理；分片代數曲線的實交點數；實分片代數簇以及多項式的b -網結式進行研究。 -
The handling of faults in the originals with newmark ' s text type theory is analyzed
用紐馬克的文本分類法來分析對不同原文失誤的處理策略。 -
The theory makes a basic judge on the social type transformation process of present chinese society from traditional type to modern type, and becomes the foundation for the formation of new modernization type theory
這一研究形成了關于中國社會正處在由傳統型社會向現代型社會轉型過程的基本判斷，構成了新型現代化理論的基礎。 -
Application of statistical idea and the triple - type theory in the scientific research of biomedicine
統計學思想與三型理論在生物醫學科研中的應用
分享友人