抽象釋義 的英文怎麼說
中文拼音 [chōuxiàngshìyì]
抽象釋義
英文
abstract interpretation-
The security policy is abstractly redefined, and made a new interpretation in noninterference theory
給出了抽象安全策略的新定義，並用無干擾理論重新進行了解釋。Secondly, the author makes a brief introduction of the divergences for the understanding of the concept of the juristic act of real right, probes into the inner construction of the concept of the juristic act of real right, puts forward that we should combine the declaration of will and the forms and consider the legal effect to define the concept of the juristic act of real right and delineates the reasonability of this definition on the above basis, the author examines the relations between the concept of the juristic act of real right and the choice of different legislative models of patterns of real - right changing process and favors the german legislative pattern as the example to follow in our legislation
其次簡介了學界對物權行為概念的分歧，並深入剖析了物權行為概念的構成，提出了以意思表示與形式相結合，並吸納物權行為外在的法律效果來界定物權行為的概念，繼而闡釋了如此定義物權行為的合理性。並在此基礎上，探討了物權變動立法模式的選擇與物權行為概念的關系，提出了我國宜采德國式的物權變動立法模式的主張。最後歸納介紹了物權行為理論在現代法上的基本內容，即主要包括分離原則、抽象原則和形式主義原則，並探討了物權行為理論的適用范圍，提出了無因性原則的適用條件。By such a formalization, a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications, which forms the continuation of the previous work on formalization of uml class diagrams in rsl. this allows the definition of uml semantic interpretations that are precise and unambiguous, and also enhancing the readability, conciseness and abstraction of the resulting rsl specification
通過這一形式化提出了一種對圖形化的uml狀態機視圖模型的形式化和rsl規范進行集成的框架，這一工作是對uml類圖在rsl中形式化的繼續，使得人們可以對uml的非形式化模型給出一種精確無二義性的語義解釋，同時也提高了rsl規范的抽象層次，增強了其可讀性簡明性。The primary contributions of this thesis include : having studied the rough set theory carefully, the thesis finds the relationship between rough set and such abstract theories as modal logic, fuzzy set, algebra system and interval - set algebra, i. e., rough set provides a well defined semantical interpretation to these abstract theories, which enables us to better understand them. secondly, rough set builds an inter - relationship among these dependent theories and connects them together
完成的工作和取得的創新性成果在於：經過對粗糙集理論的深入研究，作者找到了粗糙集與模態邏輯、模糊集、代數系統和區間集代數等抽象理論之間的關系，一是粗糙集可以為抽象理論提供語義解釋，從而使我們能更好地理解掌握這些抽象理論；二是粗糙集建立了各個獨立的抽象理論之間的內在關系，使彼此獨立的抽象理論聯系在了一起。And traditional text annotation is simple and clear on expressing high - level semantics
而傳統的文本注釋在描述高層抽象的語義概念時，有其簡單清楚的優點。Creativity explanation : take the abstract feminine curve as the modelling, pulls open the shanghai fashion week theprologue
創意釋義：以抽象的女性曲線為造型，拉開上海時尚周的序幕。Restorative criminal responsibility needs and can obtain the reasonable annotation in elementary theory issues of criminal law, such as the law profit, crime essence, criminal activity legal relationship and legal responsibility : ( 1 ) the crime of violating the individual law profit is not the violation that aims at the abstract national or social entity, but aims at the individuals ; ( 2 ) " inspiring the authority " is not the basic task of the modern civil rights criminal law, maintaining victim ' s rights and interests and safeguarding that of criminal ’ s are “ two sides of the whole body ” of modern criminal law functions, neglecting any side at the same time inevitably enable the criminal judicature not to sink into region of the righteousness ; ( 3 ) in the concrete criminal activity legal relationship, the crime victim is the natural subject, the related country judicial organ is the subject of investigating the crime responsibility, or that of the judgment or execution, country in the overall significance cannot become the subject ; ( 4 ) repair and compensation of the crime harm is by no means a matter of civil liability, but is the basic entity burden of the legal responsibility which the criminal must shoulder
恢復性刑事責任需要且能夠在法益與犯罪本質、刑事法律關系及刑事責任等刑法基本理論問題上得到合理詮釋: （ 1 ）侵害個人法益犯罪並不是針對抽象的國家或社會實體的侵害，而是針對私人的侵害; （ 2 ） 「重振權力」不是現代民權刑法的基本任務，保障與維護受害人和犯罪人合法權益是現代刑事法功能之一體兩面，忽視任何一面勢必使刑事司法陷於不義之境地; （ 3 ）在具體刑事法律關系中，犯罪受害人是當然主體，有關國家司法機關是犯罪責任之追訴或裁判或執行主體，整體意義上的國家並不能成為主體; （ 4 ）犯罪損害的修復與賠償並非民事責任的事情，而是犯罪人應當擔負的刑事責任之基本的實體性負擔。You can gain even more expressive power by augmenting schematron abstract patterns with semantically rich annotations as described in my article " use data dictionary links for xml and web services schemata
」一文中所述，如果再加上語義豐富的注釋，還可以進一步增強schematron抽象範式的表達能力。分享友人