计算机代数语言REDUCE 2

本文阐述了新兴的计算机代数语言 REDUCE_2,着重指出它与数值计算语言之间的差别。研究了计算机代数语言的关键概念和公式推导的方法,说明了如何使用REDUCE_2进行公式推导和证明恒等式。     

译者的话

随着计算机技术的发展,用计算机产生的人类语言和建立听觉系统,使之能听懂人们的语言和执行用语音指挥的动作,这是计算机应甩的一个新领域,称为计算机语音识别。它不仅是当前研究人工智能的重要组成部分,也是发展智能计算机一第五代计算机的重大课题之一,在国内外受到普遍重视。人类生活中最常见的交换信息方式是用自然语言进行说和听。语音识别的基本任务是实现人和计算机之间用自然语言进行对话,从而在语言学、通讯科学、声控系统和机器人等领域更广泛地开拓计算机应用。为此,特翻译《计算机语音识别》专辑,介绍目前国外计算机     

计算机网络软件功能及应用策略探究

对计算机网络软件的功能进行了概述,从安全角度分析了计算机网络软件存在的安全问题,对计算机网络软件的应用策略提出了几点看法.研究的目的旨在希望能够通过对计算机网络软件的分析,不断提高它的功能应.用,使它能够更好地为满足人类的物质需求和精神需求.     

非线性控制系统动态模式与跳变方程

本文论述了:状态方程不能表达非线性控制系统的跳变特性;应当引入表达跳变的状态量,补充跳变方程。研制控制系统时,按含有跳变方程的动态模式推导系统数学模型,用计算机进行仿真研究,可以在样机制成之前准确地了解实际特性、优化设计,有利缩短研制过程,节省费用。     

周期性可定实时并行进程的进化代数分析

对应用进化代数(EA),即目前的抽象状态机(AbstractStateMachine–ASM),描述可定时实时并行进程进行了研究,进化代数采用第一顺序逻辑(First-OrderLogic)定义或解释计算机问题,描述不同的抽象等级并且逻辑地描述计算机算法,因此非常适合描述并行进程复杂的运行过程,并逻辑地精确推导进程调度。     

对∫f(u(x))u(x)dx型积分算法的改进

研究用计算机进行数学公式处理是人工智能领域研究工作中的一个方面。目前国际上对它的研究已进入理论化、实用阶段,并成功地设计、实现了不少公式处理系统,广泛地应用于理论研究和科学实验中。我国也正在进行这方面的研究。文[2]介绍了一种对∫f(u(x))u'(x)dx型积分算法。本文对算法进行了改进和完善,并用PASCAL语言在IBM-PC微型机上实现了该算法。     

为多位使用者设置Windows

家用电脑系列进入２１世纪 ,人类比１９４６年出现第一部电子数字计算机以来的任何时期都更加依赖计算机。地球上几乎一切活动都被人们自觉不自觉地企图借助计算机来协助完成。人类已身处电脑遍布的时代。“家电”里也有“家用电脑”。计算机已是家中“宠物” ,家庭每个成员都离不开它。儿童 ,可以用它学写字 ,做数学题 ,画图 ,学外语生词与发音 ,玩游戏 ;学生 ,可以用它研究数理化 ,掌握新的学习方法 ;姑娘们可以用它帮助选择发型、服饰 ;小伙子们围着它 ,用它选择精彩的足球比赛或险象环生的警匪片 ;刚上班的年青人到网上“继续教育学校”…     

计算机解析推导积分核中积分与微商的处理方法

在复杂核相互作用的微观研究中,用双傅立叶变换和复生成坐标枝巧解析推导RGM核,均须完成积分与微商运算。我们采用了一种新的方法在计算机上自动实现了这一工作。     

探究分析计算机网络安全防范措施

伴随着计算机技术的发展,它已经被应用到社会工作的各个方面,但是与此同时计算机网络安全问题就显示出来了。怎样保证计算机在工作的时候对用户的信息进行保护是现代计算机技术研究的重要课题,只有使计算机中的信息得到保护,才能使计算机更好地为人们服务,更好地将计算机普及到人们生活的各个方面中去。     

模型检测技术和密码协议分析

1 引言密码协议是建立在密码体制基础上的一种交互通信的协议,它运行在计算机通信网或分布式系统中,借助于密码算法来达到密钥分配、身份认证等目的。目前密码协议已广泛应用于计算机通信网与分布式系统中,但密码协议安全性的论证仍是一个悬而未决的问题。九十年代以来,密码协议的形式化分析成为国际上的研究热点。这种方法的出发点是希望将密码协议形式化,而后借助于人工推导,甚至计算机的辅助分析,     

图形表自动生成程序

用图形表的方式绘制高分辩率图形,具有作图灵活,作出的图形动感效果好,并能以任意的方向进行旋转放大,所以它被广泛地使用在计算机辅助设计(CAD)以及计算机辅助教学(CAI)中,但由于编制图形的过程比较繁琐;如:首先     

周期性可定实时并行进程的进化代数分析

对应用进化代数（EA），即目前的抽象状态机（Abstract State Machine—ASM），描述可定时实时并行进程进行了研究，进化代数采用第一顺序逻辑（FirSt—Order Logic）定义或解释计算机问题．描述不同的抽象等级并且逻辑地描述计算机算法．因此非常适合描述并行进程复杂的运行过程．并逻辑地精确推导进程调度。     

名词解释

·混合计算机仿真(Hybrid computer simulation) 用模型来代替实物进行研究、试验的方法均可称为仿真。计算机仿真则是把实际系统的全部或部分的数学模型建立在计算机上来进行研究和试验。在宇宙飞船、导弹、飞机、原子能工业、化工过程等系统的研制过程中广泛地使用计算机仿真。混合机有快速、精确,易于     

物理化学教学程序(Ⅰ)—热力学公式应用条件程序

报道的程序是用AppleⅡ计算机的BASIC语言编成。它用英语对热力学公式的应用条件进行提问。有三种活动方式供选择:(1)由学生从屏幕上的公式中选取一个,让计算机提问;(2)由计算机选择公式;(3)学生认定一个公式,计算机根据学生的回答把它猜出。     

一种计算机数据取证有效性的证明方法

简述计算机数据取证的基本要求,给出一种计算机数据取证有效性的证明系统,对电子数据取证有效性理念及其体系进行研究。通过对取证方法有效性和所取数据有效性进行一系列的定义和推导,研究计算机数据取证有效性的一种形式化证明方法。利用上述证明方法对一个计算机取证实例进行取证有效性的形式化证明。     

电压监测数据采集系统

介绍一种新颖的数据采集系统,它用红外遥测技术间接地将远地电压监测仪表中的数据送入计算机处理。用这种方法组成的系统硬件成本低。章对主要技术进行了分析。用该技术组成的数据采集系统已在电力部门成功地应用了多年。     

单相电源供电时三相感应电动机瞬态仿真研究

对三相感应电动机由单相电源供电和用电容器作为相平衡器的瞬态行为进行仿真分析。为了得到瞬态特性，根据三相感应电动机在A、B、C相坐标系下的动态数学模型和推导出三相定子绕组端电压约束条件，编写计算机仿真程序，通过实例对Y接法的三相感应电动机由单相电源供电和用电容器作为相平衡器时的瞬态过程进行仿真计算，对仿真结果进行分析；用对称分量法分析了电动机对称运行时需要满足的条件，并由此初步计算电容的数值，然后通过计算机仿真较准确地加以确定。     

试谈数学算法对计算机编程的优化

随着我国科技水平逐步提升,人们的日常生活都会用到计算机.计算机软件是依靠编程来实现的,软件运行效率的高低是由编程语言来决定的.在研发一项软件的时候一定要优化好它的整体程序,这样才能使它的运行工作效率更高.当今盛行的计算机信息网络,数学算法就是计算机数学,在计算机中充分地运用了数学的算法原理,利用好数学算法里面的算法原理可以适当地建立数学模型,再利用计算机转换成计算机编程,以此可以提升计算机编程的工作效率.     

用QBASIC绘制图形

用计算机处理图形是计算机应用的一个重要方面。图形是一种重要的信息表现形式,它形象地表现出人们所需要的信息。我们熟知的电影特技特作,广告设计都离不开计算机图形学。不要以为计算机图形学是一门特别深奥的课程,其实用QBASIC就可以绘     

控制系统计算机辅助设计的发展及现状

<正>随着计算机技术的发展,计算机辅助设计(CAD)成为生产领域中发展非常迅速的一项崭新技术.它的出现,使相关领域传统的手工设计与制造方法转变为自动或半自动的方法.CAD除了可以快速精确地执行计算外,还提供了用丰富美观的图形表达计算过程、结果的可能性.由于控制系统的设计过程中广泛地采用了以图形出发来分析、判断,因此尤其适合于CAD的方法进行分析、设计工作.控制系统计算机辅助设计(CSCAD)最早开始于五十年代,由于当时设计方法以及计算机硬件设备的限制,人们只是单纯地用计算机帮助计算和绘制一些简单的曲线.