一个新的单调类定理

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

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

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

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

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

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

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

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

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

二茂铁甲醛缩胺基硫脲西佛碱与铜、钴配合物的合成表征及抑菌活性的研究

合成了二茂铁甲醛缩胺基硫脲西佛碱及其与Ｃｕ２＋、Ｃｏ２＋的配合物．对其进行了组成分析、红外光谱、核磁共振氢谱、热分析、摩尔电导及抑菌活性实验．结果表明：配体Ｌ组成为Ｆｃ＊ＣＨＮＮＨＣＳＮＨ２,配合物组成为〔Ｃｕ２Ｌ３Ｃｌ３〕Ｃｌ,〔ＣｏＬ２Ｃｌ２〕．抑菌活性实验表明：钴配合物对绿脓杆菌、金黄色葡萄球菌、八叠球菌及大肠杆菌均有较强的抑菌性能     

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

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

论谷粮现代干燥贮运技术的推广运用

<正> 一个以解决谷物类粮食机械烘干、长期贮藏为内容.包括采用高新技术,大力发展谷物的现代化干燥、仓贮设备的研究制造、推广使用,和粮食运输、港口建设的计划—"中国粮食流通项目",已经国务院批准,作为"八五"规划的重点积极推行.预计3—5内,"卖粮难、贮粮难"的问题不仅将大大缓解而且可彻底解决.我国的四条国有粮食流通"走廊"将同时建成,粮食运输亦由袋装为主变革为散装为主.实现与世界粮农市场接轨.     

中共第一代领导集体的特点

中共第一代领导集体的特点十分鲜明，主要体现为作风优良、民主团结、核心突出、独立自主、素质超凡、旗帜鲜明。中共第一代领导集体在党的历史上存在时间最长，影响最大，它的稳固发展是中国革命和建设事业不断取得胜利的决定性因素。     

基于 Mahalanobis距离进行人脸表情的识别

提出了利用Mahalanobis距离进行人脸表情识别的方法.首先将待分类的图像样本集进行坐标变换,使得变换以后类间离散度尽可能大而类内离散度尽可能小,即使变换以后的Fisher准则函数取得极大值,在新的坐标下求每个待分类样本到各类均值向量的Mahalanobis距离,从而将待分类的样本归到Mahalanobis距离最小的类中去,通过实验得到了平均80.25%的识别率.