期刊文献+
共找到225篇文章
< 1 2 12 >
每页显示 20 50 100
基于Bookmark标准设定方法的数学演绎推理能力表现研究
1
作者 郝连明 梁海丽 綦春霞 《数学教育学报》 北大核心 2024年第3期28-33,70,共7页
为了深入分析八年级学生的数学演绎推理能力表现情况,了解不同性别、不同学校地域学生的表现差异.通过Bookmark方法开展标准设定,基于IRT技术获得学生数学演绎推理能力表现的水平比例.结果显示,有30%的学生达到最高水平,有超过17%的学... 为了深入分析八年级学生的数学演绎推理能力表现情况,了解不同性别、不同学校地域学生的表现差异.通过Bookmark方法开展标准设定,基于IRT技术获得学生数学演绎推理能力表现的水平比例.结果显示,有30%的学生达到最高水平,有超过17%的学生处在低水平,尚未达到课程标准要求.总体表现中女生成绩略好于男生,但在水平分布上呈现明显差异性,女生较男生更稳定.城市和县镇学生的能力表现明显好于农村地区学生,3类地域的学生水平分布也呈现明显不同,农村地区高水平人数比例最低,且不合格水平人数比例高于高水平学生比例.结果表明需要关注数学演绎推理能力在性别、地域上的表现差异,教育测量评价研究中开展标准设定工作对测评结果分析有重要作用. 展开更多
关键词 BOOKMARK 标准设定 演绎推理 推理能力
下载PDF
大学生化工设计竞赛文档专项评分分析
2
作者 王枢 陆群 李羿 《广东化工》 CAS 2024年第12期232-233,231,共3页
对全国大学生化工设计竞赛西南赛区近三年决赛的设计文档专项评分进行了详细分析。对文档专项评分各分项,可行性报告、初步设计说明书、设备设计文档的基本情况、得分情况、扣分情况、扣分主要理由、申诉情况进行了分析。有助于参加化... 对全国大学生化工设计竞赛西南赛区近三年决赛的设计文档专项评分进行了详细分析。对文档专项评分各分项,可行性报告、初步设计说明书、设备设计文档的基本情况、得分情况、扣分情况、扣分主要理由、申诉情况进行了分析。有助于参加化工设计竞赛的同学培养创新思维和工程技能,针对文档撰写的常见错误进行修改,提高设计文档的质量。 展开更多
关键词 化工竞赛 设计文档 评分分析 扣分理由 申诉情况
下载PDF
基于正向解析式和多目标博弈优化算法的复杂装备体系优化设计方法
3
作者 丁伟 明振军 +2 位作者 王国新 阎艳 禹磊 《兵工学报》 EI CAS CSCD 北大核心 2024年第6期1974-1990,共17页
针对复杂装备体系(Complex Equipment System-of-systems,CES)优化设计中指标变量多、仿真依赖性强、易陷入局部最优的问题,提出一种基于正向解析式和多目标博弈理论(Multi-Objective Game Theory,MOGT)优化算法的CES优化设计方法。为提... 针对复杂装备体系(Complex Equipment System-of-systems,CES)优化设计中指标变量多、仿真依赖性强、易陷入局部最优的问题,提出一种基于正向解析式和多目标博弈理论(Multi-Objective Game Theory,MOGT)优化算法的CES优化设计方法。为提升CES优化设计的可解释性,构建任务级—能力级—装备级的评估指标体系;在此基础上,基于装备机理和效用函数表征装备评估指标与作战能力之间的正向映射关系,并利用相邻优属度熵权法计算各指标权重;通过正向解析式与约束条件建立多目标优化模型,并采用MOGT优化算法获得最佳优化结果。以某作战推演平台中防空攻防想定为例,开展算例评估与验证分析。研究结果表明,该方法能够实现CES中最优设计方案的求解,可显著提高设计效率和降低设计成本,为下一代装备发展论证、设计评估和作战试验提供了基础性工作。 展开更多
关键词 复杂装备体系 正向优化设计 多目标博弈理论优化算法 相邻优属度熵权 作战推演仿真
下载PDF
徐州地区380例ABO正反定型不符的回顾性分析
4
作者 李艳 周丽玲 马肇泽 《中国当代医药》 CAS 2024年第23期120-123,128,共5页
目的探讨徐州地区380例ABO正反定型不符的原因。方法整理2011年1月至2022年12月徐州市红十字血液中心输血研究科实验室为ABO正反定型不符的实验记录,通过分析受检者临床资料及ABO血型检测情况,对导致ABO正反定型不符的原因进行分类总结... 目的探讨徐州地区380例ABO正反定型不符的原因。方法整理2011年1月至2022年12月徐州市红十字血液中心输血研究科实验室为ABO正反定型不符的实验记录,通过分析受检者临床资料及ABO血型检测情况,对导致ABO正反定型不符的原因进行分类总结。结果共380例ABO正反定型不符记录,主要的原因包括自身抗体干扰151(39.74%)例,意外抗体干扰77(20.26%)例,ABO亚型77(20.26%)例,疾病导致的抗原减弱27(7.11%)例,蛋白凝集干扰19(5.00%)例;151例自身抗体干扰ABO正反定型中,导致额外抗原反应38(25.17%)例,导致额外抗体反应69(45.70%)例,导致额外的抗原反应和额外的抗体反应44例(29.14%);77例意外抗体干扰ABO正反定型中,MNS血型系统抗体42(54.55%)例,Rh血型系统抗体15(19.48%)例,P1Pk血型系统抗体3(3.90%)例,Lewis血型系统抗体1(1.30%)例,特异性不明的意外抗体16(20.80%)例。结论导致本地区ABO正反定型不符主要原因为自身抗体干扰、意外抗体干扰、ABO亚型,其中自身抗体能导致ABO正反定型不符表现出不同的类型,检测时要加以鉴别,保证ABO血型鉴定的准确性。 展开更多
关键词 ABO血型 正反定型不符 主要原因 回顾性分析
下载PDF
一种智能模型的实现方法
5
作者 陈昆良 《工业控制计算机》 2024年第8期59-60,共2页
存在是个动态的过程,当不表达生存时,就是表达毁灭,存在的过程就是生命周期。生命周期也是动态的,表达为一种实现过程,实现的过程涉及的活动就是状态的系列。以此可以看清这个世界,包括物质的、智能的,智能的也许只是逻辑化了这个过程... 存在是个动态的过程,当不表达生存时,就是表达毁灭,存在的过程就是生命周期。生命周期也是动态的,表达为一种实现过程,实现的过程涉及的活动就是状态的系列。以此可以看清这个世界,包括物质的、智能的,智能的也许只是逻辑化了这个过程而已。 展开更多
关键词 归纳推理 演绎推理 存在
下载PDF
大型卫星地面站故障诊断的增强分层有向图方法 被引量:2
6
作者 李井源 周蓉 +1 位作者 刘增军 孙广富 《国防科技大学学报》 EI CAS CSCD 北大核心 2023年第1期15-24,共10页
为了解决传统分层有向图模型在卫星地面站故障诊断面临的问题,提出了基于增强分层有向图模型的故障诊断方法。在建模过程中,考虑到卫星地面站故障征兆多、建模复杂,依据各设备工作状态的故障传播方式合并同类节点,以减小模型规模;同时,... 为了解决传统分层有向图模型在卫星地面站故障诊断面临的问题,提出了基于增强分层有向图模型的故障诊断方法。在建模过程中,考虑到卫星地面站故障征兆多、建模复杂,依据各设备工作状态的故障传播方式合并同类节点,以减小模型规模;同时,在模型中加入节点有效性使能函数,克服传统分层有向图模型中设备主备切换导致系统结构发生改变时需要重新建模的问题。在故障诊断推理过程中,采用反向回溯和正向推理相结合的方法减小故障源搜索空间,并基于各节点被搜索次数给出故障概率,提高诊断效率。以北斗卫星无线电测定业务地面站为例对单故障和多故障报警场景下的故障诊断方法进行了验证。结果表明,基于增强分层有向图模型的故障诊断方法可以提高故障诊断的准确率和全面性。 展开更多
关键词 故障诊断 分层有向图 反向回溯 正向推理 故障隔离
下载PDF
法律证成的绝对论与怀疑论——从“幼稚演绎主义”到可废止主义 被引量:3
7
作者 宋旭光 《经贸法律评论》 2023年第4期62-75,共14页
明希豪森三重困境(即无限倒退、循环论证、主观断然终止),并不是怀疑理性证成之可能的充分根据。如果我们放弃幼稚的演绎主义证成观念,承认法律论证的可废止性,那么这种困境的出现就可以被看作是法律证成本身的特征。法律规则的证成力... 明希豪森三重困境(即无限倒退、循环论证、主观断然终止),并不是怀疑理性证成之可能的充分根据。如果我们放弃幼稚的演绎主义证成观念,承认法律论证的可废止性,那么这种困境的出现就可以被看作是法律证成本身的特征。法律规则的证成力量是有限的,它不能为每一案件决定性地提供唯一正解。法庭上的论辩说理依赖于法律程序、过程和论据,是随着论据的不断出现以及角色的不断互换,各方主张不断得到巩固或被动摇的动态对话过程。 展开更多
关键词 裁判说理 演绎推理 动态对话 可废止性 法律证成
下载PDF
基于实例推理的复杂产品设计协同研究 被引量:1
8
作者 岳继光 陶伟 +2 位作者 崔哲昕 吴琛浩 王萍 《中国工程机械学报》 北大核心 2023年第4期283-287,共5页
高效、高质量确定复杂产品初步设计模型是缩短产品研发周期的关键,本文提出了一种基于改进皮尔森相似度实例推理的复杂产品设计协同方法。基于复杂产品多学科知识及产品单体库,构建了复杂产品多领域模型。根据复杂产品需求模型的性能指... 高效、高质量确定复杂产品初步设计模型是缩短产品研发周期的关键,本文提出了一种基于改进皮尔森相似度实例推理的复杂产品设计协同方法。基于复杂产品多学科知识及产品单体库,构建了复杂产品多领域模型。根据复杂产品需求模型的性能指标,采用基于改进皮尔森相似度的实例推理,从多领域模型实例库中筛选复杂产品初步设计模型。为减少产品试样的“盲目性”,引入仿真推演与协同评价以获得初步设计决策。以平尾控制模拟系统为例,验证了所提方法的有效性,有助于缩短复杂产品研发周期。 展开更多
关键词 复杂产品多领域模型 实例推理 皮尔森相似度 仿真推演
下载PDF
基于子句活跃度和复杂度的多元动态演绎算法及应用
9
作者 林玲瑜 曹锋 +3 位作者 易见兵 方旺盛 李俊 吴贯锋 《计算机工程与科学》 CSCD 北大核心 2023年第12期2256-2264,共9页
一阶逻辑自动定理证明是知识表示与自动推理领域重要的研究内容,如何有效选取子句参与演绎是提升自动推理能力和效率的研究热点。基于多元动态演绎良好的演绎特性,通过分析子句的变元项性质和函数项结构,提出了一种子句活跃度和复杂度... 一阶逻辑自动定理证明是知识表示与自动推理领域重要的研究内容,如何有效选取子句参与演绎是提升自动推理能力和效率的研究热点。基于多元动态演绎良好的演绎特性,通过分析子句的变元项性质和函数项结构,提出了一种子句活跃度和复杂度的度量与计算方法,能很好地对不同项结构的子句进行有效评估;基于该子句评估方法,提出了一种子句充分协同演绎的多元动态演绎算法,能有效优化多元演绎搜索路径。将该多元动态演绎算法应用于国际顶尖证明器Eprover 2.6中,以2021年国际自动推理FOF组竞赛例为测试对象,在标准的300 s测试时间内,加入了多元动态演绎算法的Eprover 2.6相比原始Eprover 2.6多证明定理4个,在证明定理总数相同的条件下,平均证明时间减少了1.12 s;能证明Eprover 2.6未证明定理16个,占未证明定理总数的15.1%。实验结果表明,该多元动态演绎算法是一种有效的推理方法,能在一定程度上提升自动定理的证明能力和时间效率。 展开更多
关键词 一阶逻辑 定理证明 自动推理 多元动态演绎 子句评估
下载PDF
帮信罪中非法资金认定规则的构建
10
作者 杨丽 赵晨伊 《上海公安学院学报》 2023年第6期28-33,共6页
在帮助信息网络犯罪活动罪中,因网络犯罪行为较为隐秘、银行流水走向复杂等特点,对于非法资金存在综合认定方式应用障碍、刑事推定正当性有待探究、刑事推定具体规则有待明确等困境。对此,需完善非法资金的证明责任分配方法,对非法资金... 在帮助信息网络犯罪活动罪中,因网络犯罪行为较为隐秘、银行流水走向复杂等特点,对于非法资金存在综合认定方式应用障碍、刑事推定正当性有待探究、刑事推定具体规则有待明确等困境。对此,需完善非法资金的证明责任分配方法,对非法资金认定可以采用刑事推定,但应当确立控方承担兜底证明责任、辩方承担产生“合理怀疑”说明义务的基础规则。帮信罪中的非法资金认定规则,包括:单向流水确定规则、综合认定时点规则、多重比对剔除规则、资金混同区分规则。通过这四项具体规则,避免数额认定的恣意性。 展开更多
关键词 帮信罪 非法资金 推定 合理怀疑
下载PDF
论归纳与演绎的互动关系——从盖梯尔问题切入
11
作者 刘博源 刘晓山 《江西科技师范大学学报》 2023年第1期56-62,共7页
盖梯尔问题提出至今,引发了哲学界关于知识论的热烈讨论,推动了对知识的多维辨析。但值得注意的是,盖梯尔问题整体的论证和举例均存在逻辑的非贯通性和分析的模糊性,其中,关于演绎推理方式的滥用是最为关键的因素。而从方法论角度审视,... 盖梯尔问题提出至今,引发了哲学界关于知识论的热烈讨论,推动了对知识的多维辨析。但值得注意的是,盖梯尔问题整体的论证和举例均存在逻辑的非贯通性和分析的模糊性,其中,关于演绎推理方式的滥用是最为关键的因素。而从方法论角度审视,明晰归纳与演绎两者不可替代和互相补充的二维关系是掌握分析工具,重新理解盖梯尔问题的有利侧面。充分把握两者的互动关系可分别从知识论和方法论层面促进推理方式之独立价值和本体价值的实现。 展开更多
关键词 盖梯尔问题 演绎推理 归纳推理 互动关系
下载PDF
A LINEAR FORWARD REASONING ALGORITHM BASED ON KNOWLEDGE SORTING
12
作者 吴信东 《Chinese Science Bulletin》 SCIE EI CAS 1991年第18期1574-1577,共4页
In the basic forward reasoning algorithm, each 3-phase "matching—conflict resolution—action" cycle deals with the matching problem of every piece of knowledge in a knowledge base with context or database. ... In the basic forward reasoning algorithm, each 3-phase "matching—conflict resolution—action" cycle deals with the matching problem of every piece of knowledge in a knowledge base with context or database. But the successful matching of a piece of knowledge with context does not always mean its immediate action. A piece of knowledge may fail 展开更多
关键词 forward INFERENCE PARTIAL order RULE representation LINEAR reasoning algorithm.
原文传递
基于不同粒径生态滤料的处理池设计方案优化研究
13
作者 刘军 郝聪 +3 位作者 朱文 张帆 马胜 迟晨曦 《交通节能与环保》 2023年第4期110-114,共5页
本研究以探索适合生态滤料新材料的处理池设计方案为目标,通过分析目前常用处理池方案的优缺点,并结合生态滤料新材料的特性和实验室数据进行设计方案研究,最终形成一套包含桥位选择、池容设计、池体工艺研究、池体结构设计等方面的生... 本研究以探索适合生态滤料新材料的处理池设计方案为目标,通过分析目前常用处理池方案的优缺点,并结合生态滤料新材料的特性和实验室数据进行设计方案研究,最终形成一套包含桥位选择、池容设计、池体工艺研究、池体结构设计等方面的生态滤料新材料处理池系统性设计方案,帮助实现祁婺高速长滩大桥桥面初期径流处理设计落地,也为其他项目提供有益借鉴。 展开更多
关键词 环境工程 设计方案 归纳与演绎法 生态滤料处理
下载PDF
Deductive Reasoning
14
作者 林自新 《中学生数学(初中版)》 2006年第19期41-,共1页
There are two types of reasoning in mathematics:inductive and deductive reasoning.You have been using inductive reasoning by observing patterns and making conjectures about your observations.This is the creative,inv... There are two types of reasoning in mathematics:inductive and deductive reasoning.You have been using inductive reasoning by observing patterns and making conjectures about your observations.This is the creative,investigative form of reasoning that mathematicians use most often.In the coming chapters,you will take a look at other fom of reasoning,deductive reasoning,to see if your discoveries are logically consistent. 展开更多
关键词 deductive reasoning
原文传递
Deductive Reasoning
15
《中学生数学(初中版)》 2006年第6期41-,共1页
We use inductive reasoning in everyday life. Many of the conjectures that come from this kind of thinking seem highly likely, although we can never be absolutely certain that they are true. Another method of reasoning... We use inductive reasoning in everyday life. Many of the conjectures that come from this kind of thinking seem highly likely, although we can never be absolutely certain that they are true. Another method of reasoning, called deductive reasoning, or deduction, can be used to prove that some conjectures are true. Deductive reasoning is the process of proving a specific conclusion from one or more general statements. A conclusion that is proved true by deductive reasoning is called a theorem. 展开更多
关键词 deductive reasoning
原文传递
The Further Application Of Inductive Reasoning And Deductive Reasoning
16
《中学生数学(初中版)》 2006年第8期41-,共1页
Now we have a good understanding of inductive reasoning and deductive reasoning. In order to put them into practice, we should do some exercises. Practice Exercises Which reasoning process is shown in the following ex... Now we have a good understanding of inductive reasoning and deductive reasoning. In order to put them into practice, we should do some exercises. Practice Exercises Which reasoning process is shown in the following example? Explain your answer. 1. We examine the fingerprints of 1000 people. No two individuals in this group of people have identical fingerprints. We conclude that for all people, no two people have identical fingerprints. 展开更多
关键词 The Further Application Of Inductive reasoning And deductive reasoning
原文传递
中小学数学中的归纳推理:教育价值、教材设计与教学实施——数学教育热点问题系列访谈之六 被引量:38
17
作者 王瑾 史宁中 +1 位作者 史亮 孔凡哲 《课程.教材.教法》 CSSCI 北大核心 2011年第2期58-63,共6页
归纳推理使学生经历通过条件预测结果以及根据结论探究成因的过程,有利于数学的发现,是形成创造能力的根本。本质上说,类比、统计推断都是归纳推理。对归纳推理,课程设计和教学的原则如下:从具体的数字出发在计算的过程中让学生感... 归纳推理使学生经历通过条件预测结果以及根据结论探究成因的过程,有利于数学的发现,是形成创造能力的根本。本质上说,类比、统计推断都是归纳推理。对归纳推理,课程设计和教学的原则如下:从具体的数字出发在计算的过程中让学生感悟运算的道理是根本思路;掌握从具体问题入手进行运算的方法,积累正确思考数学问题的经验是根本目的。 展开更多
关键词 归纳推理 演绎推理 创新能力 课程与教学
下载PDF
足球机器人决策系统推理模型 被引量:38
18
作者 吴丽娟 张春晖 徐心和 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2001年第6期597-599,共3页
介绍了足球机器人系统的组成及决策系统的六步推理模型和四层决策结构 ,并用人工智能的状态空间表示方法将比赛场上瞬息万变的态势 ,通过选择少量的有代表性的离散状态构成状态空间 ,根据系统完成的任务 ,为机器人确定有限的动作集合 ,... 介绍了足球机器人系统的组成及决策系统的六步推理模型和四层决策结构 ,并用人工智能的状态空间表示方法将比赛场上瞬息万变的态势 ,通过选择少量的有代表性的离散状态构成状态空间 ,根据系统完成的任务 ,为机器人确定有限的动作集合 ,使积累的知识程序化 ;通过决策系统的正向推理 ,使每个机器人选择合适的动作 ,以命令的形式输出机器人的左右轮速 ,实现对系统的实时控制· 展开更多
关键词 足球机器人 状态空间 动作空间 正向推理 决策系统 推理模型 人工智能
下载PDF
模糊故障Petri网建模方法及其应用 被引量:16
19
作者 黄敏 林啸 侯志文 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第1期208-215,共8页
为克服模糊Petri网和故障Petri网在模拟故障传播、诊断和推理过程中的不足,提出模糊故障Petri网的概念及其建模方法,分一因一果、一因多果、多因一果和竞争模式4种情况定义变迁发生的规则和后果,以此模拟系统的动态运行过程,反映故障传... 为克服模糊Petri网和故障Petri网在模拟故障传播、诊断和推理过程中的不足,提出模糊故障Petri网的概念及其建模方法,分一因一果、一因多果、多因一果和竞争模式4种情况定义变迁发生的规则和后果,以此模拟系统的动态运行过程,反映故障传播的固有特性。将模糊故障Petri网的建模方法应用于故障推理与诊断,提出将正向推理和反向推理相结合,并给出相应的推理算法,用泵站机组压力不足的实例加以验证。研究结果表明:该方法既能模拟故障传播过程,又能进行模糊推理,实用性强。 展开更多
关键词 模糊故障Petri网 正向推理 反向推理
下载PDF
中学数学证明的教育价值——数学教育热点问题系列访谈之四 被引量:13
20
作者 史宁中 郭民 《课程.教材.教法》 CSSCI 北大核心 2007年第7期23-27,共5页
几何证明在本质上是一种方法论,学生学习欧氏几何、经过这种论证方法的训练是很有益处的。数学教学必须尊重学生身心发展的规律,有关逻辑推理的数学教学不能出现得太早。小学阶段主要是认同;初中阶段可以逐渐建立概念以及在此基础上... 几何证明在本质上是一种方法论,学生学习欧氏几何、经过这种论证方法的训练是很有益处的。数学教学必须尊重学生身心发展的规律,有关逻辑推理的数学教学不能出现得太早。小学阶段主要是认同;初中阶段可以逐渐建立概念以及在此基础上的逻辑推理,但必须有物理背景;到了高中,才可以逐步渗透形式化的概念以及在此基础上的逻辑推理。过分强调演绎逻辑的数学教学,是不利于创新人才培养的。归纳推理有利于发现新的命题,是培养创新型人才所必需的。 展开更多
关键词 数学证明 欧氏几何 演绎推理 归纳推理
下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部