2) legal means
法律手段
1.
Macro economic control is necessitated by the mass production in the present world but legal means is to be used to regulate the macro economic control,so in China s market economy we need to bring the legal means into full paly in macro economic control.
宏观经济调控，是社会化大生产的客观要求，而法律手段，则是宏观经济调控的重要措施之一。
2.
According to the actual situation between power supply companies and customers,this paper puts forward strategies for recovery of electric charge under the financial crisis,and introduces some innovative measures,such as the third-party security guarantee,and many kinds of legal means to ensure recovery of electric charge.
结合供电企业与客户的实际情况,提出在金融危机下的电费回收策略,介绍第三方担保等创新担保措施以及保证电费回收的多种法律手段。
3) law measures
法律手段
1.
The circular economy is new "three win" economic development mode which promotes the unite of society, economy and environment, to study the mechanism of legal regulation of circular economy is advantageous to grasp and comprehend various law measures and to guide legislation of circul.
法律调整机制是对各种法律手段的整体的、动态的理解和把握,其在人类社会不同的发展模式下存在着显著的差异。
4) limitation in law
法律时效
6) legal syllogism
法律三段论
1.
In this paper,our conclusion is that legal syllogism must have its logical foundation,so we criticize anti-deductivist standpoint of.
法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式,其背后的逻辑基础是什么,目前主要有三种观点:根据传统观点,法律三段论的逻辑基础是直言三段论;演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础;反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。
补充资料：时段演算
时段演算
duration calculus
shiduan yansuan时段演算(duration calculus)一种实时区间时态逻辑。它将布尔函数在区间上的积分进行形式化，从而用来描述和推导离散状态系统的实时和逻辑特性。 时段演算的研究始于1989年。当时E甲rit的研究项目P幻段6正寻求设计严格安全系统的形式技术，应用项目的需要推动了时段演算的研究。该演算是由周巢尘，C.A.R.玉bn℃和A.P.F汤山1所提出。 时段演算已应用于若干实例，如煤气燃烧器、铁路岔口控制、水位控制、自动导航、〔叉~语言的实时语义、描述调度程序的实时行为和电路设计等方面。 Pr以众石项目的一个研究实例就是要对如下煤气燃烧器需求进行形式化:“如果对系统观察的时间大于605时，那么漏气的时间占整个时间的比例应小于1/20。”应用数学分析可直接地对这个需求进行形式化，结果是(一。)、6。一20{;、(‘，d:、(一。)这里1刀ak是一个布尔函数，它表示煤气燃烧漏气状态。函数是从实数R(表示时间)到10，1{的函数，其中1表示系统正处于该状态，0表示系统不处于该状态。观察的区间采用闭区间，并且用b表示开始和用e表示结束。积分被认为是从状态函数和区间到实数的函数:{:S今(】~R)。其中S表示状态集(即布尔函数)，I表示闭区间集。因此区间时态逻辑(这里被扩展成连续时间模型)被作为它的基础逻辑，并且区间函数丁S，{P.二变成了演算的区间变量。这里S和P是状态。如此有fl=e一b，并且我们用l作为它的缩写，即是区间的长度。因此上面的需求可以更简单地描述为: Req:1)60020丁玫ak(1 通过用积分定义一个「门的运算，我们可以表示一个状态在区间上持续的出现:「引会({S二1 AI>0)，r引在一个区间上成立要求这个区间为非点区间，并且状态S在区间上(几乎)处处取值为1。如此下面的公式 I殆cl:(「h纽k〕=>
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条