二值神经网络的推理和矛盾分析

由节点和约束组成的约束满足网络(Constraint satisfaction networks,简称CSNs)能够描述许多问题,在AI中具有十分重要的地位.神经网络(Neural networks,简称NNs)能够被看作CSNs,而且被认为是适合于求解约束满足问题,因此NNs中必然有一个相应的逻辑理论.本文通过对比CSNs提出了弱推理理论和矛盾分析法,以研究二值神经网络的定性逻辑行为.文中用神经元(称为判决元)表示判决,连接表示判决元之间的柔性约束并执行     

现场总线网络通信模型中的逻辑链路层

针对现场总线网络的实时应用特征，构造以ＬＡＮ为基础的ＦＣＳ网络通信模型，目的是研究ＬＬＣ子层中ＦＢＣＯＳ，ＦＢＣＬＳ，优先分配，ＲＴＶＣ和预约等时间约束，解决传统ＬＡＮ所无法解决的实时连接问题，保证其实时应用的可靠完成．结合上述目标构造了实时意义下面向链接、无链接、优先分配、虚电路和预约等老概念新方法，对其时间限定范围从简单最佳效果送取需求到一般限定性需求进行了模拟研究．结果不但实现了时限需求消息集的规划算法，而且保证了该需求被实时应用所满足     

I~2C总线在Intel51系列单片机上的仿真应用实践

介绍了以Ｉｎｔｅｌ５１系列单片机通用并行口仿真Ｉ~２Ｃ总线的方法，给出５１系列单片机与串行Ｅ~２ＰＲＯＭ２４ＬＣ１６的互连及部分操作详细清单。     

电位双点滴定法研究

推导出电位双点滴定法通用的定量公式和相对误差公式，对方法的准确度进行了探讨，确定了ΔＥ值的最适宜范围     

大型热处理加热炉的微机控制系统

针对热处理用电加热炉，提出一种简单易行的计算机控制方案，采用ＰＩＤ系统控制算法，达到了优化并稳定工艺参数及提高产品质量的目的．     

失重秤微机配料集中控制系统

介绍了采用ＳＴＤ总线系统Ⅱ实现微机配料集中控制的一个实例，叙述了系统的软硬件设计，系统的主要功能和特点。     

信值修正系统及其实现

在许多基于知识的问题求解系统中，随着知识的不断积累可能会检测到某些新的结论和原有的知识产生矛盾，而维持该类系统中知识库的一致性是衡量该类系统是否有效的十分重要的标志，信值修正系统是解决类问题有效工具。     

一类拟幂等半群的构造

本文给出一类拟幂等半群──所谓带的强幂零扩张的结构定理．     

加工现场微机控制系统抗干扰的研究

针对制造业加工现场的环境特点，分析了微机控制系统的干扰来源和途径，介绍了实用的抗干扰措施。实践证明：这些软硬件抗干扰措施的综合运用，使自动化加工中微机控制系统的稳定性得到了较大的提高。     

高速双体水翼船设计探讨

介绍一种新型高速双体水翼船的特点以及对该船型所进行的理论研究、模型模拟试验和实船设计的情况。