邏輯的嚴密性 的英文怎麼說
中文拼音 [luódeyánmìxìng]
邏輯的嚴密性
英文
logical rigor- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 的 : 4次方是 The fourth power of 2 is direction
- 嚴 : Ⅰ形容詞1 (嚴密; 緊密) tight; rigorous 2 (嚴厲; 嚴格) strict; severe; stern; rigorous Ⅱ名詞1 ...
- 密 : Ⅰ名詞1 (秘密) secret 2 [紡織] (密度) density 3 (姓氏) a surname Ⅱ形容詞1 (距離近; 空隙小)...
- 性 : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
- 邏輯 : logic
-
This dissertation takes feuerbachs meticulous logical structure as masterstroke, explains his whole deduction process, which from the conception of civil penalty to the theory of psychological coercion, again from law deterrence to the principle of legally prescribed punishment for a specified crime. and it also states that, feuerbach takes the external behavior for condemnatory object, obviates the intervention of sentiment, abandons moral punishment or moral principles, moreover, excludes judiciary arbitrariness by means of law restriction, besides, emphasizes law deterrence and creates the theory of psychological coercion, and as a result establishes the principle of legally prescribed punishment for a specified crime
本文以費爾巴哈嚴謹縝密的邏輯結構為主線,梳理了其從市民刑罰概念的構築到心理強制說的提出、再到確定刑罰法規中法律威懾思想的確立直至罪刑法定主義原則的整個推論過程,闡釋了費爾巴哈把客觀的、外部的行為作為處罰的對象,排除情操的介入,把法律置於可罰性的絕對根據之中,擯棄道德性刑罰或道德性原理,通過把法官約束在法律之中的方式排斥了法官的恣意專斷,又強調法律的威懾,創立心理強制說,從而確立了罪刑法定主義的刑法思想。Furthermore, our legal institution for acquisition of listing company also has many shortcomings : its specific rules are not detailed enough, its logic is not strict, its inclination of value often self - contradict, its content is not integrated, the corporation law and securities law have n ' t supported it sufficiently, and the particularity of state - owned capital makes it unsuitable to the international consuetude
同時,上市公司收購的法律制度也很不成熟:微觀層面上具體規則不夠詳盡、可行性差,中觀層面上內在邏輯不嚴密、價值取向不清晰、內容不完整,宏觀層面上公司法與證券法體系未能提供足夠制度背景、特殊國有資產關系的介入又不符合國際慣常做法。This course aims not only to lay down a solid basis in mathematics for students to learn further advanced courses of mathematics and other specific courses of their respective science and engineering majors, but also to train and nurture students to master the abstractness, logicality and tightness embodied in mathematics, as to enable students to have the fundamental ability to understand and apply the logic relationship, study and grasp the abstract phenomena, and comprehend and utilize the mathematical rules
課程不但為學生學習后續數學課程和其他理工專業課程奠定必要的數學基礎,而且對學生在數學的抽象性、邏輯性與嚴密性方面進行一定的訓練和熏陶,使他們具有理解和運用邏輯關系、研究和領會抽象事物、認識和利用數形規律的初步能力。About theorem, the paper introduces the syntax of ideal, also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property. at the same time, this paper corrects one not so perfect lemma proving in a literature written by f " abrega, herzog and guttman
在理論上,本文引入了理想的語義,並首次使用了理想的概念對安全協議的秘密性進行嚴格的定義,同時使用理想的命題邏輯公式表示安全協議的秘密性;另外,本文修正了f ' abrega 、 herzog和guttman三人文獻中的一個引理的證明,原有的證明是不完善的。Lu xun later period the essay, except the high typicalnature which altogether has with the early essay outside, the strictlogic, vivid vivid, the profound satire, the different current fadinteresting and the language highly concise, accurate, is humorous, mainly is the partial essays because % 26quot ; drills the net % 26quot ; the struggle toneed to write vaguely windingly
魯迅後期雜文,除與早期雜文所共有的高度的典型性,嚴密的邏輯性,生動的形象性,深刻的諷刺性,不同流俗的趣味性和語言的高度精練、準確、幽默以外,主要是部分雜文因「鉆網」斗爭的需要而寫得隱晦曲折。Lu xun later period the essay, except the high typicalnature which altogether has with the early essay outside, the strictlogic, vivid vivid, the profound satire, the different current fadinteresting and the language highly concise, accurate, is humorous, mainly is the partial essays because " drills the net " the struggle toneed to write vaguely windingly
魯迅後期雜文,除與早期雜文所共有的高度的典型性,嚴密的邏輯性,生動的形象性,深刻的諷刺性,不同流俗的趣味性和語言的高度精練、準確、幽默以外,主要是部分雜文因「鉆網」斗爭的需要而寫得隱晦曲折。After strict formal analysis with ban logic, the result have proved that the authentication protocol is secure. the improved access control scheme is realized by the mode of single - key - lock - pair. under new access control scheme, user can own several kinds of access right upon one file under the new scheme without the supposition that the access rights is increase by degrees, and the possibility of overflow problem is significantly reduced by our new method
作為對原雙向認證訪問控制方案的改進,改進后的雙向身份認證協議可以很好的抵抗中間人攻擊和重放攻擊,經過嚴密的ban邏輯形式分析和論證,結果表明該協議是安全的;改進后的訪問控制方案用單鑰-鎖對方案實現,除保持了一般單鑰-鎖對方案的良好動態特性外,在不需要訪問權限遞增假設下,實現了用戶對文件的多種訪問控制權限,並大大減小了溢出問題的發生可能In present methods of track - to - tack correlation, the false and lost track - to - track correlation have not been taken into account in the complex background with dense targets. so two kinds of methods are proposed to deal with this problem, one of which is the correlation algorithm based on fuzzy synthetic decision and d - s evidence theory, another is based on k - nearest neighbor ( k - nn ) principle and d - s evidence theory. the two methods combine the logic of fuzzy decision and strictness of statistical classification with intelligence of evidential theory successfully
目前的航跡關聯方法在密集目標環境下,航跡錯關聯概率和漏關聯概率較大,針對這一問題,本文利用d - s證據理論,提出了基於模糊綜合決策的d - s航跡關聯方法和基於k近領域的d - s航跡關聯方法,兩種方法成功地將模糊決策的邏輯性和統計模式分類的嚴密性與證據理論的智能特性相結合,模擬結果說明了兩種方法的有效性和實用性。We select rubin logic to formally analyze the authentication and key exchange protocol designed for this transmission platform utilized, and the analysis result indicates that this authentication and key
對于傳輸平臺所使用的認證和密鑰交換協議,本文選擇rubin邏輯對其進行形式化分析,分析結果表明該認證和密鑰交換協議具有一定的嚴密性。After the analysis and summing up of the post - evaluation theory and method in the general building projects, according to the characteristics and contents of the highway network planning, the paper expounded the goal and meaning of post - evaluation in highway network planning in detail and proposed the framework of the highway network planning post - evaluation theory. then the paper defined the assessment index, assessment standard and assessment method of the post - evaluation of prospective development, scale prediction and construction arrangement in highway network planning post - evaluation by means of before - after contrast and mathematic method such as fuzzy set - value statistics, membership function decided by increment ant gahp etc. thus a set of logical, systematic and applicative highway network planning post - evaluation theory is found. finally according to the reality of highway network development in he nan province and shann xi province, their arterial highway network planning is evaluated with the the ory discussed in this paper, and the rationality and difference of the result is analyzed
本文在分析和總結一般項目建設后評價理論與方法的基礎上,結合公路網規劃的具體特點和內容,詳細論述了公路網規劃后評價的目的與含義,提出了公路網規劃后評價的總體理論框架;然後,按照前後對比的思想,運用模糊集值統計、增量法標定隸屬函數和多人層次分析法等數學手段,分別確定了公路網規劃后評價中發展預測后評價、規模測算后評價和建設實施安排后評價的評價指標、評價標準和評價方法,形成邏輯嚴密、體系完善和操作性很強的公路網規劃后評價理論;隨后,結合河南與陜西兩省的公路網規劃與建設實際,運用本文的理論對兩省的干線公路網規劃進行后評價,並對評價結果的合理性及其差異進行了分析。分享友人