支分類型論 的英文怎麼說

中文拼音 [zhīfēnlèixínglún]
支分類型論 英文
ramified theory of types
  • : Ⅰ名詞1 (分支; 支派) branch; offshoot 2 (地支) the twelve earthly branches3 (姓氏) a surname...
  • : 分Ⅰ名詞1. (成分) component 2. (職責和權利的限度) what is within one's duty or rights Ⅱ同 「份」Ⅲ動詞[書面語] (料想) judge
  • : Ⅰ名1 (許多相似或相同的事物的綜合; 種類) class; category; kind; type 2 (姓氏) a surname Ⅱ動詞...
  • : 論名詞(記錄孔子及其門徒的言行的「論語」) the analects of confucius
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  1. Involuntarily, questions of these engineering datas " management appear, datas " persistance only depending relational model and rdbms is greatly insufficient, so this paper carefully studies object - relational mapping based on rdbms based on the analyse of home & overseas actualities, correlative theories and realizing methods of object - relational mapping, we find opl based on rdbms is the most suitable for object relatinoal mapping of clera. based on the engineering application analyse of opl in clera, function requirements, database modes, interface criterions and functions, running modes of opl have being detailedly described. with the framework of microsoft dna, a kind of realizing method of opl based on com / dcom / activex component technology has being brought forward, and this paper describes realizing keys from base tables " definition, object id and class hx class and inheritance of class, object storage, parallel control and affair, object query, object nesting, relations between objects, support of complex data types, right control of object and buffer management of object

    本文在析對象?關系映射技術的國內外現狀、相關理及實現方法的基礎上,研究發現基於rdbms的opl是目前最適合clera的對象?關系映射方法;在clera的opl應用析的基礎上,詳細描述了opl的功能要求、數據庫模式、介面規范與功能、運行方式等內容;結合microsoftdna開發框架,提出了一種基於com dcom activex組件技術的opl實現思路,並從基本表定義、對象標識與標識、繼承、對象存儲、並發控制與事務、對象查詢、對象嵌套、對象間聯系、復雜數據持、對象級權限控制及對象緩沖管理等幾方面概述了實現要點。
  2. After studying a great many of historic materials, books and unearthed relics, he summarize the sani culture in yunnan as ah shi - ma culture. he points out that the traditional sani culture comprises four types, namely the hill culture represented by mizhi woods and mizhi festival, the fire culture by fire pray and torch festival, stone culture by stone worship and zulin - bimo ( priests ) culture. the author comprehensively explains the four psychological features deposit in the traditional sani culture, that is the rational tragedy consciousness, the ideal of searching for utopian home ah zhuo - di, the wise lifestyle rooted from migration and creativity, the open mind to face nonnative culture

    在這一認識基礎上,本文以雲南石林彝族自治縣彝族撒尼系的文化為例,析和研究了撒尼人的歷史以及撒尼傳統文化形成過程,通過翔實的史料、文獻、地下文物以及文化在時代中的演變狀況,將雲南石林撒尼文化概括為石林阿詩瑪文化,並對該文化積淀中的諸多方面進行了認真的考察和析,總結出石林撒尼傳統文化所包含的四大主要,即山文化(密枝林和密枝節) 、石文化(石崇拜) 、火文化(祭火和火把節)祖靈與畢摩文化,概括說明了石林撒尼傳統文化深蘊著的四大民族心理特徵,即基於理性基礎上的悲劇意識、執著于理想家園「阿著底」的理想模式、源於歷史遷徙和生活創造的智慧人生和面對外來文化時的開放心靈。
  3. Therefore, the paper expanded eles, namely, turned the above assumption into the following : all the consumers in the same income level have the identical marginal budget share or the identical marginal propensity to consume when consuming certain goods, but consumers in different income level have not and the paper, by defining and introducing the nominal variable of income level - a variable of the marginal propensity to consume only resulting from the change of consumers " ( rural residents ) income level, with which the standard income level was compared, adopted to expand again the extended eles model, exploited the surveying household data in 2001 by liaoning statistics bureau, caculated ( 1 ) the marginal propensity to consume, real expenditure structure, real propensity to consume and marginal budget share of main consumer goods of rural residents in different income levels ; ( 2 ) the proportion of the basic demand quantity, the basic demand structure, the basic demand of main consumer goods in real expenditure of livelihood consumption ; ( 3 ) the income elasticity of demand, the expenditure elasticity of consumption, the price elasticity of demand and the cross price elasticity of demand of main consumer goods ; finally, came the following conclusions : 1

    故本文採用對擴展的線性出系統進行再擴展,即將上述假定改為: 「對某消費品的邊際預算份額或邊際消費傾向,對于同一收入等級的所有消費者均相同,但對于不同收入等級的消費者則有可能不同。 」並通過定義和在模中引入收入等級虛變量,藉以代表與基準的收入等級相比,消費者(農民)僅僅由於其所處的收入等級變化所導致的邊際消費傾向的變化量。本文採用對擴展的eles模的再擴展,利用遼寧省統計局農調總隊的2001年農村住戶調查戶資料(共1890戶) ,計算了( 1 )不同收入等級農民對各主要消費品的邊際消費傾向、實際出結構、實際消費傾向、邊際預算份額; ( 2 )不同收入等級農民對各主要消費品的基本需求量、基本需求結構、基本需求占實際生活消費出比重; ( 3 )不同收入等級農民對各主要摘要消費品的需求收入彈性、消費出彈性、需求自價格彈性、需求的交叉價格彈性。
  4. The thesis roots in the item supported by " fifteen " aviation funds, - new type aeronautic linear dc motor ( ldcm ), study its classes characteristics and work principle, mainly researches the drive and control technique of aeronautic linear dc step motor ( ldcsm ) using in emergency discharging oil valve on airplane

    本文源於「十五」航空撐基金項目-新航空用直線直流電動機。文研究了直線直流電動機的、特點及其工作原理,重點針對飛機應急放油閥用航空直線直流步進電動機驅動控制技術進行了研究。
  5. This thesis studies the principle of ais, the types of its system structure and the key factors which affect its evolution, explains the necessity and feasibility of ais based on event approach, emphasizes how to use the entity - relation approach and the real ( r is for " resource ", e for " event ", a for " agent ", l for " location " ) semantic model to design the integrate event - driven database and expects intelligent decision support system ( idss ), the application of data warehousing and olap technology in decision support system ( dss )

    文章的研究思路是:從會計信息系統體系結構的角度,研究系統體系結構的及其演變的主要影響因素。述了基於事項會計的會計信息系統的現實必要性和技術可行性;重點研究了現代信息技術環境下,基於事項會計的會計信息系統體系結構、如何運用e - r概念模與real業務過程語義模析和設計集成業務數據庫、基於事項會計的會計信息系統原理和結構;並展望了數據倉庫和olap聯機析處理技術在決策持系統dss中的應用,即基於企業數據倉庫的智能決策持系統( idss )前沿研究。
  6. The key technology of mpidss includes the distributed supported technology, the process control of cooperative working and the real - time control of the decision process, etc. based on the technologies of decision support system ( dss ), group decision support system ( gdss ) and distributed decision support system ( ddss ), with the theory of system engineering and artificial intelligence such as knowledge engineering, agent, etc, having the background of the items supported by the national 10th five - year plan foundation - the research on the technology of military programming intelligent decision support system, this paper focus its work on researching on the algorithm of mission decomposing and mission distributing, distributed support technology, real - time process control method and project evaluating technology, etc. further more, the architectural model of process control based on multi - agent alliance is put forward and the prototype system of mpidss is implemented

    決策問題與傳統的企業決策的不同點在於決策群體龐大、決策任務多且任務屬性各異、決策任務的求解具有實時性要求等。決策過程中的關鍵技術包括散式持技術、決策任務求解的過程式控制制技術以及實時任務的求解控制策略等。文在繼承傳統的個體決策持系統( dss ) 、群體決策持系統( gdss )和散式決策持系統( ddss )技術的基礎上,結合系統工程思想以及人工智慧中的知識工程、 agent等前沿技術,以總裝備部十五預研課題? ? 「群體決策持平臺」為課題背景,深入研究了散式多任務群體決策過程中的任務解與配演算法、任務協作策略、散式持技術、實時控制技術,決策方案評價技術等,提出了用於過程式控制制的多agent聯盟體系結構模,設計和實現了面向軍事作戰規劃的智能決策持原系統。
  7. This research focused on applying the system analysis principle and mathematical modeling technique to study knowledge expression system for crop cultivation management. based on extensively collecting, understanding, analysis, and integration of expert ' s knowledge and experience, literature and experiment data for cotton cultivation management, the dynamic relationships of cotton growth and management indices to variety types, ecological environments and production levels were quantified, and a dynamic knowledge model for cotton management ( cottonknow ) was developed. by further incorporating the rule - based knowledge system for cotton management, a comprehensive and intelligent knowledge model - based decision support system for cotton management ( kmdsscm ) was established with component design

    本研究著重利用系統析原理和數學建模技術來研究作物栽培管理的知識表達體系,在廣泛收集及充理解和析棉花栽培管理專家知識、經驗和資料的基礎上,利用棉花栽培理與技術方面的現有研究成果,並結合必要的試驗持,解析、提煉和綜合棉花生育及管理指標與品種、生態環境及生產水平之間的定量化關系,首次構建了棉花栽培管理動態知識模,並進一步結合基於知識規則的棉花栽培管理知識庫表達系統,設計和實現了綜合性、智能化和構件化的基於知識模的棉花管理決策持系統( kmdsscm ) 。
  8. This method is also valid for identifying the circuit and branch defect of first group spatial linkages based on the equivalent of circuit properties of the first group spatial linkages and its equivalent sphere four - bar linkage base on the property of the solutions of quartic equation, the conclusion that the number and order of branch between two adjacent stationary positions of the input link are derived. then, the new method to identify circuits of spatial single - loop linkages with four closures is presented. all types of the manner on which the branches coalesce at the stationary positions of the input link are obtained and the procedures to determine the type automatically are developed

    基於一元四次方程解的性質,得到了在輸入構件兩個相鄰瞬時靜止位置之間機構的的數目和大小順序不變的結,進而提出了識別具有四個封閉形的空間單環機構迴路的新方法一一死點法,綜合出了輸入構件位於瞬時靜止位置時機構結合情況的所有及其自動判別方法,研究了由所有結合的信息自動生成迴路的演算法,首次解決了此機構迴路與迴路缺陷的自動識別。
  9. In the first two parts, the thesis conducts comparison and ordering of financial indicators respectively for four types of institutional units in accordance with their functional classification, in addition to analyzing and describing their general conditions. in the last part, the thesis uses index analysis method, selects the analysis indicators representing respectively the financial conditions of each institution on the basis of the different financial management characteristics of the four types of institutions, in order to form different evaluation models. through calculation, it evaluates the general financial conditions of each institutions with quantitative standards

    在收析和資產負債析部文除對總體情況析描述外,重點按照職能對四事業單位的各項財務指標別進行了比較和排序;在綜合析部文採用了指數析法,根據四單位不同的財務管理特點,別選取了可以代表每單位財務狀況的析指標,形成不同的評價模,通過計算,從量化標準上對各單位的綜合財務狀況進行了評價。
  10. The article introduces the basic concepts and common methods of fuzzy mathematics, initially discussing the applications of fuzzy mathematics in the following aspects : 1 ) division of " skidding " strata with grade of membership that are drilled with diamond bits ; 2 ) comprehensive evaluation on the application in evaluation of diamond bits, classification of rock drillability, and evaluation of clay ; 3 ) classification of " hard rock " through fuzzy clustering analysis ; 4 ) estimation of completion time of boreholes and evaluation of underg round water with fuzzy mathematics ; 5 ) identification of new ore areas and option of best water resource area with fuzzy model ; 6 ) option of diamond bits and evaluation on oil field development plan with fuzzy resemble option and the improved calculation method ; ? ) prediction of mud slurry performance and of the amount of surging water in ore pits with fuzzy control ; 8 ) comprehensive evaluation of diamond bits and supporting plan of deep foundation pit with fuzzy optimal theory

    初步探討了以下幾方面的應用: 1 )用隸屬度劃金剛石鉆進「打滑」地層; 2 )綜合評判在金剛石鉆頭評價、巖石可鉆性級及鉆探造漿粘土評價中的應用; 3 )用模糊聚析進行「硬巖石」; 4 )用模糊數進行鉆孔竣工時間預估及地下水質評價; 5 )模糊模式識別在新礦區識別和最佳水源地選擇中的應用; 6 )模糊相似選擇及其改進演算法在金剛石鉆頭選擇和油田開發方案評價中的應用; 7 )模糊控制在泥漿性能和礦坑涌水量預測中的應用; 8 )優化理在金剛石鉆頭和深基坑護方案綜合評價中的應用。
  11. The developing trend of intrusion detection technique is also summarized in the first part of the thesis. the intrusion detection system supporting ipv4, ipv6 and transition mechanism is designed. by analyzing the capture procedure and bottleneck of linux operating system we point out that using technology of napi 、 memory mapping can increase the capturing efficiency and detection accuracy which result in the low rate of error report, lose report

    文在綜合使用入侵檢測技術的基礎上,開展了以下幾個方面的研究工作: 1 、簡明扼要地介紹了入侵檢測技術的概念、基本模、歷史和,總結了現有入侵檢測技術的發展趨勢,設計了持ipv4 、 ipv6以及其過渡機制下的入侵檢測系統,並對linux系統中的捕包過程和瓶頸進行了析,通過使用napi 、內存映射等技術提高了捕包效率和檢測的準確度,降低了誤報、漏報率。
  12. It is very important that the understanding of regional metallogenic rules should be emphasized and the thinking of exploration and research opened up. in this thesis, mainly metallogenic types, tectonic setting, space - time distributions and the ore - controlling and metallogenic conditions for copper ore deposits in gansu province are studied on based inducing past formation which basic theories and methods of the modern geology, mineral deposits and related learning are applied and a serious of formation synthesized throughout depending on guide of regional. - metallogenic theories. a rule of development, enrichment and regional metallogeny would be preliminary summaries in terms of analyzing mineral prospecting for gansu ' s copper, gold and polymetallic minerals, and the relation between the indosinian - yanshan structural - magmatic activities is studied and exploration prospect and positions analyzed as well as a new countermeasure and thinking about research for minerals in this area be suggested

    文在總結、析前人成果資料基礎上,以區域成礦學理為指導,運用現代地質學、礦床學及相關專業、學科的基本理與方法,綜合多種成礦信息,對甘肅省銅礦主要成礦及其成礦地質構造背景、時空佈特徵與主要控(成)礦條件進行了研究;從礦產勘查的角度,初步總結了甘肅銅、金及多金屬礦產的發育、富集與區域成礦規律;探討了印-燕山期構造-巖漿活動與大-超大銅礦床的形成關系;研究析了甘肅銅礦資源的勘查前景與找礦方向,提出了該區礦產勘查研究新思路。
  13. Including the main body of the subgrade, protecting and supporting engineering. drainage equipment of road, culvert and the transition zone between the road and the bridge. through investigating the types of diseases, the author discusses the existing problems and causes of producing diseases, puts forward the protective measures in design and construction, and raises the treatment measures in highway maintenance, which makes it more scientific and perfect for highway construction and maintenance in the loess areas

    文首先對黃土的工程特性及其影響因素進行了析,然後對黃土地區路基病害及其防治技術進行了研究,具體包括路基主體、防護與擋工程、公路排水設施、涵洞及路橋過波段等部,對病害進行了調查,析了使用中存在的問題與病害產生的原因,提出了在設計與施工中應採取的防範措施,給出了養護中的處治對策,使我國黃士地區公路建設與養護更加科學和完善。
  14. I study mainly the storage of record and object, and bring forward the method of storage when the instance of object is embodied inside of record. 3 ) in the aspect of indexing, i presented a method that is generalized b - tree ( gbt ) and combining technique of founction template of c + + build the universal algorithm of queries, insert and delete. 4 ) finally, i analyze deeply and improve the query processing system of ormdbms, and confirm performance algorithm of linking and queries based on relational database. management system ( rdbms )

    在系統結構和特性中析了系統所採用的兩層體系結構,並且詳細探討了在設計和實現數據庫時所涉及到的幾個主要問題:持復雜對象、擴充、繼承機制和規則系統等;在存儲機制的討中,主要研究了記錄和對象以及包含了對象實例記錄的存儲方法;在索引技術研究中,本文提出了屬b樹的索引方法,通過c + +的函數模板技術給出了通用屬b樹查詢、插入及其刪除的基本演算法;最後,文章以關系數據庫為基礎,深入析並改進了在對象關系多媒體數據庫中的查詢處理系統,確定了選擇和連接操作的具體演算法。
  15. 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別對採用土釘護的一階邊坡、二階邊坡進行析,重點是研究各排土釘的軸力佈規律、開挖方式及原始邊坡形態對土釘的軸力的影響、上下階邊坡在土釘軸力方面的相互作用,得出了有關第一排土釘的設計問題、不同的土體應適用於特定的開挖方式、原始開挖出的邊坡形態對一些坡體的邊坡土釘護有較大的影響而對另外一些影響不大、二階邊坡臺階寬度的合理確定、二階開挖及護比一階時具有較多的工程優點等結;通過土壓力析對朗肯、庫侖兩種經典土壓力理的區別與聯系、坡面傾斜及墻背有摩擦時的坡面豎向應力佈、面板背土壓力的佈形態作了研究,得出了邊坡擋土壓力受坡體內部穩定與坡面局部穩定兩個方面的影響、土釘護面板背土體中卸荷拱的存在對面板受力有利等結
  16. Due to the rapid development of computer and internet / intranet technology, this article combines the technology of dss and internet, exerts the system engineering theory and software engineering theory to design the system. by adopting the method of combination of qualitative analysis and fixing quantify study, the dissertation build models for analyzing the key factor, judging the seedtime of agricultural mechanization and classifying area according to the level of agricultural mechanization, discuss the imbalance of development seedtime and area of agricultural mechanization

    在當前計算機技術和internet intranet技術迅速發展的趨勢下,本文將決策持系統技術與網路技術相結合,運用系統工程、軟體工程等理對系統進行了設計,採用定性析與定量研究相結合的方法,建立了灰色關聯析模、農機化發展階段模糊綜合評判模和水平區域,討了農業機械化發展過程中呈現的發展階段和區域不平衡性。
  17. A model of spatial decision support system based on spatial data mining was established after making research on application and integration of spatial data mining, " 3s " technology and environment model, which include designing of data base, knowledge base, model base and their management system, inference engine and intelligent data mining engine ; 2. a model using artificial neural networks to forecast in coast environment in fujian was established, and a method applying multivariate decision tree to remote sensing classification was presented ; 3. a novel and shortcut method realizing artificial neural networks was presented, and then we put forward method realizing decision tree and realized it in prototype

    文的主要內容概括起來有: ( 1 )對空間數據挖掘技術、 「 3s 」技術、環境模在空間決策持系統中的應用與集成進行了研究,提出了一種基於空間數據挖掘的環境調控空間決策持系統的模,包括模庫及其管理系統、知識庫及其管理系統、數據庫及其管理系統、推理機以及數據挖掘智能引擎等的設計; ( 2 )建立了人工神經網路在福建省海岸帶環境預測中應用的模,提出了復合決策樹演算法在遙感的應用方法; ( 3 )提出一種新穎的、簡便快捷的人工神經網路的實現方法,以及決策樹的實現方法,並在原系統中作了實現。
  18. Four parameters for determining the type of circuit of spherical four - bar linkage are defined. according to the relationship of these parameters, three types of circuit of spherical four - bar linkage are found, which is proved in view of geometry point. base on the theory of sphere triangle, an approach of identifying the circuit and branch defect of spherical four - bar linkage is proposed

    首先提出了四個迴路判斷參數,根西安理工大學博士學位文據這些參數之間的關系,將球面4r機構迴路為三種,並從幾何的觀點進行了證明;然後基於球面三角理,提出了球面4r機構迴路及缺陷識別的轉角符號法,而由空間第一組機構與其等效球面4r機構迴路特性的等效性,此方法對空間第一組機構的迴路和缺陷的識別同樣有效。
  19. With the development of communication, information and electronic technology and computer network, intelligent transport system ( its ) is paid more and more emphasis, it contains many parts, such as vehicle type recognition and license plate recognition. in this paper, we introduce svm to the field of its, the main work is described as follows : ( 1 ) we summarize the latest research achievements and development of its, present the conceptions of slt and the principles of svm ; ( 2 ) taking the traffic sign as examples and adopting hough transform in the stage of feature extraction, we introduce svm to the problem of shape recognition and compare the experimental results with traditional learning methods. ( 3 ) then we use svm to settle the vehicle type recognition problem, where we utilize the wavelet analysis and mathematical morphology method to extract the figure feature

    本文將持向量機引入智能交通系統領域,主要進行的工作如下: ( 1 )整理總結了國內外學術界關于統計學習理方面的研究成果,介紹統計學習理的基本概念和持向量機的基本原理; ( 2 )在形狀識別問題中以交通標志圖像作為實驗對象,利用hough變換進行特徵提取,在識別階段利用持向量機方法進行,並與神經網路等傳統學習方法對比; ( 3 )將持向量機應用於車識別問題中,針對收費站採集的汽車圖像,首先採用小波析和數學形態學的方法提取其外形特徵,在識別階段利用持向量機方法進行,並與其他傳統學習方法進行了對比; ( 4 )將持向量機應用於車牌識別問題中,車牌識別包括車牌定位、車牌字元割以及字元識別三個步驟,先採用數學形態學方法對車牌區域進行定位,然後採用top - hat變換等方法割車牌字元,在識別階段採用持向量機演算法進行字元識別,取得了較為滿意的結果。
  20. Next, according to the feature of different types of the industry chain, it is supposed that the manufacturing cost of suppliers and backward enterprises is known, with the method of the pricing of middle product, we set about the study on value attribution ? profit - distribution, and we use the regressively inductive method to find the scale of the profit - distribution. last, we use the situation of the industry chain of the data service inland and overseas to give evidence study

    然後,基於不同電信增值業務產業鏈模式的特點,假設電信增值業務產業鏈上企業的生產成本為共同知識,本文運用中間產品定價的方式,研究不同的產業鏈模式下電信運營商與sp商的利益配方式,並通過逆向歸納法(動態博弈)求解計算它們的利益配比例,為現實電信運營商的發展提供理持。
分享友人