简介:首先研究了Kleene-Stone代数的由素滤子生成的同余关系的性质,然后在此基础上给出了Kleene-Stone代数的分类,最后证明了对每个KS-n代数L(n),存在一个商代数L(n)/~嵌入于有限的KS-n代数Ω(n)中.
简介:在计算机辅助工艺设计中,工序图的设计是工艺设计的一个重要组成部分,是否有一个好的工序图的设计环境,直接影响到CAPP系统能否广泛应用。我所CAPP系统已正式应用于科研生产中。该CAPP系统的工序图设计是在AutoCAD下绘制的,在试运行中发现,工序图的绘制还比较繁琐,究其原因有:(1)到现在为止还没有一种商业化的专用工序图设计软件;(2)工艺工序图设计中有一些专用特殊符号(如定位符号、夹紧符号及焊接符号等)特殊的线型以及一些专用的标注符号等,这些符号如让工艺人员在通用的CAD软件中绘制既费时又不规范;(3)由于工序图只是一个示意图,很多图形是可用以前绘制的或别人已绘制好的相似的图形稍作修改即可,然而在全所范围内没有一个集中统一管理的工序图图库以供所有的工艺人员实现资源共享,各自为政,重复劳动较多。为了解决这一问题,需开发一个适合CAPP中工序图设计的专用工序图CAD系统。
简介:LetSbelongtoZn-{0}.ThecirculantdigraphDCn(S)isadirectedgraphwithvertexsetZnandareset{(i,i+s):i∈Zn,s∈S},A.AdamconjecturedthatDCn(S)≌DCn(T)ifandonlyifT=uSforsomeunitumodn.InthispaperweprovethattheconjectureistrueifSisaminimalgeneratingsetofZnandthusdeterminethefullautomorphismgroupsofsuchdigraphs.Themethodsweemployarenewandeasytobeunderstood.