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

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

面向对象的时序逻辑语言

针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与Framed Tempura相比,能有效地重用代码,提高了代码的可读性和可维护性。     

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

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

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 ...     

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

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

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

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

电子商务飞速发展对印刷行业的启示

随着电子商务的不断普及和深化,电子商务在我国工业、农业、商贸流通、交通运输、金融、旅游和城乡消费等各个领域的应用不断得到拓展,应用水平不断提高,正在形成与实体经济深入融合的发展态势。电子商务不仅是降低成本、提高效率、拓展市场和创新经营模式的有效手段,而且是满足和提升消费需求、提高产业和资源的组织化程度、转变经济发展方式的重要途径,对于优化产业结构、支撑战略性新兴产业发展和形成新的经济增长点也具有重要作用。     

浅谈二维码技术在化工设备管理中的应用

化工设备的管理一直是化工企业生产所关注的重点,将二维码技术应用到化工设备的管理中,可以有效的解决实际生产中设备管理的诸多问题。结合化工设备日常管理制度,对系统的实现方案进行了详细的说明,并最终实现了化工设备管理系统。对解决化工设备管理中的问题,起到积极的作用。