基于知识的印鉴鉴别方法

计算机印鉴鉴别是一项十分困难但又具有广泛应用背景的课题,国际上至今尚无实用有 效的鉴别方法.本文从知识工程的角度出发,对印鉴鉴别中的启发式知识进行了深入的讨论. 并在此基础上引入了一套完整的基于启发式知识的印鉴鉴别方法.该方法以启发式搜索获得 配准关系,并根据启发式知识在其中提取一组结构特征,最后结合结构信息和统计模型作出判 决.实验结果表明,该方法在可靠性、适应性和实用性方面比现有方法均有明显改进,已接近 实用.     

归纳法模式的自动生成

本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序．该程序从递归函数定义出发，自动生成归纳法模板；从待证定理出发，借助归纳法模板，自动生成归纳法模式和归纳法公式．该系统已在微机上用编译ＬＩＳＰ语言实现．     

工艺参数对W-MoS2综合性能影响的人工神经网络预报

在试验数据的基础上，用人工神经网络建立了工艺参数与W-MoS2综合性能关系的预测模型，讨论了隐含层神经元数选取和不同BP优化算法对网络性能的影响，结果表明，网络的预测同试验基本一致，具有可靠的预报能力。     

并行归纳法推理系统

为提高归纳法推理过程的速度和效率，我们在Ｂｏｙｅｒ－Ｍｏｏｒｅ程序证明方法和自行设计的串行归纳法推理系统的基础上，进行了并行归纳法推理的研究，其中包括推理知识的分布处理，系统初始工作的并行化，并行推理子任务的识别与调度，子任务间的信息通信，以及推理问题的可并行性等方面的探讨。最后文章还介绍了对此并行归纳法推理系统的语言支持。     

一种并行程序设计语言C＋＋^1

该文介绍了一种较新的并行程序设计语言ＣＣ＋＋，该语言在顺序Ｃ＋＋语言的基础之上扩充而来的，该文对扩充的８种结构一一进行了分析，并介绍了具体使用方法，从而说明ＣＣ＋＋具有效的语言表示能力。     

钢球表面磷化着亮黑色的工艺研究

成品轴承钢球表面的磷化膜一般较粗糙,为此,对含硝酸钡的磷化液在钢球表面获得亮黑色磷化膜的配方进行了试验研究.结果表明,成分为30 g/L Ba(NO3)2,10 g/L Zn(H2PO4)2,15 g/L Zn(NO3)2的磷化液,在磷化温度80～85 ℃,磷化时间10 min的条件下可在钢球表面获得膜厚为2 μm的亮黑色磷化膜,膜层抗CuSO4点蚀时间大于2 min.     

无线网络中中继协助的媒体接入协议

IEEE 802.11在物理层支持多速率.目前已提出许多机制通过自动调整速率充分利用多速率能力.本文观察到在无线网络中,相对于单跳的低速率链路,多跳高速率的路径可以减少信道占用时间,并提出了中继协助的媒体接入协议(Relay Aided Media Access,RAMA).RAMA利用中继节点将一跳低速链路拆为两跳高速链路.大量仿真结果表明,RAMA能够提供更好的吞吐量和时延性能.     

高碳钢薄板渗锌后的组织和弹性性能研究

对高碳钢淬火后回火与渗锌同时进行的工艺进行了试验研究。结果表明 ,在 380～ 4 0 0℃渗锌后 ,渗锌层由含锌量约为 85 %Zn的白亮层和过渡区组成。渗锌时间延长至 8h时 ,白亮层减薄 ,过渡区加宽。对于弦长为19mm ,高 4 5mm的高碳钢弓形薄片试样 ,淬火后于 380℃× 4h渗锌回火 ,可以承受 2 90N压力而不发生塑性变形