排序方式: 共有15条查询结果,搜索用时 15 毫秒
1.
利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。 相似文献
2.
3.
4.
正喷墨印刷技术已经发展了十几年,但是很多人仍认为其不仅是一项新技术,更是一项有风险的技术,因为其仍达不到商业印刷企业所要求的颜色和印品质量。但实际上,从早期喷墨印刷分辨率较低时,喷墨印刷技术就引起了印刷变革,到今天,全彩色高速喷墨印刷技术已发展成为一项可靠的技术。但仍有一些人先入为主,对高速喷墨印刷技术有些误解。如果你相信这些错误的认识,那么你将失去成功的机会。 相似文献
5.
6.
牦牛肉是纯天然食品原料,然而牦牛肉蛋白资源的开发利用不够,特别是利用质构重组技术将牦牛肉中的肌原纤维蛋白和大豆分离蛋白用于开发凝胶产品鲜见研究报道。本研究以牦牛肌原纤维蛋白(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、不添加镁离子。 相似文献
7.
8.
倒排索引创建效率和查询效率是全文检索技术的两个重要方面.针对传统倒排索引创建方法效率低下的问题,提出了基于缓存满再写临时文件和双缓冲区相结合的索引创建机制,充分利用内存和CPU资源以加快倒排索引的创建速度;提出了查询缓存机制,以提高倒排索引的查询效率.分析及实验结果表明,提出的索引创建机制能有效地提高索引创建速度,查询缓存机制能有效地加快查询速度,提高了全文检索系统的时间和空间效率. 相似文献
9.
10.
政府补助是国家支持发展的产业进行政策扶助的经济结构调整手段,但不同的会计核算方法,对不同投资主体产生的扶助效果差异较大。本文对政府补助不同的会计核算方式在不同的投资主体下所起到扶植效果进行了分析,尤其在投资主体是国有参股的情况下,会造成不同程度的国有资产流失,并据此提出,对政府补助不同的会计核算方式,要有与之相对应的限制措施,才能发挥政府补助的最大功效。 相似文献