简介:在计算机辅助工艺设计中,工序图的设计是工艺设计的一个重要组成部分,是否有一个好的工序图的设计环境,直接影响到CAPP系统能否广泛应用。我所CAPP系统已正式应用于科研生产中。该CAPP系统的工序图设计是在AutoCAD下绘制的,在试运行中发现,工序图的绘制还比较繁琐,究其原因有:(1)到现在为止还没有一种商业化的专用工序图设计软件;(2)工艺工序图设计中有一些专用特殊符号(如定位符号、夹紧符号及焊接符号等)特殊的线型以及一些专用的标注符号等,这些符号如让工艺人员在通用的CAD软件中绘制既费时又不规范;(3)由于工序图只是一个示意图,很多图形是可用以前绘制的或别人已绘制好的相似的图形稍作修改即可,然而在全所范围内没有一个集中统一管理的工序图图库以供所有的工艺人员实现资源共享,各自为政,重复劳动较多。为了解决这一问题,需开发一个适合CAPP中工序图设计的专用工序图CAD系统。
简介:设(x*,y*)是以A=[aij]m×n为赢得矩阵G的对策解,则当局中人1,2各自独立地使用其最优策略x*=(x*1,x*2,…,xmn),y*=(y*1,y*2,…,y*n)时,局中人1的赢得期望为对策值v*=x*Ay*T.若局中人双方使用使得方差D(x*,y*)=∑∑(aij-v*)2x*iy*j达最小的对策解(x*,y*),则其赢得靠近v*的概率达到最大.以O记使方差达到最小的对策解的集合.若O满足(x(1),y(1)),(x(2),y(2))∈O蕴涵(x(1),y(2)),(x(2),y(1))∈O,则说O是可换的.本文首先证明了:若矩阵对策G有纯解,则O是可换的.然后证明了如果限定局中人1在其混合扩充策略集的一个非空紧凸子集X中选取策略,那么存在X的一个非空紧子集O(X),它是有限个非空互不相交紧凸集之并,使得只要局中人1使用O(X)中的策略,那么在最坏的情况下可以取得最好的赢得.