“BOPPPS+PBL”教学模式初探——以《食品质量安全快速检测技术》为例

"BOPPPS+PBL"是一种混合式教学模式,聚焦食品质量与安全本科专业课程《食品质量安全快速检测技术》课堂教学,坚持课堂以"学生为本",坚持技能以"创新为本",依据精选的课程内容,通过整合"BOPPPS"与"PBL"两种教学模式,把握教学动态,提升学生的求知欲,推进教学从"课堂内"向"课堂内外结合",强化学生学习的主动性,达到将专业教育与应用型人才培养有机结合的目的,实现教学效果最大化。     

Symbolic Algorithmic Analysis of Rectangular Hybrid Systems

This paper investigates symbolic algorithmic analysis of rectangular hybrid systems.To deal with the symbolic reachability problem,a restricted constraint system called hybrid zone is formalized for the representation and manipulation of rectangular automata state-spaces.Hybrid zones are proved to be closed over symbolic reachability operations of rectangular hybrid systems.They are also applied to model-checking procedures for verifying some important classes of timed computation tree logic formulas.To ...     

BPEL 流程建模中的交叠模式分析与转换

由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.     

无线多媒体环境监测系统的设计与实现

在分析无线多媒体环境监测系统所需功能的基础上,设计了无线多媒体环境监测系统,并通过专门的控制命令传输通道,实现了对传统无线传感器网络与无线多媒体传感器网络的协调控制.根据监测系统需求,给出了无线多媒体环境监测系统的总体结构,以及汇聚节点软件和PC机端软件实现系统协调控制的方法.     

无花果蛋白酶酶解牡蛎肉的工艺优化及其抗氧化活性研究

研究无花果蛋白酶酶解牡蛎肉的工艺优化及其抗氧化活性,以氨基酸态氮含量和DPPH·清除率为指标进行单因素和正交实验,研究酶解时间、酶解温度、酶量、p H对氨基酸态氮含量和抗氧化活性的影响。正交实验确定牡蛎酶解的最佳工艺条件为:酶量5.5%,酶解温度50℃,p H6.0,酶解时间3.5 h。此工艺条件下,牡蛎酶解液氨基酸态氮的含量为0.181 g/100 m L,DPPH·清除率达71.80%,还原力为0.813,·OH清除率为16.19%,牡蛎酶解液具有较强的抗氧化活性。      

超声波辅助提取黄秋葵多酚和多糖的工艺研究

以黄秋葵为原料,对超声波辅助水提黄秋葵多酚和多糖的提取工艺进行了研究。通过单因素确定超声时间、超声温度、料液比和超声功率对黄秋葵多酚和多糖的影响,并在单因素实验的基础上利用正交实验确定最佳工艺条件。结果表明多酚和多糖的最佳提取条件为超声时间90min,超声温度45℃,料液比1∶45,超声功率84W。在此条件下,黄秋葵多酚和多糖的含量分别为4.207、2.671mg/g。      

龙眼漆酶基因(DlLac)的克隆及表达分析

以‘石硖’龙眼为试材,采用RT-PCR结合RACE技术成功克隆一个龙眼漆酶基因全长c DNA序列,命名为Dl Lac,NCBI登录号为KY051551。Dl Lac基因序列全长1898 bp,编码576个氨基酸,NCBI比对结果显示其与荔枝漆酶氨基酸序列同源性最高,高达94%;进化树结果显示龙眼漆酶氨基酸序列与荔枝漆酶氨基酸序列具有高度同源性。氨基酸保守序列结果表明龙眼漆酶氨基酸序列含有漆酶的3个典型保守结构域,分别为:Cu-oxidase-3、Cu-oxidase和Cu-oxidase-2。结合龙眼果实在常温、低温贮藏条件下,果皮褐变与Dl Lac的表达关系,推测Dl Lac的上调表达可能对龙眼果皮褐变起促进作用。      

分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为Promela模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径.给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试.实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性.     

罗非鱼鱼肉的解吸平衡规律研究

罗非鱼鱼肉的解吸平衡含水率不但决定给定干燥条件下所能达到的最低水分,且直接影响干燥速度,本文采用静态称重法研究了罗非鱼鱼肉在不同温度(40℃～60℃)和不同相对湿度(11.0～84.0%)条件下的解吸平衡含水率的变化规律,比较了罗非鱼背部和腹部肌肉在恒温60℃和不同湿度下的解吸平衡含水率的差异,分析了温、湿度对鱼肉的平衡含水率的影响,并对试验测定的结果进行了回归分析,得出Chung-Pfost模型最适宜描述罗非鱼鱼肉的平衡含水率变化。