【摘 要】
：
由于生产条件不足,从业人员素质良莠不齐,管理制度并不完善等原因,安全生产事故时有发生。随着互联网技术的持续发展,越来越多的安全生产管理采用信息技术进行改造,通过数据
论文部分内容阅读
由于生产条件不足,从业人员素质良莠不齐,管理制度并不完善等原因,安全生产事故时有发生。随着互联网技术的持续发展,越来越多的安全生产管理采用信息技术进行改造,通过数据挖掘,预警技术对事故进行预警。安全预警技术也在各行各业广泛应用,如生产工厂,建筑工地,船舶,航空,甚至近年发展较快的智能汽车上也都运用安全预警技术来减少事故的发生。应用场景以及平台的差异,实时性的不同,监测的数据格式的差异等都导致安全预警系统需要根据所应用的场景独立设计开发,这将导致大量的重复开发,浪费人力物力的同时也会存在质量、效率的参差不齐,这已经成为了我国安全预警发展亟待解决的问题。软件复用被认为是解决“软件危机”、提高软件开发质量效率的重要途径,面向对象、软件构件、软件体系结构、领域工程等相关技术也为软件复用提供了技术支持。本文将软件复用的思想与技术应用于安全预警系统的开发,以缩短系统的开发周期,节约开发成本,提高系统的可靠性。复用过程一般为1.通过已有软件系统建立领域特征模型;2.根据领域特征模型以及开发需求选择相应的特征模块;3.对复用构件和重新开发构件成本进行计算选择成本较低的构件获取方法;4.组装构件完成新产品的开发。本文研究内容主要为第一部分领域特征模型的构建。传统的建模方法对于特征的获取基于领域专家的分析,具有较强的主观性,且没有从客户的角度分析领域特征,也没有建立从样本系统到模型中特征的可追溯性关系。本文结合样本系统用例图构建领域特征模型的方法和领域分析的方法分析样本系统,构建安全预警领域特征模型。改进了传统建模方法的主观性较强,可追溯性差的问题,并且加入了从用户角度描述系统的领域用例模型。对特征模型进行了Guidsl语法的描述,并运用Feature IDE工具对Guidsl描述的安全预警特征模型进行一致性的检验。给出了安全预警领域特征模型的默认配置。最后选取部分特征模拟实现了一个校园安全预警系统。主要工作包括以下内容:1.构建了安全预警领域的特征模型本文通过对选取的样本系统进行分析,获取了样本系统用例图以及功能需求,进一步的构建了样本系统的用例图与结构模型。以样本系统的用例图为基础构建了领域用例模型,并将领域用例模型映射为领域用例特征模型,以样本系统的结构模型与功能分析构建了领域分析特征模型。最后整合领域用例特征模型与领域分析特征模型,给出了安全预警领域的特征模型。2.对安全预警特征模型进行形式化描述及一致性检验3.给定领域特征模型的默认配置4.选取部分特征模拟实现校园安全预警系统本文的研究对安全预警系统的开发具有一定的参考及应用价值。
其他文献
基因调控网是系统生物学的重要研究内容,对此研究者们提出了多种有效的研究方法,其中基于数学模型,采用生物工程的办法,来构建具有一定生物功能的基因调控网的正向工程技术法,被国内外广泛采用。基因振子多细胞系统是一类重要的基因调控网络,吸引了不同领域的科研和技术人员的关注。这些系统往往可以展示出同步、聚类、多稳性、多节律性和混沌等各种有趣的动力学现象,揭示这些现象产生的机制对于我们理解多细胞生物的群体协作
区块链,本质上是一种新型的分布式数据存储技术,其中记录了链上所有用户之间的交易往来信息以及用户的身份等敏感信息,其具有公开透明、存储的信息不可修改、多中心化等性质,
中空碳纳米球(HCN)具有质量轻、导电性好等特点,可以应用在诸多领域。然而,HCN的相对介电常数较大,仅能使少量入射电磁波进入材料内部而被衰减,因此造成了较差的电磁波吸收性能。研究发现,HCN与磁性粒子复合后体系的电磁参数可以得到有效调节,吸波性能也得到改善。本文通过软模板法成功合成了HCN,在此基础上制备出Fe_3O_4/HCN复合材料和Co@HCN核壳结构复合材料,并对其电磁波吸收性能进行了研
乳源性活性肽来源于发酵乳制品,多指氨基酸个数为3-5个的短肽,经过胃消化模拟实验证明有耐消化不被分解、易吸收的特性,同时具有抗氧化、免疫调节等生理活性。本实验探索了乳源性活性肽Gln-Glu-Pro-Val(QEPV)的生理活性,从体内、体外两个方面证实QEPV具有一定的免疫调节功能,并初步探索了其发挥功能活性的机理。体外实验结果表明,低浓度的QEPV(0.1g/L)对小鼠巨噬细胞(RAW264.
高通量测序技术产生了海量基因序列数据,为生命科学的研究带来了前所未有的机遇。然而由于序列错误率和计算资源的限制,超大型宏基因组序列分析仍然是一个不可克服的障碍。Sp
三维点云的几何形状检测作为模式识别领域的关键技术之一,在机器视觉和智能机器人等领域应用十分广泛。由于实际环境中存在大量球面区域,且球面模型较为简单,精确和高效地检
将局部间断Galerkin(LDG)方法应用于Klein-Gordon-Schr(?)dinger(KGS)方程,并对该方程采用线性边界数值通量分别构造了半离散格式和全离散格式,研究了这些格式的能量守恒和质量守恒性同时设计出相应的可执行形式.本文安排如下:第一章,分别介绍了KGS方程和LDG方法的研究背景,随后介绍了本文所用到的一些相关知识.第二章,提出了两个关于边界数值通量的引理,并证明了在特殊
延迟偏微分方程广泛应用于经济学、物理学、生态学、生物系统、医药学、流行病学、工程控制、计算机辅助设计、核工程、气候模型等,受到了越来越多的关注.一般来说,延迟偏微分方程的解很难用精确的解析表达式求出.因此,数值解法的研究对于求解此类问题尤为重要.本课题的研究对象是延迟偏微分方程中重要的一类:延迟对流-扩散-反应方程.本文旨在延迟对流-扩散-反应方程配置有限元方法的研究,对方程的时间维度选用经典配置
原钙粘蛋白(Protocadherin,Pcdh)基因簇由紧密相连的三个基因簇(Pcdhα、β和γ)组成,其中α、γ基因簇包含可变外显子(C型和非C型)和恒定外显子。已有研究报道单个神经元Pcd
在新能源领域,为了解决可持续发展能源问题,利用电化学将电能储存为化学能,是一个有效的解决方案。而为达成将电能储存为化学能这一过程,电解水就是一个有效的方法。电解水在