基于DPSIR模型的建筑业可持续发展评价及障碍因素分析——以山东省为例

为了探究建筑业的可持续发展情况及其障碍因素,基于DPSIR框架,构建建筑业可持续发展评价指标体系,采用熵权TOPSIS法对2012—2020年山东省建筑业可持续发展水平进行评价分析,并通过障碍度模型对障碍因素进行识别诊断。研究表明,2012—2020年山东省建筑业可持续发展水平持续向上发展,其中状态水平和影响水平9 a间连续上涨,驱动力水平、压力水平、响应水平虽有波动,但都进入了中等及以上的发展水平。现阶段影响山东省建筑业可持续发展的主要障碍因素为产值利润率、建筑业亏损企业比例、从业人员增长率、从业人员比例和住房保障支出占财政支出比例。     

Fe_3O_4/CNTs催化苯羟基化制苯酚反应性能

为实现苯一步羟基化直接合成苯酚的绿色工艺路线,基于高温热分解法制备了Fe3O4/碳纳米管(CNTs)复合催化剂应用于H2O2为氧化剂的苯羟基化制苯酚反应。采用单因素法考察了H2O2及催化剂用量对反应的影响,并评估了催化剂的重复使用性能。采用X射线衍射(XRD)、透射电子显微镜(TEM)、傅里叶红外光谱(FTIR)和振动样品磁强计(VSM)对催化剂的微观结构、磁性能进行了研究和分析。结果表明,负载于CNTs表面上的Fe3O4粒子是H2O2为氧化剂的苯羟基化制苯酚反应的主要活性组分;在Fe3O4/CNTs用量30 mg,H2O2 1.5 m L的条件下,反应90 min时苯转化率为26%,苯酚选择性为91%。     

模型驱动的嵌入式系统设计安全性验证方法研究

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。     

NIDS报警信息关联分析进展研究

入侵检测技术是当前网络安全领域的一个研究热点,报警关联分析是其中一个重要部分。通过报警信息的关联分析,可以显著地降低入侵检测系统的误警率,提高它的检测率和可用性,帮助网络管理员更好地掌握当前网络的安全状况。本文对当前国际上报警关联分析技术的研究现状进行了综合分析,并对现有方法进行了分类和比较。     

费-托合成油中含氧化合物的脱除

主要介绍了费-托合成油中含有含氧化合物带来的问题以及如何除去费-托合成油品中的有机含氧化合物。讲述了费-托合成油品中有机含氧化合物主要脱除方式：加氢脱氧法、化学脱除法、液液萃取法、精馏法、物理吸附法等脱除方法及其脱除原理。举例分析了各种脱除方法的优点和存在的主要问题。不同的方法对于有机含氧化合物的去除效果不同,因此,在脱氧时应该根据脱氧目标灵活结合不同脱氧方式达到最优脱氧效果。其分析结果及结论对脱氧工艺具有一定的指导意义。     

多三元环季铵自燃离子液体的合成及性能

以三元碳环作为张力能结构单元,合成了基于N,N-(二环丙基甲基)环丙胺为阳离子,二氰胺根和氰基硼氢根为阴离子的系列离子液体。采用核磁(NMR)、红外光谱(IR)和高分辨率质谱(HRMS)等表征方法,确认了所得离子液体的结构,并对其物化性质(如熔点、热分解温度、密度、粘度、生成焓、比冲和点火延迟时间)进行了测定或计算。结果表明：设计合成的10种离子液体均能与白烟硝酸(WFNA)发生自燃,氰基硼氢类离子液体与相应的二氰胺类离子液体相比,点火延迟时间更短。张力环结构的引入可提高离子液体生成焓(0.87～1.96 kJ·g^-1),三元环结构紧凑的堆积有利于提高离子液体密度(1.01～1.18 g·cm^-3),张力环基自燃离子液体表现出更高的密度比冲(436.7～454.4 s·g·cm^-3)。分子结构中引入张力环基团为提高自燃离子液体的能量密度提供了新的思路。     

信息安全技术在企业管理中的应用

介绍了信息安全技术的相关理论及其在企业管理中的应用,阐述了当今企业管理中存在的不安全因素及安全防范和安全技术,解决企业管理中出现的安全问题。     

标准模型下可证安全的门限签名方案

门限签名能够分散签名权力,比普通单人签名具有更高的安全性。目前大多数门限签名方案都存在密钥托管的问题。针对一种新的基于身份的门限签名方案存在的安全性问题,利用椭圆曲线上的双线性对,文中提出了一个改进的方案。新方案由私钥生成中心和签名成员合作生成密钥,由此防止了PKG伪造签名,较好地解决了密钥托管的问题。在标准模型下对该方案进行了安全性证明,表明该方案是不可伪造的和健壮的。与已有的门限签名方案相比,安全性有较大的提高,效率没有明显的降低。     

康复辅具安全设计探析

以康复辅具的概念和产品安全设计理论为基础,分析研究了康复辅具安全设计的概念、内容与意义,并结合相关的理论和实例,从工业设计、机械设计、人机工程学等多个角度,对康复辅具安全设计及其要点进行了论述和拓展。在此基础上,提出康复辅具安全设计不仅是技术领域相关安全问题的解决,而且是面向残障者生理和心理安全的全方位系统安全优化与人性化设计。     

高压无功补偿的智能控制

文章分析了目前电力系统无功补偿控制采用手动投切电容器方式来补偿容量存在的问题,探讨了采用智能控制进行高压无功补偿的基本要求,阐述了如何利用模糊控制理论实现智能控制的功能。