鲨鱼的困境

鲨鱼的繁殖鲨鱼有三种繁殖方式:第一种为卵生,跟其他鱼类一样,受精卵外包卵壳产出,每次排卵数目极其有限。卵呈布袋状或螺旋状,通常产出后被固定于珊瑚礁、海底植物或石缝中。第二种为卵胎生(非胎盘型胎生),受精卵在子宫中发育,胎仔以卵黄囊或卵巢所排入子宫的卵为营养,最后以胎仔形     

r序同态与r开集在子拓扑空间中的性质

提出了r不定序同态、r连续序同态、r开序同态并讨论了它们之间的相互关系,得出了LF-r开集在开子空间中仍是LF-r开集,两个LF拓扑空间之间序同态r连续的充要条件等结论。     

一般化凸空间上KKM型定理对变分不等式解的存在性问题的应用

利用拓扑空间X的积空间X×X的实值函数构造出一个一般化凸空间,并根据已知的KKM型定理在该空间上讨论变分不等式解的存在性问题.     

用边界运算刻划拓扑空间

本文从定义边界运算出发，给出拓扑空间的一个新的定义。     

横向爆炸载荷下开孔弹性板的应力集中

基于ANSYS 7.0/LS-DYNA程序,对3 m×3 m四边简支、厚度为0.025 m、中心开有0.3 m×0.3 m方孔的弹性板,在下三角爆炸载荷作用下的应力响应进行了分析;利用能量密度时间分布函数(TDFED)确定了动应力集中因子,重点讨论了时间步长和采样时间间隔对计算结果的影响。     

WS~*-闭空间的性质

该文引入了一类包含Ｓ－闭空间的拓扑空间——ＷＳ＊－闭空间,并讨论了它的一些性质,对一些关于Ｓ－闭空间的已知命题,建立或推广得到ＷＳ＊－闭空间的相应命题。     

点集

本文仅限于讨论直线上的点集。将实数的全体所成之集记为R。所述之"点"、"开区间"、"闭区间"等概念与数学分析中所述相同。此处所讨论的有关各类点、点集的概念以及它们所反映的数学思想不仅是实变函数的基础,而且对其它数学学科也是十分重要的。1极限点与内点设给定一个点集EMR,点X。eR。那么0。与E的关系只有两种可能：00eE或X。巨E。但若分析X。的"附近"与E的相互关系则可发现有下列情形：（a）存在一个开区间（a,则使xoE（a,P）且《a,P）－fx。1）OE＝O;（b）所有开区间（a,尸）只要有xoe（a,尸）就有卜,g）nE含至少2…     

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

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

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

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

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

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