基于慧鱼模型的柔性制造生产线设计

针对传统机械加工工艺刚性生产的缺陷,结合柔性制造生产线的标准,利用慧鱼模型模块化设计创建了一种柔性制造生产线模型。该生产线模型可在计算机程序的控制下按工序实施运动、加工、检测等动作,完成多种加工任务,达到柔性制造生产线的标准,满足多品种、小批量生产的需要。     

基于聚类和划分的SAT分治判定

提出了一种将布尔公式划分为子句组来进行布尔可满足性判定的方法.CNF(conjunctive normal form)公式是可满足的当且仅当划分产生的每个子句组都是可满足的,因此,通过判定子句组的可满足性来判定原公式的可满足性,相当于用分治法将复杂问题分解为多个子问题来求解.这种分治判定方法一方面降低了原公式的可满足性判定复杂度;另一方面,由于子句组的判定可以并行,因而判定速度能够得到进一步的提高.对于不能直接产生布尔子句组划分的情形,提出了一种利用聚类技术将CNF公式聚类成多个簇,然后消去簇间的公共变量来产生子句组划分的方法.     

BOPPPS+PBL教学模式在食品检测课程中的应用探究

在原有分类教学模式的基础上,建构BOPPPS+PBL混合教学模式,适用于大三下学期以提升学生技能为核心的食品检测课程。在此基础上,以白酒中甲醇的快速检测阐述该模式的教学主体,并以食品添加剂快速检测试验检测项目为例,探讨该混合模式在食品检测课程教学中的实践应用。     

不同气调方式对鲜切马蹄生理生化指标的影响

以鲜切马蹄为试验材料,通过复合保鲜剂涂膜处理后于托盘中用保鲜膜包裹,研究不同气调方式对鲜切马蹄冷藏间生理生化指标的影响。结果表明:贮藏18 d,B组(密闭光合气调箱)的失重率为0.13%,可溶性固形物含量为10.2%,Hunter L~*值为84.34,褐变度为0.8324,总酚含量为0.0286ΔOD_(280)/g,类黄酮物质含量为0.1301ΔOD_(325)/g,可溶性蛋白质含量为0.016 g/100 g,菌落总数1.208×10~3cfu/g,多酚氧化酶活性为0.5030ΔOD_(405)/min·g,过氧化物酶活性为0.8996ΔOD_(470)/min·g;与A组和C组相比,B组降低了鲜切马蹄失重率、褐变度和酚类物质的累积,延缓了营养物质的下降,抑制了酶的活性及微生物生长。因此,B组处理效果最好,能够有效延长鲜切马蹄货架期。     

基于磁流变液的磁流变阀设计与研究

阐述了磁流变液的流变特性,分析了磁流变阀的结构及其性能影响因素.依据磁流变液的流变特性,设计了一种工作间隙中置的磁流变阀,并对其性能特性进行了研究.研究表明:磁流变液、磁场、磁流变阀的材料和结构是磁流变阀性能的主要影响因素.在电流一定的条件下,工作间隙中置的磁流变阀可使其工作间隙内的磁流变液产生较高的屈服应力,可有效提高磁流变阀的性能     

面向SQLite3数据库API调用序列的并行运行时验证方法

作为轻量级的高可靠嵌入式数据库, SQLite3已被广泛应用于航空航天和操作系统等多个安全攸关领域, 其提供了丰富灵活API函数以支持用户快速实现项目构建.然而, 不正确的API函数调用序列会导致严重后果, 包括运行错误、内存泄露和程序崩溃等.为了高效准确地监控SQLite3数据库API函数的正确调用情况, 本文提出了基于多核系统的并行运行时验证方法.该方法首先分析API函数文档, 自动挖掘相关API调用序列规约描述, 辅助人工将其形式化表达为具有完全正则表达能力的命题投影时序逻辑公式; 然后在程序运行时, 采用多任务调度策略, 将程序执行产生的状态序列分割并对不同片段并行验证.实验结果表明, 该方法能够发现调用SQLite3数据库API函数的30个被验证C程序中, 违背API函数调用序列规约的达16个.另外, 与传统串行运行时验证方法的对比实验表明, 本文提出的并行运行时验证方法能够有效提高多核系统的验证效率.     

语义标记Petri网的组合Web服务建模与验证(英文)

随着Web服务组合的发展,整合业务过程成为可能。组合Web服务可以被看作是基于过程的工作流。由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错误应在组合Web服务执行前被检测出并修改。提出了基于语义标记Petri网的组合Web服务建模与验证方法。首先提出语义标记Petri网(SaPNs),并给出其语义;用受限描述逻辑tableau算法获得组合Web服务;使用SaPNs描述组合Web服务及其组成部分;最后,使用基于SaPNs的分析方法验证了组合Web服务。使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务。     

水产品加工的现状分析与展望

水产品加工业作为食品工业的重要组成部分,在促进农村产业结构调整、农民增收、国民腾食结构优化和农产品出口创汇等多方面发挥着极其重要的作用.     

马蹄湿淀粉微波间歇干燥特性及其动力学研究

以马蹄湿淀粉为对象进行微波间歇干燥试验,研究了不同功率、不同装载量、不同加热时间和间歇时间对干燥速率的影响。结果表明,马蹄湿淀粉在微波间歇干燥过程中呈现出加速、恒速和降速3个阶段;相对于微波功率、装载量和加热时间,间歇时间对马蹄湿淀粉微波干燥速率的影响较小。通过5种经典的干燥模型拟合分析,发现马蹄湿淀粉微波间歇干燥动力学模型满足Page方程MR=e~(-kt~n),模型预测值与试验值拟合良好。     

盘点华南标签展上的数字标签印刷设备

惠普(HP):Indigo WS6600数字标签印刷机 Indigo WS6600数字印刷机是一款经济高效、印刷品质卓越的大批量标签和包装生产解决方案,可提供高生产率、卓越的印刷品质以及轻松、灵活和多样的印刷方式. 突破性的生产效率:以最高可达60米/分的速度印刷大多数彩色作业. 高品质的印刷质量和色彩输出:一方面配有CMYK四色及橙色、紫色和绿色7个墨站以及HP IndiChrome油墨混合系统,可提供最宽广的数字色域,打印质量和色彩堪称一流;另一方面可通过使用在机模拟或脱机油墨混合系统,匹配高达97％的Pantone色域,进而输出亮丽夺目的包装印刷品.