期刊文献+
共找到146篇文章
< 1 2 8 >
每页显示 20 50 100
一个Object-Z规格说明的证明责任产生器 被引量:1
1
作者 文志诚 贾峰 胡纯蓉 《计算机应用与软件》 CSCD 2010年第5期34-37,共4页
定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,... 定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,适合于精确地描述大型软件系统,并且可以对其形式规格说明进行推理。设计一个证明责任产生器,从Object-Z形式规格说明出发,按照相关规则自动抽取相应的证明责任,这些证明责任可以直接输入到已有的定理证明器Z/EVES中进行证明之。证明责任产生器起着Object-Z规格说明编辑器与证明器Z/EVES之间的桥梁作用,方便于Object-Z形式规格说明的验证。 展开更多
关键词 object-Z Z/EVES 证明责任 形式验证
在线阅读 下载PDF
产生证明责任验证Object-Z规格说明的行为子类型继承
2
作者 文志诚 李长云 满君丰 《小型微型计算机系统》 CSCD 北大核心 2009年第6期1049-1056,共8页
Object-Z是形式规格说明语言Z的面向对象扩充,具有面向对象特点,适合描述大型面向对象软件规格说明.行为子类型继承是一种子类型继承,子类型对象拥有其超类对象的行为与属性,如果行为子类型对象替代其超类型对象时,运行时不会出错,经过... Object-Z是形式规格说明语言Z的面向对象扩充,具有面向对象特点,适合描述大型面向对象软件规格说明.行为子类型继承是一种子类型继承,子类型对象拥有其超类对象的行为与属性,如果行为子类型对象替代其超类型对象时,运行时不会出错,经过验证过的形式规格说明不必再验证.本文对Object-Z定义了行为子类型继承,尤其我们系统地提出一个实现行为子类型继承和对规格说明产生相关证明责任的方法,其中这些证明责任可以判定形式规格说明是否按照其行为子类型方法进行开发的.最后,充分利用定理证明器Z/EVES来分析与验证所产生的证明责任. 展开更多
关键词 object—Z 面向对象 行为子类型 证明责任 形式验证
在线阅读 下载PDF
An object-oriented approach to teaching mathematics for engineering and science students
3
作者 Alexander Y. Vaninsky 《通讯和计算机(中英文版)》 2009年第11期77-84,共8页
关键词 面向对象编程 数学教学 学生 工程 科学 数学相关 数学专业 数据类型
在线阅读 下载PDF
课程目标达成度评价的价值导向:从举证到赋能 被引量:6
4
作者 蒋成香 《黑龙江高教研究》 北大核心 2025年第2期109-114,共6页
课程目标达成度评价是产出导向的师范人才培养内部评价体系的起点和重要内容,其贯穿师范类专业认证和人才培养全周期,需要从认证体系和人才培养两个视角探究其实质。将外部师范类专业认证要求内化为师范人才内部培养要求,将有助于实现... 课程目标达成度评价是产出导向的师范人才培养内部评价体系的起点和重要内容,其贯穿师范类专业认证和人才培养全周期,需要从认证体系和人才培养两个视角探究其实质。将外部师范类专业认证要求内化为师范人才内部培养要求,将有助于实现从举证导向到赋能导向评价的价值转变。在赋能评价建构路径上,建立以师范生教师职业能力标准为核心的培养体系是赋能评价的基础,以师范生教师职业能力培养为导向设计课程教学评价任务、教师将评价融入教学研究从而提高自身专业水平、师范生将参与评价融入学习是实施赋能评价的切入点,以适切的评价取向实施赋能评价是其评价模式。 展开更多
关键词 师范类专业认证 课程目标达成度评价 价值导向 举证 赋能
在线阅读 下载PDF
基于原生链的跨Rollup机制研究
5
作者 张子龙 贾林鹏 +1 位作者 蒋硕轩 孙毅 《软件学报》 北大核心 2025年第8期3802-3830,共29页
Rollup是一种新兴的区块链链下交易处理方案.随着应用的持续发展,不同类型Rollup间的互操作需求日益增长.现有Rollup间互操作方案通常使用第三方服务商来协助完成,存在着信任假设的安全风险和单点故障等问题.基于原生链完成Rollup间互... Rollup是一种新兴的区块链链下交易处理方案.随着应用的持续发展,不同类型Rollup间的互操作需求日益增长.现有Rollup间互操作方案通常使用第三方服务商来协助完成,存在着信任假设的安全风险和单点故障等问题.基于原生链完成Rollup间互操作无需引入新的信任假设,但会消耗原生链的计算与存储资源,降低原生链的交易吞吐量,从而严重影响跨Rollup性能.基于此,提出一种基于原生链的跨Rollup方案,通过聚合交易批量处理的方式,有效减少单笔交易的链上平均计算与存储资源开销.具体而言,提出基于零知识证明的交易有效性证明方案,显著减少交易有效性验证的链上计算开销.提出基于索引表数据压缩的交易存储方案,降低跨Rollup交易的平均链上存储开销.提出聚合规模均衡调整算法,得到最优的聚合规模,实现链上资源消耗与处理时延之间的平衡.最后,对方案进行实验验证.实验结果表明,所提方案在完全去信任化的前提下,能降低链上计算开销和存储开销,实现链上资源消耗与处理时延的平衡,并且与现有跨Rollup方案相比,所提方案的系统吞吐量也具有很好的表现. 展开更多
关键词 区块链 Rollup 零知识证明 多目标优化
在线阅读 下载PDF
论启动非法证据排除程序的“线索或者材料”——从“质疑责任说”到“审判对象具体化说” 被引量:1
6
作者 孙远 《法学论坛》 北大核心 2025年第1期16-26,共11页
在非法证据排除程序之启动条件问题上,“质疑责任说”将导致控方不得不对证据合法性承担无法完成的“全面证明责任”,且使得非法证据排除变成一个极易被滥用的程序。若采此说,不仅无助于保障程序公正,反倒会造成法庭对证据合法性调查的... 在非法证据排除程序之启动条件问题上,“质疑责任说”将导致控方不得不对证据合法性承担无法完成的“全面证明责任”,且使得非法证据排除变成一个极易被滥用的程序。若采此说,不仅无助于保障程序公正,反倒会造成法庭对证据合法性调查的形式化。因此,对于《刑事诉讼法》第58条第2款规定的“线索或者材料”的解释,应采用“审判对象具体化说”。一方面,当事人申请排除非法证据之请求的事实基础应当具有特定性;另一方面,该特定性事实须有一定证据做支撑。现行法关于非法证据排除程序启动之证明标准的规定,在很大程度上是与我国高度封闭的侦查模式相适应的,随着侦查模式的转变,该标准亦有调整的可能性。 展开更多
关键词 非法证据排除 侦查模式 证明标准 审判对象
原文传递
论司法真实--始于证明所得即真相的考辨 被引量:2
7
作者 宋乐超 《湖北警官学院学报》 2025年第2期146-160,共15页
司法证明与事实真相之纠结引发真实观论争。论争核心在于,证明能否发现真相、兑现真实。真相之于司法如此关键,乃是由于真相蕴含之“自然正义”效应以及事实认定者的德性使然。不过,诸如客观真实观、法律真实观以及若干他种尝试,皆无法... 司法证明与事实真相之纠结引发真实观论争。论争核心在于,证明能否发现真相、兑现真实。真相之于司法如此关键,乃是由于真相蕴含之“自然正义”效应以及事实认定者的德性使然。不过,诸如客观真实观、法律真实观以及若干他种尝试,皆无法有效解决争论而仍需作出检讨。唯有回归司法实践与认知常理,考察司法证明能否“产出”真相以及真相“产出”能力,揭示朴素的司法实践如何面对“证明与真相”的纠结,才可有望化解真实问题。 展开更多
关键词 司法证明 事实真相 客观真实 法律真实 司法实践真实
在线阅读 下载PDF
基于YOLOv5的智能防错系统在汽车白车身柔性生产中的应用与优化
8
作者 梁翠 秦浩瑗 +2 位作者 陈娟 宋建懿 陈守团 《制造技术与机床》 北大核心 2025年第9期201-208,共8页
针对汽车白车身(Body-in-White,BIW)柔性生产中传统防错技术效率低、漏检率高的问题,提出一种基于YOLOv5深度学习算法与工业控制集成的智能防错系统,旨在实现零部件错漏装的实时检测与自动纠错,推动汽车制造智能化升级。通过构建系统程... 针对汽车白车身(Body-in-White,BIW)柔性生产中传统防错技术效率低、漏检率高的问题,提出一种基于YOLOv5深度学习算法与工业控制集成的智能防错系统,旨在实现零部件错漏装的实时检测与自动纠错,推动汽车制造智能化升级。通过构建系统程序配置、产线监听、特征检测与数据记录的多模块架构,采用YOLOv5目标检测算法实现毫米级特征点识别。开发了Python-PLC联动控制机制,实现检测结果与生产线停启的闭环反馈。基于Django框架设计远程维护后台,支持车型配置动态更新与异常处理。以某汽车总拼线侧围总成工位为应用案例,系统实现零漏检率,生产线停线响应时间不超过1s,较人工检测效率提升73.3%。通过解耦程序与配置信息,系统可在新工位快速复用,为智能制造提供可推广的解决方案。研究验证了深度学习与工业控制深度融合的可行性,为汽车制造领域的质量管控与柔性生产提供了技术范式。 展开更多
关键词 计算机视觉 防错 目标检测 深度学习 智能防错技术 YOLOv5
在线阅读 下载PDF
论我国刑事证明标准的现实选择:混合标准 被引量:10
9
作者 阮方民 封利强 《浙江大学学报(人文社会科学版)》 CSSCI 北大核心 2002年第5期138-146,共9页
目前刑事诉讼法学界在证明标准问题上存在着“客观真实”与“法律真实”的争论。这两种观点均未能全面把握刑事诉讼证明的两个阶段和双重属性 ,各有缺失。客观真实标准是最理想的证明标准 ,但我国目前还不具备实现单一的客观真实标准的... 目前刑事诉讼法学界在证明标准问题上存在着“客观真实”与“法律真实”的争论。这两种观点均未能全面把握刑事诉讼证明的两个阶段和双重属性 ,各有缺失。客观真实标准是最理想的证明标准 ,但我国目前还不具备实现单一的客观真实标准的条件 。 展开更多
关键词 刑事诉讼 证明标准 客观真实 法律真实 混合标准
在线阅读 下载PDF
地空导弹武器型号论证综合决策模型 被引量:2
10
作者 黄建新 赵英俊 张志峰 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2005年第1期23-25,共3页
以系统效能、费用、研制周期和风险 4个目标为论证准则,根据其目标权重是否确知,基于最小加权隶属度偏差方法建立了地空导弹武器型号论证综合决策模型,为决策者进行型号决策提供了一种定量分析方法。
关键词 地空导弹 型号论证 多目标决策 模型
在线阅读 下载PDF
犯意引诱型侦查的认定与证明:实务观察与理论反思 被引量:10
11
作者 艾明 《法律科学(西北政法大学学报)》 CSSCI 北大核心 2016年第2期191-200,共10页
通过实务观察发现,在犯意引诱型侦查的认定与证明问题上,我国法官目前倾向采取主观审查基准。在这种基准下,法官较多考虑源于被告人的因素,甚少对侦查人员的侦查行为进行评价,且仅依据某个单一因素即做出判断的现象较为突出。在证明是... 通过实务观察发现,在犯意引诱型侦查的认定与证明问题上,我国法官目前倾向采取主观审查基准。在这种基准下,法官较多考虑源于被告人的因素,甚少对侦查人员的侦查行为进行评价,且仅依据某个单一因素即做出判断的现象较为突出。在证明是否存在犯意引诱情形时,我国法官在裁判中阐述的证明责任也并不一致。在我国《刑事诉讼法》已增订"不得诱使他人犯罪"规定的新背景下,我国法官应将传统的主观审查基准转变为混合的双重审查基准,并应综合考虑四个方面的因素,做出认定或不认定的决定。 展开更多
关键词 证明 主观审查基准 客观审查基准 证明责任
原文传递
民事证明责任本质的再认识——以《民事诉讼法》第112条为分析对象 被引量:32
12
作者 李浩 《法律科学(西北政法大学学报)》 CSSCI 北大核心 2018年第4期94-101,共8页
证明责任制度是现代司法制度的有机组成部分。理论界对证明责任本质的认识经历了从主观证明责任到客观证明责任的深化。主观证明责任从当事人的视角解释证明责任,将这一制度解释为当事人就所主张的事实向法院提供证据进行证明的责任,客... 证明责任制度是现代司法制度的有机组成部分。理论界对证明责任本质的认识经历了从主观证明责任到客观证明责任的深化。主观证明责任从当事人的视角解释证明责任,将这一制度解释为当事人就所主张的事实向法院提供证据进行证明的责任,客观证明责任从裁判者的视角解释证明责任,把这一制度解释为法官在适用法律过程中用于克服要件事实真伪不明的裁判规则。法官适用《民事诉讼法》第112条处置疑似虚假诉讼案件,是法官主动提出可能是虚假诉讼的假设,然后依职权收集证据进行确认,如果最终是否为虚假诉讼无法确定,法官就不能适用第112条驳回诉讼请求并对当事人进行制裁。这表明法官适用了证明责任的裁判规则,同时也表明证明责任可以与当事人的主张无关、与当事人提供证据的责任无关。正是在这一过程中,证明责任的本质得到了充分体现。 展开更多
关键词 《民诉法》第112条 主观证明责任 客观证明责任 证明责任本质
原文传递
我国刑事诉讼相互印证的证明模式 被引量:87
13
作者 谢小剑 《现代法学》 CSSCI 北大核心 2004年第6期72-77,共6页
我国刑事诉讼中奉行相互印证的证明模式。它以被告人口供为印证机制的中心,忽视对单个证据的独立审查,强调证据之间的相互印证作为审查证据的关键,相互印证才敢定案。这种证明模式追求客观真实的价值取向,却可能不利于发现真相,侵害被... 我国刑事诉讼中奉行相互印证的证明模式。它以被告人口供为印证机制的中心,忽视对单个证据的独立审查,强调证据之间的相互印证作为审查证据的关键,相互印证才敢定案。这种证明模式追求客观真实的价值取向,却可能不利于发现真相,侵害被告人的权利。因此,要重新认识客观真实的证明标准,建立对单个证据的独立审查方法和对被告人供述自愿性的保障机制和激励机制。 展开更多
关键词 证明模式 印证 刑事诉讼 被告人 证据 客观真实 定案 查证 中国 审查方法
在线阅读 下载PDF
论涉黑违法财产之证明体系 被引量:5
14
作者 姚显森 《政法论丛》 CSSCI 北大核心 2022年第5期139-149,共11页
《反有组织犯罪法》创设了相对独立的涉黑违法财产证明体系。该体系以涉黑违法所得及其孳息、收益为证明对象,通过证明责任的附条件转移,要求被告人在公诉方已履行涉黑违法财产证明责任的前提下承担“财产合法来源”的“说明”义务。该... 《反有组织犯罪法》创设了相对独立的涉黑违法财产证明体系。该体系以涉黑违法所得及其孳息、收益为证明对象,通过证明责任的附条件转移,要求被告人在公诉方已履行涉黑违法财产证明责任的前提下承担“财产合法来源”的“说明”义务。该体系引入“高度可能性”证明标准,要求辩证处理该证明标准与被告人“说明财产合法来源”的关系,细化“说明”的相对标准以及“不能说明”的具体情形。该体系要求设立相对独立的证明程序,适当吸收被害人、第三方参与,通过举证、质证、认证过程,认定涉黑财产的违法事实并依法处置该财产。 展开更多
关键词 涉黑违法财产 证明对象 证明责任转移 证明标准调整
在线阅读 下载PDF
证明标准建构的虚幻与现实——从考察两大法系国家的证明标准历史出发 被引量:3
15
作者 王嘎利 《法学论坛》 北大核心 2007年第2期71-75,共5页
民事诉讼证明标准是衡量法官形成内心确信的尺度。本文通过对证明标准在两大法系国家的统一和分离历史的考察,探讨不同法系确立不同的民事诉讼证明标准的原因,进而在借鉴国外经验的基础上构建我国的民事诉讼证明标准。
关键词 证明标准 客观真实 法律真实 高度盖然性
在线阅读 下载PDF
证明标准——客观真实、法律真实与实体真实 被引量:3
16
作者 陈浩然 《上海交通大学学报(哲学社会科学版)》 2004年第1期17-22,共6页
诉讼中的证明标准是一个争议颇为激烈的理论问题。本文从比较法的角度 ,对形成各种证明标准的历史条件和标准环境进行了比较对照 ,并从诉讼实践的价值取向等角度 ,对客观真实、法律真实和实体真实的标准加以分析 ,提出了正当程序的要求... 诉讼中的证明标准是一个争议颇为激烈的理论问题。本文从比较法的角度 ,对形成各种证明标准的历史条件和标准环境进行了比较对照 ,并从诉讼实践的价值取向等角度 ,对客观真实、法律真实和实体真实的标准加以分析 ,提出了正当程序的要求之下追求实体真实的必然性 。 展开更多
关键词 客观真实 法律真实 实体真实 证明标准 诉讼实践 比较法 价值取向 科学证据 科学证明
在线阅读 下载PDF
自然全美——一个令人置疑的环境美学观念 被引量:5
17
作者 赵红梅 《湖北大学学报(哲学社会科学版)》 北大核心 2005年第1期28-32,共5页
环境美学的产生标志着美学研究领域的拓展。环境美学中极端的一派提出了“自然全美”的观念及思想。“自然全美”观念的提出表明了一种不同于传统美学的思维路向。但是由于“自然全美”者提出与证明“自然全美”时,在方法论上陷入主客二... 环境美学的产生标志着美学研究领域的拓展。环境美学中极端的一派提出了“自然全美”的观念及思想。“自然全美”观念的提出表明了一种不同于传统美学的思维路向。但是由于“自然全美”者提出与证明“自然全美”时,在方法论上陷入主客二分,在本体论上立足于自然主义,结果导致了“自然全美”观念的最大失误:反人本主义。 展开更多
关键词 自然全美 科学证明 主客二分 自然主义 反人本主义
在线阅读 下载PDF
刑事证明标准模式之学术争鸣及其评价 被引量:2
18
作者 李忠民 《南昌大学学报(人文社会科学版)》 北大核心 2004年第6期78-82,共5页
刑事证明标准模式可分为"客观真实"、"法律真实"和"主观真实"三种模式,每种模式各有其理论依据并各有利弊。将三者有机整合而成的"实在且正当的主观真实说",是我国刑事证明标准模式的合理选择。
关键词 刑事诉讼 证明标准 客观真实 法律真实 主观真实
在线阅读 下载PDF
论正当防卫的证明责任——以阶层犯罪论为视角 被引量:5
19
作者 李蓉 宋家骏 《首都师范大学学报(社会科学版)》 CSSCI 北大核心 2019年第3期129-137,共9页
正当防卫的证明责任问题应区分客观证明责任与主观证明责任两个维度,并将其置于犯罪构成体系之下进行讨论,实现实体与程序的有效衔接。在阶层犯罪论体系逐渐成为中国主流学说的前提之下,通过对阶层式犯罪论的证明责任分配作用、构成要... 正当防卫的证明责任问题应区分客观证明责任与主观证明责任两个维度,并将其置于犯罪构成体系之下进行讨论,实现实体与程序的有效衔接。在阶层犯罪论体系逐渐成为中国主流学说的前提之下,通过对阶层式犯罪论的证明责任分配作用、构成要件违法性推定机能以及正当防卫特殊实体属性等理论层面的详尽分析,提出构建中国正当防卫证明责任的具体模式:正当防卫的客观证明责任由被告方承担,即被告方承担正当防卫事实真伪不明时的不利风险。但是此客观证明责任分配格局并不意味着加重被告方的主观证明责任,在举证责任上,被告方原则上只承担正当防卫事由的初步举证负担,达到形成争点程度即可,其后的主观证明责任转移至控诉方,其需承担证明不存在违法性阻却事由的责任,并且基于职权主义调查原则,法院也有义务对正当防卫的部分事实进行澄清,从而保障正当防卫的证明达成。 展开更多
关键词 正当防卫 客观证明责任 举证责任 违法阻却事由
在线阅读 下载PDF
股东协议与公司章程若干法律问题比较研究 被引量:14
20
作者 陈界融 《北京航空航天大学学报(社会科学版)》 CSSCI 2011年第3期50-56,共7页
公司成立前发起人签订的设立公司股东协议具有合同的法律性质,公司成立后认缴注册资本的股东签署的公司章程具有法律规范的性质。股东协议拘束缔约人,公司章程拘束签署股东和公司以及未曾签署的董事、监事等。公司成立之后,股东协议并... 公司成立前发起人签订的设立公司股东协议具有合同的法律性质,公司成立后认缴注册资本的股东签署的公司章程具有法律规范的性质。股东协议拘束缔约人,公司章程拘束签署股东和公司以及未曾签署的董事、监事等。公司成立之后,股东协议并不被公司章程取代,在没有被修改、变更、解除之前,股东协议的效力并不自然终止。在个案诉讼中,股东协议与公司章程具有不同的证明对象,不存在以哪个为准的问题。 展开更多
关键词 股东协议 公司章程 规范说 证明对象
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部