現成公式 的英文怎麼說

中文拼音 [xiànchénggōngshì]
現成公式 英文
ready-made formula
  • : Ⅰ名詞1 (現在; 此刻) present; now; current; existing 2 (現款) cash; ready money Ⅱ副詞(臨時; ...
  • : Ⅰ動詞1 (完成; 成功) accomplish; succeed 2 (成為; 變為) become; turn into 3 (成全) help comp...
  • : Ⅰ形容詞1 (屬于國家或集體的) state owned; collective; public 2 (共同的;大家承認的) common; gen...
  • : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
  • 現成 : ready made; off the peg [rack]: 買現成衣服 buy ready made clothes; buy clothes off the peg; 吃現...
  1. Based on paper [ 1 ] and [ 2 ], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally

    摘要在文[ 1 ]和文[ 2 ]的基礎上,給出了命題邏輯中任一命題的主析取範和主合取範的自動生演算法,並實了多個命題主範的同時形化輸出。
  2. The current public prosecution mode in our country took shape from the past whole case - examine mode in the base of the thinking to get ride of the drawbacks in the past. in practice, it has not only become effective and cause out a lot of new defaults, for example, the definition of the main evidence is not clear, the transfer range of the case files is unclear and the stipulate of the examine consequence is not enough. in order to reform and perfect the current public prosecution mode, we should regard the theory of the public prosecution as guide, combine our country ' s conditions, on methodology jump out of the circle relatively drawing lessons from the past, on the procedural theory, change the idea that the forejudge caused from the substantive examination and clarify the objective fact the current public prosecution include the essential substantive examination, in practice regard legitimacy, rationality and flexibility as the principle of law enforcement before the law to revise, in legislation define the concept of the main evidence clearly, add the regulation to dispatch the examine judge and the trial judge, regulate the treatment methods after examination and revise some rules about the summary procedure

    訴審查制度的訴訟理念為指導,結合我國的國情,對訴審查模的改革和完善,在方法論上跳出以往比較借鑒的圈子;在訴訟理念上改變過去庭審法官預斷必然緣于實體性審查的觀念,以澄清訴審查模包括必要的實體審的客觀事實;在實踐中以合法性、合理性和靈活性作為立法修改前的執法原則;在立法上明確界定主要證據的范圍是對證明犯罪是否立起主要作用或有重要影響的證據,其中既包括有罪證據也包括無罪證據,增加規定訴審查法官與正庭審法官分立制度,補充規定對訴審查后開庭審理之外的其它情況的處理方法以及對於人民法院在審理過程中發不宜適用簡易程序的,取消原刑訴法應當按照一般訴案件適用的普通審判程序重新審理的規定,改為由審理該案件的獨任審判員以外的審判員重新組合議庭對該案件進行重新審理等。
  3. The road system, which provides only for the bus operation is researched in this article. the methods of how to condemnation constructing the bus - operating road system or not is excogitated. on the basis of summarization the history methods of common public transportation network planning, put forward of the propping route design methods

    交專用道進行了研究,研究了交專用道路系統建設的實可能,分析了設置交專用道的條件和效益,提出了確定是否設置交專用道的研究模型;對常規交線網規劃進行了總結和歸納,提出了基於交線網的探索線網生方法。
  4. In contrast to the western art, female body is confined in chinese feudal society, this is an infrangible postulate in routine as in literature

    她們的隱身與模糊影像,在生活一如在文學表中,已為不可破除之
  5. Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable

    給出了命題邏輯中任一命題的真值表的生演算法與命題類型的判定演算法,實了利用計算機對有限多個命題的真值表的直接計算和輸出,以及對一個命題是重言、矛盾或可滿足的機械判定。
  6. Based on the research works of predecessor, the theory on the displacement of soil strata in deep foundation excavation construction and its application are studied in detail. by analysing the supervision, statistics from, the practical excavation engineering, soil rheology is thought to be the main reason of the displacement heavy of the soft soil and the destruction of the enclosure structure, in deep foundation excavation construction on condition of the high theriomorphic of enclosure structure and good seepage resitting

    本文在已有研究果的基礎上,對大面積軟土深基坑開挖時土層變位理論及應用進行了探討:依據場監測數據,推導出開挖時軟土變形的經驗,分析了軟土深基開挖在圍護結構剛度大、基坑防滲效果好的條件下,基坑土層變位、圍護結構受力破壞發展的主要原因。
  7. Follow as joining the wto and developing of finance market, china ’ s financial institution will need to upgrade the ability of quantitatively measuring and managing the credit risk urgently. the author hopes that this paper ’ s research on the structural models of credit risk can give some consultation to chinese financial institution to defend and manage the credit risk. so this paper deeply reviews the method of modeling the structural model of credit risk, than does an empirical study in china based on the leland - toft models, it is a

    因此,本文對信用風險結構模型的建模方法進行了深入的考察,並將leland - toft模型應用於我國的實證研究,進行了有益的探索,本文的研究果和創新工作主要表在以下三個方面:第一,本文比較全面系統的闡述了merton模型, longstaff - schwartz模型和leland - toft模型三個最具代表性的信用風險結構模型的構建思路,對這三個模型的區別和特點進行了深入的考察,並給出各模型計算預期違約率的數學和方法。
  8. As the hypogyny concept of usufructuary right, every right must have the control power, excluding power and the character of limitation and derivation. the management right of state - owned enterprise is the ownership in essence, so it is unsuitable to be prescribed in property law. some kinds of property rights are not included in the scope the usufructuary right, because they are only the manner of acquiring properties and usually regulated by the public law

    特別法上的物權從其內涵上來看,屬于準物權的范疇,是取得物權的一種方,盡管它們具有物權的部分特徵,甚至具有一定的私法性質,但其更多地體法所進行的管理及約束,倘若將其放入用益物權體系,必然造體繫上的不合理及繁瑣。
  9. The modern technology give a chance for the pattern of transmitting knowledge with network, the course based on network have opened up it ' s way in china, our pursuer paid more attention to the mode, but in america, pursuer have studied the more width aspect, thereinto the investigation and design of the information in the course based on network is very important, for the design of the information decide the pattern how the student receive the information, which will effect the way of knowledge understanding and memory, and the way is related to the study pattern, so the design of the information in the course based on network is very important to the efficiency and effect. so the core of the paper is the investigation and design of the information in the course. i have the entropy from the information science as the analyse tool to analyse the information, these work tell us the efficient pattern to transmit information, based on the result, i design the net page, of course, study theory and the character of the net itself are also the factors i employ for design a good net page. then, links and navigation is constituted for students adapt to the course based on network

    當今技術的發展給知識以網路為媒介來傳播的學習方帶來前所未有的機遇,網路課程在國內迅速開展起來,但是國內研究者的注意力主要集中在對網路課程模的探索上,放眼國外,他們的研究觸角已經涉及到網路課程比較細致的方面,尤其是對網路課程信息的研究構了國外網路課程研究中的比較重要的一個方面,而網路課程中信息的設計是重要的,因為信息的組織設計是為了接受者能對信息進行有效的信息加工,信息的呈影響著學習者對知識的理解和記憶方,進而決定了學習者的學習模,因此網路信息的設計在網路課程傳遞的效率和效果中就佔有很重要的位置。基於這個觀念,本文把網路信息的組織設計作為研究的重點,引入了信息科學作為研究的主要工具對網路中的信息作以量化分析研究,主要應用了信息科學中信息熵的進行推導,得到學習內容信息組織的基本模,並充分利用網路自身特性和學習理論對知識信息進行細致的設計,此外還對鏈接和導航信息進行了設計,在網路課程的適應性方面作出了努力,把交互信息與輔助學習信息的分析設計與應用和對網路頁面信息的總體調節優化作為主體信息設計部分的補充,最終形了網路信息組織設計的方案,力求創設一個能夠有效傳遞知識信息,減少網路自身弊病,並帶有一定適應性的網路學習環境,也使更多的網路課程的設計者關注網路信息這個因素。
  10. If you do not own a suit, or the company is a bit more informal, then you should wear a conservative sports coat ( no plaids or wild patterns and preferably a dark color ), nicely pressed dress slacks, a white long - sleeved button - down shirt, a conservative silk tie, and nicely polished dress shoes

    如果沒有的正裝,或者司風格並沒有那麼正,也可以穿比較保守的休閑外套(不要選格子或比較狂野的圖案,最好選深色的) ,下穿熨燙平整的正裝松身褲,裏面一件長袖扣結領襯衫,顏色保守的絲質領帶,擦的光亮的正裝鞋。
  11. On this base, a more precise volume model of concrete is established and one conception of dry mortar volume is brought forward. at the same time the author absorbed the concept of the best ratio between paste and aggregates and used mathematical method to induce the formulas of water content and ratio between fine aggregate and coarse aggregate in concrete : ratio between fine aggregate and coarse aggregate : if the two formulas are connected with the classical rule of water cementitious materials ratio ( bolmy formula ), the contents of all materials in concrete can be determined completely by calculation and overall calculation proportioning is realized

    在此基礎上建立了普遍適用的更精確的混凝土體積模型,提出了「干砂漿體積」概念,同時吸收國外關于最佳漿集比概念,用數學方法推導建立了混凝土用水量和砂率的計算:用水量:砂率:這兩個結合傳統的水膠比定則(保羅米) ,即可全面定量地確定混凝土的所有組材料的用量,實混凝土的全計算配合比設計。
  12. The article first introduces the basic principle of corporate governance, the characteristic and composition of modern corporate governance, then analyzes and compares the characteristic and forming background about corporate model of us, japan and uk, as well as mainly researches the status and existin g problems of the state - owned enterprises ' s corporate governance in china, puts forward resolving method and consummate proposal. at last the article analyses the representative of the state - owned enterprises - china national non - metallic minerals industry corporation ( group ) that has achieved real experiences and lessons during setting up modern enterprise system

    本文首先介紹了治理結構的基本理論以及司治理結構的特徵與構,對美、日、德三種司制模的特點與形背景進行了分析與比較,在此基礎上,對我國國有企業法人治理結構的狀及存在的問題進行了重點研究,提出了解決的方法和完善的建議,最後實際分析了國有企業的典型代表? ?中非集團在建立代企業制度的過程中的經驗與教訓。
  13. The modern unmanned helicopter flight control system is generally composed of the flight control computer, the servo driving mechanism, the sensor, and the ground monitor control system etc. in this thesis the research to the helicopter flight characteristics was conducted at first, and its flight dynamic model was preliminary discussed, especially the mathematic model under hung - stop condition was formulated and the algorithm of the controller was designed in detail

    代無人直升機飛行控制系統一般由飛行控制計算機、伺服驅動機構、傳感器、地面監測控制等分系統組。本文首先對直升機的飛行特性進行了研究,並且對飛行動力數學模型做了初步探討,尤其對在懸停狀態下的數學模型做了較為詳盡的推導和控制器的演算法設計。
  14. The transmission should be based on an extensible standard formulas language. for this reason, the thesis plans to define and develop foml ( formula markup language ) based on xml : the establishment of formulas can be achieved with the help of handwork and application at the server end ; the recurrence of formulas can be done through an intelligent software developed by using java technology at the client end

    的傳輸應基於一種可擴展的標準語言,為此本論文將定義並開發一種基於xml技術的foml ( formulamarkuplanguage )語言;的建立可以在服務器端手工輸入或藉助程序生foml文本;的再我們將在客戶端結合java技術開發一個智能軟體實
  15. In this thesis, based on activity based classification, there are three subjects to be researched, that is, how to build and express cost caculation rules, how to support many caculation methods and how to support more quick and accurate cost caculation. moreover, this thesis lucubrates a flexible cost cacaulation model. this model bases on advanced cost theory - - activity based classification, and it includes the building of abc ' s cost caculation model, the receptions " automatical accumulattion and transformation rules, the storage and use motivating causes rules, the diverse cost distribution and supporting many cost caculation methods. besides, the model brings forward rules about cost information transformation and accumulattion, rules about keeping business records, rules about motivating causes ’ accumulattion, rules about cost distribution and formula language. what ’ s more, it builds a rule engine, and all of these make this model meet enterprises ’ demand for using many cost caculation methods, and then simplify operators ’ operation. also, it can realize cost accumulated more accuratly, keeping business records more promptly and cost analysed more intensively, and then give supports to enterprises ’ further decision with related data. in the third chapter, it expounds the design and realization of this flexible cost cacaulation management system, and use one model case to validate its legitimacy, which explains that with j2ee technology and mvc design pattern, this system has good features of reuse and adaptability. at last, it introduces its application in china resource alcohol co., ltd

    本文以作業本法為理論基點,圍繞著如何建立本核算規則並給予表達、如何支持多種本核算方法以及如何提供更為快捷、精確的本核算等三大主題展開深入的研究,並建立了多適應性本核算模型。該模型以先進的本核算方法作業本法為理論基礎,涵蓋了從作業本核算模型的建立到本單據自動歸集轉換等規則的提取,從動因量存儲使用等規則的建立到本多樣化分配以及支持多種本計算方法等全部內容。在對本核算規則進行分析和表達的基礎上,該模型提出了基於作業本法的本信息轉換存儲規則、記賬規則、動因量歸集規則、分配規則以及計算語言,並建立了基於這些規則的規則引擎,從而使得該模型能夠滿足企業多種本計算方法的需求,簡化了企業人員的操作過程,並且實了更為準確的本歸集,更為迅速的本制單,以及更為細化的本分析,為企業的進一步決策提供了有力的數據支持。
  16. The paper emphasesd on the following issues : integrating network topology automatic discovery and network performance monitoring into an uniform web environment via activex control technique. constructing a hierarchic network monitor system based on distributed data replication technology via sql server replication function. analysising the relation between network usability, error and discard rate consequently to find out a formula, which can be used to calculating the congestion likelihood and setting the threshold for alerting the congestion situation

    論文重點論述了以下幾個問題:採用控制項技術,使網路性能監視、網路拓撲的自動發在統一的web平臺上;運用sqlserver的復制功能,構造一種基於分佈數據復制技術的層次網路監視系統;對網路利用率、出錯及丟棄百分比信息進行分析,找出它們在推算擁塞可能性時的量化,並應用於閥值設置,以實對擁塞可能性進行預警;研究分析在不同范圍內的拓撲發工具及演算法,並針對系統需求設計實一種域內分級網路拓撲發演算法。
  17. Abstract : thermally induced stress and the relevant warpage cause by inappropriate mold design and processing conditions are problems that confounded the overall success of injection molding. a thermorheologically simple thermoviscoelastic two - dimension material model is used to simulate the residual stress and warpage within injection molded parts generated during the cooling stage of the injection molding cycle. the initial temperature field corresponds to the end of the filling stage. the fully time - dependent algorithm is based on the calculation of the elastic response at every time step. numerical results are discussed with respect to temperature and pressure

    文摘:不均勻的熱殘余應力及其變形是注塑型加工中常見的工程問題之一.應用熱流變簡單材料的二維熱粘彈本構方程得到的遞推,數值模擬了型中的熱殘余應力及其翹曲變形,並用數值實驗討論了溫度、壓力對注塑件殘余應力及變形的影響,發溫度變化不均勻是注塑件翹曲變形的最主要原因,其影響遠大於壓力的作用,與工程實驗的結論一致
  18. Through study of correlative contents of advanced computer cybernetics, artificial intelligence, the domain knowledge and special crop growth mechanism in greenhouse, we present the system of multi - sensor data fusion ( msdf ) based on radial basis function network ( rbf ) to implement on line detection for nutrient - liquid, which may realize multiple components detection on - line, for example no3 -, cl -, ca2 +, ph, ec, nh4 +, k + and so on. the soft sensor ' s mechanism is introduced to overcome the limitations of sensor ' s manufacturing process. to improve the believe - degree of soft sensor ' s result, we analyze soft sensor ' s result by uncertain inferential capacity and combination rule of evidential theory

    本論文通過對計算機技術、控制理論、人工智慧技術和設施農業領域知識等相關理論的研究,結合對特定溫室蔬菜生長的研究與機理分析,提出了一種基於rbf神經網路的營養液多傳感器數據融合( msdf )系統,實對營養液組分: no _ 3 ~ - 、 cl ~ - 、 ca ~ ( 2 + ) 、 ph 、 ec 、 nh _ 4 ~ +和k ~ +的在線檢測;對于由於目前傳感器製造工藝的限制而不能在線檢測的離子分如磷酸根和硫酸根,提出了一種基於徑向基函數網路的軟測量機制,可以有效地實對營養液中磷酸根和硫酸根分的實時檢測;為了提高軟測量結果的可信度,利用d - s證據理論的不確定推理能力和合,結合領域知識對軟測量結果進行可信度分析。
  19. With the development of construction and the formation of the expressway network, it is urgent to set up a series of operation and management mode. under the background of the lack of such experience and the backlog of the laws and regulations, a lot of different modes were tested and practiced with many lessons being learned. the inefficiency of such o & m modes was criticized as a big social focus

    縱觀我國高速路的發展和演進,如同高速路發展初期缺乏建設經驗一樣,我國高速路管理也是在管理體制理論準備不足,國內尚無借鑒,相關法律、法規建設滯后,傳統管理體制剛性作用下, 「摸著石頭過河」 ,在實踐中認知、探索的。
  20. It pays a great attention to the internet security association and key management protocol ( isakmp ) and the internet key exchange ( ike ) based on isakmp, because the key management is always the most consequential part of any security systems

    然後針對在安全系統中至關重要的密鑰管理進行了重點分析,這其中包括了internet安全關聯密鑰管理協議,以及以它為框架在ipsec中實的internet密鑰交換協議,並且簡單說明了在上述密鑰管理協議中密鑰信息的生
分享友人