規格化形式 的英文怎麼說
中文拼音 [guīgéhuàxíngshì]
規格化形式
英文
normal form-
Fist of all, on the basis of the research of agone boffins, this author investigates the interaction mechanism of bolts and rock, and introduces the elastic ? lastic analytical resolution which is consist of the liner structure, the equivalent reinforced wall rock and the original wall rock in the simple loading from the equivalent well - proportioned view ; this solution is very important meaning for the engineering design. on the basis of coulomb friction model, the author introduces the finite element equation of the contact problem in order to provide the academic foundation for the application of msc. marc. finally, combining the engineering practice of the non - linear analysis of shield tunnel through yellow river of the south - north water transfer and using the model of friction, the author researched the evolution law of stress and displacement field in the structure of grouted rock bolts, and analyzed the effect to the stress and deformation of surrounding rock mass due to anchor supports
首先，在前人研究成果的基礎上，對錨桿與圍巖的相互作用機理進行研究，利用全長錨固錨桿的中性點理論，從等效均化的角度來考慮錨桿對圍巖的加固作用，並推導了在簡單荷載作用下，含有襯砌、等效加固后的圍巖、原始圍巖三者的彈塑性解析解，對工程設計有著重要的參考意義；在數值模擬方面，以考慮錨固圍巖滿足規則化庫侖摩擦模型為基礎，利用虛功原理推導了接觸問題的有限元方程的計算格式，為開發運用大型商用有限元軟體msc . marc提供了理論根據，也形成了本文的理論基礎：最後，論文以南水北調東線穿黃隧洞穩定性分析項目為工程實例，利用本文所述的接觸問題的摩擦模型理論，對錨桿支護結構的應力場、位移場的變化規律進行了研究，分析了加錨支護對隧洞圍巖應力、變形的影響。This part is set up for analyzing systematically the relationship between rli and rural economic development, summarizing the influence law of rli to rural land management benefit, analyzing the innovative mechanism, institutive achievement and difficult position and gauntlet of the present rli in china so as to lay a practical foundation for the innovation design of rli. the third part from chapter 6 to chapter 8 is innovation. in this part, the binding factors, innovative objective and basically guiding ideology of present rli innovation have been analyzed first, then according to the basically theory that relations of production must be suited to productive forces and the basically demands of socialist market economic system, in the light of peasant ' s receptive level and receptive capacity, the innovative model by stages of rural land property rights has been made, finally, the relationship between family farming and farming in scale has been analyzed, the latent profit and its binding factors of present family farming have been expounded, the concrete measures of perfecting family farming institution and pushing on the farming in scale have been put forward
第六章根據制度創新理論和市場經濟理論，結合我國國情，論述了現階段我國農地制度創新的制約因素、創新的目標及基本指導原則，確定了我國農地制度創新的方式；第七章根據生產關系必須適應生產力發展水平的馬克思主義基本原理和建立社會主義市場經濟體制的要求，結合我國現代化建設分「三步」走的戰略目標及農民的接受程度和能力，認為我國未來的農地制中文摘要度不應該拘泥於某一固定模式，而應該建立在系統連貫性的動態優化組合和階段性漸進演化的基本格局之中，並構建了我國農地產權制度的階段性創新模式:第八章通過對農業生產的特點和家庭經營的優勢分析，結合發達國家農業發展的經驗，提出了家庭經營是我國21世紀農地經營的最佳組織形式的結論;論述了農業家庭經營與農地規模經營的關系，分析了現階段我國農業家庭經營的潛在收益及其實現的制約因素，進而提出了完善農業家庭經營制度和推進農地適度規模經營的具體措施。I also summarized briefly the qualifications for tender agency, factors which would block the development of tender agents and the countermeasures, a nd anticipated the foreground of its development in water conservancy systems of hebei province, and then, i advanced my suggestion on the standardization of tendering and bidding procedures in the relevant projects ; i also analyzed the insufficiencies of decision - making system, documents study and circumstances research in the tenders. at the same time, i introduced the skills and strategies in the tendering and bidding, and advanced my analysis results and suggestions. through the introduction of the procedure from opening to evaluating and deciding the tenders, and the scores registration method on evaluating tenders, i pointed out the status quo and main problems occurred in the tendering and bidding in the construction of water conservancy projects in hebei province, and put forward my suggestion on the system of opening, evaluating and deciding of tender in the projects
在對招標人、招標代理機構和招標過程的法律規定與分析后，指出河北省水利工程建設招標人和河北省工程建設招標代理機構的現狀及存在問題，提出了市場經濟條件下，最合理的招標組織形式為招標代理，並簡述了招標代理機構的資格要求、河北省水利工程建設管理機制中阻礙招標代理機構順利發展因素及對策，預測了招標代理制度在河北省水利系統的發展前景，對進一步規范河北省水利工程招標活動提出建議；對投標過程中存在的投標決策、招標文件研究、投標環境調查不足之處進行了分析，同時介紹了河北省水利工程建設投標報價技巧及策略，對河北省水利工程投標活動現狀及存在問題提出規范化的分析和建議；通過對水利工程開標、評標、定標運行程序和河北省水利工程評標計分辦法的介紹，指出了河北省水利工程建設招標投標定標運行的現狀和存在的問題，提出了河北省水利工程建設開標、評標、定標運行體系的建議。Formal methods has gained huge popularity in real - time system domains. z is a wide used formal specifiation and calculated to describe the real - time system, however, it is not designed to model aspects of the dynamic behaviour. it is significant to extend z to suit requirement for real - time applications
形式化方法在實時系統的開發過程中的使用也越來越多， z語言是一種廣泛應用的形式化規格說明語言，然而，它並不是為處理系統的動態行為而設計的，因此對z進行擴充以適應實時應用的需要是非常重要的。There are many lifting equipments with thousands of varieties and specifications, such as l series of electric single beam cranes and manual single beam cranes, q series of electric bridge - style cranes, m series of gate - style cranes, qt series of tower cranes, and h series of electric hoist cranes, which are widely used in the industries of metallurgy, machine, mine, railway, port, oil, chemical industry, construction and so on
集團的主要產品有l系列電動系梁起重機及手動單梁起重機， q系列電動橋式起重機， m系列門式起重機， qt系列塔式起重機， h系列電動葫蘆及其它形式的起重機械共有千個品種規格，廣泛應用於冶金、機械、礦山、鐵路、港口、石油、化工建築等行業。The article thinks that two new kinds should be added to the legislation, they are testamentary guardian and the guardian set up by oneself, and the legislation should include some relevant regulations of qualification, resign and compensation. the establishment of guardian of social organizations and special distractive body should be improved, and the liability of guardian especially that with property, should be prescribed in detail. supervisor of guardianship should be added, too
本文認為我國的立法需要增加遺囑指定監護人和自我設定監護人兩種監護設立形式，應當增加監護人任職資格、辭職、報酬的有關規定，要進一步完善社會團體和國家專門機構的監護人的設置，細化監護人的職責，尤其要充實有關財產監護職責的規定，應明確規定監護監督人。This paper based on the hj04a railway signal computer system which is developed by the research institute of microcomputer, hefei university of technology. according to requirement of the interlocking software " s reliability and safety. considered with the software requirement analysis, combining the uml and z, we finally design the interlocking software specification which is completeness, consistency, no redundancy, no different meanings and is consistent with the demand of the system
本論文針對合肥工大微型計算機應用研究所研究開發的hj04a鐵路信號計算機聯鎖系統，根據計算機聯鎖系統聯鎖軟體設計可靠性和安全性要求，從軟體的需求分析著手，綜合uml統一建模語言方法和形式化描述語言z語言的方法，設計出完全的、一致的、無冗餘的、無歧義的、符合系統要求的聯鎖軟體規格說明書。It trains qualified personnel with all sorts of patterns. presently, the practice of rtvu - teach - oneself linking program has brought into full play both advantages, which is gaining popularity in the society. based on the principle of running school according to the social needs, rtvu trains specialized practical personnel closely related to the economic construction and social development. in settinq up the courses, hrtvu develops some new specialities to meet various needs of talent market in different local places and the urgent need of society that providing chances to learn for people from various posts with different requirements
河北廣播電視大學積極適應河北經濟建設和社會發展的需要，堅持四個面向，即「面向地方面向基層面向農村面向邊遠地區和少數民族地區」辦學的指導思想，實行「寬進嚴出」的辦學方針，充分應用現代化教學手段，堅持多層次多規格多功能多形式辦學，堅持學歷教育和非學歷教育並舉，開展了大量的實用知識技術培訓，為河北的經濟建設和社會全面進步提供了多種教育服務和人才智力支持。According the overal plan of nanbei lake scenic spot, the goverment will first expand the green planting work along the nanbei lake road, the path sanwan to qingchaoding. as the landscape design and construction will be open potential investirs and the goverment prefer bt form
根據景區總體規劃及景觀建設需要，分輕重緩急，擬先期對南北湖大道、三灣至鷹巢頂道路沿線兩側進行地形改造及景觀綠化，其中涉及景觀建設有投資方建設，政府按合同約定價格及方式予以回購。In the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language. uml lacks in a strict definition of dynamic semantics
在uml規范中，編制者是用較為形式化的語言ocl （ objectconstraintlanguage ）和自然語言兩種手段描述靜態語義，而動態語義卻基本上完全是用自然語言來描述的， uml缺乏一個嚴格的動態語義定義。The fore equipment of chemical fiber two - for - one twister ， fancy twisting machne and cover yarn machine make different types material into double cone shape or parallel bobbims for those machines using, and suppoying the yarn merhing function for reguar materials
化纖倍捻機、花式捻線機、包覆紗機的前道設備，把不同規格的原料筒子絡繞成可在化張倍捻機、花式捻線機、包覆紗機上加工的雙錐形、平行筒子，可提供一般原料的並絲功能。Mode of thinking is the standardized form or format shaping in the human activity of thinking, and the mode of thinking of ideological workers " is the reflection and application of the human mode of thinking in the field of ideological work
思維方式是人類在思維活動中所形成的規范化形式或格式。思想政治工作者的思維方式，是人類思維方式在思想政治工作領域中的反映和運用。In ship steering controller design, the nonlinear ship model should be written in siso strict feedback form. we start the recursive design with the system first state variable and continue with the second one. by introducing a change of coordinates, we choose lyapunov functions to stabilize the system and obtain the control law
在船舶航向控制方面，考慮船舶的穩態回轉非線性，應用backstepping方法設計：首先把系統化成單入單出的嚴格反饋控制形式（呈下三角結構） ，假設系統后一個狀態變量是前一個狀態變量的虛擬控制，通過適當的變量代換，在每一步構造李亞普諾夫函數，使前一子系統在虛擬控制下漸近穩定，逐步遞推出控制器控制規律，使整個系統在平衡點滿足一致漸近穩定性。In this paper, we make an analysis on the difference of the land price and the cause of the difference under different transaction, different uses and different property right, the income distribution at the different transaction forms, by the way of land price investigation in tangshan urban fringe. at the same time, we study on the factors which influence the compensation for expropriation and the law of land price ' s space variation
通過對唐山市城鄉結合部土地價格的調查，本文分析了城鄉結合部不同交易形式、不同用途和不同產權下的土地價格之間的差異以及這些差異存在的原因，在不同的交易形式下土地收益的分配情況；考察了征地補償的影響因素以及地價的空間變化規律。Basing on the thorough research and analysis of several essential technologies, we have implemented identity authentication, illegal link, network security aduit and anti - virus detection etc. we used digital certificate to accomplish identity authentication which was based on the study and analyzing of all kinds of authentication. in regard to network security audit, we mainly researched on the distributed model of network security audit and the audit strategy of the rule library. in view of the traditional rule library ’ s flaws, with the formalizing description of audit rule, we proposed a dynamic security audit strategy model which was based on the nature deduction system
在研究並分析各種認證技術的基礎上，採用基於數字證書的認證方式，實現用戶上網資格審查;針對網路安全審計，重點研究了網路安全審計分散式模型以及基於規則庫的審計策略，並針對傳統審計規則庫的缺陷，通過對審計規則進行形式化描述，提出了一種基於自然演繹系統架構的動態安全審計策略模型dsasm （ dynamicsecurityauditstrategymodel ） ，並詳細論述了該模型的定義和推演演算法;通過深入研究非法外聯的關鍵技術和檢測模型，提出了基於路由表查找的c / s架構的非法外聯檢測模型;針對病毒檢測，提出了基於主機的防病毒檢測思想，在客戶端進行病毒防護。As composite material are widely used in navigation and physical education equipments for high comparing intensity and module, even it has the approxi - mate zero expanding coefficient, as the same time, configuration of composite has been aroused attention by scientific researchers, the goal of them is to find an integrated structure with high efficiency and intelligent and many function all along. grid structure is the right structure with the high efficiency, the researchers overseas have been studying the structure for many years, which manifests it has many excellent nature ; existing research indicate it has higher stiffness and intensity. the form can be detected in health easily for its open shape
復合材料具有高的比強度和比模量，同時又具有近於零的熱膨脹系數和良好的尺寸穩定性等優良性能，已經廣泛應用於航天航空事業和體育器材生產工業，與此同時，尋求一種高效的、低成本的、並將智能化和功能化集於一體的結構形式，一直是航空航天追求的目標，具有點陣結構的復合材料格柵結構正是這種高效的結構形式，表現出多項優良性能;國外對其進行了大規模的理論分析和一些數值模擬研究，已有的研究表明該結構具有良好的可設計與自動化生產性能而無材料之間匹配問題，開放式的結構形式為結構的健康檢測提供了便利，具有廣闊的應用前景。( 2 ) on the side of mechanism of bt cottonseed industrialization, there are common grounds between and kemao co. : multi - participates form a advantage community with contract share in common profit, but the forms of interest distribution are different ; they constitute wholesome organizes system and apply some systems, such as produce and sale in term of contract, price subsidy and non - marketing arrangement, moreover reinforce intellect development of industrialization system to evade risks ; they introduce corporation production and management mechanism, take quality as the center, establish strict index system and project management system, reinforce seed production and sale management ; they endeavor to increase financing channels to promote bt cottonseed industrialization to function effectively
（ 2 ）冀岱公司和科貿公司bt棉種子產業化運行機制有許多共同點：多元參與主體結成一個利益共同體，以合同為紐帶，分享共同利潤，但利益分配形式有所差異；建立健全的產業化組織體系，利用各種制度、 「非市場安排」並大力加強產業化體系的智力開發等措施來規避風險；引入企業化生產經營管理機制，以產品質量管理為核心，制定嚴格的指標體系和管理制度，建立健全的銷售網路體系，加強種子生產與銷售管理；積極拓展資金籌措渠道，促進bt棉種子產業化有效運行。There are six big problems exist. first, the leaders or the chiefs of enterprises lack of the strategic views, pursue short - term interests excessively, a lot of mistaken ideas exist in training management ; second, system, mechanism and development strategy of management training remain to be perfected and further clarified ; the training is lack of systematical and standardization ; third, the content of courses is outmoded, the way lags behind, the style is blankness, especially lack ability of combination of theory and practice, lack of operating method and technology ; fourth, the system of training effectiveness feedbacks is imperfect, the system of training support is insufficient, which have hindered the transfer of training ; fifth, the individuals who under training have insufficient motivation, also have problems in after training loyalty, and to transfer the obtained knowledge into their work ; sixth, the government institutions do n ' t fulfill it ' s own responsibilities in constructing the system of management training. some training policies and managements even restrict the development of management training
本論文根據作者的培訓實踐，並參考大量資料，通過觀察、訪問、具體案例分析等闡述了國有企業管理培訓自改革開放（ 1979年）以後的發展狀況及新形勢，完成的主要研究工作有：首先，指出了國有企業管理培訓存在的六大問題，一、國有企業經營管理者缺乏戰略眼光，過分追求短期利益，在管理培訓觀念上存在許多誤區；二、管理培訓的制度、機制及發展戰略有待進一步完善和明確，培訓工作缺乏系統化和規范化；三、教學內容陳舊，方式落後，風格單一，尤其缺少理論聯系實際能力，缺少操作的方法與技術；四、培訓效果反饋體系不健全，培訓支持系統不足，阻礙了培訓成果的轉化；五、受訓者個人接受培訓動力不足，培訓后忠誠性不足，缺乏將培訓所獲知識轉化于工作中的動力；六、政府培訓主管部門對構建管理人員培訓體系的作為不足，某些培訓政策及管理制約了企業管理培訓的發展。The provisions are adhesion contracts only if they are standardization in style, of adhesion in nature
只有在形式上具有規格化、定型化特點，在實質上具有附從性的條款，才是格式條款。Raw sequence files and alignment results are normalized to tables acceptable to the dbms. the database could be visited by both ms sql server and web
原始的序列文件和聯配結果經過規范化整理之後以二維表格的形式導入mssqlserver ，作為數據庫的組成部分。分享友人