期刊文献+
共找到205篇文章
< 1 2 11 >
每页显示 20 50 100
Mathematical Wave Functions and 3D Finite Element Modelling of the Electron and Positron
1
作者 Declan Traill 《Journal of Applied Mathematics and Physics》 2024年第4期1134-1162,共29页
The wave/particle duality of particles in Physics is well known. Particles have properties that uniquely characterize them from one another, such as mass, charge and spin. Charged particles have associated Electric an... The wave/particle duality of particles in Physics is well known. Particles have properties that uniquely characterize them from one another, such as mass, charge and spin. Charged particles have associated Electric and Magnetic fields. Also, every moving particle has a De Broglie wavelength determined by its mass and velocity. This paper shows that all of these properties of a particle can be derived from a single wave function equation for that particle. Wave functions for the Electron and the Positron are presented and principles are provided that can be used to calculate the wave functions of all the fundamental particles in Physics. Fundamental particles such as electrons and positrons are considered to be point particles in the Standard Model of Physics and are not considered to have a structure. This paper demonstrates that they do indeed have structure and that this structure extends into the space around the particle’s center (in fact, they have infinite extent), but with rapidly diminishing energy density with the distance from that center. The particles are formed from Electromagnetic standing waves, which are stable solutions to the Schrödinger and Classical wave equations. This stable structure therefore accounts for both the wave and particle nature of these particles. In fact, all of their properties such as mass, spin and electric charge, can be accounted for from this structure. These particle properties appear to originate from a single point at the center of the wave function structure, in the same sort of way that the Shell theorem of gravity causes the gravity of a body to appear to all originate from a central point. This paper represents the first two fully characterized fundamental particles, with a complete description of their structure and properties, built up from the underlying Electromagnetic waves that comprise these and all fundamental particles. 展开更多
关键词 ELECTRON POSITRON Wave function Solution Electromagnetic Spin Mass Charge proof Fundamental Particle Properties Quantum Mechanics Classical Physics Computer 3D Model Schrödinger Equation RMS KLEIN GORDON Electric Magnetic Lorentz Invariant Hertzian Vector Point Potential Field Density Phase Flow Attraction REPULSION Shell Theorem Ehrenfest VIRIAL Normalization Harmonic Oscillator
下载PDF
基于防虫网+的热区豇豆病虫害生态调控策略
2
作者 王硕 吕宝乾 +3 位作者 王树昌 吴圣勇 谢文 张起恺 《热带农业科学》 2024年第7期27-35,共9页
豇豆是海南重要冬季瓜菜之一,生产受蓟马、斑潜蝇和枯萎病危害严重。目前海南豇豆病虫害防控主要依赖于化学农药,使得蓟马等抗性增强、农药残留超标,当地环境生物多样性受影响。对海南豇豆病虫害的现状及其防控中技术单一、滥用农药等... 豇豆是海南重要冬季瓜菜之一,生产受蓟马、斑潜蝇和枯萎病危害严重。目前海南豇豆病虫害防控主要依赖于化学农药,使得蓟马等抗性增强、农药残留超标,当地环境生物多样性受影响。对海南豇豆病虫害的现状及其防控中技术单一、滥用农药等问题进行分析,并提出了功能植物的引入、景观设计优化、农业管理的改进以及生物防治与科学用药4项主要生态调控技术,提出了具体的实施方案,为海南豇豆种植业的可持续发展提供科学指导和实践依据。 展开更多
关键词 绿色防控 生态调控 防虫网+ 功能植物 景观设计
下载PDF
位移无拖曳控制的动力学协调条件研究
3
作者 苟兴宇 王丽娇 +2 位作者 许现民 邹奎 蒋庆华 《宇航学报》 EI CAS CSCD 北大核心 2024年第4期540-549,共10页
针对位移无拖曳控制的可实现性问题及避免推力饱和问题,首先基于位移无拖曳控制动力学方程,推导出位移无拖曳控制系统中连续可变推力推进子系统的最大推力需要满足的基本动力学协调条件。进一步由位移无拖曳控制动力学方程退化得到的切... 针对位移无拖曳控制的可实现性问题及避免推力饱和问题,首先基于位移无拖曳控制动力学方程,推导出位移无拖曳控制系统中连续可变推力推进子系统的最大推力需要满足的基本动力学协调条件。进一步由位移无拖曳控制动力学方程退化得到的切换动力学方程,推导出负刚度加速度函数为线性及非线性函数两种情形下的让步动力学协调条件。针对让步动力学协调条件开展了仿真比对,结果表明,强非线性情形下的让步动力学协调条件比退化的线性情形更加严苛。最后通过分析给出位移无拖曳控制避免推力饱和的、定性的动力学协调条件,并得到仿真校验,即:检验质量初始状态及指令状态应在让步动力学协调条件区域内靠近负刚度力零位,开环系统时间延迟尽可能短,并且控制带宽应折中选择。 展开更多
关键词 位移无拖曳控制 动力学协调条件 切换动力学方程 HAMILTON函数 检验质量状态初值
下载PDF
法治小院:农业院校法学专业实践教育新模式探索
4
作者 刘鹏 陈笑歌 《中国农业教育》 2024年第2期31-38,共8页
借鉴科技小院模式,法治小院把法学实践课堂学习和乡村实践紧密结合起来,是法律诊所教育的新平台,是开展法治调研的新场域,是开展法治宣传的新窗口,是提供法律服务的新样板,是乡村治理的新力量。法治小院不仅有利于学生实践能力的提升,... 借鉴科技小院模式,法治小院把法学实践课堂学习和乡村实践紧密结合起来,是法律诊所教育的新平台,是开展法治调研的新场域,是开展法治宣传的新窗口,是提供法律服务的新样板,是乡村治理的新力量。法治小院不仅有利于学生实践能力的提升,而且能在服务乡村法治建设中塑造学生的精神品格;同时能够满足村民法治需求,为法治乡村建设做出贡献。西北农林科技大学法学专业在法治小院教学实践探索中,逐渐形成了“校内外联合,理论与实践融合,学习与服务耦合,专业技能与精神品格综合,线上与线下结合”的“五合”实践运行模式。 展开更多
关键词 法治小院 功能定位 价值证立 实践逻辑
下载PDF
微内核操作系统互斥量模块功能正确性的形式化验证
5
作者 张林雁 李希萌 +3 位作者 施智平 关永 曹钦翔 张倩颖 《软件学报》 EI CSCD 北大核心 2024年第9期4179-4192,共14页
操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测... 操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测试手段无法穷尽系统中的所有潜在错误,因而操作系统验证有必要使用具有严格数学理论基础的形式化方法.在操作系统中,互斥量可协调多任务对资源的访问,是一种常用的任务同步方式,其功能正确性对于保障多任务应用的正确性十分关键.基于定理证明方法,在交互式定理证明器Coq中对某抢占式微内核操作系统的互斥量模块进行代码级形式化建模,给出其接口函数的形式化规范,并实现这些接口函数的功能正确性验证. 展开更多
关键词 互斥量 功能正确性 形式化验证 定理证明 Coq定理证明器
下载PDF
信息网络犯罪案件认定中口供的证明功能与实践应对
6
作者 孙娇 《江苏警官学院学报》 2024年第4期41-48,共8页
智能化高质量发展的崭新时代,电子数据逐渐成为刑事司法中不可或缺的证据表现形式与内涵,海量的电子数据令口供在证据结构中的地位与证明体系中的功能均呈现出迥异于传统的实践新样态。口供的证明功能开始逐步向辅助确定被追诉人身份、... 智能化高质量发展的崭新时代,电子数据逐渐成为刑事司法中不可或缺的证据表现形式与内涵,海量的电子数据令口供在证据结构中的地位与证明体系中的功能均呈现出迥异于传统的实践新样态。口供的证明功能开始逐步向辅助确定被追诉人身份、提高电子数据采信率、巩固全案证明体系转变。作为一项直接证据与言词证据,口供证明功能的发挥必须建立在口供内容自愿、真实、合法的基础之上,否则将会异化诉讼理念,损害诉讼效益,甚至在“零口供”下陷入案件证明体系的桎梏。因此,对待口供必须采取理性的态度,不断探索降低倚重口供的程序路径,建立电子痕迹身份识别方法、增强电子数据自身证明力以及引入网络犯罪刑事推定制度等,以期更好发挥口供在当前信息网络犯罪案件认定中的证明功能。 展开更多
关键词 信息网络犯罪 口供 电子数据 证明功能
下载PDF
可拆卸气囊式儿童防溺服的结构设计
7
作者 倪佳妍 刘雷艮 《山东纺织科技》 2024年第2期14-17,共4页
随着儿童溺水事故的频繁发生及对儿童安全防护意识的提升,大众对儿童防溺水安全防护服装的需求日趋强烈。通过设计一款便于被儿童自主操控的可拆卸气囊结构的防溺水功能童装,利用空气浮力原理实现防溺水功能,可为预防儿童溺水问题提供... 随着儿童溺水事故的频繁发生及对儿童安全防护意识的提升,大众对儿童防溺水安全防护服装的需求日趋强烈。通过设计一款便于被儿童自主操控的可拆卸气囊结构的防溺水功能童装,利用空气浮力原理实现防溺水功能,可为预防儿童溺水问题提供一种解决方案。 展开更多
关键词 可拆卸 气囊 防溺水功能服装 结构设计
下载PDF
基于区块链和SM9数字签名的代理投票方案
8
作者 朱郭诚 何德彪 +1 位作者 安浩杨 彭聪 《信息网络安全》 CSCD 北大核心 2024年第1期36-47,共12页
随着互联网的普及,电子投票技术逐渐替代传统纸质投票技术。然而,传统的电子投票方案主要针对一人一票制来设计方案,在一些特殊的投票场景下,一人一票制投票方式不再适用。例如,投票者不具备专业知识却也需要投票的场景,投票者由于不能... 随着互联网的普及,电子投票技术逐渐替代传统纸质投票技术。然而,传统的电子投票方案主要针对一人一票制来设计方案,在一些特殊的投票场景下,一人一票制投票方式不再适用。例如,投票者不具备专业知识却也需要投票的场景,投票者由于不能理解选举的内容而消极投票,造成选举结果不专业和不公正等问题。此外,传统的电子投票技术还存在选举过程不透明和选票不可验证等问题。针对上述问题,文章提出一种基于区块链和SM9数字签名的代理投票方案。该方案首先使用区块链技术解决选票的全局可验证问题,其次使用零知识范围证明技术解决恶意选票值的问题,然后利用基于椭圆曲线的改进ElGamal算法的同态性质实现选票加密和自计票功能,最后使用SM9数字签名算法和变色龙哈希函数设计的代理投票凭证实现投票权的转让过程。通过安全性分析,证明了文章所提方案满足鲁棒性、合法性、机密性、全局可验证性和公平性。理论分析和实验数据表明,文章所提方案性能良好,适用于需要专业知识场景下的选举。 展开更多
关键词 电子代理投票 区块链 SM9数字签名算法 变色龙哈希函数 范围证明
下载PDF
隔爆型开关电磁铁测试系统设计
9
作者 田克君 《煤矿机械》 2024年第6期4-7,共4页
介绍了一种矿用隔爆型开关电磁铁测试系统设计方案。该设计方案包括测试系统硬件、电流回路采样和数据处理等,用于完成隔爆开关型电磁铁的功能性检测,具有实用性强、成本低、结构简单等优点。测试时,将电磁铁接入该系统,通过模拟量采集... 介绍了一种矿用隔爆型开关电磁铁测试系统设计方案。该设计方案包括测试系统硬件、电流回路采样和数据处理等,用于完成隔爆开关型电磁铁的功能性检测,具有实用性强、成本低、结构简单等优点。测试时,将电磁铁接入该系统,通过模拟量采集、模数转换和数据调理等环节进行数据分析验证隔爆开关型电磁铁的功能。试验表明,该测试系统简单、可靠,可用于防爆型开关电磁铁的功能检测。 展开更多
关键词 隔爆型开关电磁铁 测试系统 数据采集 功能检测
下载PDF
不同功能型纤维板的应用
10
作者 周伟 何红兵 《中国人造板》 2024年第2期22-24,共3页
纤维板是主要人造板之一,应用于家居、建筑、包装、车船制造等领域,功能型纤维板越来越受到高端客户的认可和青睐。本文介绍了广西三威家居新材股份有限公司最近几年研发的高防潮防霉纤维板、低密度阻燃防霉无甲醛添加纤维板、超高密度... 纤维板是主要人造板之一,应用于家居、建筑、包装、车船制造等领域,功能型纤维板越来越受到高端客户的认可和青睐。本文介绍了广西三威家居新材股份有限公司最近几年研发的高防潮防霉纤维板、低密度阻燃防霉无甲醛添加纤维板、超高密度电子线路垫板用纤维板等产品的主要性能和应用,为企业和研究机构开发新产品提供参考。 展开更多
关键词 纤维板 功能型 高防潮防霉 阻燃
下载PDF
多晶硅硬密封球阀的最新设计特点
11
作者 沈阳 周星彪 +3 位作者 沈忠贤 叶志强 张学乔 陈莉莉 《阀门》 2024年第5期539-543,共5页
随着多晶硅生产工艺改进实现提纯度高的分析与管线使用验证,总结多晶硅硬密封球阀的性能特点。与常规硬密封球阀相比,多晶硅硬密封球阀应具有防尘、高硬度、防腐的特点。密封面应采用结合强度高、敷熔后密封层硬度高且耐磨的材料。密封... 随着多晶硅生产工艺改进实现提纯度高的分析与管线使用验证,总结多晶硅硬密封球阀的性能特点。与常规硬密封球阀相比,多晶硅硬密封球阀应具有防尘、高硬度、防腐的特点。密封面应采用结合强度高、敷熔后密封层硬度高且耐磨的材料。密封面应具有自清洁与自研磨性能,球体需有引流性能,可减轻阀门启闭力扭矩,并且可以预防阀腔硅粉堆积导致阀门卡死,阀体与阀座都需要设计有效的防尘功能来确保阀座运动有效性等。 展开更多
关键词 多晶硅硬密封球阀 复合硬质合金 防尘功能 自清洁与自研磨功能
下载PDF
安全仪表系统检验测试程序完整性研究 被引量:3
12
作者 朱杰 张则立 +2 位作者 俞文光 金佳 吴少国 《自动化仪表》 CAS 2023年第5期14-19,共6页
过程工业领域要求对安全仪表系统(SIS)开展全面的功能安全管理活动,以保证其在生命周期内具备持续的安全保护能力。其中,检验测试是用于验证SIS在运行和维护阶段内安全完整性等级的重要活动。参考标准ISA-TR84.00.03中提出的针对检验测... 过程工业领域要求对安全仪表系统(SIS)开展全面的功能安全管理活动,以保证其在生命周期内具备持续的安全保护能力。其中,检验测试是用于验证SIS在运行和维护阶段内安全完整性等级的重要活动。参考标准ISA-TR84.00.03中提出的针对检验测试活动的指导要求,完整的检验测试程序应包含测试计划、失效分析、用例设计、测试执行、测试改进和过程审核。在此程序基础上,提出了1种检验测试覆盖率(PTC)量化评估方法,可以验证SIS在长期运行过程中的安全完整性能力。结合TCS-900 SIS的现场运维经验,证明了该检验测试程序的可行性和PTC评估方法的有效性,也为开展安全回路的检验测试提供了指导。 展开更多
关键词 过程工业 安全仪表系统 功能安全管理 检验测试覆盖率 安全完整性等级 测试程序完整性 失效分析
下载PDF
高效抽真空防爆集成装置的设计及试验研究
13
作者 黄政贤 何远新 +4 位作者 刘凤伟 熊珍艳 徐卫国 吴慧敏 李波 《铁道车辆》 2023年第6期128-132,共5页
为提升真空绝热深冷压力容器夹层抽真空速度,延长真空寿命,降低成本,文章对抽真空口和防爆口的功能进行了集成,研制了一种大通道抽真空防爆集成装置,并对材料的选择、通道直径的确定进行了研究。采用传统力学计算对大通道抽真空防爆集... 为提升真空绝热深冷压力容器夹层抽真空速度,延长真空寿命,降低成本,文章对抽真空口和防爆口的功能进行了集成,研制了一种大通道抽真空防爆集成装置,并对材料的选择、通道直径的确定进行了研究。采用传统力学计算对大通道抽真空防爆集成装置的密封性能进行了计算,同时通过FEM技术对密封性进行了分析。根据抽真空防爆集成装置的使用操作情况,设计组装了集成装置性能试验测试平台,对大通道抽真空防爆集成装置的漏气速率、起爆能力、抽真空和真空封结操作分别进行了试验和模拟。计算结果表明,大通道抽真空防爆集成装置中的氟橡胶O型圈在大气压下能够实现自密封并保持良好的弹性;试验及模拟结果表明,大通道抽真空防爆集成装置的真空漏气速率达到抽真空截止阀同等水平;作为防爆口,装置经多次起爆后仍保持良好密封性能;作为抽真空口,装置在抽真空过程中能够顺利完成封结操作,表现了良好的操作性能。该装置同时满足了抽真空口和防爆口的功能要求。 展开更多
关键词 大通道 抽真空口 防爆口 功能集成 密封性 操作性
下载PDF
配电系统安全域的数学定义与存在性证明 被引量:41
14
作者 肖峻 祖国强 +3 位作者 白冠男 张苗苗 王成山 赵婧 《中国电机工程学报》 EI CSCD 北大核心 2016年第18期4828-4836,5106,共9页
该文从数学上描述了配电系统的N-1安全性,给出了安全域(distribution system security region,DSSR)的严格数学定义,并首次证明DSSR的存在性。首先,从数学上描述了配电系统运行的状态空间与正常运行方式下的约束条件。其次,为描述N-1安... 该文从数学上描述了配电系统的N-1安全性,给出了安全域(distribution system security region,DSSR)的严格数学定义,并首次证明DSSR的存在性。首先,从数学上描述了配电系统运行的状态空间与正常运行方式下的约束条件。其次,为描述N-1安全性及安全程度,提出了安全函数的概念,并给出一个具体的安全函数,并证明其具有连续和单调减的重要性质。再从数学上将N-1安全性描述为安全函数满足某个预定临界值的问题。然后,给出了更严格的DSSR数学定义:DSSR是所有安全工作点的集合,该集合具有封闭的边界,边界内部均为安全工作点,外部均为不安全工作点。最后,从数学上证明了对于任意给定配电网,其DSSR一定存在。文中工作对揭示配电网安全域的数学本质具有重要意义,为未来智能配电系统安全高效的运行及规划技术奠定理论基础。 展开更多
关键词 配电系统安全域 N-1安全性 数学定义 存在性 证明 安全函数
下载PDF
在自由与规制之间——两大法系自由心证主义比较研究 被引量:7
15
作者 潘志瀛 阎惠英 《河北法学》 CSSCI 北大核心 2007年第2期137-141,共5页
诉讼正义实现的基础在于案件真相的发现。就案件真相的发现模式而言,英美法系和大陆法系虽然发展历程彼此相异,但却殊途同归。前者经历了从绝对自由的证明到相对自由的证明;后者经历了从绝对不自由的证明到相对自由的证明。现代两大法... 诉讼正义实现的基础在于案件真相的发现。就案件真相的发现模式而言,英美法系和大陆法系虽然发展历程彼此相异,但却殊途同归。前者经历了从绝对自由的证明到相对自由的证明;后者经历了从绝对不自由的证明到相对自由的证明。现代两大法系自由心证主义以自由与规制、真相发现与抑制主观随意性为最重要的特征。两大法系对自由心证的合理规制值得我们借鉴和学习。 展开更多
关键词 自由心证 功能性比较 相对自由的证明 合理规制
下载PDF
可修改的区块链方案 被引量:16
16
作者 任艳丽 徐丹婷 +1 位作者 张新鹏 谷大武 《软件学报》 EI CSCD 北大核心 2020年第12期3909-3922,共14页
随着区块链的迅速发展,上链数据不仅包括金融交易数据,还包括科技、文化、政治等多类数据.而在现有的区块链系统中,数据一旦上链便无法更改,可能会面临失效数据无法删除、错误数据无法修改等问题.因此,特定条件下可修改的区块链方案具... 随着区块链的迅速发展,上链数据不仅包括金融交易数据,还包括科技、文化、政治等多类数据.而在现有的区块链系统中,数据一旦上链便无法更改,可能会面临失效数据无法删除、错误数据无法修改等问题.因此,特定条件下可修改的区块链方案具有广阔的应用前景.在POSpace(proof of space)共识机制下,基于陷门单向函数和新型区块链结构,提出了可修改的区块链方案.只要超过阈值数的节点同意,便可实现区块数据的合法修改,否则不能进行修改.除修改数据外,其余区块数据保持不变,全网节点仍可按原始验证方式对数据合法性进行验证.仿真实验表明:只要选定合适的阈值,所提方案中,区块生成与数据修改的效率均很高,数据的修改并不改变区块之间的链接关系,具有现实可操作性. 展开更多
关键词 区块链 可修改 陷门单向函数 空间证明 数据安全
下载PDF
基于聚类离散化的Dep-Miner函数依赖发现方法
17
作者 仓敏 王静怡 +3 位作者 吴霜 翟晓萌 程曦 诸德律 《南京理工大学学报》 CAS CSCD 北大核心 2023年第3期318-329,共12页
针对已有函数依赖发现方法直接应用于连续型数据时,易导致依赖关系挖掘失败的问题,该文基于已有Dep-Miner方法,提出基于等间隔离散化的Dep-Miner(ED-Dep-Miner)和基于聚类离散化的Dep-Miner(CD-Dep-Miner)函数依赖发现方法。通过数据离... 针对已有函数依赖发现方法直接应用于连续型数据时,易导致依赖关系挖掘失败的问题,该文基于已有Dep-Miner方法,提出基于等间隔离散化的Dep-Miner(ED-Dep-Miner)和基于聚类离散化的Dep-Miner(CD-Dep-Miner)函数依赖发现方法。通过数据离散化,将指标的连续型数据合理地转变为类别数据。实现基于类别数据的函数依赖发现,提升函数依赖发现能力。同时,对Dep-Miner中的部分定理给出了基于反证法和枚举法的通俗化证明。该文将提出的ED-Dep-Miner和CD-Dep-Miner与不带有任何离散化操作的原始Tane和Dep-Miner进行了实验对比。实验结果表明,该文的ED-Dep-Miner和CD-Dep-Miner方法将原始连续型数据转化为离散型分类,挖掘出了更多潜在的函数依赖关系。同时,CD-Dep-Miner的性能要优于ED-Dep-Miner,解决了等间隔离散化存在的边界值问题。 展开更多
关键词 聚类 离散化 函数依赖发现 等间隔离散化 类别数据 反证法 枚举法 边界值问题
下载PDF
作为第四规则的法律方法及其功能 被引量:11
18
作者 谢晖 《政法论丛》 CSSCI 2013年第6期3-15,共13页
对司法而言,法律方法可视为除了法律、习惯和法学学理之外,法官进行司法裁判时所运用的"第四规则",也是法官在司法中保守法律宗旨和规定,并同时有所作为的基本工具依赖。作为"第四规则"的法律方法,在司法中对法律... 对司法而言,法律方法可视为除了法律、习惯和法学学理之外,法官进行司法裁判时所运用的"第四规则",也是法官在司法中保守法律宗旨和规定,并同时有所作为的基本工具依赖。作为"第四规则"的法律方法,在司法中对法律和法治发挥着四种功能:即对法律和法治的守成功能;对法律和法治的外溢(烁)功能;对法律和法治的内卷功能以及对法律和法治的补漏功能。这些功能,有些籍由所有的法律方法获得,如守成功能;而有些籍由特定的或部分的法律方法获得。 展开更多
关键词 第四规则 守成功能 外溢功能 内卷功能 补漏功能
下载PDF
刑事司法证明模式之“作用维度”——反思“印证证明模式”的另一种理论框架 被引量:13
19
作者 谢澍 《东方法学》 CSSCI 北大核心 2021年第5期187-200,共14页
“作用维度”是描述、检验和反思刑事司法证明模式之实践样态的切入角度,各模式的变量差异决定其在“作用维度”中呈现的作用效果,进而形塑出多样化的刑事司法实践样态。同时,通过“作用维度”可以连接理论与实践,其中作用效果的区别,... “作用维度”是描述、检验和反思刑事司法证明模式之实践样态的切入角度,各模式的变量差异决定其在“作用维度”中呈现的作用效果,进而形塑出多样化的刑事司法实践样态。同时,通过“作用维度”可以连接理论与实践,其中作用效果的区别,正是界定刑事司法证明模式的评价要素。我国刑事司法证明模式处于“经验-规范”“实体-程序”“知识-权力”“认知-行为”四重作用维度之中,以此为指引,“整体主义”证明模式是“印证证明模式”转型的基本方向。当前学界对于“整体主义”证明模式存在理论误读,需要结合“证明过程中的整体性”和“证明模式之作用维度的整体性”加以澄清,并在“作用维度”的理论框架中接纳更多交叉学科的知识增量。 展开更多
关键词 司法证明 证明模式 作用维度 评价要素 印证 刑事司法
下载PDF
多项式等式型几何定理的可读证明 被引量:6
20
作者 江建国 张景中 王晓京 《计算机学报》 EI CSCD 北大核心 2008年第2期207-213,共7页
目前的智能几何软件都使用基于搜索法的定理证明器作为推理引擎,其主要缺点是不能可读地证明涉及到几何量代数运算的几何定理,这极大地限制了智能几何软件的实际应用.对一类结论为几何量多项式等式的几何定理,文中提出了一种能给出可读... 目前的智能几何软件都使用基于搜索法的定理证明器作为推理引擎,其主要缺点是不能可读地证明涉及到几何量代数运算的几何定理,这极大地限制了智能几何软件的实际应用.对一类结论为几何量多项式等式的几何定理,文中提出了一种能给出可读证明的启发式搜索算法.该算法通过引入多项式的变形操作算子——标准项代换,把证明结论为多项式等式g=0的几何定理转化为寻找从g到0的标准项代换序列的搜索问题.采用Lisp语言实现了该算法,并做了30个结论为几何量等式的几何定理的推理实验.实验结果表明算法具有较高的推理效率. 展开更多
关键词 几何定理机器证明 搜索法 标准项代换 启发函数 可读证明
下载PDF
上一页 1 2 11 下一页 到第
使用帮助 返回顶部