计算机代数学与天线设计

计算机代数是近30年发展起来的数学、计算机和人工智能的交叉学科，该学科的发展对科学计算产生了革命性变化。本文阐述了计算机代数学，并用Maple推导了天线的推迟势，场强等参数。     

决策支持工具MV—PROLOG系统的设计与实现

在 ＭＶ系列机上实现的 ＭＶ－ＰＲＯＬＯＧ系统是为建立企业决策支持系统提供知识处理工具而设计的。为了提高系统的运行效率和实用性．在实现上采用了内码表示、结构共享、智能回溯、预匹配以及尾递归等多项措施。在设计上．本系统特别注重与环境的连接和通讯。为此，系统用ＣＯＢＯＬ语言编写，以便于与ＭＩＳ或其他系统软件（ＤＢＭＳ和高级语言等）通讯。     

关于PROLOG中库操作谓词RETRACT的语义及其实现

PROLOG语言曾被日本选作第五代机的核心语言,至今仍是AI研究领域中很活跃的一部分。本文立足于实践,对PROLOG中很重要的库操作谓词retract的语义进行了扩充,并阐明了扩充后PROLOG系统的实现思想。     

计算机代数学及其软件系统

计算机代数学是近三十年发展起来的数学、计算机及人工智能的交叉学科,是数学发展的前沿学科．该学科的发展对科学计算产生了革命性变化．本文简单综述了计算机代数学及其软件系统的内容、意义、作用、历史及其与数值计算、计算机、数学机械化等相关学科的联系．     

代数学基本定理的推广

将代数基本定理推广到某类矩阵多项式，获得了一类广泛的结果。     

《代数学》引入西方符号代数的意义

基于李善兰和伟烈亚力合译《代数学》的主要内容分析,认为《代数学》中的语言系统采用了中国传统数学的语言模式,逻辑推理也是来自于中国传统代数学思想之中。并且,从科学史角度来看,《代数学》首次引进了西方符号代数学的内容体系,是在中国传统代数学思想影响下进行的一次西方半符号化的代数学传播,使我国传统代数学的发展更具有科学性和系统性,为后来中国传统代数学的完全西化作了重要铺垫。     

一种对PROLOG进行矛盾检测的算法

本文首先介绍了PROLOG检测工具的研究现状，作者针对PROLOG语言的特点，提出了一种对PROLOG进行矛盾检测的算法，并用Turbo C语言实现了该算法，该算法作为一种PROLOG检测工具已被合并到Rurbo PROLOG系统盘中。     

PROLOG线性归结的研究与设计

本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。     

计算机经营管理网络与辅助决策系统的设计与实现

设计和开发计算机经营管理网络与辅助决策系统是一项新颖的课题，本结合部级重点科研项目－苏州市建筑材料总公司经营管理网络与辅助决策系统这个实例，介绍了计算机经营管理网络与辅助决策系统的实现方法，着重叙述了一些符合国际开放系统发展方向的设计原理。     

论走出网络伦理困境的出路

网络技术是把双刃剑,在带给人们很多便利的同时,也带来了种种网络伦理失衡现象。与现实社会相比,网络社会有着全球性、数字性、虚拟性、开放性、互动性等特征,网民在网络社会中的言行主要是靠自律,网络伦理道德作为一种内在的防线对网民具有持久、稳定、普遍的约束力。要走出网络伦理的困境,需要人们在网络空间遵循兼容开放、互惠互利、真实、无害和尊重等伦理原则和道德规范,并从网络技术、网络法律法规、网络道德教育、网络管理和网络主体自律等方面进行综合治理。     

计算机在学生管理工作中的应用

论述了计算机在学生综合测评及毕业分配中的应用。     

单板计算机故障分析

依据微型计算机故障诊断方法,给出五类单板计算机故障分析。最常遇见的故障是接通电源后不出现提示符;用MON键中断程序时不回到监控,不能单步执行程序,EPROM写入失败,盒式磁带机转储或装入程序失败等。另外,对改进单板计算机性能提出了一点意见。     

面向21世纪的非计算机专业计算机课程建设

探讨非计算机专业计算机课程设置的思路和目标，分析计算机课程建设的改革方向。     

试论计算机在地貌制图中的应用

自动化制图过程,就是一系列的数模转换。成图质量的高低,关键取决于程序的设计,对地图表现型式的改进,将能更有效地发挥计算机的优势;地图资料数据库的建立,则是发挥自动化制图优越性的节点。     

计算机代数在粘弹流体润滑中的应用

运用计算机代数系统，先取四参数Oldroyd流体作为斜面滑块轴承的润滑剂，吧无量纲松驰时间为振动参数，用正则摄动求解润滑问题的一阶解和二阶解，得出了一阶解的弹性效应对轴承润滑特性的影响是增大承载力和减小摩阻的结论，类似的结论在二阶解的弹性效应中也成立。     

计算机辅助服装纸样设计的算法原理与实现

本文对服装的工艺特征进行分析,提出了适合于服装设计的基本算法——放样变换。该算法很好地解决了服装设计中对图形的各种变形处理要求。本文还给出一个基于上述算法的服装CAD系统的实现方法。     

计算机网络考试分析系统的设计与实现

提供一种在多媒体教室管理中使用的考试分析系统的设计与实现方案,该系统是基于Ｗｉｎｄｏｗｓ ＮＴ平台,用Ｖｉｓｕａｌ Ｂａｓｉｃ ６．０开发,可实现交互测试的计算机网络考试分析系统,该系统还建立、并实现了试题库的动态维护及学生信息的管理。     

平面曲线杆系结构的电算方法

介绍了平面曲线杆系结构的电算方法,这个方法可以计算整个平面杆系结构,其中包括连续梁、平面桁架、平面刚架、平面刚铰混合结构、圆曲线平面杆系结构以及部分圆曲线杆部分直杆所组成的平面结构.文中列举了8种结构的计算结果和一座三跨拱桥的全部计算过程.本文可供工程技术人员和大专院校师生参考.