基于互斥角色约束的SSOD策略实现研究

静态职责分离（SSOD）是保证计算机安全的重要策略。在基于角色的权限控制(RBAC)中直接基于互斥角色约束（2-2 SMER）实现最简单的SSOD策略（2-n SSOD）是困难的。通过对互斥角色的权限分配进行约束,研究并证明了基于2-2 SMER实现2-n SSOD策略的充分条件,此充分条件和现有研究相比具有更弱的约束力,支持更灵活的权限分配。进一步给出了实现2-n SSOD策略的授权管理操作规则,以确保权限的动态管理始终满足此充分条件,维持系统对2-n SSOD策略的满足状态。最后,通过应用实例说明了实现2-n SSOD策略方法的有效性和可行性     

基于自注意力机制模拟实体信息的实体关系抽取

在信息抽取领域,从非结构化文本中抽取实体关系是一项基础且重要的任务,且面临实体重叠和模型误差累积等挑战.本文以关系为导向,提出一种改进的实体关系联合抽取方法.该方法将实体关系抽取任务分为关系抽取与实体抽取两个子任务.在关系抽取任务上采用自注意力机制关注词与词之间的重要程度从而模拟实体信息,并使用平均池化来表征整个句子信息;在实体抽取任务上结合关系信息使用条件随机场识别该关系下的实体对.本模型不仅能够利用存在关系必定存在实体对的思想解决实体对重叠问题,还能够在训练过程中利用数据集中已知的关系使实体抽取模块不依赖于关系抽取模块的结果来训练,从而在训练阶段避免误差累积.最后,在WebNLG和NYT公开数据集上验证了该模型的有效性.     

基于偏序简化的并发系统验证

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.     

微晶β-SiAlON材料的制备

以原料配比(w):硅粉39.4%、金属铝粉12.7%、氧化铝粉47.9%为基础配方进行配料,分别经1 300、1 350、1 400、1 450、1 500℃保温3 h或5 h氮化反应制备β-SiAlON材料。研究了Fe2O3烧结助剂、煅烧温度和保温时间对制备β-SiAlON材料的体积密度、耐压强度、物相组成和显微结构的影响。结果表明:添加2%(w)的Fe2O3,提高煅烧温度和延长保温时间,都有助于烧结的进行。添加2%(w)的Fe2O3作烧结助剂,在N2气氛中于1 500℃下保温5 h烧成试样的耐压强度达到85.44 MPa,体积密度达到2.92 g·cm-3,以β-SiAlON为主晶相,晶粒发育良好,呈棱柱状,直径大约1μm,长度大约2μm,且分布比较均匀。     

硫化时间对HNBR/ZMMA复合材料形态结构及性能的影响

采用炭黑和单甲基丙烯酸锌(ZMMA)并用作补强剂制备了氢化丁腈橡胶(HNBR)复合材料,使用X射线衍射法和透射电子显微镜法分析了ZMMA在HNBR硫化过程中的结构和形态变化,并研究了一段硫化时间对复合材料力学性能的影响。结果表明,在硫化过程中,ZMMA发生了复杂的化学反应;随着一段硫化时间的延长,氢化丁腈橡胶复合材料的拉伸强度和100%定伸应力变化都不大,而撕裂强度先增大后减小,拉断伸长率减小。X射线衍射结果表明,ZMMA由结晶态转变为非结晶态。透射电子显微镜分析结果表明,在硫化开始阶段,ZMMA聚合反应已经完成,有大量的纳米级粒子分布在橡胶基体中。     

新型铜及铜合金光亮酸洗工艺

介绍了一种铜及铜合金无硝酸、无铬光亮酸洗工艺,其主要工序包括化学除油、盐酸漂洗和化学出光。通过正交试验对化学出光溶液组成进行优化,得到最优配方为:H2SO415%,H3PO420%,出光剂A(含氧化剂、缓蚀剂及表面活性剂)20%。该新型抛光剂适用于多种铜及铜合金,工件的光泽与传统混酸洗工艺相当,在自动线上必要的38s内不会对工件产生过腐蚀。     

Gd2O3：Yb，Er纳米材料的制备及上转换发光研究

利用Triton X-100／正己醇／环己烷／正己烷／水制成W／O微乳反胶团体系制备Gd2O3：Yb，Er上转换材料。利用扫描电镜观察氧化物粉体的颗粒形貌均为球形；通过改变掺杂元素Yb和Er的比例，在980nm的红外光激发下，观察研究氧化物颗粒的发光性质。该粉体在波长为980nm的半导体激光器激发下发射出绿色和红色的上转换荧光，分别对应于Er^3＋离子的。^S3／2／^2H11／2→^4I15／2跃迁和。^F9／2→^I15／2跃迁。     

基于BIM和RFID的模板支撑架高处坠落预警管理分析

为减少并预防模板支撑架高处坠落事故的发生,提高安全预警管理水平。在对引发架体高处坠落事故危险源进行辨识与分析的基础上,依据架体坠落对象的不同对危险区域及预警等级进行了划分。同时基于预警管理信息需求分析构建了包含信息采集层、网络层、交互层、应用层的系统框架,并最终构建了基于建筑信息模型和射频识别技术的模板支撑架高处坠落事故预警管理系统运行流程图。结果表明,该系统能够通过对危险源信息采集、定位跟踪、危险区域自动识别与预警提示,进而实现对架体搭拆人员与架上施工人员高处坠落事故的可视化分析与智能化预警。     

高效液相色谱法在食品安全检测中的应用

高效液相色谱法是一种快速、高效、准确的检测斱法,广泛应用于食品、医药、生物等领域。目前高效液相色谱技术日益成熟,在食品安全检测工作中収挥了重要作用,国内外学者多致力于简化实验操作程序,提高检测效率,扩大应用范围,完善已有检验检测斱法。本文重点概述了近年来高效液相色谱在检测食品添加剂、多种农药残留、生物性毒素以及食品中营养素的研究迚展,为提高高效液相色谱在食品领域的迚一步应用及新检验斱法的建立提供参考。     

北京市延庆硅化木园区典型岩石矿物图像特征提取与分析

北京市延庆硅化木园区位于中朝准地台内蒙地轴与燕山台褶带两个Ⅱ级构造单元衔接部位,地层岩性组合在北京地区具有一定的典型性和代表性。对研究区内岩石矿物特征的提取与分析,进而为北京地区今后开展岩性识别相关工作具有一定的参考意义。本研究基于Visual C++软件平台,应用数字图像处理技术开展颜色、灰度、纹理、投影、频域等多种适用于典型岩石矿物图像的特征提取方法研究,进行系统的参数值计算及仿真分析。通过优化选择确定最优特征量及最大判据值,实现了多参数特征有效集成,初步建立了综合、全面的特征提取系统技术体系,有助于提升地质调查工程中岩石矿物识别的精度。