逆自动机与逆摹群:含幺半格的Schützenberger图

一个逆摹群的结构能够由其表示的Sch櫣tzenberger图的完全集确定.AnaOliveira等人根据Sch櫣tzenberger图刻划了两个逆摹群类,包括幂等一致摹群与Clifford摹群,给出了充分必要条件.本文按照同样的思想,进一步刻划了Clifford摹群的一个重要子类 含幺半格,也给出了充分必要条件.

型A半群的Schützenberger表示

利用Green R^*等价关系代替Green R等价关系,将正则半群中的Schützenberger表示推广到型A半群中,给出型A半群上的Schützenberger表示.随后进一步给出该表示与型A半群Vagner-Preston表示之间的包含关系,并举例说明这是一个真包含。

功能强大的电子设计自动化软件——Protel

随着计算机的飞速发展,电子设计不再像以往一样局限在小小的实验室里,人们可以利用计算机软件对电路图进行设计、仿真以及制作出印制电路板(PCB)。本文主要介绍目前较流行的电子设计软件——Protel的入门知识,及在学习中常常会遇到的一些问题。

Protel 99 SE软件使用中的常见问题处理

本文通过教学实践总结了高职生学习应用Protel 99 SE软件绘制电路原理图、印制电路板图时的常见问题处理方法和技巧以及设计中常见错误及原因。

支持单片机仿真的软件Proteus——基本功能篇

Proteus是英国Labcenter公司开发的电路分析与实物仿真软件。它可以仿真、分析(SPICE)各种模拟器件和集成电路，其最大的特点是可以支持许多型号的单片机仿真，该软件的单片机仿真库里有51系列、PIC系列、AVR系列、摩托罗拉的68MH11系列等，另外还提供了SCH(原理图)与PCB(印制板)设计功能，我们可以用该软件模拟通过后再制作印制板。在互联网上有几个网站有关于Proteus的论坛，