模式驱动的系统安全性设计的验证

随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安全解决方案,并通过模型检测方法验证其安全性。但是,这些方法往往将方案看作整体进行验证,忽略了内部安全模式的组合细节,难以在包含大量模式的复杂系统中定位缺陷。提出一种模式驱动的系统安全性设计的验证方法,首先使用代数规约语言SOFIA描述安全模式及其组合,以构建系统安全解决方案的形式化模型;然后将SOFIA规约转换为Alloy规约后,使用模型检测工具验证模式组合的正确性和系统的安全性。案例研究表明,该方法能够有效地验证系统安全解决方案的正确性。     

宫颈癌CTL表位疫苗TATHPV蛋白的构建与表达

目的　构建宫颈癌的CTL表位疫苗 ,并在大肠杆菌中表达。方法　应用PCR的方法合成编码CTL表位疫苗基因序列 ,将其亚克隆入pET2 8a- TAT表达载体中 ,并在大肠杆菌BL2 1(DE3)中表达重组蛋白 ,用Westernblot对重组蛋白进行鉴定。结果　通过 4轮PCR获得疫苗的基因片段 ,构建的重组表达载体pET2 8a -TAT -HPV在大肠杆菌中得到高效表达 ,Westernblot检测显示特异性条带。结论　构建的宫颈癌CTL表位疫苗在大肠杆菌中得到了表达 ,为该疫苗的功能性研究奠定了基础。     

适用于独立式车辆自动跟踪的力延时柔性虚杆建模

针对传统车辆自动跟踪系统中前车加速和转弯时跟踪误差大的缺点,提出一种具有力延时的改进柔性虚拟杆建模的算法.在原柔性虚杆的基础上增加虚拟力控制部分,使虚拟柔性杆精确地拟合出前车轨迹,并拖动后车沿着虚杆的形状进行精确运动.该作用力会根据虚拟柔性杆的形态和长度的不同而发生改变,并且该虚拟力自产生到发生作用要经历一段延时,通过...     

HPGe测量气体裂变产物中微量77Kr的可行性分析

针对气体裂变产物中微量⁷⁷Kr的测量问题,利用MCNP模拟计算了气体裂变产物对⁷⁷Kr的影响。结果表明,HPGe不可能直接测量气体样品中的⁷⁷Kr,但可通过测量其子体⁷⁷Br来推算⁷⁷Kr。     

提高化学工程与工艺专业实验教学质量的改革与实践

为了提高化学工程与工艺专业实验的教学质量,本文从实验内容、教学方法和考核办法等方面阐述在实验教学中的改革尝试.提出了明确专业特点,更新实验内容;注重能力培养,改革教学方法和转变思维模式,革新考核办法的观点.     

基于多元素分析的贵州绿茶产地鉴别研究

目的 探究以多元素统计对贵州不同产地绿茶判别分析的有效性和可行性,筛选产地间差异性元素。方法 采用电感耦合等离子体发射光谱法(inductively coupled plasma emission spectrometry, ICP-OES)和电感耦合等离子体质谱法(inductively coupled plasma mass spectrometry, ICP-MS)对贵州4个产地63个绿茶样品中47种元素进行定量分析,结合正交偏最小二乘法判别分析(orthogonal partial least squares discriminant analysis, OPLS-DA)建立贵州绿茶的产地判别模型。结果 4个产地的绿茶中元素含量有明显的差异; K、P、Ca、Mg、Mn、Al和Fe元素含量规律相同,说明4个产地的茶叶对土壤中部分高含量元素的富集能力具有一致性;4个产地的污染物Pb、Cu、Cd、As和Cr的含量均低于茶叶相关标准的限量要求。基于元素含量建立的6组OPLS-DA分析模型可以有效区分产地,其中黔西南州与铜仁市模型(QXN-TR)参数最优,该模型用50.3%的变量可解释9...     

基于序列数据稳定的黑盒局部解释性方法研究

机器学习在实际应用场景中取得了巨大成功,但无法给出决策的明确解释限制了它在一些领域的应用。为改善其计算结果的不可理解性,一些学者对机器学习的可解释性进行研究,已有针对图像的解释性方法很难对具有时序相关性的文本数据做出正确的解释。针对这一问题,论文提出一种面向时序数据的稳定黑盒局部解释性方法DLEMNA。利用聚类算法解决随机扰动解释造成的不稳定性,引入Fused Lasso约束考量特征之间的时序相关性,通过构建线性模型计算影响决策的重要特征。论文以20newsgroups数据集为实验对象,实验结果表明论文提出的DLEMNA方法在保真性和稳定性两方面优于LIME方法。     

改性活性碳纤维对CO2的吸附性能

为了进一步提高活性碳纤维的CO₂吸附量和抗水性能,采用浸渍法将活性碳纤维进行改性处理,得到一系列改性样品,并对其进行了SEM和FTIR表征。研究了活性碳纤维种类、浸渍试剂（NaOH溶液、ZnCl₂溶液及离子液体）等对吸附剂孔结构、CO₂吸附量、循环使用性和抗水性能的影响,并探讨了CO₂在改性活性碳纤维内的动力学吸附扩散行为。研究结果表明：改性活性碳纤维的CO₂吸附性能和抗水性能均显著改善,其中CO₂最高吸附量达24.4%（0.1MPa和25℃）,吸湿率减小到1.33%,且具有良好的吸附/脱附循环使用性。均相扩散模型（HSDM）描述了实时吸附数据,此模型能够较好地反映CO₂在样品内的扩散行为,改性活性碳纤维仍能保持良好的扩散速率,扩散系数D_s值数量级为10^-5m²/s,与空白活性碳纤维相当。     

春暖花开，我的店铺穿新衣

春天到了,花儿开了,风儿暖了,身上的棉衣也穿不住了,这正是“败家女”们‘血拼’春装的时候,而我的淘宝店铺里却依旧冷冷请请,有一天,和一个老顾客聊天说起这个事儿,这位MM告诉我：“你店里的衣服都蛮漂亮,价格也适中,可是你的店铺太难看了。你看看街上的实体店,那种四面白墙就开业的店,哪比得过精心装修过的店铺呢？”是啊,春暖花开的时节,不光MM们爱美丽,我的店铺也要穿新衣呀！     

预处理对天然丝光沸石合成二甲胺催化性能的影响

为了提高甲醇气相胺化合成二甲胺的选择性和催化活性，研究了处理液类型和浓度及焙烧温度等预处理条件对天然丝光沸石催化性能的影响．结果表明：酸处理可降低沸石表面活性中心数目但提高活性中心的酸强度；沸石的催化活性与酸强度间存在对应关系，而沸石的选择性主要受择型效果控制，酸中心数目、酸强度和比表面积对选择性影响不大；焙烧对沸石晶型结构影响较大，温度过高晶型被破坏；优化的预处理条件为处理液盐酸浓度2mol／L，焙烧温度400℃．