中小学思维教学的深化研究,本文主要内容关键词为:中小学论文,思维论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:G633.7文献标志码:A文章编号...
马德仲[1]2015年在《基于贝叶斯网络和多源信息构建可靠性分析模型方法研究》文中认为可靠性是标示产品技术水平的重要指标。提高产品可靠性水平是提升制造业核心竞争力的关键。可靠性分析是产品可靠性设计的重要依据,是提高产品可靠性水平的根本措施。传统的可靠性分析方法对复杂系统中普遍存在的描述事物的多态性、...
黄任之[1]2004年在《大学生在不确定情景下的析取推理的实验研究》文中认为析取推理作为一种复合推理,国内学者已有研究,但在不确定情景下,析取推理的表现以及影响推理的因素研究较少,值得对此进行探索。本文设计了四个实验,考察大学生在不确定情景下,解决析取推理任务的思维特点及其影响因素。实验1主要考察了...
杨雪梅[1]2011年在《中学代数教学中培养学生数学直觉思维能力的策略研究》文中研究说明数学直觉思维能力在科学发现和创造发明中发挥着重要的作用.但是,长期以来,我国的数学教材和数学教学过分强调逻辑思维,相对忽视了对学生数学直觉思维能力的培养.在新课程改革背景下,这一事实已引起重视.那么,在中学的数学...
徐映[1]2004年在《手机对智能空间的普适访问》文中研究说明随着计算技术和通信技术的发展,兼有通信和计算能力的手机将无处不在。它将为人们提供各种方便的服务,但是价格和尺寸的限制决定了手机的硬件条件很难满足用户的需求。普适计算是继主机计算、桌面计算之后发展起来的一种新的计算模式。它最本质的特点是物理...
陈光[1]2004年在《基于推理算法无关性原则的组件管理系统》文中认为“智能化农业信息系统集成开发平台”课题属于国家高技术研究发展计划(863计划),课题开展以来一直面向农业信息化领域,该领域的研究一直是农业科技革命的先导。另外,在基于组件的软件开发中,开发人员利用已有的软件组件,通过集成组装以生成...
刘全,孙吉贵,于万钧[1]2005年在《基于tableau的自动推理技术综述》文中研究表明tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一。在提高系统效率方面,主要在相关技术和策略、理论和方法等方面进行了分析,并展望了未...
操召发[1]2004年在《基于模糊逻辑推理故障智能诊断系统及其仿真研究》文中提出本文研究了基于模糊逻辑推理(FuzzyLogicInference,简称FLI)的故障智能诊断系统(IntelligentFaultDiagnosisSystem,简称IFDS),包括系统的结构原理和组成、性质、建立步骤...
姚华堂[1]2004年在《往复式压缩机故障诊断专家系统知识库构建与系统实现》文中研究表明故障诊断专家系统具有综合多个专家的最佳经验、实现人—机联合诊断等优点,具有强大的生命力和广阔的应用前景。往复式压缩机是工业上应用量大面广的一种重要通用机械,针对其故障诊断的复杂性及其目前研究的现状,本文结合往复式...
胡健[1]2002年在《逆证推理与言语理解》文中认为逆证推理(abductivereasoning)这个术语是由美国符号学家皮尔斯(Peirce)首次明确提出的。他早年区分了叁种不同形式的逻辑推理:演绎(deduction)、归纳(induction)和逆证(abduction)。演绎推理的特点是能...
李必辉[1]2008年在《基于神经网络的销售分析预测研究与应用》文中研究表明在世界范围内,CRM(CustomerRelationManagement)自1997年以来一直迅速发展,成为了企业信息化建设的重要组成部分。同时CRM的广泛应用也积累了海量的客户数据。随着企业竞争得加剧,企业管理对决策支持...
江玲[1]2003年在《顺应—关联模式》文中进行了进一步梳理本文对语言交际模式作了尝试性研究,其目的在于阐明交际中语言的产生和理解。通过文献回顾,作者发现语码交际模式理论、会话含义理论、关联理论和顺应理论都没有很好地阐明语言交际的本质。基于Sperber&Wilson(1986,1995)提出的关联...
张少中[1]2003年在《基于贝叶斯网络的知识发现与决策应用研究》文中认为贝叶斯网络是概率理论和图论相结合的产物,它提供了一种自然的工具,可以用来处理贯穿于应用数学和工程中的两个问题。不确定性和复杂性。80年代,贝叶斯网络多用于专家系统中,成为表示不确定知识和推理问题的流行方法。随着近年来数据库规模...
任俊英[1]2003年在《论语言交际与语用推理》文中研究表明本文力图综合后期维特根斯坦提倡的使用论,奥斯汀、塞尔等人发展的言语行为理论,以及格莱斯所创立的会话含义说等成果,透过自然语言的指谓性和交际性去研究自然语言中的推理。自然语言具有表达和交际两种职能,其中交际职能是自然语言最重要的职能,是它的生...
汤晓凌[1]2005年在《集合论等式型定理机器证明系统的研究与开发》文中研究说明定理机器证明的研究已有将近50年的历史,并已经在数理逻辑、初等代数和几何学等学科取得显着成功。关于集合论的定理机器证明研究,有关文献报道用布尔代数的方法可以把集合论的定理证明问题转化为代数问题,但是这类问题的可读证明方法...
谢萍[1]2003年在《数据融合技术研究演示性C3I数据融合方案分析》文中指出C3I(Command,Control,CommunicationandIntelligence)意指“指挥、控制、通信与情报”。由于C3I系统在现代高技术战争中能帮助人们驾驭信息和武器两要素,使军队的战斗力获得最大限度的...
陈学军[1]2005年在《基于TS模糊模型的二级倒立摆系统仿真研究》文中提出针对复杂非线性系统的表达和控制问题一直是控制理论界的难题之一。作为一种表述方法和控制手段,模糊逻辑理论得到了大家的共同关注。本文介绍了基于Takagi—Sugeno(TS)模糊模型的非线性系统建模和控制器设计的理论。首先介绍...
赵伟[1]2003年在《地区电网故障诊断与报警分析的研究》文中认为在现代化社会中,电力用户对电力可靠性和供电质量的要求越来越高,然而电力系统特别是地区电网的故障却是不可避免的。为了快速消除故障,确保系统安全稳定运行,增强供电的可靠性和连续性,以及快速实现地区电网的故障定位和故障类型识别,以便于检修和...
刘忠义[1]2003年在《电气设备故障诊断专家系统通用开发平台研究》文中指出本课题是在我目前进行的科研课题“潜艇雷达故障诊断仪”的基础上提出的,将研究内容定位在“电气设备故障诊断专家系统通用开发平台”上,以“现场和快速诊断”为研究目标,旨在提高电气设备故障诊断专家系统的开发速度,缩短故障诊断系统的研...
陈树伟[1]2005年在《基于格蕴涵代数的格值一阶逻辑L_(vfl)中的不确定性推理研究》文中研究说明不确定性推理是人工智能研究领域中一个重要的研究方向,在逻辑的框架下研究不确定性推理是一种科学的研究方法。格值逻辑是一种重要的非经典逻辑,它不仅能刻画全序性信息,而且还能刻画非全序(即不可比较)的不确...