一个新的单调类定理

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

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

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

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

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

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

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

数控设备的网络管理

研究将数控设备通过网络管理,系统总体设计结构分为两层,底层是通过客户机同各自管理着的多台数控设备进行通信,上层是通过服务器实现与多台客户机的数据通讯,从而达到通过网络管理数控设备的目的.本文主要研究上层控制,即实现服务器与客户机之间的通讯,利用套接字网络接口,通过自定义协议与Windows的自定义消息,完成了一台服务器与多个客户机的并行通信,实现数控加工文件的传输与控制.     

体育伤害事故中校方责任的认定及赔偿的研究

对学校体育伤害事故的校方责任的归责依据、校方承担赔偿责任的条件和赔偿方面的研究,对妥善处理伤害事故,维护学生、家长、教师和学校的合法权益,预防和减少事故发生,有着极其重要的意义.     

基于SOCKET技术的信息刷新功能

通过使用JAVA的SOCKET技术，阐述了服务端的监听程序记录客户端聊天人员的上线或者离线信息。说明了当客户端有新的聊天人员登陆系统的时候，服务端一方面记录该客户端聊天人员的上线信息，另一方面将这个新的信息发送到所有客户端，并显示出来，当客户端聊天人员下线的时候，处理的原理和客户端聊天人员上线过程类似。实现了在线客户信息的自动更新。     

医学生物化学绪论课的设计

在生物化学绪论课的设计中，从生物化学与医学的密切关系及生物化学学科的发展对医学研究进展的影响方面，重点介绍一些医学新信息、新技术，并采用多媒体课件，使医学生能更好地学习生物化学课程．     

关于Ls优化映象的极大元存在定理

给出了Ls类映象和Ls优化映象的概念，在G-凸空间中建立了关于Ls类映象和Ls优化映象的极大元存在定理，作为应用，给出了G-凸空间中的极大极小不等式。     

具有多奇性的非线性热方程的定解问题

利用Kato类函数和Green胎紧函数的性质得到了具有多奇性的非线性热方程的初值问题和初边值问题．弱解的存在性．