一种基于有色Petri网的安全协议分析方法研究

利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。     

FiS即将举行

由上海博华国际展览有限公司主办的“亚洲食品配料中国展”及“健康原料、天然原料中国展”（Fi｜Ni｜Hi China）已正式合并为”食品安全和食品添加剂研讨会暨上海国际食品添加剂和配料展览会（FiS）”，合并后原展会名称并列，     

多铁性非均匀空心层合柱圆弧界面的反平面断裂分析

讨论反平面载荷作用下多铁性非均匀空心层合柱的圆弧界面裂纹问题,层合柱由梯度铁电层和梯度铁磁层粘接而成,界面处存在圆弧型裂纹。采用分离变量和Cauchy核奇异积分方程方法求解该断裂问题。通过讨论断裂参数的数值解,分析了梯度非均匀参数、几何与材料参数变动等对应力强度因子的影响。     

高速喷墨印刷的三个错误认识

正喷墨印刷技术已经发展了十几年,但是很多人仍认为其不仅是一项新技术,更是一项有风险的技术,因为其仍达不到商业印刷企业所要求的颜色和印品质量。但实际上,从早期喷墨印刷分辨率较低时,喷墨印刷技术就引起了印刷变革,到今天,全彩色高速喷墨印刷技术已发展成为一项可靠的技术。但仍有一些人先入为主,对高速喷墨印刷技术有些误解。如果你相信这些错误的认识,那么你将失去成功的机会。     

玫瑰花石榴汁复合饮料加工工艺

以玫瑰花和石榴为主要原料研制复合饮料的加工工艺。玫瑰花与白砂糖以质量比2∶1混合制成玫瑰糖,自然陈化后进行萃取,得到风味独特的玫瑰萃取液。以玫瑰花石榴汁复合饮料的感官评定为指标,通过正交实验进行优化,确定适宜工艺参数为:玫瑰萃取液30 mL,石榴汁60 mL,白砂糖加入量为8%,柠檬酸加入量为0.10%。     

牦牛肌原纤维蛋白与热改性大豆分离蛋白共凝胶条件的优化

牦牛肉是纯天然食品原料,然而牦牛肉蛋白资源的开发利用不够,特别是利用质构重组技术将牦牛肉中的肌原纤维蛋白和大豆分离蛋白用于开发凝胶产品鲜见研究报道。本研究以牦牛肌原纤维蛋白（myofibrillar proteinisolate,MPI）与热改性大豆分离蛋白（soybean protein isolate,SPI）为原料,分别采用单因素试验和正交试验设计,研究SPI-MPI溶液体积比、SPI热改性温度、离子强度和转谷氨酰胺酶（TGase）用量对共凝胶硬度、弹性和持水性的影响。单因素试验结果表明：改变4 个因素条件均能显著地提高热改性SPI-MPI溶液的凝胶性能,各因素对共凝胶特性综合指标影响的主次顺序为SPI-MPI溶液体积比＞TG用量＞离子强度＞SPI热改性温度。正交试验结果表明形成共凝胶的最优条件是：SPI-MPI溶液体积比1∶9、SPI热改性温度100 ℃、TG用量50 U/g、不添加镁离子。     

山葵油米辣的研制

介绍了山葵油米辣的加工技术及生产工艺的操作要点。对小米辣、菜籽油、山葵和大蒜等因素进行正交试验,结果表明,各因素对产品质量的影响顺序为小米辣>山葵>大蒜>菜籽油,最佳配方为小米辣50%、菜籽油30%、山葵2%、大蒜6%。     

基于缓存的倒排索引机制研究

倒排索引创建效率和查询效率是全文检索技术的两个重要方面.针对传统倒排索引创建方法效率低下的问题,提出了基于缓存满再写临时文件和双缓冲区相结合的索引创建机制,充分利用内存和CPU资源以加快倒排索引的创建速度;提出了查询缓存机制,以提高倒排索引的查询效率.分析及实验结果表明,提出的索引创建机制能有效地提高索引创建速度,查询缓存机制能有效地加快查询速度,提高了全文检索系统的时间和空间效率.     

基于CPN模型的不可否认协议分析

通过对不可否认协议的语义进行分析,建立有色Petri网（Coloured Petri Net,CPN）中基本元素与安全协议中元素的对应关系,对CPN Tools提供的建模语言（CPN ML）在规范协议描述、简化协议建模及自动检测方面进行扩展,提出了一种基于CPN模型的不可否认协议分析方法,该方法利用CPN tools的状态空间查询功能和自建的查询函数库来对不可否认协议进行分析和验证,该工具具有通用性强、时效性强和交互性好等诸多优点,并通过实例说明了这种方法的有效性。     

政府补助会计核算方法对企业扶助效果的影响

政府补助是国家支持发展的产业进行政策扶助的经济结构调整手段,但不同的会计核算方法,对不同投资主体产生的扶助效果差异较大。本文对政府补助不同的会计核算方式在不同的投资主体下所起到扶植效果进行了分析,尤其在投资主体是国有参股的情况下,会造成不同程度的国有资产流失,并据此提出,对政府补助不同的会计核算方式,要有与之相对应的限制措施,才能发挥政府补助的最大功效。