有限集上全体拟阵的构造方法

对于任意一个有限集S，给出了寻找S上全体拟阵M（S）构成元素的两种简便易行的构造性方法。     

树的邻接向量与优美树猜想的微机证明

本文引入了树的邻接向量的概念，用微机证明阶数≤２０的树都是优美树。     

工业企业常用安全评价方法概述

安全评价是从事故发生的可能性、影响范围与损失程度等方面人手，运用系统工程理论去识别、分析和评价固有或潜在的危险因素。常用的安全评价方法按评价内容可分为过去状态的安全评价(如事故树分析、事件树分析、因果分析)、现有工艺过程和生产装置的综合安全评价(如按企业固有危险性和现实危险性两步评价、评价目标体系的数学模型计算法)以及系统设计阶段的安全评价。选择中应根据企业生产过程的不同阶段，要注意消化吸收国内外科学实用的方法，不一味的求新；要根据安全系统的复杂性考虑多种方法综合评估，或把不同方法结合起来；评价过程必须遵循科学性、公正性和针对性原则。     

常规动力潜艇进排气系统的风险分析与评价

应用故障树和事件树分析(FFA／ETA)对常规动力潜艇的进排气系统进行风险分析和评价。计算了四种功能系统产生失效而导致事故的概率，并对发生事故后的后果进行了分析。所得结果可供常规动力潜艇设计参考。     

水面舰艇对潜搜索能力建模与分析

水面舰艇对潜搜索能力是水面舰艇反潜兵力作战运用的基本战术指标。给出了水面舰艇编队对潜搜索能力的数学模型，计算了某型猎潜艇、护卫舰、驱逐舰的对潜搜索能力，分析了在指定海域对潜搜索的兵力需求量和搜索持续时间。结果表明，水面舰艇对潜搜索所需时间长、兵力多、效率较低，指出改进声呐性能，增大声呐有效工作距离是提高水面舰艇对潜搜索能力优先发展的有效途径。     

基于GTST-MLD的舰船安全风险分析方法研究

舰船系统结构复杂，在使用过程中，存在着各方面的安全风险。嵌入主逻辑图（MLD）的目标树-成功树（GTST）的建模方法可以完整的描述系统各组成部分安全风险的关联关系和各要素交互作用的信息。文章论述了GTST-MLD模型的特点及其建模步骤，并且将它们运用到舰船系统的安全风险分析上，解决了舰船系统完备的安全风险模型建立的问题。     

言论大搜索

上汽新车叫板丰田 日前，上海大众和上海汽车乘用车分公司两大整车制造企业的权威人士，在被问及新车型斯柯达明锐和自主品牌荣威750市场上的主要对手时，他们分别表示：斯柯达明锐对丰田的卡罗拉、荣威750对丰田的凯美瑞。两家企业的两个产品，均不约而同地锁定丰田的产品，正面叫板丰田的车型。是偶然的巧合，还是必然的选择？     

基于蒙特卡罗的软件可靠性测试技术研究

为了缩短软件测试周期,提出了运用蒙特卡罗(Monte-Carlo)方法进行软件可靠性测试的基本技术,通过实例介绍了这一技术在软件测试中的应用过程.这一技术较好地解决了2个问题:测试用例的优化;使用新的评判准则分析测试结果.     

基于FTA的渔船海损事故分析

事故树分析(FTA)是一种重要而常用的系统安全分析方法。将该方法运用到了渔船海事分析中,并以渔船触礁事故为例运用事故树描述事故的因果关系,进行定性分析,确定出事故的主要因素,提出了事故的控制措施。研究结果表明,在渔船海损事故分析中应用事故树分析方法,有利于对事故的全面分析,便于找出引发事故的直接原因,总结经验,提出事故预防措施,降低事故发生率,保障渔业生产的健康发展。     

风险度量中的拟蒙特卡罗方法

传统的蒙特卡罗模拟样本使用伪随机数序列,而拟蒙特卡罗模拟采用的是确定的低偏差序列,本文对比了低偏差序列与伪随机数序列的特点,并用两种模拟方法计算了一个股票期权的VaR值,实验结果显示,在计算精度要求相同的条件下,拟蒙特卡罗模拟方法比传统的蒙特卡罗模拟法收敛要快得多,并且计算精度也更高一些。