一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

议数学教学中的美学教育

本文阐述了数学美的五个主要方面,数学的语言美、数学的和谐美、数学的严谨美、数学的统一美和数学的逻辑美,以及它们在数学教学和数学研究中的重要作用。并指出了在数学教学中进行美学教育的几个常用手段,用数学语言讲授数学课,揭示数学定理的严谨性和可延伸性,培养学生的逻辑思维能力和在教学中要做美的示范。     

Turbo Basic语言基础和程序设计初步

要使用计算机语言进行程序设计，并解决好各类实际问题，既要掌握语言本身，更重要的是要掌握使用语言进行程序设计的一般方法。为此，在学习中要求做到：①掌握TurboBasic的基本概念和基本语句；13初步了解结构化程序设计的思想，掌握编程的基本过程和养成良好的程序设计习惯；③掌握最基本的，常用的数值和非数值“算法”。ITurboBasic的基本概念和三类基本结构语旬1．1基本概念1．1．1常量和变量（A）常量的定义和分类在程序运行中保持不变的量叫常量。（B）变量的定义、命名、分类及类型说明在程序运行中其值可以改变的量叫变量。变…     

一类代数上的逻辑淡（Ⅰ）

引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。     

数字逻辑课程"点""线""面"方式的实验项目设计

数字逻辑课程的实验教学在整个课程的教学过程中，占整个学时的1／3，好的实验项目设计，对培养学生的实际动手能力、逻辑思维能力，起到举足轻重的作用。本文提出以“点”、“线”、“面”的方式进行数字逻辑课程的实验项目设计，并以实际例子说明实验的设计过程。     

关于样本区间长度的联合分布

设（X1，X2，…，Xn）为服从I=[0，1]上均匀分布的简单随机样本，它们将[0，1]分成（n＋1）个样本区间，以Y0，Y1，…，Yn分别表示这些样本区间的长度．本文讨论Y0，Y1，…，Yn的联合分布及其极限分布．     

基于Verilog-HDL的逻辑分析卡中双向端口的设计

介绍了自行设计逻辑分析卡的系统构成,给出各个功能模块的逻辑框图。然后,从应用的角度简单介绍了ISSI公司的静态RAM芯片IS61LV256,并阐明了将其作为逻辑分析卡外部RAM的使用方法,设计了该RAM与CPLD的硬件接口。应用Verilog-HDL语言对双向(inout)端口所进行了描述,在此基础上以一个简化了的双向(inout)端口模块为例,设计了对该双向(in-out)端口的仿真方法,并给出了仿真结果。最后给出一种简易的硬件测试方法对双向(inout)端口进行测试,证明了该设计以及对其的仿真的正确性。     

移动机器人自主越障反应控制行为组合方法

介绍了关节式移动机器人运动系统的元(基本)行为,提出了用模糊逻辑组合方法将原子行为(动作)组合生成高层复杂行为的行为模糊逻辑组合方法;描述了模糊逻辑组合方法组合生成的移动机器人自主越障行为.通过凸台、凹坑和楼梯等典型障碍的越障实验证明,该方法所生成的行为控制自主越障动作协调性好,具有较高的实时性、快速性和可靠性.解决了关节式移动机器人在城区和建筑内运动的越障稳定性和移动性问题.     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．