類型檢驗 的英文怎麼說

中文拼音 [lèixíngjiǎnyàn]
類型檢驗 英文
type checking
  • 類 : Ⅰ名1 （許多相似或相同的事物的綜合; 種類） class; category; kind; type 2 （姓氏） a surname Ⅱ動詞...
  • 檢 : Ⅰ動詞1 （查） check up; inspect; examine 2 （約束; 檢點） restrain oneself; be careful in one s c...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  • 檢驗 : checkout; test; examine; inspect; verify; survey; check;checking;testing;[英國]jerque（指檢查船舶...
  1. So we consider five financial indexes includes stock b / p, e / p, current stock size, current stock stru and financial levge by the international tradition, then descriptive statistical test method and cross section statistical test method proved that b / p and current stock size have marked effect on the securities yield besides coefficient b. in the third chapter, the article fut forward a risk factor model, estimates yield sequences of every risk factor by weight regression, and then estimates each risk factor coefficient of different stock by time sequence regression, at last we can reckon the portfolio risk o2p and yield rp which consists n stocks

    結合國際慣例，文章考慮了股票的凈值市價比（ b p ） ，市盈率倒數（ e p ） ，流通規模（ size ） ，流通比例（ stru ）和財務杠桿（ levge ）等五個財務指標，應用描述性統計檢驗和橫截面統計檢驗等多種方法，結果表明，除系數以外，凈值市價比（ b p ）和流通規模（ size ）對證券收益率部有重要的影響。在論文的第三章，提出了一個基於多因素的風險因子模型，並用加權回歸和時間序列回歸等方法估計出了不同證券的各風險因子系數（類似於單指數模型中的系數） ，據此，即可衡量出一個包括n只股票的組合的風險_ p ~ 2和收益率r _ p 。
  2. Secondly, the steps of the glass ' s image processing are discussed in detail. based on the experiments and the characteristics of interference fringe, we pre - process the images with median filter and image segmentation with dynamic threshold. after marking and thinning the resulted fringes, we analyze linearly the unifor mity of product ' s samples with the characteristics of the framework

    然後，結合檢測系統中玻璃干涉圖像處理的任務，詳細介紹了處理的各個步驟：通過實驗比較，並結合干涉條紋圖像的特點，選擇中值濾波、動態閾值分割等技術對圖像進行預處理；然後對獲得的二值條紋進行標記、細化，提取條紋骨架；最後，用骨架的特徵進行線性分析，識別條紋的類型，判斷玻璃樣品的均勻性。
  3. The researchers combined proteomics ( the study of proteins ), the latest in mass spectrometry technology and the best analytical methods from the field of bioinformatics ( the use of computers and statistics to analyze and find patterns in scads of data )

    研究者將蛋白組學（研究蛋白質） ，最新的質譜測定技術及最好的生物信息學分析方法（應用電腦及統計學分析並檢驗大量數據類型）相結合。
  4. Steel and steel products - types of inspection documents

    鋼及鋼產品檢驗文件的類型
  5. The purpose of the present study was twofold : ( a ) to examine the influence of word frequency and word class while online reading chinese, ( b ) to explore the eye movement pattern during text reading process

    本研究利用篇章閱讀的情境，檢驗當說明文與故事體的詞頻相同時，詞頻及詞匯類型對讀者眼球運動型態之影響。
  6. With the frequency division of wpd, etm uses shannon entropy as the criterion of determining whether or not dsi exist in certain wpd tree nodes and interference are suppressed successfully. lots of simulation data, lab data and on - site data have indicated that etm works with good efficiency, without pre - knowing of dsi information, extracts the phase of pd pulses accurately and can calibrate quantity of single type discharge

    大量的模擬數據、實驗室實測數據以及現場實測數據處理結果表明，小波包變換熵閾值法抑制干擾能力強，無需事先確定干擾的分佈，能夠準確檢測局部放電信號的相位信息，對于單一的放電類型，可以確定放電量的大小。
  7. 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方法為主要內容。
  8. Therefore, a model of three sectors, respectively referring to domestic sector, manufacturing export sector and primary product export sector, has been established here to measure the technology spillover effects of export on domestic sector. finally, based on a broader framework, this dissertation went on to investigate the relationship between openness and china ' s economic growth, while the result shows that though there exists a notable dispute about how to measure the degree of china ' s openness, the index of trade dependence still maintains the better one to reflect china ' s economic openness. in the meanwhile, impulse response function ( irf ) method and forecasting errors variance decomposition ( fevd ) method, both of which are based on the vector auto - regression ( var ) system, are used here to investigate the dynamic relationship between openness and china ' s economic growth

    與傳統理論不同，新增長理論和新貿易理論都強調技術進步的作用，因此本文構建了一個三部門的技術外溢效應模型（國內部門、工業製成品出口部門以及初級產品出口部門） ，考察了工業製成品出口和初級產品出口對國內非出口部門不同的技術外溢效應；第四，從更加廣闊的視野就貿易開放度與中國經濟增長問題進行研究，有關貿易開放度如何度量一直是存在較大爭議的問題，本文首先對該類研究文獻進行了較為詳盡的述評，然後運用生產函數方法對所選取的5個貿易開放度度量指標進行了檢驗，結果發現盡管一些已有研究認為外貿依存度無法真實度量一國經濟開放水平，但是本文研究結果表明外貿依存度仍是度量我國貿易開放度的較好指標，進一步採用基於var系統的脈沖響應函數法以及預測誤差方法分解法對貿易開放促進經濟增長的作用進行了動態刻畫。
  9. Part one : this part introduces the summarization of the abs ( asset - backed securities ), which includes the conception, the basic theory, the features, the categories, the basic running process, and the circumstance of the research and development, etc. part two : the main contents of this part are the necessity and the analysis for the feasibility of the financing of securities depending on the charges of expressways, including the analysis for the feasibility of the financing of securities on the basis of the expressways " charges, the option between the two operation models, and the analysis for the feasibility of the operation of indigenization, etc. part three : this part mainly demonstrates how to design the plan of a company for the financing of securities and indigenization, which consists of the introduction of a company ' s background and the main problems to be confronted, the features of the basic assets and the analysis of the cash currency, the selection of spy, the design of trading structure, the product design of securities, etc. part four : this part discusses the financial evaluation about a company ' s design of the financing of securities and indigenization on the basis of the expressways " charges, the analysis of the risks and the analysis in general

    本文的創新之處在於: （ 1 ）通過對我國《信託法》 、 《公司法》等相關法律、法規的深入研究，提出在國內現行制度框架和市場環境下，以信託方式設立特設目的機構的基本思路，並構架了類附擔保公司債信託型和信託簽發企業銷售型兩種較為滿意的本土化交易結構方案，具有一定的理論創新性; （ 2 ）將資產證券化這一金融創新工具應用到高速公路融資領域，論證了高速公路利用收費證券化融資的必要性和可行性，並提出了一個可供借鑒的操作性方案。本文可能的不足是在證券化產品設計方面由於筆者知識水平的欠缺，深感作得不是很深入，需進一步的完善和細化;另外對各種交易結構模式的設計和分析只是一種理論上的探討，到底是否有效和可行需接受實踐的進一步檢驗。論文分為四個部份:第一部份，資產證券化概述，包括資產證券化的概念、基本理論、特點、基本形式、基本運作流程、國內外研究和發展現狀等。
  10. In this article, firstly the background of the textile trade conflicts within sino - us or sino - euro are introduced, thus learn that how to discern and dodge the foreign trade risks, how to choose the appropriate investment projects have already become one of the most important questions for exporting companies on foreign trade affairs well - known as high investment and high risk. so the main text makes a risk analysis qualitatively and quantitatively on a textile - exporting trading company from three angles of statistic 、 game theory and portfolio theory, which is the main content that we studied. firstly, the statistic article adopts data of the transaction closing price of the textile clothing index in shenzhen stock exchange at the end of each quarter as well as several other kinds of data reflecting the macro - economic changes, performs an empirical analysis of these data according to the theory of co - integration test 、 granger cause test and impulse response function of time series in economitric, and learn that the impact to ti is more obvious by the economic index reflecting local commodity price level and economic prosperity degree home and abroad, as well as the impact degree and the time lag degree, and knows the macro - economic risks faced by textile business enterprises ; after that by the game theory angle we analyze exactly the managing risks faced by one textile export corporation named beauty. from the game expansion chart the system arrangement between censor ways by exportation goal countries and exporting strategies by the exporting enterprises has been analyzed. involving the benefit assignment between them both the limited rounds and infinite rounds negotiations of cooperation games have been studied, and then country responsibility and the enterprise managing risks on foreign trade affairs and so on have been analyzed exactly ; in order to realize the investment multiplication in the certain degree to disperse the risk, the

    本文首先介紹了中美、中歐紡織品貿易爭端的來龍去脈，由此可知在涉外貿易這種以高投入、高風險著稱的行業里，如何甄別和規避外貿風險、如何選擇合適的投資項目已經成為外貿企業的首要問題。因此，正文分別從統計學、博弈論和投資組合三種角度對涉外紡織品貿易公司風險進行了定性和定量的分析，這也是本文的主要研究內容。首先，統計學篇選取了深圳證券交易所行業分類指數?紡織服裝指數（ ti ）每一季度末的交易收盤價和若干種反映宏觀經濟變化的指標，利用計量經濟學中時間序列的協整檢驗、 granger因果檢驗和脈沖反應函數等理論做實證分析，從而得知反映國內物價水平和國內外經濟景氣程度的經濟指標對紡織板塊上市值的沖擊比較明顯，且可知沖擊程度和時滯度，進而分析出涉外紡織企業所面臨的宏觀經濟風險;接著，從博弈論的角度具體分析一家紡織品出口公司（ beauty ）的外貿活動所面臨的各種經營風險，該篇從博弈擴展圖入手，分析了出口目的國審查方式與本企業出口策略之間的制度安排;並圍繞雙方的利益分配，研究了有限回合和無限回合合作談判博弈，然後具體論述了國家責任和企業涉外經營風險等問題;在一定程度上為了實現投資多元化來分散風險的目的，投資組合篇從經典的markowitz模型著手，在一些特定條件的限制下，給出了一個相應的投資組合模型。
  11. China has a vast population and a broad market, thus liquor consumption owns a considerably potential market in china. however, due to the intence yet disorder competition of the present market, the marketing of the liquor industry in china has fallen into an rather awkward dilemma. the hidden trouble, the lurking danger, cause the businessmen in this line unable to extricate themselves from a low - leveled ricious competitive cycle. such severe challenge also confronts yuechitequ company. therefore, the most urgent problems waiting for resdring lie in how to take advantage of the present resoures effectively, how to distinguish the market situation, and how to institute a scientific product - popularizing programme in order to keep the enterprise standing undefeated in the intense competition, and develop the enterprise rapidly, favorably. this thesis makes a thoughtful analysis about the external conditions of market and internal ones resources in the yuechitequ by means of inrestication through questionaire and scientific data processing. in the second part, with the application of stp system theory of marketing and new - product - pricing theory, it designs and further expounds the popularization of the new products of this company, then forms a excutable performance and makes a constant rerision via market practice. in this way can it explor a suitable road to popularize the products in the liquor market, help the enterprise to free from the difficulties and progress healthely, consitently

    本文通過在岳池特曲公司現有產品市場進行問卷調查，運用科學的數據處理方法對所回收的658份問卷統計分析，以及利用美國哈佛大學商學院著名教授邁克爾?波特（ michaelporter ）提出的五種力量模型和價值鏈與vrio分析理論，對白酒市場的公開數據細致分析，以明確四川省岳池特曲酒業有限公司實施新產品市場推廣所面臨的市場條件和內部資源條件，在此基礎上，本文運用市場營銷學中stp系統理論、新產品定價理論等，對岳池特曲公司推出的白酒新產品進行市場細分、確定目標市場和市場定位，並根據市場營銷4p理論制定新產品的產品策略、價格策略、渠道策略、市場促銷推廣策略，形成最終整體完善的可執行方案，再通過市場實踐對推廣方案進行檢驗、修正，力圖在酒類市場中探索一條新產品市場推廣的適用道路，並幫助企業擺脫困境、邁開步伐、持續健康的發展。
  12. The main contents of testing the strength of subgrade abamurus using earthquake wave velocity are as follows : the influence of the lithology and strength of flag stones and the shape of block upon wave velocity, the influence of the strength of cement mortar upon earthquake wave velocity, the estimation standards of the strength and completion of abamurus. this paper puts forward an accurate no - destructive testing using the different reflect of elastic wave velocity for abamurus stones, the strength of mortar, the plumpness of mortar and the type of abamurus, on the basis of laboratory tests and field tests. it can be used to accurately distinguish the completion of abamurus

    地震波速法檢測路基擋墻強度，研究的主要內容有：片石巖性和強度及塊體形體對波速的影響；水泥砂漿強度對墻體波速的影響；擋墻整體強度和完整性的評估標準。應用彈性波速度對擋土墻石材、砂漿強度、砂漿飽滿度及擋墻類型的不同反映，在室內外模型試驗和現場生產試驗的基礎上，提出了一種正確的無損檢測法，可以正確判別漿砂片石擋墻墻身的完整性。
  13. Taking managers in enterpri ; e as participants, this research has collected data via interviews, open questions, importance hierai : hical evaluation as well as close questionnaires of the behavior types and of hierarchica evaluativn. forecast analyses and item modification of the questionnaires have been conducted from vari < us angles in terms of factors analyses, test factors analyses, relationship analyses, diligence cst and item analyses to secure a high reliability and validity. then the law of inner factors and he functions on management performa

    本項研究以企業管理者為被試，綜合運用訪談法、開放性問卷法、重要性等級評定法和封閉式問卷法收集資料，編制了典型管理溝通情境下行為反應類目迫選問卷和等級評定問卷，並採用探索性因素分析、驗證性因素分析、相關分析、差異檢驗、項目分析等多種統計方法，從多角度對問卷進行了預測、項目修改，使正式問卷取得較好的信度和效度。
  14. First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    文章主要介紹了安全協議的概念、分類和性質，安全協議的形式化驗證方法，以及小系統模型的原理；重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理，而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。
  15. Our company has typical examination and experiment equipments, as follows : atomic absorption spectro - meter, visible spectro - meter, gas chromatography, moisture meter, electronic balance, nitrogen tester, hydrogen tester, particle size analyzer, various titrator and so on

    贛鋒已擁有的典型檢驗試驗設備如下：原子吸收分光光度計可見光分光光度計氣相色譜水分測定儀電子天平測氮裝置測氫裝置粒度測定儀各類滴定裝置等。
  16. Rubber - test rule for distribution type of testing data

    橡膠試驗數據分佈類型檢驗規定
  17. Collection in sql server provides type checking and length validation

    集合提供了類型檢查和長度驗證。
  18. He would have liked stronger static type checking of template arguments

    他本來想要更強的模板參數的靜態類型檢驗。
  19. For example, the simplicity of the java type system often forces us to choose between precise type checking and keeping a single point of control for each distinct functional element of a program see

    比如說， java類型系統的簡單性經常迫使我們在精確類型檢驗和保持對程序的每個不同的功能性元素的單點控制（請參閱
  20. There are controls for different types of validation, such as range checking or pattern matching

    有各種類型的驗證控制項，如范圍檢查或模式匹配驗證控制項。
分享友人
分享到 Line

分享到臉書