證明為正當 的英文怎麼說

中文拼音 [zhèngmíngwéizhēngdāng]
證明為正當 英文
justify
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 正 : 正名詞（正月） the first month of the lunar year; the first moon
  • 當 : 當Ⅰ形容詞（相稱） equal Ⅱ動詞1 （擔任; 充當） work as; serve as; be 2 （承當; 承受） bear; accept...
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  • 正當 : 正當（正處在） just when; just the time for
  1. In this thesis, we study some open problems and conjectures about the linear complementarity problem. it consists of the next three aspects : firstly, we study murthys " open problem whether the augmented matrix is a q0 - matrix for an arbitary square matrix a, provide an affirmable answer to this problem, obtain the augmented matrix of a sufficient matrix is a sufficient matrix and prove the graves algorithm can be used to solve linear complementarity problem with bisymmetry po - matrices ; secondly, we study murthys " conjecture about positive semidefinite matrices and provide some sufficient conditions such that a matrix is a positive semidefinite matrix, we also study pang ' s conjecture, obtain two conditions when r0 - matrices and q - matrices are equivelent and some properties about e0 q - matrices ; lastly, we give a counterexample to prove danao ' s conjecture that if a is a po - matrix, a e " a p1 * is false, point out some mistakes of murthys in [ 20 ], obtain when n = 2 or 3, a e " a p1 *, i. e. the condition of theorem 3. 2 of [ 25 ] that a p0 can be deleted and obtain a e " a is an almost e - matrix if a is a co - matrix or column sufficient matrix

    本文分為三個部分，主要研究了線性互補問題的幾個相關的公開問題以及猜想： （ 1 ）研究了murthy等在[ 2 ]中提出的公開問題，即對任意的矩陣a ，其擴充矩陣是否為q _ 0 -矩陣，給出了肯定的回答，得到充分矩陣的擴充矩陣是充分矩陣，並討論了graves演算法，證明了若a是雙對稱的p _ 0 -矩陣時， lcp （ q ， a ）可由graves演算法給出； （ 2 ）研究了murthy等在[ 6 ]中提出關於半正定矩陣的猜想，給出了半正定矩陣的一些充分條件，並研究了pang ~ -猜想，得到了只r _ 0 -矩陣與q -矩陣的二個等價條件，以及e _ 0 q -矩陣的一些性質； （ 3 ）研究了danao在[ 25 ]中提出的danao猜想，即，若a為p _ 0 -矩陣，則，我們給出了反例證明了此猜想當n 4時不成立，指出了murthy等在[ 20 ]中的一些錯誤，得到n = 2 ， 3時，即[ 25 ]中定理3 . 2中a p _ 0的條件可以去掉。
  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. In 1996, guo [ 9 ] has further proved that the index of the normalizer of every sylow subgroup of g is an odd number or a prime if and only if g is a soluble group and g = kh, where k and h are the hall subgroups of g, k is a nilptent subgroup which is normal in a 2 ' - nilpotent. in this paper, we shall study the nilpotent length of finite groups whose sylow normalizer indices are of prime powers

    1996年，郭文彬教授沙1證明了一個群g的西洛子群的正規化子的指數為奇數或為一個素數冪當巨僅當g為可解群而且g二尤廳，其中k和h都是群g的hall一子群， k是正規于g的一個2 』一月恤21子群的冪零子群， h是2一冪零群。
  4. This end, in his opinion, justified the employment of means which might easily be considered reprehensible from a purely moral point of view.

    他認為，上述目的可以證明運用那些為純粹道德觀所唾棄的手段是正當的。
  5. For the given sample points, and matrix formed by covariance function with sample points as parameters, when the number of sample points approaches infinite, it is proven that this matrix spectrum will approach the spectral approach theorem for positive - definite kernel of integral equation

    對給定的樣本點，由樣本點為變量的協方差函數構成的矩陣，當樣本點個數趨于無窮大時，證明此矩陣譜逼近於積分方程正定核的譜逼近定理。
  6. For the function of burden of proof, the author holds that burden of proof functions settled disputes impartially, to prevent judicial office from abusing state ' s power, and to confine misusing the right to initiate a private prosecution or the right to defend and to promote efficiency

    在功能方面，筆者認為，證明責任具有公正解決糾紛、阻止權力濫用、限制自訴權和應訴權不當行使及提高訴訟效率四個方面的功能，並進行了詳細的論述。
  7. She was demanding that american communists should hold a hearing for her and prove she was not guilty of anything.

    當時，她正在強烈要求美國共產黨為她舉行聽證會，證明她是清白無辜的。
  8. That is exactly why i have pointed out to you the necessity of staying in touch with me and being aware that the fact that the apparent12 communication is occurring, demonstrates the fact that you are here with me, that you are fourth - dimensional individuality, also, and not a three - dimensional entity in the middle of a third - dimension being the relayer of truth, as it were

    這正是為什麼我耳提面命，你必須時時與我連系，同時也清楚意識到，藉由這有形的溝通，證明了你與我同在我處，證明你也是第四度空間的個體，而非只是第三度空間中充當真理傳聲筒的三度空間存在體。
  9. The concept of good codes and proper codes for both error detection and correction is presented. it is shown that the binary perfect codes and the primitive double - error - correcting bch codes and their extended codes are proper for both error detection and correction. the primitive triple - error - correcting bch codes with length 2 " " - 1 and their extended codes are proper for odd m > 5, not for even m > 6

    本文的主要工作是把目前關于只檢錯時線性碼不可檢錯誤概率的研究推廣到同時糾錯和檢錯的情況，獲得了同時糾檢錯時線性碼不可檢錯誤概率的解析表達式，提出了糾檢錯好碼和最佳糾檢錯碼的概念，並證明了二進制完備碼及其擴展碼是最佳糾檢錯碼；糾正兩個錯誤二進制本原bch碼及其擴展碼是最佳糾檢錯碼；碼長n = 2 ~ m - 1 、糾正三個錯誤本原bch碼，當m為大於等於5的奇數時是最佳糾檢錯碼；當m為大於等於6的偶數時，不是最佳碼。
  10. They believe that the damages should be borne by the party concerned who has the capability of cost dissipation, and, with the enterprise who creates danger adding the losses it undertakes to the cost of its product, be finally dissipated to thousands and thousands pf consumers who buy the product, reaching the goal of allocation of losses in cost. the liability for damages should be assumed by the party who is capable of performing the duty of awareness and avoiding the accident. the victim normally has not such capability while the danger creator does have the capability to prevent the damage occurring

    認為損害應由具有成本分散能力的一方當事人承擔，通過製造危險的企業將其商品的成本中加入其所承擔的損失，而分散給購買其商品的千千萬萬個消費者而達到成本分攤損失的目的；損害責任應由有能力採取注意義務；避免意外事故發生的當事人負責，受害人一般無此能力，相反危險的製造者則有能力避免損害發生；基於公平的觀念，製造危險者往往從危險活動中受益，由其承擔損失是正義的要求；危險責任的成立，也是訴訟上證據保全的要求，即從事異常危險沼動所導致的損害事件，例如炸藥爆炸、大量汽油爆炸以及飛機失事等、意外事故，查常破壞這些事件過程中的證據，使證據滅失，而由原告證，明被告過失顯然不能，因此對被告的高度危險性活動所生損害應負嚴格責任。
  11. As the formalized method and program validity testifying technology are still waiting to be practically applied. software testing still is the effective method to insure the quality of software

    在目前形式化方法和程序正確性證明技術還無望成為實用性方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保證的有效手段。
  12. Just as the professor cappelletti said, as the modernized society complicates day by day, the individual behavior is very apt to damage public interests, it has already proved, the harm of this kind of interests ca n ' t relieve fundamentally to strengthen management by the government independantly that the various countries practiced. making traditional showing to putting only one a piece of lawsuit cases between two a piece of specific partieses considering is already not complete

    正如卡佩萊蒂教授所論述的，隨著現化社會日益復雜化，個私行為很容易損害公共利益，而各國實踐都已證明，這種利益的損害單靠政府加強管理不能從根本上得到救濟，並且使得傳統的把一個訴訟案僅放在兩個特定當事人之間考慮的框架已不完備。
  13. The paper has five parts : part i discusses the original cause of the core competence based corporate diversification strategy, and academic and positive researches " sustain of this strategy ' s validity ; part ii demonstrates the essence ' s universal blur of the core competence is the root of difficult to discerning and measuring the core competence itself. and because the base of synergic effect which diversification pursues is blur, the shortcoming of difficult to operating the strategy is exposed ; in order to improve the strategy ' s operating, partlll introduces corporate strategic assets into the strategy to build a bridge between the core competence and corporate diversification. this part clarifies the logic between the core competence and corporate diversification that only if through strategic assets, the core competence ' s competitive advantages can be achieved and corporate diversification must be strategic assets correlative to pursue synergic advantages ; basing on the above discusses, partiv modifies the old strategy properly, and then designs the core competence based strategic assets correlative corporate diversification strategy mode ; the last part takes haier ' s diversification growing mode for example to testify the modifying mode ' s effective use in practice, and hopes other chinese corporations can benefit from this mode too

    本文共分為五部分：第一部分論述了基於核心能力的企業多元化戰略產生的原因，以及理論與實證研究對該戰略有效性的支撐；第二部分論證了核心能力本質的普遍模糊是核心能力難以識別與測度的根源，進而使多元化追求的協同效應基礎模糊不清，暴露出該戰略難以操作的缺陷；為提高該戰略操作性，第三部分通過引入企業戰略資產，在核心能力與多元化之間構架了一座橋梁，闡明核心能力的競爭優勢要通過戰略資產才能得到具體實現，同時，多元化應相關于戰略資產尋求協同優勢；在此基礎上，第四部分對原有戰略進行適當修正，構建了基於核心能力的戰略資產相關多元化戰略模式；第五部分以海爾企業多元化成長模式為例進行具體剖析，以例證該修正模式在中國的實際運用，期望能給予我國其他企業以有益的借鑒。
  14. It was not until 1929 did astronomer edwin p. hubble discovered the red shift of distant galaxies and thereby proved that the universe is expanding in all directions. when einstein heard and fully appreciated these observations, he declared that the inclusion of the cosmological constant was his " biggest blunder "

    直至一九二九年，天文學家哈勃通過觀測遙遠星系的紅移情況，證明宇宙正向四方八面不斷地膨脹，這時愛因斯坦才猛然自醒，甚至認為當初所提出的恆穩宇宙的結論是他一生中所犯下最愚笨的錯誤。
  15. Article 21 whereas a ffe disbands in line with relevant regulations or the labor contract is terminated with the agreement of both parties through consultations, the ffe should, in accordance with relevant regulations of the local people ' s government, pay the life and social insurance premiums as required to social insurance institutions for those employees who are in medical treatment or are recuperating due to injury at work or occupational disease as confirmed by the hospital, and those who entirely lose or partly lose working ability after medical treatment as confirmed by the labor appraisal committee, and the dependents of the deceased at work who are receiving pensions, women employees who are pregnant or are at the time of maternity or lactation, and those who get nothing insured

    第二十一條企業按照有關規定宣布解散或經雙方協商同意解除勞動合同時，對因工負傷、或者患職業病經醫院證明正在治療或療養，以及醫療終結經勞動鑒定委員會確認為完全或者部分喪失勞動能力的職工，享受撫恤待遇的因工死亡職工遺屬，在孕期、產期和哺乳期的女職工，以及未參加各項社會保險的職工，應當根據企業所在地區人民政府的有關規定，一次向社會保險機構支付所需要的生活及社會保險費用。
  16. Especially, when the isocline of x is monotone decreasing in 0 < x < 1, the svstem has no limit cycle and is globally stable ; next, we construct a saddle bifurcation at the boundary equilibrium and a degenerated bogdanov - takens bifurcation at the interior equilibrium by choosing appropriate parameter values in the following two sections, where our work are based on the theory of central manifolds and normal torms. we prove that is a codimention 3 focus - type equilibrium. system ( 6. 1 ) will have two limit cycles at some appropriate bifurcation parameter values, and have homoclinic or double - homoclinic orbits at some other appropriate bifurcation parameter values ; at last, we study the qualitative properties of the system at infinite in the poincare sphere

    因為系統在（ 0 ， 0 ）點處沒有定義，這給研究其在（ 0 ， 0 ）附近的動力學性質帶來了困難，我們應用文獻[ 17 ]中關于研究非線性方程奇點的系列理論和方法，圓滿解決了這一問題，給出了第一象限內當t +或t -時，在全參數狀態下系統的軌線趨于（ 0 ， 0 ）點的所有可能情況，其相圖也得以描繪；並且，系統不存在極限環的幾個充分條件我們也予以列出，當x的等傾線在0 x 1范圍內遞減時，系統不存在極限環，全局漸近穩定；然後，我們以中心流形定理和正規型方法為主要工具，巧妙選擇參數，分別構造了一個余維2的鞍點分岔和一個余維3退化bogdanov - takens分岔，證明了平衡點是余維3的焦點型平衡點，存在參數， m ，的值使得系統（ 6 . 1 ）有兩個極限環，還存在參數， m ，的另外值使得系統（ 6 . 1 ）有同宿軌或雙同宿軌。
  17. According to the design theory of the cable - stayed bridge and to the feature of the cantilever construction the authors propose a construction control method called optimum completion state method ( ocsm ) for rc cable - stayed bridges in the proposed method, the optimum completion state is regarded as the final target of the construction control, and the optimum construction state at each construction stage is taken as the technical route the key of the method is to properly choose or adjust the cable forces the objectives function of optimization is to minimize the elevation error of the girder under the constraint condition that the internal forces ( bending moments ) of the girder are bounded the optimization variables are the cable forces on the basis of the above principles, a optimum model for a construction step is established and cable force adjustments can be found for each construction step in this model, the creep and shrinkage effects of concrete have been considered a bridge example is given which shows that the final state of the bridge is very close to the design aim and that this method is much better than the so - called double - control method the example is a good illustration of the soundness and practical value of the proposed method

    根據現代斜拉橋結構設計理論和懸臂施工方法的特點，提出了以最佳成橋狀態作為施工控制的最終目標，以實施最佳施工階段為技術路線，以索力調整為核心內容的斜拉橋施工控制理論，簡稱為最佳成橋狀態法；以斜拉橋主梁標高誤差最小為目標函數，以主梁內力（彎矩）為約束條件，以索力為優化變量，建立了最佳施工階段的索力調整計算模型；推導了考慮徐變收縮效應的索力調整計算公式；用最佳成橋狀態法對一實橋工程進行了施工控制全過程計算研究，得到的成橋狀態與設計目標相當接近，優于該橋以「雙控」為控制目標的實測結果，有力地證明了本文方法的正確性及其工程實際價值
  18. The applicants must be permanent residents or ordinarily residents for not less than one year in the countryterritory where the applications are made, have no previous adverse records in hong kong, possess ample returnability to and have a steady job or study in the countryterritory of domicile

    申請人需為遞交申請的國家或地區的永久居民或在當地通常居住不少於一年、過去在港沒有不良紀錄、在居住的國家或地區有固定工作或正在就讀、並擁有能返回當地的充份證明。
  19. When adding an entropy function as regularizing term to the lagrangian function, we obtain a smooth approximate function for m ( x ), which turns out to be the exponential penalty function

    當將熵函數作為正則項加到拉格朗日函數上，我們得到了逐點逼近於m （ x ）的光滑函數。經證明，該函數即為指數罰函數。
  20. An education that aims at getting a student a certain kind of job is a technical education, justified for reasons radically different from why education is universally required by law

    譯文：目標定於「使得某一學生得到某種工作」的教育是技能教育，有理由證明是正當的，這些理由根本不同於為什麼教育被法律普通地要求。
分享友人
分享到 Line

分享到臉書