The Syntax of Lattice-Valued Propositional Logic System lp（X）

Lattice-valued logic plays an important role in multi-valued logic systems. A lattice valued logic system lp （X） is constructed. The syntax of lp（X） is discussed. It may be more convenient in application and study especially in the case that the valuation domain is finite lattice implication algebra.     

通用的计算机语言课辅助教学试题库系统的设计

计算机语言课辅助教学试题库系统的建设是实现教育技术现代化的一个重要方面,本文叙述了根据各门计算机语言课的考试题型特点,设计通用的计算机语言课辅助教学试题库系统的方法.     

“高级编译系统”等五项科研成果通过部、省级鉴定

一九八一年,我校广大教师和科研人员在校党委领导下,认真贯彻党中央、国务院关于科技工作的方针和政策,以主人翁精神从事科学研究,在发展科学和为工农业经济建设服务方面取得不少成绩.下半年,在取得的丰硕科研成果中又有五项通过部、省级鉴定. “高级编译系统”研究课题是由我校软件研究室完成的.针对生产计算机专用语言编译系统的软件工程问题,研制了一种能用计算机代替人的部份手工脑力劳动的生产某类语言的编译系统的一个软件工具HCP系统,它为研制计算机高级语言的编译系统提供了新工具.研制者分析了国内外一些常用的计算机语言,设计出…     

多规范语言LIPS

LIPS是作者设计的一种兼有LISP,PROLOG,SMALLTALK语言功能的“函数+逻辑+目标”程序设计语言.本文阐述LIPS的设计思想、LIPS中的面向对象程序设计功能、LIPS的多规范程序设计风格及LIPS的实现技术,提出了“逻辑变量作用域”、“狭义归约”和“广义合一”等概念.     

Visual C++实现单调多边形三角剖分

多边形三角剖分是计算几何的一个几何基元，它可以简化问题规模，在计算机图形学，模型识别和地理数据库方面有重要应用，低时间复杂度是设计多边形三角剖分算法的基本要求，针对现有单调多边形算法的不足，提出一个复杂度为O（N）的算法，并在VisualC^ 环境下实现这个算法。     

浅谈计算机语言类课程教学

本文结合计算机语言类课程的特点,对新形势下计算机语言类课程教学方法和教学模式上进行了较为深入的探讨.     

自然语言理解新思路-HNC

ＨＮＣ是Ｈｉｅｒａｒｃｈｉａｌ Ｎｅｔｗｏｒｋ ｏｆ Ｃｏｎｅｃｐｔｓ（概念层次网络）的简称,是关于处然语言理解处理的一个理论体系,这个理论体系的基本思路与传统计算语言理论有本质的不同,它展示了自然语言理解的突破性进展,其三大理论要点集中体现了ＨＮＣ理论在自然语言表述和处理模式的突破,本文描述了笔者对ＨＮＣ理论这种“突破”的认识。     

MATLAB在工程领域中的应用概论

1、概述MATLAB（MATrix LABoratory即矩阵实验室）是由美国MathWorks公司于1984年发布的、面向科学计算、数据可视化以及交互程序设计的高级计算机语言。MATLAB软件开发的初衷是方便地进行矩阵运算,如今的MATLAB已经把功能延伸到了科学研究和工程应用的诸多领域。在国外,MATLAB已经成为数值分析、数理统计、系统识别、信号处理、动态仿真等领域的基本工具。同传统的计算机语言FORTRAN和C相比,MATLAB更具有以下几大优势：（1）功能强大。除了数值计算上的绝对优势外,MATLAB5。     

计算机算法动态系统中关键技术的设计与实现

以高校计算机语言课中常用的算法为基础,研究开发了计算机算法动态演示系统,综合运用集声音、图像、视频和文字等媒体为一体的多媒体技术来演示各种算法的实现过程,把抽象的理论形象化,把静态的教学动态化,有助于激发学生学习算法的兴趣,从而更深入地理解和应用算法。     

温度热电势的线性化研究和处理

热电偶的温度——热电势建表,修改、读出和线性化处理的计算机语言程序,实现对任何区段与任意精度进行线性化处理。