Evaluation method of software reliability based on SPN model

As a significant measure of software security evaluation, software reliability evaluation is also the basis of software safe operation. Traditional software system security evaluation methods are qualitative evaluation based on the functional and structural measurements, and it often ignores quantitative research based on invalidity and fault. This paper propose a stochastic transition function as a measure parameters of the reliability of stochastic Petri nets (SPN) theory. By calculating the probability of stability of the system, failure and mean time to first failure, it establishes an evaluation and measurement method for software reliability. With example analysis, the method can conduct effective evaluation on the software reliability index quickly and accurately, and meanwhile provides a new method for the software security evaluation.     

湿热预处理对餐厨垃圾高温干式厌氧消化的影响

为探索湿热预处理对餐厨垃圾高温干式厌氧消化的影响,在含固率为20％、发酵温度55℃的条件下进行厌氧发酵试验。采用L9（33）正交试验设计,研究湿热预处理的加水率、温度、时间对餐厨垃圾干式厌氧消化产沼气的影响。结果表明：湿热处理后餐厨垃圾的理化性质有明显变化,日产气量、累积产气量以及TS和VS的去除率明显升高。当湿热预处理条件为加水率50％、温度120℃、时间80 min时,SCOD值最高,为101050 mg／L,比未处理时提高了5．6倍。同样,该条件下日产气量出现的两个产气峰值最高,累积产气量也最高,为269．10 ml／gVS,与未处理相比累积产气量提高49．4％。各因素对餐厨垃圾厌氧发酵产气量影响的主次关系为：温度＞时间＞加水率,处理温度和处理时间对产气量有显著性影响,加水率对产气量影响较弱。     

富水全、强风化砂岩强度特性试验及本构关系探讨

针对富水全、强风化砂岩的特点,进行了该砂岩的基本物理力学性质、化学成分实验,然后通过单轴、三轴压缩实验研究了爆破扰动、含水量、试样层理对砂岩应力-应变强度特性的影响。发现砂岩遇水软化,粘聚力大幅度降低,表现出显著的各向异性;爆破扰动后,岩石试样的单轴抗压强度减低,弹模减小,泊松比增大;由于砂岩具有明显的节理性,按两种方向加载所得到的岩石试样强度明显不同;根据实验所得应力-应变曲线特点,发现用修正的Duncan-Zhang模型可以很好地描述砂岩的前应力-应变曲线。     

关于刘勰《神思》的创作构思论探讨

《神思》是创作论的第一篇,专门论述创作思维与艺术思维活动的名篇。“神思”是指写作中以语言活动为主导的思维方式,即所谓“言为枢机”的语言心理观念。文章从《神思》的艺术思维、艺术的层面内涵、创作阶段过程三个方面进行剖析。     

面向突发事件的复杂系统应急决策方法研究

突发事件应急决策问题具有典型的复杂系统特性,本文深入分析了传统决策问题和应急决策问题的差异,考虑应急决策问题的特殊约束条件,提出了面向突发事件的复杂系统应急决策方法——"基于跨域仿真的应急决策方法",该方法由三条基本准则、跨域仿真模型、基于跨域仿真的决策支持模型三部分组成.三条基本准则包括动态锚定、有效策略、底线原则,分别针对应急决策面临的决策目标动态不确定、方案评估缺乏评价依据、决策调整难以实施三大难题给出了解决途径;跨域仿真采用"数据-模型"融合的方式解决突发事件仿真的"仿不准"难题;基于跨域仿真的决策模型实现了复杂突发事件的有效决策.本文提出的基于跨域仿真的应急决策方法具有一定的方法论意义,可推广适用于多种具有复杂系统特征的广义决策问题.     

类电Fenton降解有机偶氮染料媒介黄10

以二氧化锰复合石墨（MnO2@graphite）电极为阴极,铂网为阳极,研究了在pH7.0条件下降解媒介黄10（MY10）的类电Fenton反应特性.结果表明,4.7×10-5mol/L媒介黄10在外加电压6.0 V和支持电解质Na2SO410 g/L条件下,反应120 min,MY10脱色率达100%.通过紫外-可见光谱（UV-Vis）,傅里叶红外光谱（FTIR）分析和总有机碳（TOC）测定,研究了类电Fenton体系深度氧化（矿化）MY10程度,表明,电Fenton反应4h MY10的矿化率达79.1%.通过对类电Fen-ton体系原位循环伏安参数测定及过氧化物酶催化反应吸光光度法和苯甲酸荧光分析法跟踪测定类电Fenton体系降解MY10过程中H2O2和·OH的变化,表明MY10降解过程涉及·OH历程.     

机载蒸发循环制冷系统动态仿真

为了研究航空机载蒸发循环制冷系统的动态性能,通过模型仿真方法考察了不同参数阶跃对系统性能的影响。在分析系统工作原理和各部件特点的基础上,根据部件数学模型与闭环系统部件间耦合关系,在MATLAB/SIMULINK系统仿真环境下建立了机载蒸发循环制冷系统的动态数学模型。通过控制容积法离散各模型方程求解获得了系统的动态响应特性。仿真结果表明:压缩机转速、膨胀阀开度、制冷剂流量发生阶跃时,蒸发循环制冷系统各热力性能参数的动态响应规律不同。仿真结果可为机载蒸发制冷循环系统的优化及系统控制提供理论指导。     

海洋环境噪声特性分析研究

文章通过对海洋环境噪声级和海洋环境噪声空间特性的分析入手,从基本测量方法和技术要求等方面提出了噪声特性测量的方案,着重分析了噪声级及其时空统计特性与环境因素之间的依赖关系,为水声工程设计提供技术支持。     

东北高寒地区麦田土壤微生物学生态特性的研究

对东北高寒地区麦田土壤微生物及16种环境因素进行了逐月连续调查。细菌、真菌和放线菌的季节变化都具有单一的高峰值,其中细菌、放线菌的高峰值在7月,真菌的高峰值在6月。同时对影响微生物的环境因素进行了灰色关联分析,找出了影响微生物类群数量的主要因素和次要因素。     

面向市场分析预测的数据仓库技术应用研究

阐述了数据仓库的产生、数据仓库的概念、数据仓库的三大组成部分、数据仓库技术存在的问题以及研究方向,探讨了如何构建数据仓库进行决策支持.