软件安全性3M评价中评价因子修正的研究

安全性苛求系统需要防范意外事件造成对人体，环境或大宗财产的损害，为此，对软件需要进行严格的安全性测试，并对软件防范意外事件的能力进行评价，然而，完全依靠试验统计或事故累积数据进行安全性评价。会由于测试开销过大或等待累积时间过长影响评价的准确性和及时性，需要利用软件开发过程中涉及的诸多要素和在各个阶段来自多个方面所提供的信息参与安全性评价，但是，在这些信息中包含了某些主观的成分有待验证，在多元，多模型，多阶段（3M）安全性软件评价方法的框架中，有可能利用后续测试得到的信息不断对评价因子进行修正，提高评价的准确性，讨论了后续测试对3M模型中的复杂性，技术支持和开发水平因子的修正方法，着重论述对开 水平因子的修正，提出了后续测试信息和先期测试信息进行比较和处理的过程和一些规则。     

工业安全评价方法与矿井安全评价技术综述

我国的矿山企业,安全生产形势严峻,事故多、伤亡大、经济损失严重,尤其是重、特大事故频繁发生.安全评价技术及其应用是预防和控制事故的重要内容,作者首先对国内外矿山和非矿山的安全评价理论和技术的主要进展进行了系统的论述,对今后几年研究的关键问题进行评析,并对国内安全评价理论和技术的研究和应用过程出现的问题进行了分析,对安全评价理论和技术的发展趋势进行了论述.参34.     

济南市生态环境质量现状评价

在建立评价指标体系的基础上 ,运用层次分析法与综合指数法对济南市生态环境质量现状进行了考核和评估 ,将全市生态环境质量划分为不同生态水平的 5个等级 ,为各不同区域不同生态问题的识别、生态保护目标及对策的制定提供科学的依据 .     

几种水环境质量综合评价方法的探讨

根据对涪江水体某断面监测得到的具体数据，利用各种评价方法进行了水质评价，并对评价结果作了相应比较，进而提出了适于对水环境质量进行综合评价的评价方法。     

液体仓库污染评估模型

建立了两个数学模型，利用仓库周围样品所测得的数据来评价液体仓库对土壤的污染情况，两个模型抛开传统的复杂三微分方程，分别从水平切面和坚直剖面入手，建立二维微分方程，并解出可以用代数方法确定参数的解析解，同时，给出获取确定参数所需数据的抽样方法及数据的类型和数据量。     

古建筑结构研究十八年

本文是作者从1974年开始进行的“古建筑结构研究”工作的小结。这一系列的研究,主要对象是我国北方(重点在山西省)现存的古代建筑,包括木构架房屋及砖石古塔。研究内容有:古建筑木构架的结构体系及其特点,按结构体系进行分类,宋《营造法式》中有关结构性质阐述的研究,现存古建筑的动态研究及现存古建筑可靠度评定方法的研究。根据研究的成果,完成了对六座著名古建筑的评价,并为两种国家规范的有关条文提供了资料和数据。     

利用底栖动物群落特征评价洞庭湖污染的研究

1995 年分别在枯、平、丰水期对洞庭湖的6 个断面底泥进行采样监测,共发现底栖动物58 种,密度为78～544.5 个m2 ,10 种优势种均成聚集分布.采用综合生物污染指数评价水体质量,表明目前整体水质为轻污染,但较1981～1982 年水质明显变差     

从美国高教评估制度反思我国高教评估的发展

美国是当今世界上高等教育最发达的国家，其高等教育评估制度有着悠久的历史，发展得比较完善。我国高等教育评估体制正处于探索阶段，比较研究和借鉴其经验，对于建立和完善我国高等教育评估体制和运行机制，无疑具有十分重要的意义。     

基于贝叶斯网络的态势评估

作为一种知识表示和进行概率推理的框架,贝叶斯网络在具有内在不确定性的推理和决策问题中得到了广泛的应用。因果推理是态势评估中的一个重要环节,用贝叶斯网络找出态势假设和事件之间的潜在关系,正是态势评估所需完成的功能。根据态势与事件之间不同的连接关系建立了态势评估的贝叶斯网络模型,并分别介绍了相应的信息传播算法,最后以一个实例来说明该网络的计算过程。     

小城镇可持续发展评价方法与应用

将小城镇看作资源、环境、社会与经济的复合系统,从系统演化的角度对小城镇的可持续发展进行分析,提出了小城镇可持续发展的评价模型,并对横店镇的可持续发展进行了评价。