成组技术中面向对象的参数化模型

针对传统成组技术中的编码系统难以使用、编码不够精确和重用困难等问题,提出在成组技术中构造面向对象的参数化模型．该模型用类来描述零件簇,构成零件类的结构层次,生成零件描述的框架;用参数化方法从零件类实例化生成对象,以对象来表示具体的零件;查询时,以零件的特征和零件的具体参数来驱动,加速搜索的过程,并使结果更加精确;找到相同或相近零件对象后,在某个类层次上重用以前的设计．该模型的提出为成组技术的应用提供了新的途径．     

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

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

Solutions of Two-point BVP in Banach Spaces

IntroductionGuoetal.[1]discussedthetwo-pointboundaryvalueproblem(BVP)forordinarydifferentialequationsinBanachspaces,-u″=f(t,u),　t∈I=[0,1]u(0)=u(1)=0andgavesomeconclusions.Usingthemonotoneiterationtechnique,SongFumindiscussedthesameBVP[1]andshoweditsmaximalandminimalsolutions[2].Inmoregeneralboundaryvaluecondi-tions,GuoandSun[3]discussedBVPinreflexiveBanachspacesandmadeseveralconclusions.InthisworkthefollowingBVPinrealBanachspace,E,isconsidered.Lu(-p(t)u′)′ q(t)u=f(t,u),B0uau(0)-…     

篮球比赛中三分远投运用的探讨

通过现场观察、统计和数据的归纳整理,对远投命中率、个人和战术三分球、远投区域、远投时间和远投队员等进行讨论和分析．篮球比赛中,必须加强终场前的远投战术配合训练,提高战术远投,加强弧顶和两侧底角区域的远投,提高组织后卫和中锋的远投能力,提高远投队员的心理训练水平和对抗能力．     

系统可视性动态模拟软件平台的研究

对适用于社会经济系统可视性动态模拟的通用型软件平台进行了研究,提出了采用系统对象模型的建模方法。为了实现通用的可视化能力,文中对典型的计算机图形进行了抽象和分类,并介绍了自行设计的软件平台原型,包括语法协议、语法解释器流程和工作流程。     

双曲型叶片的数控加工模型研究

给出双曲型点构成的叶片工作面的解析方程,并用主曲率方法给出了刀具参数、数控加工中的步长和行距的定量计算模型,最后用等螺距叶片工作面算例验证本文所供方法不但确保了叶片工作面造型精度,而且大大地提高了加工效率．     

凹面体散射近场的有限元—人工透射边界解法

采用有限元－人工透射边界法求出平面波在无限长圆柱上的散射近场,并与解析解进行比较,进而对几种凹面体电磁波散射近场求解。实际应用表明该方法具有图象清楚,过程简单,适应性强等优点,可有效解决分层介质,非均匀介质中各种复杂的散射问题,亦可广泛应用于声波等其他类波的散射问题。     

泛光照明效果的计算机模拟

从实际灯具的配光曲线及被照面材料的反射特性入手,运用光度学和色度学的计算方法,详细介绍了泛光照明效果的计算机模拟程序的设计思想和分析方法,按照这一思想设计的软件在泛光照明设计中将十分有用。     

一个两点边值问题多重正解的存在性

利用不动点指数的同伦不变性和最大值原理,经过构造一个函数,得到了非线性两点边值问题至少存在两个正解的新的充分条件．该结果在Ｄｉｒｉｃｈｌｅｔ边值问题的情况下,严格优于文献［１］的相应结果．     

高等级公路施工测量

讨论全站仪配合ＰＣ－Ｅ５００袖珍计算机使用统一坐标系统进行高等级公路施工测量,重点分析高等级公路施工阶段,控制点、细部点的坐标计算方法和测设方法．