左Clifford双半环的性质与结构

定义了双半环的分配格和带双半环。利用这两个定义以及左Clifford半群的性质,给出了左双环和左Clifford双半环的定义,并得到了双半环是左双环的充分必要条件和双半环是左Clifford双半环的充分必要条件。     

计算机绘图课程教学的改革探索

随着各行各业对CAD/CAM技术的广泛应用,社会对掌握计算机绘图技术人员的需求越来越多.计算机绘图已成为高校工程专业的主要课程.由于计算机绘图涉及到的内容多,限于课时安排又不能面面俱到.     

看大国竞技在印巴危机时

印巴这场战争看来是打不起来了。除了双方各自都不想打这个根本原因外,国际社会给它们创造的下“台阶”的机会也起了很大的作用。6月上旬随着南亚上空战争阴云的聚集,美、英、法、德、日等国陆续从印巴撤出各自的非必要外交人员及其家属。而与此相对照的是,英国外交大臣斯特劳、美国副国务卿阿米蒂奇、美国国防部长拉姆斯菲尔德等英美国家的高级官员却陆续赴南亚展开外交斡旋。俄罗斯总统普京也成功地邀请了印度总理瓦杰帕伊和巴基斯坦总统穆沙拉夫分别访问莫斯科。一时间,印巴成了大国外交的竞技场。     

ORACLE FLASHBACK综述

Oracle的版本10中，对flashback做了较大改进，不再仅仅是局限于AUM的闪回查询了，甚至可以闪回整个数据库，真正地回到操作之前的状态。     

并行双回转光纤单元跑合过程中爬行现象浅析

并行双回转的爬行现象对高精度光纤定位是十分不利的.为了克服这种爬行现象,首先从动力学角度建立光纤爬行的动力学模型,论证了光纤爬行的实质是一种复杂的摩擦自激振动现象,然后结合实际跑合过程,从机械学的角度进一步分析获得传动齿轮安装偏斜、中心轴支撑同心不良、中心零定位弹簧片安装过紧和偏心消隙弹簧不能正常储能、释能是导致光纤爬行的根本原因,并对此提出了一些可行的解决措施,收到了良好的效果.     

布兰特与罗尔斯的正义之争

正义是一个古老的命题,功利主义者常常因其对待正义或公正这一问题的态度而受到指责,现代正义巨擘罗尔斯从三个方面对功利主义的原则作了系统的批评,面对罗尔斯的批评,准则功利主义者布兰特作了有力的反驳,并对罗尔斯的正义原则合理性问题提出了置疑,同时提出了自己关于正义问题的合理主张。     

长轨焊接基地10kV变配电所设计

10kV配电所及10/0.4kV变电所设计,是工程建设中非常普通又非常重要的一项工作,其规范性和技术性都很强,许多方面涉及到国家强制性条文的贯彻落实。要做好变配电所设计既要执行国家现行的有关规范和规程,又要满足当地供电部门的具体要求,否则会出现种种问题,影响设计质量和工程进度。本文结合实际工程简要介绍了铁路长轨焊接基地10kV配电所及10/0.4kV变电所所址选择、变压器台数及容量确定、室内设备布置及选择等的设计,对工程技术人员进行10kV变配电所的设计具有一定借鉴意义。     

结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

结构化面向对象形式规格说明语言OOZS——应用实例

ＯＯＺＳ是一种面向对象的形式规格说明语言,它是Ｚ规格说明语言的一种面向对象扩展,本文结合一个四边形图形的例子对ＯＯＺＳ语言的应用进行说明。