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

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

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

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

XML键及推理规则

键是关系数据库和XML文档中重要的语义表达，是XML模式设计的基础。文章在XML树的定义和路径语言的概念的基础上，提出XML键的定义，给出XML键的一组完备推理规则集，最后提出了求解键集合最小覆盖的一般指导原则。     

完备格上的拟-t-模及蕴涵算子的直积和直积分解

进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.     

一种改进的阈值分割算法在复合材料图像处理中的应用

针对纤维增强复合材料微观结构图像的特点,提出了一种改进的基于模糊思想的阈值分割算法,该算法利用整体阈值、局部阈值和像点梯度信息之间的关系,构造了一个双输入单输出的模糊逻辑系统,合理计算出像点的最佳分割阈值.实验结果证明了算法的有效性.     

卡诺图在逻辑函数化简与运算中的应用

卡诺图是逻辑函数的一种表示方式，对于逻辑变量个数不多于5个的逻辑函数的化简和运算，采用卡诺图法具有直观简便的优点，故得到广泛的应用。本文介绍一种卡诺图的快速填充方法，以及卡诺图在函数化简和运算中的应用。     

反讽之一种:关于《前门遇马队记》的解读

反讽,是周作人散文中一种独特的诗学命题。通过对《前门遇马队记》的细读,分析作者、读者、叙述者在情感与价值逻辑上的距离,考察反讽产生的诗学途径,并进一步阐释抽绎其内在形态与含蕴的生命观。     

基于VB6.0的PC机和S7-200PLC间的数据通讯

以SIEMENS公司S7200 PLC为例，用VB实现S7-200PLC在自由口通讯方式下与上位机的通讯。讨论了通讯系统的构成、通讯方式的设置，给出了软件程序和实验结果。该系统已成功应用于3．3kV八组合磁力控制站测控系统中。实验结果表明，该通讯程序具有重要的工程应用价值。     

关于数字系统设计的研究

阐述了VHDL硬件描述语言与电路设计的关系及设计过程，在此基础上对数字系统设计方法进行了分析与比较。     

鲎--全身是宝的海洋珍贵活化石

鲎亦称马蹄鲎(horseshoe crab)(图1)，属节肢动物门(Arthropoda)，肢口纲(Merostomata)，剑尾目(XiphosuHda)，鲎科(Limuroidea)。目前世界现存的鲎。根据其形态和分布特点，可分为二亚科三属四种。其中ia'mulinae亚科仅有美洲鲎属(Limulus)，美洲鲎(Limulus polyphemus)--种。分布于北美东海岸水域；而Tachypleinae亚科有两属，分布于亚洲东南岸及东岸沿海水域。其中东方鲎属(Tachypleus)有两种：东方鲎(Tachypleus tridentatus)(亦称三刺鲎、中国鲎或日本鲎)和南方鲎(Tachypleus gigas)(亦称巨鲎)：蝎鲎属(Carcinoscorpius)仅一种圆尾鲎(Carcinoscorpius rotundicauda)。