期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
“举证责任倒置”对临床试验的考验 被引量:3
1
作者 沈毅 吴殿源 +3 位作者 张步振 郭海 王以平 党宝丽 《解放军医院管理杂志》 2004年第5期433-434,共2页
针对医疗纠纷举证责任倒置实施以来临床科研面临的一系列新问题 ,从医患关系极度紧张、院方举证难度增大、法制意识亟待提高等方面 ,客观分析了临床科研面临的严峻考验 ;提出了全力构建理性医患关系、理智应对举证责任倒置、高度重视诉... 针对医疗纠纷举证责任倒置实施以来临床科研面临的一系列新问题 ,从医患关系极度紧张、院方举证难度增大、法制意识亟待提高等方面 ,客观分析了临床科研面临的严峻考验 ;提出了全力构建理性医患关系、理智应对举证责任倒置、高度重视诉讼证据留存的举证策略思考 ,重点探讨了建立严格的请示和批复制度。 展开更多
关键词 “举证责任倒置” 临床科研 临床试验 医患关系 从医 知情同意 紧张 诉讼证据 考验 基本原则
下载PDF
论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统 被引量:3
2
作者 余军成 《贵州工程应用技术学院学报》 2017年第3期1-8,共8页
在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统... 在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。 展开更多
关键词 直觉主义谓词逻辑 演绎定理 矢列式自然演绎系统 公理化系统 证明策略
下载PDF
论直觉主义谓词逻辑的矢列式自然演绎系统 被引量:2
3
作者 余军成 何向东 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2016年第5期30-35,共6页
达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然演绎系统的历史地... 达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然演绎系统的历史地位和意义。 展开更多
关键词 直觉主义谓词逻辑 矢列式自然演绎系统 证明策略
原文传递
证明策略的集成研究
4
作者 何锫 姚跃华 叶吉祥 《武汉大学学报(自然科学版)》 CSCD 1999年第5期673-675,共3页
讨论了XYZ/VERI系统的向后推理机制,具体而言是基本策略、集成策略语言、策略的结构以及在这样的策略集成环境中的向后推理过程.
关键词 证明策略 集成策略语言 向后推理 XYZ/VERI系统
全文增补中
宁夏电网输电线路防风策略研究 被引量:2
5
作者 徐兆国 马波 +2 位作者 常彬 闫振华 田禄 《内蒙古电力技术》 2018年第3期67-71,75,共6页
宁夏电网输电线路多分布于自然环境恶劣地域,局部大风时有发生,严重威胁输电线路的运行安全。通过统计分析宁夏电网输电线路风害的分布特征,根据宁夏地区最大风速区域的环境特点,结合输电线路运行经验,提出了设计、验收及线路运行阶段... 宁夏电网输电线路多分布于自然环境恶劣地域,局部大风时有发生,严重威胁输电线路的运行安全。通过统计分析宁夏电网输电线路风害的分布特征,根据宁夏地区最大风速区域的环境特点,结合输电线路运行经验,提出了设计、验收及线路运行阶段宁夏电网输电线路的防风策略。实施该防风策略后,输电线路风偏、舞动、倒杆断线等故障显著减少,提高了输电线路的安全稳定运行水平。 展开更多
关键词 输电线路 防风策略 风偏 舞动 倒杆 断线
下载PDF
关于自然演绎逻辑的反思 被引量:2
6
作者 郭美云 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2016年第1期23-32,共10页
自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后,本文提供了一个自然演绎的教学案例,案例通过采取一个有更多"有假设推演规则"的自然演绎系统,并用证明序列的左侧序号来编撰和追... 自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后,本文提供了一个自然演绎的教学案例,案例通过采取一个有更多"有假设推演规则"的自然演绎系统,并用证明序列的左侧序号来编撰和追踪证明者的证明思路和证明策略,从而更有利于学生熟悉和掌握各种逻辑证明方法和证明策略,有助于激发学生自主思考,提高学生逻辑思维能力和元定理的证明能力。 展开更多
关键词 自然演绎逻辑系统 证明思路 证明策略 元定理证明能力
原文传递
A novel explosion-proof walking system: Twin dual-motor drive tracked units for coal mine rescue robots 被引量:2
7
作者 李雨潭 朱华 +1 位作者 李猛钢 李鹏 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第10期2570-2577,共8页
A new explosion-proof walking system was designed for the coal mine rescue robot(CMRR) by optimizing the mechanical structure and control algorithm. The mechanical structure innovation lies mainly in the dual-motor dr... A new explosion-proof walking system was designed for the coal mine rescue robot(CMRR) by optimizing the mechanical structure and control algorithm. The mechanical structure innovation lies mainly in the dual-motor drive tracked unit used, which showed high dynamic performance compared with the conventional tracked unit. The control algorithm, developed based on decision trees and neural networking, facilitates autonomous switching between "Velocity-driven Mode" and "Torquedriven Mode". To verify the feasibility and effectiveness of the control strategy, we built a self-designed test platform and used it to debug the control program; we then made a robot prototype and conducted further experiments on single-step, ramp, and rubble terrains. The results show that the proposed walking system has excellent dynamic performance and the control strategy is very efficient, suggesting that a robot with this type of explosion-proof walking system can be successfully applied in Chinese coal mines. 展开更多
关键词 coal mine rescue robot tracked walking system EXPLOSION-proof control strategy
下载PDF
发电厂内制氢站电气防爆设计策略探讨
8
作者 孙道让 《电力系统装备》 2019年第14期185-186,共2页
近年来,随着发电厂内制氢站出现大量火灾与爆炸等安全事故,促使社会大众和相关电力生产企业将目光转向了制氢站电气防爆设计研发方面,由此可见,制氢站的安全性和稳定性是发电厂长远发展的主要影响因素之一。本文主要就发电厂内制氢站电... 近年来,随着发电厂内制氢站出现大量火灾与爆炸等安全事故,促使社会大众和相关电力生产企业将目光转向了制氢站电气防爆设计研发方面,由此可见,制氢站的安全性和稳定性是发电厂长远发展的主要影响因素之一。本文主要就发电厂内制氢站电气防爆设计策略展开全面且系统的分析和研究,以某实际制氢站为基础点,分别从发电厂制氢站照明、电缆敷设、接地避雷、防火防爆等方面做出了详细的阐述,希望通过本次有关发电厂内制氢站电气防爆设计策略的探讨,能够在原有的防爆设计体系基础上进行有效的提升和优化,发现存在的不足及时解决。 展开更多
关键词 发电厂内制氢站 电气防爆设计策略 分析与研究
下载PDF
基于高阶逻辑的定理证明方法及其对策的应用
9
作者 康漫 张杰 +1 位作者 李晓娟 关永 《计算机应用与软件》 2017年第11期6-12,共7页
定理证明是形式化验证的主要方法之一,其中定理证明器的使用是难点。为了提高证明效率,论述HOL4系统中主要的三种证明方法:支持高级证明步骤。自动推理和化简器,为定理的证明提供了一个完整而通用的理论框架。详细说明了以上三种证明方... 定理证明是形式化验证的主要方法之一,其中定理证明器的使用是难点。为了提高证明效率,论述HOL4系统中主要的三种证明方法:支持高级证明步骤。自动推理和化简器,为定理的证明提供了一个完整而通用的理论框架。详细说明了以上三种证明方法的相关对策的功能和应用环境,并为应用中可能出现的问题提出解决方案。给出的对策应用实例不仅体现了三种方法中相关对策的实用性,还进一步表明了提出解决方案的有效性。 展开更多
关键词 定理证明方法 形式化验证 定理证明器 证明方法 对策
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部