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

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

材料专业开设科技论文写作课的“四性”探讨

针对理工科本科生科技论文写作水平普遍不高的现状,提出了以“文献调研+综合实验论文+毕业论文”为主线开设“论文写作系列”实践教学课程,并在材料专业进行了教学实践。结果表明：该课程明显提高了学生的科学素养和科技论文写作能力,值得在理工科专业中推广。     

“学习性评价”在双语教学实践中的运用

探讨应用型本科院校双语教学存在的问题,认为在双语教学中应引入“学习性评价”.分析了“学习性评价”的理念,并从学习目标、口头与书面反馈、自我评价与同伴评价、考核方式等方面提出了双语教学改革思路和实施策略,教师给学生制定清晰的学习目标,增加作业的反馈信息,增加阶段性测验,改进课堂提问方式,采取多种考核方式.     

大肠杆菌偏利共培养系统合成大豆苷元

大豆苷元是一种植物雌激素,具有多种生物活性,但在大肠杆菌中的生物全合成还未见报道。基于大豆苷元合成途径的三个模块（对香豆酸、甘草素和大豆苷元模块）,构建大肠杆菌共培养系统从头合成大豆苷元。将对香豆酸和甘草素模块分配到两株大肠杆菌中构建双菌共培养系统,合成甘草素。在此基础上,探索了三种共培养模式合成大豆苷元,结果显示,三菌共培养系统比其他两种双菌共培养系统的产量更高,达到27.8 mg/L。共培养菌株间通过苯丙氨酸的单向流动形成了偏利共生的关系,有助于平衡代谢途径,提高大豆苷元产量。该共培养系统在大肠杆菌中实现大豆苷元的从头合成,为其他黄酮类化合物的生物合成提供了即插即用的平台。     

羊栖菜褐藻糖胶的结构表征及其抗氧化活性

为研究羊栖菜褐藻糖胶的结构及其抗氧化活性,以羊栖菜为原料,经CaCl₂溶液提取、DEAE-Sepharose fast flow分离纯化得到褐藻糖胶组分SFP-2。采用高效凝胶渗透色谱法(HPGPC)、化学法、高效液相法(HPLC)以及傅里叶变换红外光谱法(IR)对多糖的纯度、分子量、理化性质、单糖组成以及官能团进行测定,并通过测定DPPH自由基清除活性、超氧阴离子清除活性、ABTS⁺自由基清除活性、亚硝酸盐清除活性和还原力,对多糖的体外抗氧化活性进行了评价。结果表明,SFP-2分子量均一,为707.0 kDa;总糖含量为66.9%,蛋白含量为3.1%,硫酸基含量为21.2%,不含糖醛酸;SFP-2主要由岩藻糖和半乳糖构成,还含有少量的甘露糖和氨基葡萄糖;红外光谱显示,SFP-2具有硫酸化多糖常见官能团的特征吸收峰;上述结果表明SFP-2是一种不含糖醛酸的硫酸化岩藻聚糖。SFP-2具有良好的清除DPPH自由基、超氧阴离子、ABTS⁺自由基、亚硝酸盐活性,其EC₅₀分别为8.94、8.30、16.04、9.87 mg/mL,且具有一定的还原能力。因此,SFP-2是一种不含糖醛酸的,抗氧化活性良好的羊栖菜褐藻糖胶。     

基于U描述子的多边形水印技术

利用归一化U描述子,给出了一种针对包含多边形的矢量图来嵌入和检测水印的方法,并用实例说明了此算法可以抵抗平移、旋转、缩放和局部修改等攻击.     

幻曲面的等距变换及等距曲面的分析性质

本文研究的幻曲面是指以任何数字幻方（矩阵）为型值的Bernstain-Bezier曲面．对二次幻曲面做等距变换,给出了等距变换的图像．对其进行进一步分析,探讨了二次幻曲面的等距曲面的分析性质,并给出了幻曲面的等距曲面的第一、二基本形式。     

柠檬烯对荧光假单胞菌抑菌活性及机理研究

为研究柠檬烯对荧光假单胞菌的抑制活性及其抑菌机理,通过最小抑菌浓度(Minimal inhibition concentration,MIC)和生长曲线的测定研究柠檬烯对荧光假单胞菌细胞生长的影响;通过扫描电镜观察细胞结构,测定胞内蛋白含量和二乙酸荧光素(Fluorescein diacetate,FDA)染色实验研究柠檬烯对荧光假单胞菌细胞膜通透性的影响;通过测定膜电位、胞内ATP含量和琥珀酸脱氢酶(Succinic acid dehydrogenase,SDH)活性研究其对荧光假单胞菌能量代谢和三羧酸循环的影响。结果表明,柠檬烯对荧光假单胞菌具有较好的抑菌效果,其MIC值为20 mL/L,添加1×MIC和2×MIC浓度的柠檬烯3 h后膜电位分别下降至34.41和7.33 AU;12 h后SDH酶活性分别减小至11.12和22.69 U/mg。柠檬烯通过破坏荧光假单胞菌的细胞形态和结构,使细胞出现严重的破裂、塌陷和孔洞,从而引起细菌胞内蛋白含量降低,膜电位下降以及胞内ATP含量下降和SDH酶活性减小,从而发挥其抑菌作用。     

超声场强化提取茶籽油动力学模型的研究

通过分析常规浸提过程中的传质机制及超声场对分子扩散传质的影响,在Fick第一定律的基础上研究了超声强化提取茶籽油的动力学模型,并与常规浸提动力学模型进行了比较。在不同的提取条件下对上述模型进行验证,结果表明:所建立的动力学模型与实验数据相吻合,可较好地模拟茶籽油的提取过程。