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

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

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

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

数据仓库在大学档案袋评价中的应用研究

档案袋评价是流行于欧美的一种教学评价方法，本文试图通过对大学计算机专业课进行电子档案袋评价，并通过数据仓库技术对档案袋中的数据进行分析、决策，以建立科学，公正，高效，合理的和职业相联系的教育评价模式。     

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

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

既有铆接铁路钢桥剩余寿命的评估

为确保既有铆接铁路钢桥使用安全，探讨了评估既有铆接铁路钢桥疲劳剩余寿命的方法。以京九线赣江桥为例，介绍了基于断裂力学的既有铆接铁路钢桥剩余寿命评估的原理与方法。基于断裂力学的评估过程主要包括如下4个步骤：识别临界构件、计算临界裂纹尺寸、疲劳裂纹扩展模拟、确定探测间隔。根据赣江桥剩余寿命评估结果：若按保证桥梁的正常使用功能，超声波探测间隔为1a；若按保证主桁结构承载安全，则探测间隔为3a。     

战略环境评价的理论及技术方法探讨

回顾了战略环境评价(SEA)的形成和发展过程，讨论了SEA实施的原则和影响因素，分析了SEA实施的战略分析框架、替代方案和影响减缓措施，并探讨了SEA的研究方法和技术．     

城市土地质量评估方法研究

文章通过分析决定城市地价的相关因素，给出了对城市土地质量进行评级的模糊综合评估方法，使城市地价的确定更加客观规范。     

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

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

可持续发展评价方法评述

可持续发展研究可分为三个层次:理论研究、应用方法研究和实证研究。区域可持续发展评价方法作为应用方法研究的重要领域,可持续发展本身具有的复杂性、跨学科性等属性决定了可持续发展评价方法研究是一项极为困难的工作。文章对近年来在可持续发展评价研究中指标筛选、权重确定、定量化和综合评价的方法、模型进行了总结分析,并指出新方法、新模型的探索,原有方法的总结对比、对于完善可持续发展评价理论是必要的,而新方法的探索只有在方法论的指导下,才能避免研究的盲目性和危险性。     

清洁生产灰色层次评价模型在中小企业的应用

中小企业清洁生产的评价存在界限不确定性、评价指标难以量化等缺点。结合灰色系统理论,为清洁生产提出了灰色层次评价模型,并将其用于中小化学工业企业的评价过程,结果表明该模型能对清洁生产提供决策依据。