期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
我国刑事证明责任分配体系的特点及挑战与更新 预览
1
作者 吕泽华 方晓凤 《中国海洋大学学报:社会科学版》 2019年第1期73-79,共7页
建国以来,经过几代法律人的努力,我国已经基本形成了分配形式单一而简洁的刑事证明责任分配体系:以定罪证明为核心,非法证据排除程序证明为例外,形成以检控机关为证明责任主体,以法官审查、核实为验证,以自诉证明为补充,以被告证明为例... 建国以来,经过几代法律人的努力,我国已经基本形成了分配形式单一而简洁的刑事证明责任分配体系:以定罪证明为核心,非法证据排除程序证明为例外,形成以检控机关为证明责任主体,以法官审查、核实为验证,以自诉证明为补充,以被告证明为例外的权利与义务并行的证明责任分配体系。此种证明责任分配模式徒具证明责任分配的形式外表,更多地体现出我国职权主义诉讼模式、客观公正义务性要求的实质内涵。随着人权“入宪”与“进讼”,当事人主体地位日益凸显,随之而来的量刑程序的分离趋势、程序法事实证明的日益突显,诉讼结构调整以及证明责任理论融合的趋势,我国证明责任分配应在证明主体多元化、证明对象多样化、诉讼多态性、证据协力等方面进行制度更新。 展开更多
关键词 证明责任 诉讼模式 证明义务 量刑证明
在线阅读 下载PDF
矿井机车运输信号系统的Event-B建模与验证研究 预览
2
作者 荚文祥 陆阳 +1 位作者 许崇 魏振春 《合肥工业大学学报:自然科学版》 北大核心 2018年第6期787-794,共8页
人工编制联锁表难以保证联锁表的准确性,而且单纯依靠人工检查联锁表中每个表项的正确性也是一项非常繁琐的工作。文章针对目前存在的问题,利用形式化Event-B方法对机车运输信号平面布置图、进路联锁表和机车车辆运输信号设计规范进行建... 人工编制联锁表难以保证联锁表的准确性,而且单纯依靠人工检查联锁表中每个表项的正确性也是一项非常繁琐的工作。文章针对目前存在的问题,利用形式化Event-B方法对机车运输信号平面布置图、进路联锁表和机车车辆运输信号设计规范进行建模,模型生成的证明义务通过与否验证了进路联锁表建立过程是否符合平面布置图和设计规范的要求,利用该种思路解决了人工检查联锁表存在的效率低和不确定性等问题。 展开更多
关键词 联锁表 Event-B方法 形式化方法 机车 证明义务
在线阅读 免费下载
种子质量检验合格证明义务 预览
3
作者 武合讲 武合金 任晓东 《长江蔬菜》 2017年第20期13-14,共2页
自2004年《种子法》颁布以来,我国种业冲破体制机制的桎梏,发展速度与规模前所未有,2016年作为新《种子法》实施的元年,也注定拉开新一轮调整序幕。那么未来,新的法律条文将对市场行为和企业行为产生什么影响?执法者和种子经营者在具... 自2004年《种子法》颁布以来,我国种业冲破体制机制的桎梏,发展速度与规模前所未有,2016年作为新《种子法》实施的元年,也注定拉开新一轮调整序幕。那么未来,新的法律条文将对市场行为和企业行为产生什么影响?执法者和种子经营者在具体实践中,又会出现哪些意想不到的问题?本刊特邀律师武合讲,为您探索新《种子法》下的风险规避和维权路径。 展开更多
关键词 种子质量检验 证明义务 《种子法》 种子经营者 发展速度 企业行为 市场行为 法律条文
在线阅读 下载PDF
浅谈工会证明义务的缺失 预览
4
作者 刘光宇 《北京市工会干部学院学报》 2013年第1期45-48,共4页
随着劳动法律体系的日趋完善,工会在体系中的地位越来越高,权利也越来越多,但是相应的证明义务却有所缺失,导致工会维权职能受损,这是由工会组建者的失格、工会干部地位的依附性、工会经费来源的矛盾性以及法律条文的模糊性等原因... 随着劳动法律体系的日趋完善,工会在体系中的地位越来越高,权利也越来越多,但是相应的证明义务却有所缺失,导致工会维权职能受损,这是由工会组建者的失格、工会干部地位的依附性、工会经费来源的矛盾性以及法律条文的模糊性等原因造成的。但不可否认,工会具有自身的先天优势,只要我们加强工会的独立自主开展工作的能力,落实支持工会证明效力的配套规范,加大工会调查取证的权限,加强工会自身的组织和作风建设,就一定能更好地发挥工会的维权职能,切实地为广大劳动者谋福利。 展开更多
关键词 工会 证明义务 证明效力 维权
在线阅读 下载PDF
CTCS-4无线通信故障恢复模型的形式化研究 预览
5
作者 权庆乐 胡晓辉 《兰州交通大学学报》 CAS 2013年第1期68-72,共5页
对C煳的无线通信系统的故障恢复模型进行了研究,使用Event-B对C棚无线通信系统的故障恢复过程进行建模.通过证明义务对模型的逻辑正确性和完备性进行验证,证明其可以满足要求.
关键词 CTCS-4 EVENT-B GSM-R 证明义务
在线阅读 下载PDF
法律实务中证明责任概念的再辨析 预览
6
作者 姬鹏 《今日南国:理论创新版》 2010年第3期183-184,共2页
证明责任是民事诉讼制度的核心,但是我国现在对于民事证明责任问题的研究依然还不深入,甚至对于基本的问题的研究尚存在着较大争议。司法实践中,司法者对证明责任一词的使用、证明责任究竟如何分配及证明责任分配后的法律后果的认识模... 证明责任是民事诉讼制度的核心,但是我国现在对于民事证明责任问题的研究依然还不深入,甚至对于基本的问题的研究尚存在着较大争议。司法实践中,司法者对证明责任一词的使用、证明责任究竟如何分配及证明责任分配后的法律后果的认识模糊不清。为此有必要针对此问题专门进行梳理。 展开更多
关键词 民事诉讼 证明责任 证明义务
在线阅读 下载PDF
论刑事司法赔偿中举证责任的分配
7
作者 李昕 何君 《法律适用》 北大核心 2010年第12期50-53,共4页
举证责任是指当事人对自己提出的诉讼请求有义务提供证据加以证明,负有证明义务的一方当事人不能提供证据加以证明,则有可能要承担败诉的风险。合理分配举证责任关系到法律的公正与秩序保障功能在审理程序中的实现,因此,德国著名诉讼法... 举证责任是指当事人对自己提出的诉讼请求有义务提供证据加以证明,负有证明义务的一方当事人不能提供证据加以证明,则有可能要承担败诉的风险。合理分配举证责任关系到法律的公正与秩序保障功能在审理程序中的实现,因此,德国著名诉讼法学家罗森贝克将举证责任制度视为诉讼的脊梁。长期以来,我国刑事司法赔偿的举证责任制度一直过于原则和模糊,最高人民法院《人民法院赔偿委员会审理赔偿案件程序的暂行规定》第9条规定:赔偿委员会根据审理案件的需要, 展开更多
关键词 举证责任制度 司法赔偿 合理分配 人民法院赔偿委员会 刑事 证明义务 审理程序 诉讼请求
论消极要件事实的证明——以法律要件分类说为基础 被引量:10
8
作者 杨剑 窦玉梅 《法律适用》 北大核心 2007年第7期 54-57,共4页
罗马法上曾有“为主张之人有证明义务,为否定之人无之”的原则,进而演化为“主张积极事实之人有证明义务,主张消极事实之人无之”。(1)积极事实即肯定事实,也就是主张存在某种事实;消极事实即否定事实,也就是主张不存在某种事... 罗马法上曾有“为主张之人有证明义务,为否定之人无之”的原则,进而演化为“主张积极事实之人有证明义务,主张消极事实之人无之”。(1)积极事实即肯定事实,也就是主张存在某种事实;消极事实即否定事实,也就是主张不存在某种事实。罗马法的这一原则对后世的证明理论产生了深远影响,有关诉讼证明的探讨基本上都是围绕积极事实展开的,而忽略了对消极事实证明过程的研究。 展开更多
关键词 证明义务 法律要件分类说 消极 要件事实 诉讼证明 证明过程 罗马法 主张
B方法规格说明的构造及应用 预览 被引量:1
9
作者 吴帅 杨庆红 樊艳芬 《计算机与现代化》 2007年第5期 29-32,35,共5页
B方法是一种软件形式化方法。支持从规格说明到代码生成的整个软件开发周期。本文比较系统地分析了B方法规格说明的构造结构。并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务。并对其规格说明... B方法是一种软件形式化方法。支持从规格说明到代码生成的整个软件开发周期。本文比较系统地分析了B方法规格说明的构造结构。并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务。并对其规格说明进行了一次精化。 展开更多
关键词 规格说明 B方法 抽象机 证明义务 精化
在线阅读 下载PDF
形式化方法B的精化 预览
10
作者 高洪江 覃征 +1 位作者 鹿蕾 邵利平 《计算机工程》 CAS CSCD 北大核心 2007年第9期 49-51,共3页
形式化方法B支持从抽象规约到实现的完整的开发过程,用于开发安全关键的软件系统。给出了B方法精化的定义后,介绍了抽象机的精化过程与方法,结合实例分析了仅使用前向精化的普通精化规则的不完整性,通过引入反向精化提供了完备的精化理... 形式化方法B支持从抽象规约到实现的完整的开发过程,用于开发安全关键的软件系统。给出了B方法精化的定义后,介绍了抽象机的精化过程与方法,结合实例分析了仅使用前向精化的普通精化规则的不完整性,通过引入反向精化提供了完备的精化理论,二者联合起来能够证明任何正确的精化。 展开更多
关键词 形式化方法 广义代换 抽象机 前向精化 反向精化 证明义务
在线阅读 下载PDF
一个抽象机库中B方法的研究 预览 被引量:1
11
作者 杨丹 梁洪峻 《微计算机应用》 2007年第10期1117-1120,共4页
B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评述。验证了B的正确可靠的实现方法,充分利用B方法的精化原则,提高了B形式化方法的开发验证效率。
关键词 B方法 抽象机 精化 证明义务
在线阅读 下载PDF
形式化方法B的证明技术 预览 被引量:4
12
作者 鹿蕾 《现代电子技术》 2005年第23期 126-128,共3页
用形式化方法开发软件是提高软件可靠性和开发效率并实现其自动持从规约到实现的全过程开发工作.本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说... 用形式化方法开发软件是提高软件可靠性和开发效率并实现其自动持从规约到实现的全过程开发工作.本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性. 展开更多
关键词 形式化方法 抽象机 广义代换 类型检查 证明义务
在线阅读 下载PDF
论人民法院不应承担证明责任 预览
13
作者 闫丽锦 《武汉理工大学学报:社会科学版》 2004年第2期 229-232,共4页
在我国诉讼理论界,传统的观点是人民法院也承担证明责任.但随着我国刑事审判方式的改革及刑事诉讼法的不断完善,这一观点无论从理论上还是在实践中都已无法适应新的要求.文章主要从对传统观点的质疑并结合理论和现实来论证人民法院不应... 在我国诉讼理论界,传统的观点是人民法院也承担证明责任.但随着我国刑事审判方式的改革及刑事诉讼法的不断完善,这一观点无论从理论上还是在实践中都已无法适应新的要求.文章主要从对传统观点的质疑并结合理论和现实来论证人民法院不应负证明责任,从而明确人民法院不负证明责任是实现控审职能分离、保障法院公正审判、强化公诉职能的重要途径. 展开更多
关键词 证明责任 证明义务 刑事诉讼 法院审判
在线阅读 下载PDF
论刑事自诉的主体及其证明责任的承担 预览 被引量:1
14
作者 王艳华 单虹宇 《黑龙江省政法管理干部学院学报》 2003年第4期82-83,共2页
刑事自诉的主体是自诉的当事人 ,是以自己的名义向人民法院起诉 ,在请求人民法院通过审判追究被告人刑事责任的自诉案件中处于原告地位的人。在刑事自诉案件的审理中 ,人民法院不再主动调查收集证据 ,而是要求自诉人在请求追究被告人... 刑事自诉的主体是自诉的当事人 ,是以自己的名义向人民法院起诉 ,在请求人民法院通过审判追究被告人刑事责任的自诉案件中处于原告地位的人。在刑事自诉案件的审理中 ,人民法院不再主动调查收集证据 ,而是要求自诉人在请求追究被告人刑事责任的时候 ,承担向人民法院提供确实充分的、能够证明犯罪事实的证据的责任。 展开更多
关键词 刑事自诉 自诉人 诉讼权利能力 证明义务
在线阅读 下载PDF
建设口供制度要走法制化道路 被引量:10
15
作者 程荣斌 《中国刑事法杂志》 2001年第3期12-24,共13页
随着人类社会的发展开启了新的历史纪元,依法治国的伟大方略跨入了新的百年里程.在这世纪之交开始的历史时刻,值得回顾与思考的事情很多,值得认真总结的经验教训也很多.这里我想着重回顾与思考在口供问题上我们所走过的路.
关键词 刑事证据 口供制度 法制化 有罪推定 无罪推定原则 证明义务 被告 辩护权利 翻供 沉默权
论刑事举证责任 被引量:5
16
作者 王利民 《中外法学》 CSSCI 北大核心 1992年第2期28-31,共4页
【正】 Ⅰ举证责任的术语、涵义及性质证明责任包括诉讼参与人在整个刑事证明活动中所必须承担的各种证明义务,而举证责任则只是当事人所负证明责任的一种。举证责任和证明责任是两个不同的概念,二者之间是种属关系,前者包含在后者之... 【正】 Ⅰ举证责任的术语、涵义及性质证明责任包括诉讼参与人在整个刑事证明活动中所必须承担的各种证明义务,而举证责任则只是当事人所负证明责任的一种。举证责任和证明责任是两个不同的概念,二者之间是种属关系,前者包含在后者之中。举证责任制度发源于古罗马。古罗马法确立了两条举证责任原则:"如果原告不能证明,就应解除被告的责任(Actore non proballte,reus,absoluitur)";"证明是主张权利人 展开更多
关键词 刑事举证责任 证明责任 刑事被告人 举证责任制度 无罪推定原则 对方当事人 证明义务 刑事诉讼 诉讼制度 公诉案件
苏维埃刑事诉讼法中的“无罪推定”原则
17
作者 上野达彦 康树华 《中外法学》 1980年第1期58-66,共9页
【正】 一、前言刑事诉讼法中"无罪推定"原则的重要使命是"必须算重和维护人权:证据不实者不判罪,也就是说,不处罚无辜者。"从历史上来讲,"无罪推定"是在否定中世纪以被告(被怀疑者)即有罪为出发点的纠... 【正】 一、前言刑事诉讼法中"无罪推定"原则的重要使命是"必须算重和维护人权:证据不实者不判罪,也就是说,不处罚无辜者。"从历史上来讲,"无罪推定"是在否定中世纪以被告(被怀疑者)即有罪为出发点的纠问诉讼的基础上形成并发展起来的一个法的原则。"无罪推定"与刑法上的罪刑法定主义原则相呼应。它首先出现在英国的诉讼理论之中,继而为美利坚合众国宪法及共诉讼实践所采 展开更多
关键词 无罪推定 刑事诉讼法 苏维埃 被告人 法定主义原则 有罪 犯罪构成要件 社会主义 证明义务 中世纪
种子质量检验合格证明义务
18
作者 武合讲 武合金 任晓东 《种子世界》 2017年第9期26-26,共1页
自1989年5月1日起施行的《中华人民共和国种子管理条例》规定,经营的种子应当附有种子检验合格证书。因为《中华人民共和国产品质量法》规定了产品必须有产品质量检验合格证明,所以自2000年12月1日起施行的修订前的《中华人民共和国... 自1989年5月1日起施行的《中华人民共和国种子管理条例》规定,经营的种子应当附有种子检验合格证书。因为《中华人民共和国产品质量法》规定了产品必须有产品质量检验合格证明,所以自2000年12月1日起施行的修订前的《中华人民共和国种子法》(以下简称修订前的《种子法》)就没有再重复规定种子质量检验合格证制度。 展开更多
关键词 种子质量检验 证明义务 《中华人民共和国产品质量法》 《中华人民共和国种子法》 产品质量检验 检验合格证 《种子法》 管理条例
《WTO估价协议》对我国海关估价制度的立法启示 预览
19
作者 涂舒婷 《智富时代》 2016年第12X期129-,共1页
海关估价制度不仅影响关税收入,而且关乎进出口商人的利益。本文在分析当前国内相应立法缺陷的基础上,借鉴《WTO海关估价协议》的经验,提出了海关估价制度的立法建议。
关键词 海关估价 证明义务 兜底条款
在线阅读 下载PDF
论辩护方的证明责任 预览 被引量:1
20
作者 房保国 《中国检察官》 2013年第1期71-71,共1页
关于辩护方证明责任的问题.尽管刑事诉讼实行无罪推定.但并不意味着所有的证明责任都由控方承担;尽管被告人处于被刑事追诉的弱者地位,但并不意味着证明责任转移就必然导致被告人的地位雪上加霜。科学的对待证明责任分配才更有助于... 关于辩护方证明责任的问题.尽管刑事诉讼实行无罪推定.但并不意味着所有的证明责任都由控方承担;尽管被告人处于被刑事追诉的弱者地位,但并不意味着证明责任转移就必然导致被告人的地位雪上加霜。科学的对待证明责任分配才更有助于诉讼的顺利进行和真相的发现,只有合理分配证明义务,才能更好地实现刑事司法正义。 展开更多
关键词 证明责任分配 辩护方 刑事诉讼 无罪推定 刑事追诉 证明义务 合理分配 司法正义
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部 意见反馈