-
题名必要平行最外归约策略
- 1
-
-
作者
沈理
孙永强
-
机构
上海交通大学计算机系
-
出处
《软件学报》
EI
CSCD
北大核心
1997年第10期760-767,共8页
-
基金
国家自然科学基金
国家"九五"攻关项目
国家优秀奖学金资助
-
文摘
在必要集、必要位置等概念基础上,定义了必要平行最外归约策略.基于最小化必要集思想,该策略适用于正则系统全集,并接近按需调用策略的效率,在适用范围、效率和可实现性三个方面得到了兼顾.
-
关键词
归约策略
正则重写系统
必要集
-
Keywords
Reduction strategy, regular term rewriting system, needed set, needed position, needed parallel-outermost reduction strategy
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名鼓实劲 议大事 抓大事 求实效
- 2
-
-
-
出处
《内蒙古宣传》
1993年第1期4-4,共1页
-
-
关键词
鼓实劲
实效
宣传思想工作
思想战线
必要集
预测趋势
工作层次
政治性
政策性
慎微
-
分类号
D261
[政治法律—中共党史]
-
-
题名技术标准战略与知识产权战略的结合(上)
被引量:27
- 3
-
-
作者
张平
马骁
-
出处
《电子知识产权》
2003年第1期44-47,共4页
-
-
关键词
技术标准战略
知识产权战略
必要专利
必要专利集合体
利益平衡
-
分类号
D913
[政治法律—民商法学]
-
-
题名技术标准与知识产权(中)
被引量:2
- 4
-
-
作者
张平
马骁
-
出处
《电子知识产权》
2001年第4期47-52,共6页
-
文摘
(接上期)
4.UMTS知识产权管理机构的结构设置
1)作为U MTS标准知识产权管理机构的UMTS知识产权协会的机构设置
有一个董事会,其组成由知识产权专家和作为专利权人的大型电信企业,实行主任负责制,其下设4个机构:
-
关键词
UMTS知识产权管理机构
UMTS标准
技术许可工作
ATSC标准
"必要专利集合体"
-
分类号
D997.1
[政治法律—国际法学]
-
-
题名气候变化诉讼中因果关系的认定标准
- 5
-
-
作者
唐颖侠
高明
-
机构
南开大学人权研究中心(国家人权教育与培训基地)
南开大学法学院
-
出处
《国际法研究》
2024年第3期50-62,共13页
-
基金
2019年国家社会科学基金一般项目“人权法视角下国家适应气候变化的治理策略研究”(项目号:19BFX207)的阶段性成果。
-
文摘
因果关系难以确立是气候变化诉讼中最为常见的驳回理由,事实因果关系的认定标准更是气候变化诉讼的核心问题。针对气候变化诉讼中事实因果关系的不确定性,侵权法中出现了市场份额理论和概率因果关系,但此类方法无法与气候变化的特殊背景相契合。通过考察气候变化诉讼发现,以必要因果关系为基础而发展起来的实质贡献说正在成为司法中的新兴实践,然而由于目前缺乏对实质性要素的统一认识和界定标准,因果关系认定中出现标准弱化、要素模糊化以及导向策略化等趋势。因此,实质贡献说虽然带来了个别气候变化诉讼的胜诉结果,但最终可能损害因果关系法律论证的严密性,难以确立规范价值。为了兼具规范性和可诉性,气候变化诉讼应当建立以气候归因科学为事实前提,以“充分集的必要元素”为法律基础的因果关系路径。一方面,气候归因科学的最新进展可以为气候变化诉讼中因果关系的认定提供新的依据,在构建具体因果关系中承担桥梁作用;另一方面,应引入适应气候变化特殊性的“充分集的必要元素”作为气候变化侵权诉讼中因果关系的认定方法。
-
关键词
气候变化诉讼
因果关系
实质贡献
市场份额责任理论
充分集的必要元素
归因
-
Keywords
Climate Change Litigation
Causation
Substantial Material
Market Share Liability
Necessary Element of a Sufficient Set
Attribution
-
分类号
D996.9
[政治法律—环境与资源保护法学]
-