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

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

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

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

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

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

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

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

中国传统学术视阈中的历史与历史哲学

从中国传统学术的视阈入手，梳理与辨析历史和历史哲学的内涵与外延。考察历史一词的多重含义；指出西方历史哲学乃根据对历史的两分法，即历史事实和历史著述，而有“思辨的历史哲学”和“分析的历史哲学”两大流派；进而指出中国古代对历史有一三分法，即史事、史文、史义，认为史义即为中国的历史哲学，同时史义又包含有“历史之大义”与“吾心之精义”两部分内容。     

除环上分块矩阵广义逆中子块的独立性

通过使用除环上具有同行或同列的双矩阵分解定理,给出了除环上两个同阶矩阵的g-逆和自反g-逆具有子块独立性的充分必要条件.     

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

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

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

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

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

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

基于TDA8924的数字功放设计

文章介绍了TDA8924数字音频功放的基本组成，对其关键技术进行了详细论述．总结了在电路和排板设计中的注意事项，对改善音质提出了详细的方案和措施．