逻辑程序相关论文
由于科学方法对科学发现具有独特的认识功能,对学科教学具有重要的教育功能,因此,我们倡导以科学方法为中心组织物理概念教学,并提......
本文介绍了宣钢氧气厂7号空压机仪控系统节能优化改造项目的实施原因,并对具体改造实施方案进行了解读。该项目是在原ABB控制系统的......
知识表示和推理(Knowledge Representation and Reasoning,KRR)是人工智能核心研究内容之一,旨在为实现基于知识的智能系统提供知识......
使用UML模型图研发大型软件系统时,自动验证UML模型图的正确性十分重要。但现有的验证方法都局限于一个或两个UML模型图。提出一个......
机器人是智能计算机和自动化技术高度统一的产物。然而,现在使用的机器人。其感觉和应变能力远不尽人意。其原因有两点:一是制造......
一 问题要难易适度,提问要先易后难。提问不仅要考虑学生的知识结构、教材的逻辑程序,同时,还要考虑学生的年龄特点与力所能及的......
有人问你有几个脑袋,你一定回答,一个。不错,一个人只有一个脑袋,但是,一个脑袋的内部却分两个半球,它们各司其职,分工合作。不是吗,如果大......
我国正进入一个实现经济建设战略目标的系统规划阶段.本文作者根据近年来规划实践的体会,对系统规划方法论的若干总体问题,例如系......
数学的学科性质决定了它的知识体系具有很强的逻辑程序和结构,所以“求联”既是数学思想方法,也是探究新知、解决问题的重要策略。......
当蒸汽机带动的车轮奔驰到古老的东方,西方从此成为了世界的主角;当电力点亮了世界上第一个灯泡,人类可以在光明的长夜中隔洋倾述;......
逻辑推理是一种由已知的判断获得新的判断,从而增长新的知识的思维活动。它广泛地应用于数学中,数学中任何一个新命题的产生和问......
中国改革开放的三十多年是中国旅游业实践发展和旅游学科研究的三十年。旅游实践的复杂性和开放性催生了旅游学科研究的复杂性和开......
据《R.W.》1980年Vol.183,No3报导,美国Perkin-Elmer公司出售2280型原子吸收分光光度计,以替换280型。这种新型仪器是一种用微型......
关于个案服务,当下有不少社工都遭遇了“无个案可做”或“害怕做个案”的窘境。的确,与社区工作和小组工作相比,个案服务要复杂、......
逻辑程序设计所具有的许多突出的、独特的优点如严密、牢固的理论基础,简明易懂的语义,允许显式地表示知识,程序简洁等等,使得逻辑......
逻辑程序始于上世纪70年代初,来源于定理机器证明与人工智能的研究。在逻辑程序30年的发展中,它已经成为了人工智能领域中重要的一个......
近年来,有序逻辑程序被广泛应用于规划、诊断、行动推理等诸多领域。本文主要研究有序逻辑程序的回答集语义。文中首先通过对有序......
逻辑程序是知识表示和非单调推理研究的重要领域。本文的研究背景是包含否定的逻辑程序。论文介绍了逻辑程序语义研究的现状,综述了......
G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言,它是建立在多态多类一阶逻辑基础上的强类型语言。G(o)del语......
Godel语言是继Prolog语言之后出现的逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了......
随着企业信息化发展,业务系统在企业和机构中的应用越来越广泛。全局流程集成平台(Global Business Process Integration Platform,......
介绍美国Rouge钢公司电炉车间的两台200t电弧炉控制系统改造的经验和效果。改造后炉子绝大多数动作都集中由逻辑程序控制器进行,......
国有企业改革思维的误区——谈谈经济学的假设宋德安对一门科学而言,假设无疑具有重要意义,尽管人们通常无法否定或证实假设,但从一似......
选择由应用技术委员会(ATC3-06)制定的暂行抗震设计条款,用以阐明一个实际规范如何能够用逻辑程序系统编成专家系统。该专家系统......
一、创造性想象在情报研究中的作用: 创造性想象是情报研究活动中普遍而经常使用的一类方法,同时又是在情报研究方法的讨论中常常......
情报调研贯串情报工作始终.情报调研的逻辑程序为:但是,情报调研的项目应该怎样确定?情报调研的各个阶段应该怎样划分?各个阶段的......
X线机在不断更新换代,电路结构也越来越复杂。常规检查故障是先观察故障现象,分析测量电路等,检修时比较费时。有些故障需多次试......
小学数学课本是教师教学的基本素材,是学生获取知识、技能的主要源泉,是完成教学任务的物质基础。数学课本中的内容是按照数学知......
合情推理是指在解决问题过程中,根据经验进行猜测和推导的一种思维过程.表面上看,在解决问题时的合情推理的特征是不按逻辑程序去......
小学数学教学不是单纯的交给学生数学知识,对学生进行思维训练更重要。数学思维的方法有比较、分析、综合等。教学中,应结合教学内......
一、分析关系,明思路,培养思维的逻辑性数学解决问题的教学,是小学数学对学生进行逻辑思维能力培养的主要渠道之一。因为数学解决......
目标就是指决策者在一定环境和条件下,通过决策和决策的实施要想达到的境地或标准。它有三个特点:第一,可以计量其成果;第二,可以......
社会主义市场经济新体制的建立,给传统的思想政治工作提出了一系列新的课题。改进思想政治工作,使其适应市场经济新体制的需要,有......
本文讨论利用Petri网实现逻辑问题的推理,首先介绍了逻辑问题的Petri网模型描述方法,并举例说明了利用矩阵演算实现推理的算法。Petri网的研究与利用......
为了明确安全协议分析和验证中所必需的参与者个数的上确界,改进了基于Horn逻辑的踪迹模型,在该模型中增加了策略向量,描述了攻击......
数学思想是指在解决数学问题的过程中所使用的思维过程和逻辑程序,数学思想贯穿数学学习过程始终,只要接触数学知识就涉及数学思想......
本文介绍一种新型的多功能气动逻辑程序控制装置的原理、结构和应用。程控装置的核心程序器,在线路上有所发展,它的每个程序单元有......
《设计方法学》突破了传统的设计方法,用系统工程理论、价值工程学等分析设计过程、逻辑程序及设计方法,使设计人员能够高效率、......
教学活动一直被许多外行人视为一种熟练工种,其实它是一项科学性极强的工作。行政教学作为教学中的一种,既不同于国民教育的教学,......
写文章,无论是叙事或发议论,都要写得简练。现在提倡文章要写得短,短就要求简练。把比较复杂的意思用最短的篇幅写出来,这不是很容......