子locale与子空间的关系

讨论了空间式子ｌｏｃａｌｅ与空间的关系以及间式子ｌｏｃａｌｅ的交的空间式问题,证明了拓扑空间的空间式子ｌｏｃａｌｅ与该空间的Ｓｏｂｅｒ化空间的子空间是一一对应的,并且给出了空间式子ｌｏｃａｌｅ的交是空间式的充分条件。     

凸度量空间中广义压缩映射的公共不动点

利用刘立山提出的集值映射和单值映射的次相容性条件,给出了完备凸度量的空间中集值广义坟缩射存在唯一公共不动点的一个充要条件和一个充分条件。     

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

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

算法复杂性函数等价类A[F]中的分解性定理

证明了算法复杂性函数渐近优超等价类数学结构Ａ［Ｆ］中的分解性定理。对任意非免费算法复杂性函数类［ｆ］∈Ａ［Ｆ］及正整数ｎ,存在类［ｇ１］,［ｇ２］,…,［ｇｎ］∈Ａ［Ｆ］满足［ｇｉ］〈［ｆ］（ｉ＝１,２,…,ｎ）且［ｆ］＝Ｖｉ＝１＾ｎ［ｇｉ］。     

博莱霉素与DNA的作用机理及其类酶性研究

详细介绍了博莱霉素（ＢＬＭ）与ＤＮＡ的结合作用,活化ＢＬＭ与各种自由基在ＢＬＭ介导的ＤＮＡ断链反应中的作用以及ＢＬＭ类似酶的催化行为多方面的研究进展情况。     

终周期双峰映射拓扑熵的计算

利用符号动力学的揉理论,讨论双峰映射拓扑熵的计算．对于具有重要意义的终周期揉序列对,给出了决定其拓扑熵的揉行列式的解析表达式．     

广义块Pick型矩阵和带导数的Nevanlinna-Pick矩阵插值问题

建立了广义块Pick型矩阵和块Toeplitz矩阵之间的一种等价关系,并将其用于求解一类带导数的Nevanlinna-Pick矩阵插值问题     

关于狭义拟仿紧空间的两个问题

利用狭义似仿紧空间的等价刻划,给出一个非狭义拟仿紧的正规弱θ－加细空间,此外还证明了强完备映射的逆保持狭义拟仿紧性。这两个结果分别回答和部份回答了蒋继光提出的两个问题。     

兰道定理中的一个新上界

对在单位园盘Ｄ中正则的函数ｆ（ｚ）＝ａ０＋ａ１ｚ＋…,且ｆ（ｚ）≠０,１,证明了｜ａ１｜≤２｜ａ２｜｜ｌｏｇ｜ａ０｜｜＋Ａ－Ｍ｜ｌｏｇ｜ａ０｜｜＋Ａ－４πＫ１１＋｜ａ０｜Ｋ｜ａ０｜１＋｜ａ０｜［］｛｝,其中Ａ是海曼常数,Ｍ是绝对常数．     

C~r映射芽的γ阶jets的V-充分性

本文给出Cr映射芽的γ阶jets是v-充分性的充分条件,推广了[1]中的有关结果,并对拟齐次多项式的V-充分性作了进一步的讨论。