期刊文献+
共找到155篇文章
< 1 2 8 >
每页显示 20 50 100
法的形式正义与实质正义 被引量:88
1
作者 孙笑侠 《浙江大学学报(人文社会科学版)》 CSSCI 1999年第5期5-12,共8页
本文对法的形式正义以及与之对应的实质正义作了分析,认为存在着三种形态的形式正义:其一,与社会正义相对应的制度正义;其二,与具体正义相对应的抽象正义;其三,与实体正义相对应的程序正义。并认为三种形态的形式正义都与法治密... 本文对法的形式正义以及与之对应的实质正义作了分析,认为存在着三种形态的形式正义:其一,与社会正义相对应的制度正义;其二,与具体正义相对应的抽象正义;其三,与实体正义相对应的程序正义。并认为三种形态的形式正义都与法治密切相关。文章分析了法的形式正义的标准和局限性,分析了法治对形式正义的局限性之包容态度。最后认为,推行法治首先就是倡导形式正义;为了推行法治,实质正义在两种情况下是可以舍弃的。 展开更多
关键词 形式正义 实质正义 法治
下载PDF
论法律形式合理性的十个问题 被引量:49
2
作者 郑成良 《法制与社会发展》 CSSCI 北大核心 2005年第6期24-36,共13页
法律制度的理性化表现在两个方面,一为实质合理化,一为形式合理化。法治原则在司法领域必然意味着形式合理性的优先,即,在司法过程中,当个案处理结果的实质合理性与法律本身的形式合理性可以两全时,司法者应当而且必须兼顾这两种价值,... 法律制度的理性化表现在两个方面,一为实质合理化,一为形式合理化。法治原则在司法领域必然意味着形式合理性的优先,即,在司法过程中,当个案处理结果的实质合理性与法律本身的形式合理性可以两全时,司法者应当而且必须兼顾这两种价值,在司法裁判中同时实现个案中的实质合理性与法律的形式合理性;然而,当实质合理性与形式合理性发生不可两全的矛盾而不得不有所牺牲时,司法裁判则应当以优先实现形式合理性为原则,以牺牲形式合理性为例外。无论是对于持有社会本位价值观念的人们而言,还是对于持有个人本位价值观念的人们而言,只要他们遵循理性的指引来选择达成目的的手段,以优先实现形式合理性为原则、以牺牲形式合理性为例外的司法公正,都是唯一合理的选项。 展开更多
关键词 形式合理性 法律的确定性 司法公正 法治 功利主义 契约论
原文传递
股东平等原则与资本多数决的矫治 被引量:23
3
作者 宋智慧 《河北法学》 CSSCI 北大核心 2011年第6期105-109,共5页
股东平等是正义价值在公司法中的具体体现,分为形式平等和实质平等两个层面。股权平等只是股东平等的形式表现,不能将其简单地等同于股东平等。资本多数决原则是股权平等的逻辑结果,是股东程序公正的体现,若不受任何限制,可能造成股东... 股东平等是正义价值在公司法中的具体体现,分为形式平等和实质平等两个层面。股权平等只是股东平等的形式表现,不能将其简单地等同于股东平等。资本多数决原则是股权平等的逻辑结果,是股东程序公正的体现,若不受任何限制,可能造成股东实质不平等的结果。在公司民主和公司自治无法解决大股东对小股东权利侵吞的场合,要依靠法律赋予小股东特殊的权利,对大股东课以更重的责任,以矫治资本多数决可能出现的不当结果,实现股东之间的实质平等。 展开更多
关键词 股东平等 实质平等 形式平等 资本多数决
原文传递
论法律解释方法的规范性质及功能 被引量:16
4
作者 王夏昊 《现代法学》 CSSCI 北大核心 2017年第6期3-12,共10页
解释具有不同的意义。法律解释方法只是狭义解释项下操作性解释中的一个范畴。它是法官或法律适用者证成其法律决定所依赖的大前提即法律规范的一个理由,是确定怎样运用法的渊源与法律解释结果相关联的规准或规范。对于法官或法律适用... 解释具有不同的意义。法律解释方法只是狭义解释项下操作性解释中的一个范畴。它是法官或法律适用者证成其法律决定所依赖的大前提即法律规范的一个理由,是确定怎样运用法的渊源与法律解释结果相关联的规准或规范。对于法官或法律适用者的法律解释活动或行为来说,法律解释方法是一种调整性规范,是具有原则性质的规范。它们是证成法律决定的一种形式理由,是一种预先假定的前提,是保证大前提从法的渊源推论出来的一种转换规则,能够保证法律解释结果以及法律决定的可预测性、确定性,能够增长法律决定的理性。 展开更多
关键词 法律解释 法的渊源 调整性规范 形式理由 转换规则
下载PDF
论不公平格式条款的形式性规制 被引量:14
5
作者 张良 《河南大学学报(社会科学版)》 CSSCI 北大核心 2013年第3期56-63,共8页
不公平格式条款的形式性规制方法不对合同条款实质上公平与否进行直接评价,而是通过考察条款是否"纳入"合同、对已纳入合同的条款作"不利于提供者"的解释或者考察合同条款是否满足透明性原则的要求,从而达到规制不... 不公平格式条款的形式性规制方法不对合同条款实质上公平与否进行直接评价,而是通过考察条款是否"纳入"合同、对已纳入合同的条款作"不利于提供者"的解释或者考察合同条款是否满足透明性原则的要求,从而达到规制不公平格式条款的效果。其优点在于无需考察显失公平规则所要求的主观要件,无需对其客观要件即对价是否重大失衡作出评价,具有法律适用技术上的独特价值。《最高人民法院关于适用〈中华人民共和国合同法〉若干问题的解释(二)》第9条应当借鉴"纳入"规则予以修正,增加"透明性原则"作为该条第2款。 展开更多
关键词 不公平格式条款 形式性规制 纳入规则 不利于提供者的解释规则 透明性原则
下载PDF
论党内法规的形式规范性及其创造性转化 被引量:9
6
作者 魏治勋 汪潇 《吉林大学社会科学学报》 CSSCI 北大核心 2019年第3期77-84,220,221,共10页
党内法规是中国特色社会主义法治体系的有机组成部分,全面依法治国战略的实施需要形式结构完善的党内法规提供规范支撑和主体保障。党内法规自身必须是一个统一、明确的规则体系,应具有体系结构完善、效力等级与规范形式严格对应、规范... 党内法规是中国特色社会主义法治体系的有机组成部分,全面依法治国战略的实施需要形式结构完善的党内法规提供规范支撑和主体保障。党内法规自身必须是一个统一、明确的规则体系,应具有体系结构完善、效力等级与规范形式严格对应、规范逻辑结构清晰、统一明确的基本范畴等特征。在完善党内法规的形式结构的前提下,通过形式规范性与实质理性相融合的路径,用党内法规承载的实质价值"俘获"形式规范性,从而实现对党内法规中形式规范性的创造性转化。 展开更多
关键词 党内法规 形式规范性 法治 创造性转化
原文传递
形式背景的属性树表示 被引量:8
7
作者 张涛 洪文学 路静 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2011年第S2期197-202,共6页
给出了一种形式概念分析形式背景的属性树的表示方法.该方法首先利用属性间的包容与互斥关系等属性特征对属性进行划分,然后根据划分结果将形式背景从属性角度构造属性包含森林.从属性包含森林中找到表示属性主要关系的主树,最后以主树... 给出了一种形式概念分析形式背景的属性树的表示方法.该方法首先利用属性间的包容与互斥关系等属性特征对属性进行划分,然后根据划分结果将形式背景从属性角度构造属性包含森林.从属性包含森林中找到表示属性主要关系的主树,最后以主树为基础结构构造形式背景的属性树表示.实验表明,属性树表示方法在保留概念格方法对形式背景偏序描述关系的同时,简化了形式背景的表示结构,通过增加变尺度特性和隐含属性的定义强化了信息挖掘与规则发现能力,为形式概念分析提供了新的方法. 展开更多
关键词 形式概念分析 形式背景 属性树 信息挖掘 规则发现
原文传递
国有企业监督制度“稻草人”现象——一个制度协调理论架构 被引量:8
8
作者 郑石桥 李曼 郑卓如 《北京师范大学学报(社会科学版)》 CSSCI 北大核心 2013年第5期98-106,共9页
国有企业是我国经济社会生活中的重要力量,为了保证国有企业的健康有效运行,在相关部门的推动下,一系列的国有企业监督制度已建立。但已有文献的研究表明,监督制度的实施效果并不理想,出现了国有企业监督制度的"稻草人"现象... 国有企业是我国经济社会生活中的重要力量,为了保证国有企业的健康有效运行,在相关部门的推动下,一系列的国有企业监督制度已建立。但已有文献的研究表明,监督制度的实施效果并不理想,出现了国有企业监督制度的"稻草人"现象。实际上,制度由非正式规则、正式规则和实施机制构成,正式规则提供了一个意愿制度供给,而正式规则的执行才能产生实际制度供给,而制度的执行状况又是由非正式规则、正式规则和执行机制之间的协调决定的。国有企业外部监督制度是基于外部相关党政部门的意愿,体现这些相关部门的监督意愿,是一种强制性制度供给。国有企业内部监督制度在绝大多数情形下是在外部相关党政部门的要求下才建立起来的,体现的也是外部相关党政部门的监督意愿。总体来说,国有企业监督制度体现的是外部相关党政部门的监督意愿,是强制性制度供给。国有企业不缺乏监督制度,强化国有企业监督不能从增加监督制度这个角度来考虑。更重要的是要建立监督制度的实施机制,而建立这种实施机制的主要路径是改变监督者和被监督者的成本收益,使得执行监督制度成为对监督者和被监督者都是有益的;同时,使得执行制度的个体成本收益与社会成本收益实现方向一致。通过这种改变,使得执行制度者得益,而不执行制度者受损。 展开更多
关键词 国有企业监督 正式规则 非正式规则 制度实施机制 制度绩效
下载PDF
二元市场、信贷摩擦与货币政策——货币政策应对劳动力市场做出反应吗? 被引量:8
9
作者 陈利锋 《云南财经大学学报》 CSSCI 北大核心 2014年第2期83-95,共13页
在一个包含正规部门与非正规部门的新凯恩斯主义动态随机一般均衡模型中,通过搜寻与匹配摩擦将失业引入,并考察中国货币政策盯住目标的选择问题。基于外生货币政策的脉冲响应函数,发现在包含多部门的模型中,政策制定者仍面临着稳定产出... 在一个包含正规部门与非正规部门的新凯恩斯主义动态随机一般均衡模型中,通过搜寻与匹配摩擦将失业引入,并考察中国货币政策盯住目标的选择问题。基于外生货币政策的脉冲响应函数,发现在包含多部门的模型中,政策制定者仍面临着稳定产出缺口与稳定劳动力市场的权衡取舍。而基于社会福利损失角度,相对于不对劳动力市场做出反应的政策机制而言,对劳动力市场做出反应的政策机制,无论是对工资膨胀率还是对失业做出反应,均引起较小的社会福利损失。这一结论意味着在当前中国社会就业形势日益严峻以及经济增长就业弹性相对较小的背景下,采用对劳动力市场直接做出反应的政策机制有利于实现缓和社会就业形势与降低社会福利损失的"双赢"。 展开更多
关键词 正规部门 非正规部门 货币政策 泰勒规则 社会福利损失
下载PDF
类间结构型代码味道自动检测的研究 被引量:6
10
作者 陈丹 袁捷 缪淮扣 《计算机工程》 CAS CSCD 北大核心 2007年第7期59-61,共3页
软件重构是改造软件遗留系统、软件重用的重要手段。代码味道用于描述软件设计缺陷,检测代码味道是软件重构的重要步骤。按照代码味道的特征给代码味道分类,对引发重构的主要缺陷――类之间结构型代码味道,给出了自动化检测的原理,设计... 软件重构是改造软件遗留系统、软件重用的重要手段。代码味道用于描述软件设计缺陷,检测代码味道是软件重构的重要步骤。按照代码味道的特征给代码味道分类,对引发重构的主要缺陷――类之间结构型代码味道,给出了自动化检测的原理,设计和实现了一个检测工具。 展开更多
关键词 重构 代码味道 自动化检测 LEPUS 设计模型 形式化规则
下载PDF
形式概念分析与软件过程改进 被引量:4
11
作者 沈夏炯 白景华 +1 位作者 刘宗田 向国全 《计算机科学》 CSCD 北大核心 2003年第7期103-105,共3页
The paper focuses on the method of formal concept analysis in data analyzing for software process improve-ment. It sets up that not only the Software Quality Guarantee Platform being developed should have the commonfu... The paper focuses on the method of formal concept analysis in data analyzing for software process improve-ment. It sets up that not only the Software Quality Guarantee Platform being developed should have the commonfunctions including enterprise process defining, process cutting out, executing and monitoring, and the normal dataanalysis tools such as OLAP, but also one should develop the novel data analysis tools based on formal methodologyby starting with maturity definition of process data, so as to discover valuable new knowledge from large database andsupport continuous software process improvement. Further more ,the paper demonstrates the software process dataanalysis using concept lattice in an example. 展开更多
关键词 形式概念分析 软件质量 数据分析方法 软件过程 软件工程
下载PDF
对我国学校实质的再认识:基于资源配置的视角 被引量:2
12
作者 庄西真 《教育理论与实践》 CSSCI 北大核心 2006年第9期24-27,共4页
从不同的角度,对学校实质会有不同的理解。从资源配置的角度看学校,学校既有一定的依赖性,同时又有相对的独立性,前者表现在受国家的规制的影响,后者源于学校资源获得渠道的社会化。
关键词 学校 资源配置 正式规则 非正式规则
下载PDF
函数依赖与属性蕴含的关系研究 被引量:6
13
作者 安秋生 孔祥玉 《小型微型计算机系统》 CSCD 北大核心 2017年第9期2000-2005,共6页
研究了关系数据库理论经典的函数依赖与形式概念分析理论的属性蕴含之间的关系.给出研究所需要的一些基本理论与概念;使用一个典型范例,从形式概念分析、粗糙集及值依赖理论分析了函数依赖与属性蕴含的语法结构,进而建立了表示函数依赖... 研究了关系数据库理论经典的函数依赖与形式概念分析理论的属性蕴含之间的关系.给出研究所需要的一些基本理论与概念;使用一个典型范例,从形式概念分析、粗糙集及值依赖理论分析了函数依赖与属性蕴含的语法结构,进而建立了表示函数依赖与属性蕴含的统一的数学模型,获得了函数依赖与属性蕴含关于Armstrong公理的共性.第三,从数学原理方面深入研究了函数依赖与属性蕴含的规则表示区别,而且应用不同的实例分析了语义与规则度量方面的差异.最后,从它们的共有特性和不同特性出发,对函数依赖与属性蕴含之间的关系进行了全面总结. 展开更多
关键词 形式背景 粗糙集 值依赖 一致集 关联规则
下载PDF
城乡发展中的物权冲突与调节--实施《物权法》的若干思考 被引量:6
14
作者 彭坤焘 赵民 《规划师》 北大核心 2009年第2期5-9,共5页
《物权法》的出台和施行完善了财产权的正式规则,但由于阶段性和概约性特征,在许多方面尚存难题。一系列难题造成了物权冲突,主要表现在公共利益界定与公权制约、共同所有与多数规则下的妨害、集体所有与历史路径锁定等三个方面。这些... 《物权法》的出台和施行完善了财产权的正式规则,但由于阶段性和概约性特征,在许多方面尚存难题。一系列难题造成了物权冲突,主要表现在公共利益界定与公权制约、共同所有与多数规则下的妨害、集体所有与历史路径锁定等三个方面。这些冲突可能损害法律的公平合理性,因而需要在进一步的实体性和程序性的法规细则中对这些难题加以妥善处理。同时,城市规划机制应与物权立法进程相衔接,发挥在物权冲突中的协调和治理功能,从而推进城乡社会的和谐发展。 展开更多
关键词 物权法 物权 冲突 正式规则 城市规划机制
下载PDF
基本概念格的关联规则挖掘算法 被引量:1
15
作者 王旭 马垣 《鞍山科技大学学报》 2006年第1期50-53,共4页
在已有的基于概念格的关联规则挖掘算法中,搜索频繁结点的范围太大,从而导致花费大量的时间来产生关联规则。针对这一不足,利用“索引链表”数据结构来辅助快速地找到所有的频繁结点,缩小了结点的搜索范围,降低了概念格中挖掘关联规则... 在已有的基于概念格的关联规则挖掘算法中,搜索频繁结点的范围太大,从而导致花费大量的时间来产生关联规则。针对这一不足,利用“索引链表”数据结构来辅助快速地找到所有的频繁结点,缩小了结点的搜索范围,降低了概念格中挖掘关联规则算法的复杂度。 展开更多
关键词 形式背景 概念格 关联规则
下载PDF
评价形容词状语语用指向研究及其自动识别机制
16
作者 周红照 侯敏 滕永林 《语言研究集刊》 2023年第2期210-224,394,共16页
机器善于处理言语中的客观理性信息,却拙于理解言语中的主观情感信息。情感计算是语言人工智能领域有待破解的一道难题,准确识别评价词的语用指向对象是其中的一大瓶颈。文章从计算语言学角度研究了评价形容词状语的语用指向,基于词汇... 机器善于处理言语中的客观理性信息,却拙于理解言语中的主观情感信息。情感计算是语言人工智能领域有待破解的一道难题,准确识别评价词的语用指向对象是其中的一大瓶颈。文章从计算语言学角度研究了评价形容词状语的语用指向,基于词汇特征、句法结构与语义框架,归纳概括出14种语用指向类型,精准找出帮助计算机自动辨别各种类型的形式化特征,编码成机器可读的形式语言,构建评价形容词状语语用指向识别与抽取规则簇。实验证明,规则簇有良好的领域适应性(F1=0.932)和词汇覆盖性(F1=0.917)。文章将语用指向理论与机器情感计算相融合,证实了基于评价词的语用指向本体研究,构建知识驱动、推理可解释的评价对象抽取系统的可能性,提供了一种评价对象自动抽取的新方案。 展开更多
关键词 评价形容词状语 语用指向 评价对象抽取 形式特征 规则簇
原文传递
基于Petri网的设计模式形式化描述 被引量:4
17
作者 王雷 姜久雷 王晓峰 《计算机工程》 CAS CSCD 北大核心 2016年第7期33-36,48,共5页
从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义,而形式化描述设计模式是自动识别的基础,为此,提出一种基于Petri网的设计模式描述方法。定义从设计模式到Petri网的转换规则,根据规则对观察者模式进行形式化描述... 从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义,而形式化描述设计模式是自动识别的基础,为此,提出一种基于Petri网的设计模式描述方法。定义从设计模式到Petri网的转换规则,根据规则对观察者模式进行形式化描述,并给出识别设计模式的初步流程。分析结果表明,该方法可以以图形化的方式描述设计模式。在此基础上,能借助Petri网本身的数学理论实现设计模式的自动识别。 展开更多
关键词 设计模式 自动识别 形式化描述 转换规则 PETRI网 观察者模式
下载PDF
形式美在艺术设计中的应用 被引量:3
18
作者 赵晓明 《长春大学学报》 2010年第3期112-113,120,共3页
形式美是人类在长期的生活实践中所积累的美感经验与艺术表现形式。它既是一种审美体验与审美思维,也是指导人们创造美感的形式规律。从设计美的规律出发,阐述了形式美在海报招贴设计、标志设计、产品设计中的应用。
关键词 形式美 规律 美学 艺术设计
下载PDF
方块苗文动态构造方法的形式化描述 被引量:2
19
作者 莫礼平 周恺卿 《计算机应用》 CSCD 北大核心 2014年第3期861-864,868,共5页
针对如何在计算机中生成和显示方块苗文的问题,提出了一种方块苗文动态构造方法,给出了该方法的基本原理,定义了实现方块苗文动态构造所需要的操作符,并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文... 针对如何在计算机中生成和显示方块苗文的问题,提出了一种方块苗文动态构造方法,给出了该方法的基本原理,定义了实现方块苗文动态构造所需要的操作符,并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文构件及独体字的显现字符,通过对显现字符进行上下组合、左右组合、侧围组合来实现方块苗文的动态构造,为方块苗文字库中字形构件提取及合体字自动生成技术提供了重要支持。 展开更多
关键词 方块苗文 信息处理技术 形式化方法 上下文无关文法 谓词规则
下载PDF
美丑观:悦情为美、痛苦为丑 被引量:2
20
作者 祁志祥 祁雪莺 《上海大学学报(社会科学版)》 CSSCI 北大核心 2010年第3期61-70,共10页
在审美实践中区别美丑的根本依据乃是快乐与否。在人体系统中,快感分机体觉快感、感官觉快感、中枢觉快感。决定美的快感只是感官觉快感和中枢觉快感。五官快感的对象构成形式美,中枢快感的对象构成内涵美。形式美是自由的美,内涵美是... 在审美实践中区别美丑的根本依据乃是快乐与否。在人体系统中,快感分机体觉快感、感官觉快感、中枢觉快感。决定美的快感只是感官觉快感和中枢觉快感。五官快感的对象构成形式美,中枢快感的对象构成内涵美。形式美是自由的美,内涵美是真善的美。对形式美的审美效果与审美频率成反比,对内涵美的审美效果与审美频率成正比。事物的整体美学属性由事物的内涵美学属性决定。美的规律,就是在普遍令人愉快的形式规律中求美以及向真求美、向善求美。 展开更多
关键词 快感 形式美 内涵美 审美特点 美的规律
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部