连续系统动态趋势分析的定性代数和SDG图论方法

采用定性代数方程表达动态过程的稳态行为是定性仿真的一个重要应用方面,定性代数方程的求解与应用是定性仿真的一个重要领域,基于符号定向图SDG的求解方法是在许多应用领域被证明为最具实用意义的方法.在全面综述SDG方法国内外研究进展的基础上,分析了定性代数人工试错法的局限性,并通过将定性代数方程向动态过程稳态行为描述扩展,结合SDG图论方法的优势,说明SDG方法是目前发展前景较好的一种定性仿真方法,已经在HAZoP危险与可操作性分析、安全评价及智能化自解释仿真训练方面取得了突破性进展,在故障诊断领域亦显示出明显的优势.探讨了SDG方法用于实时故障诊断的算法步骤,并根据SDG方法的不足,对SDG图论方法的研究与发展提出了建议,以提高故障诊断的精确性.     

基于SDG的化工过程多故障诊断

目前,针对化工过程故障诊断的研究多集中在单"剧情",即在某一时刻只有一个故障源,故障传播的路径只有一条.其原因是系统发生单"剧情"的概率非常大.然而,多故障在化工过程中是确实存在的.多故障诊断的难点在于,系统内存在大量不可测节点,可测节点与不可测节点混杂造成剧情数目庞大.如何推理出海量剧情并进行剧情压缩,找到真正的故障传播路径,成为一个研究难点.基于深层知识定性模型的符号有向图(signed Directed Graph,SDG)在推理,压缩剧情方面,完备性较好,推理结果便于压缩.     

石化装置故障诊断技术的发展及应用

针对石化装置的生产及安全管理的特点,介绍了故障诊断技术面临的挑战和各种常用故障诊断方法,并详细叙述了基于符号有向图SDG(Signed Directed Graph)的故障诊断技术的研究进展,介绍了国内外具有代表意义的基于动态仿真的故障诊断研究试验和应用系统,然后介绍了故障诊断系统在石化装置中的应用.最后总结了各种故障诊断技术,指出了这一领域中有待解决的问题和可能的发展方向.     

SDG故障诊断模型的检验和验证

将定量模型检验和验证的思想应用于符号有向图（SG或SDG）定性故障诊断模型,以使其达到较高的完备性和分辨率。基于SDG HAZOP平台,提出了针对SDG定性模型检验和验证的非正式检验、静态检查、动态试验和诊断结果半定量风险分析的4个关键步骤,给出了静态检查中的操作点非正常原因可达性检验和不利后果可达性检验步骤的具体内容。以加热炉SDG故障诊断模型为例,验证了上述步骤的有效性。     

无线自组织网络灰色区域研究及仿真建模

针对灰色区域问题, 分析其产生的原因及其对网络性能的影响, 并提出一种灰色区域模型的建模方法。与传统的仿真研究采用的模型相比, 采用灰色区域模型构造的无线自组织网络, 其仿真结果更接近于实际场景。本模型可在一定程度上反映无线 自组织网络路由协议在现实组网环境中可能出现的灰色区域问题, 对路由协议的链路失效检测算法以及路由选择算法的改进提供NS2仿真平台模型的支持。     

醇水溶液中ZnO-TiO2纳米晶的合成及其光催化性能研究

采用液相方法89℃下,通过在二水合醋酸锌的醇溶液中加入预制的TiO2纳米晶可以合成ZnO-TiO2纳米晶,并且无杂相。ZnO-TiO2纳米晶呈球状分布,平均粒径为12nm～15nm。可通过TiO2纳米晶加入量的控制,制备不同锌钛比例的ZnO-TiO2纳米晶。制备的ZnO-TiO2纳米晶具有良好的光催化性能,其中所制备的纳米晶中TiO2百分含量为42%～50%左右时,光催化活性较高。     

知识构建对数字图书馆知识服务的影响分析

首先,以基于知识构建的数字图书馆知识服务的内涵入手,其次,将其为开展深入性研究的最基础层面,厘清知识构建以及知识服务的基本概念,找寻两者之间的相互关系,最后分析并总结知识构建的应用对图书馆知识服务造成的多方面影响。     

不完整缓和曲线计算式的推导

在现有完整缓和曲线公式的基础上,通过三角函数和坐标平移推算出不完整缓和曲线的计算方程式。     

浅析“人肉搜索”的利弊与监管

＂人肉搜索＂是一把双刃剑,具有维护社会正义良知和异化为＂网络暴政＂的双重社会功能。从法治、德治、加强监管队伍建设以及实现网络与传统媒体互动等途径对＂人肉搜索＂进行监管和引导,对于大力发展和传播健康向上的网络文化,充分发挥互联网在我国社会主义文化建设中的重要作用具有十分重大的意义。     

试论机房维护中GHOST的应用

学生机房常常因为频繁的死机、系统崩溃、病毒的破坏而需要复制系统,给机房管理员带来诸多不便,造成管理上的困难,通过实践,可以利用Ghost软件解决所遇到的问题,从而提高学生机房的管理效率。