计算机科学的逻辑基础

对数理逻辑在计算机科学发展过程中的作用进行了评述，指出可计算性理论、图灵机数学模型为电子数字计算机的发明奠定了基础；开关电路、时序电路、自动机是网络理论的应用与发展；计算复杂性是递归论的具体应用；形式语言是一阶逻辑的深化；程序正确性证明了应用了模态逻辑；Ｈｅｒｂｒａｎｄ定理和范式定进是机器证明的理论基础。     

吴文俊消元法及其在非线性偏微分方程求解中的应用

本文简要介绍近年新发展的一种求解非线性代数方程组的理论方法——吴文俊消元法及其在非线性偏微分方程准确解研究中的应用范例。吴方法已在定理机器证明以及数理科学、系统科学、计算机科学等领域的前沿课题和高新技术的研究中获得了成功的应用，它有着广阔的应用潜力和发展前景。     

文科生高等数学教学方法研究与实践

高等数学是高等院校一门重要的基础课程,具有高度的抽象性、严密的逻辑性和广泛的应用性,对提高文科学生的思维能力和科学素养大有裨益.然而,也正是它的高度抽象性,给初学者,特别是文科学生的学习带来了不小的挑战.研究提出实际案例结合理论分析的授课方式,旨在激发学生的学习兴趣,真正实现培养学生科学探索精神和理性思维能力,提高文科学生综合素质的教学目标.     

汽车自动控制装置诊断系统

汽车诊断系统可衡量汽车性能,对于汽车的良好运行起到重要作用。而针对汽车自动控制装置的诊断系统则直接影响汽车运行的稳定性,所以要充分重视汽车自动控制装置部分的诊断系统研究,提高其诊断水平。本文先介绍汽车自动诊断系统的工作原理,之后详细介绍汽车自动控制装置诊断系统的运行策略,最后探讨未来汽车诊断系统的发展趋势,以全面促进诊断系统的发展。     

太阳能利用与建筑一体化

太阳能作为一种清洁能源,取之不尽、用之不竭以其诸多方面的优越性受到越来越多人的青睐。太阳能技术正在被越来越广泛的推广应用到建筑设计中,太阳能利用已成为低碳环保建筑的重要组成部分,太阳能与建筑一体化设计这项新的课题引起了社会各界的高度关注和重视,科研机构、高等院校、太阳能开发等部门积极地在工程实践中探索,我们相信随着科技的发展,太阳能必将得到更加科学的研究与开发和广泛的普及与应用,造福民众。     

论数理逻辑的发展及其对数学基础的促进

逻辑学和数学都是高度抽象的科学,都是以对现实的摹写的思想事物作为自己的研究对象的,数理逻辑是这两门科学的的共同产物,是在纯粹的状态中数学地研究思维的某些规律,是研究推理与计算规律的科学。 数理逻辑的探索研究,是从十七世纪末叶开始的,到现在已有三百年的历史。在这段历史进程中它也同其他科学一样,是应科学与实践的需要,按照人类的认识规律逐渐形     

带着妖气的“科学”

科学史的常识告诉我们，科学是一种系统化、理论化的知识体系，也是人类不断地探索真理的一种认识活动，同时，科学还是一种文化意识形态的社会建制。在现代文明社会里，科学作为知识体系，它具有逻辑的连贯性和系统性；科学作为一种认识活动，它具有阶段性和连续性，科学从来都不承认有终极的真理，它是不断地发展、不断地深化的；科学作为一种社会建制，它是现代文化的一个重要组成部分。自然科学史告诉我们，科学的产生，可以说和人类的历史一样古老，在人类诞生的时候，科学可以说是与人类的进步同时向前发展的。对科学的认识如此真真切…     

控制论与田径训练

控制论是研究机器和生物中的控制与通信的科学。它作为一门新兴的科学与方法论,已经在军事、工业和科学研究中开始发挥其特殊作用。同时,在现代技术的基础上对生物机体的一些生理机制的研究也受到重视,从这一点出发,将控制论的方法用于体育运动训练的研究已在一些国家开展起来。在我国运用控制论大多是研究教学,而用控制论研究训练还是很少的。     

《科学技术史》课程在素质教育中的作用

十多年来，我们在《科学技术史》选修课中，不仅讲述科学史实、科学事件、科学知识；更着力揭示、体现科学精神、科学思想和科学世界观的孕育发展过程；还简述科学手段、科学方法的革新和更替的历程，着眼于科学精神在人类社会发展中的功能与作用。这些对培养学生的科学思想和科学观念，对提高学生的科学素质起到重要作用。 一、课程建设 《科学技术史》选修课，受到历届学生的欢迎和学院的支持，二千多人选修此课，平均每年有两百多名学生受到了科学技术史方面的教育，在教学进程中，我们在教材建设、教学内容、教学方法等方面作了一些探索…     

大力实施“科教兴宛”战略 加快南阳经济社会快速协调发展

南阳是伟大的科学泰斗张衡的故乡。1988年,在小平同志“科学技术是第一生产力”论断的指引下,南阳在全省率先提出了“科技兴宛,教育为本”的发展战略,在科技与经济的结合上进行了不懈的努力和探索。十几年来,南阳历届党委、政府一任接着一任干,一张蓝图绘到底,坚定不移地深化推     

高等教育确立双重目标是历史发展的必然

随着科学技术的发展和我国社会主义市场经济体制的建立，我国高等教育确立了科学教育和人文教育的双重目标。在这样的背景下，高等教育在世纪之交，从办学体制、培养目标、教学体制、招生分配体制、内部管理体制等方面，正进行着深刻的变革与探索，以满足新时期科学、经济和社会发展对高等教育以及其人才培养的需要。本文就高等教育确立科学教育和人文教育双重目标的必然性谈几点认识。一、中外高等教育培养目标的变化及反思西方高等教育发展史，大体上经历了这样一条道路：占绝对优势的古典文科教育——古典文科教育传统受到动摇、科学教育…     

新型秸秆粉碎还田机的设计

随着农村经济的发展,国家政策的积极引导,农民科学意识的提高,秸秆粉碎还田机械已被列为新开发的项目产品。该类机型的代表型产品４Ｑ－１－５型秸秆粉碎还田机设计中的几个主要数据确定谈一点浅见。一、性能指标生产率：６－１１亩／小时（玉米产量在５００ｋｇ／亩左右）。工作幅度：１－５米。粉碎长度：＜１００ｍｍ。粉碎质量合格率：≥９３％。留茬高度：０－８ｍｍ（可调）。机器可靠性：≥９５％。二、设计方案及主要工作参数的确定１、配套动力的选择。根据秸秆粉碎还田机动力消耗情况和田间玉米的自然成熟含水量,测算该机粉碎…     

多媒体电子地图辅助决策系统的技术与实现

地理信息技术是地理科学与信息技术交叉融合的产物．也是具有高度综合化和高度政治化的技术。从地图制作到城市监测、管理和规划,地理信息技术有发挥着十分重要的作用。目前,在我国,地理信息系统技术发展势头强劲,加上政府部门的正确引导,地理信息系统已经从初步发展时期的研究实验和局部应用阶段转实际操作和全面应用阶段。     

离心式压缩机组远程监控和诊断系统方案

本文简要介绍了由开封空分集团成套的唐山东华15 000Nm3/h空分设备离心式压缩机组远程监控和诊断系统构架,详细叙述了远程监控和诊断系统方案及其技术特点。     

兴建科学工业园是振兴高校的新路

<正> 随着新技术革命的兴起,高等学校的社会服务又有了新的发展,这就是世界各地陆续出现的以知识、技术、人才高度密集的科研、生产、教育密切结合为特征的各类联合体。科学工业园就是这类联合体的一种形式,它首先在科学技术发达的美国出现,50年代初,在斯坦福大学校园附近创建了美国第一个科学工业园,此后逐渐发展为今天拥有一大批高技术企业的举世闻名的“硅谷”。目前,美国已有80多处不同规模,不同发展水     

发展观创新 我国走向全面发展之路

党的十六届三中全会提出了以全面发展、协调发展和可持续发展为核心的科学发展观,这是从理论高度对发展的内涵进行的科学凝炼和创新。突出发展主题,坚持用科学发展观来统领执政兴国的“第一要务”,按“五个统筹”的思路来推进发展,是我们全面建设小康社会,实现中华民族复兴的必由之路。     

量子力学的形成与方法论

科学的方法论有现象论、实体论和本质论。现象论阶段是描述现象的自在阶段，实体论阶段是探索实体结构的自为阶段，本质论阶段则是研究实体相互作规律的自在自为阶段。在此，用科学的方法论来分析量子力学的建立、形成和发展的历程。     

推进企业科技进步的途径和作用

<正> 科技进步是社会生产发展的决定性因素。最近,邓小平同志在谈到经济发展时一再指出:科学技术是第一生产力;科学是了不起的事情,要重视科学,最终可能是科学解决问题。江泽民总书记指出:大力发展科学技术是实现我国“八五”计划和十年规划的关键,全党同志要把这个问题提到战略高度来认识。我们所说的科技进步,是一个广义的、综合效益的概念,是一种软投入。例如,通过产品更新、技术改造或革新,设备改造、产业和产品结构的调整、企业经营管理水平的提高,以及提高劳动者素质等途径来促进经济发展的都是科技进步。企业是科技进步的主战场。现在经济发展的主战     

档案工作激励机制研究

<正>在纪念十一届三中全会召开30周年大会上,胡锦涛总书记曾广泛征求影响档案事业科学发展的意见和建议。针对这一问题,从离退休的老档案人员到活跃在学术前沿的档案学理论专家,从基层档案工作者到高层档案决策者,不约而同,异口同声:档案事业的科学发展,关键在于人才。     

供电企业改革与发展中减人增效工作的思索

天时不如地利,地利不如人和。古往今来,人是最具活力的生产力发展的第一要素,人往往决定着事业的兴衰与成败。何为企业?企业由人组成,当"企"字少了"人",那将成为停止的"止"了,这就代表着企业的衰败、倒闭和死亡。《中共中央关于国有企业改革与发展若干重大问题的决定》由党的十五届四中全会通过,会议中将国有企业下岗分流、减人增效和再就业工作作为国有企业改革与发展的重要内容,并提升到了关乎国有企业生存和发展的战略高度。因此,电力企业将面临这一场改革与发展运动,持久开展减人增效工作。这一改革也将会在不断地探索实践中前行和深化。