模糊聚类应用于MIS子系统划分的研究

本文介绍了模糊聚类应用于ＭＩＳ子系统划分的新方法,包括基于模糊等价关系的方法和基于模糊相似关系的“最大树”方法．     

论朱熹对《黄帝内经》自然哲学方法的继承与发展

朱熹在构筑自己博大精深的自然哲学体系中多处借鉴了《黄帝内经》的“取象比类”方法,本文侧重从宇宙生成、万物化育、物质运动等方面就此进行了较为深入的探析     

一个新的单调类定理

定义了集类的ｗ类的概念,给出了ｗ类的单调类定理．     

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

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

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

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

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

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

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

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

5种黄精属植物的蛋白指纹分析

本文用聚丙烯酰胺凝胶电泳（ＳＤＳ—ＰＡＧＥ）技术分析了５种黄精属植物根状茎和叶的蛋白指纹．结果表明：（１）它们的根状茎均含有３８．５、２８、１８．６ｋＤ蛋白质;（２）根状茎和叶的蛋白质种类有很大差异;（３）５种黄精属植物各含有自己特有的蛋白质,它们在本属植物物种鉴定中一定参考价值．     

基于CSCW的中文超媒体技术的研究实现

讨论了基于ＣＳＣＷ的新一代中超媒体技术,主要介绍超媒体系统数据结构模型,分布与协作技术,超链自动链接技术,超媒体系统的中检索技术,超媒体系统的用户界面等,并介绍了一个基于工作组网络系统Ｗｉｎｄｏｗｓ ｆｏｒ Ｗｏｒｋｇｒｏｕｐｓ的超媒体原型的系统实现,该系统是一个面向大容量超媒体中档案的协作写作系统,适用皇大中型中电子图书和档资料库的光盘出版物的制作。     

剪切型建筑结构抗共振抗震设计

通过将剪切型建筑结构的固有频率调离场地的卓越频率区域,提出一种抗共振抗震设计方法。数值算例说明该方法是很有效的。