排序方式: 共有35条查询结果,搜索用时 156 毫秒
1.
可信平台模块自动化测试研究 总被引:2,自引:0,他引:2
可信平台模块(trusted platform module,TPM)是信息安全领域新发展趋势可信计算的关键部件,对其进行规范符合性测试非常有必要.由于传统测试方法与经验无法满足精确、易被机器处理的测试要求,状态机理论可为符合性测试的正确性提供理论基础,但易于产生状态爆炸问题.因此,基于TPM规范进行了一致性测试建模,提出相应策略提高测试效率,建立了TPM自动化测试工具.该工具能基于数据库自动生成测试用例,根据状态图进行一致性测试或自定义测试,达到过程可视化的效果.针对待测试产品得出了较为全面一致性结论和基本安全分析,为今后的可信产品安全性测试打下基础. 相似文献
2.
中化内蒙地勘院近年来完成了内蒙古自治区乌拉特后旗东升庙矿区深部的矿产普查工作,在矿区深部发现一大型锌多金属硫铁矿床,随后完成了东升庙矿区深部勘探。东升庙矿区深部大型锌多金属硫铁矿床是东升庙矿床矿体的延伸部分,为老矿区深部找矿的新发现。东升庙矿床属于形成于中元古界渣尔泰山群增隆昌组、阿古鲁沟组石墨片岩和石墨白云石大理岩(原岩分别为泥质碎屑岩和白云岩)中的介于SEDEX型和VMS型矿床之间的过渡型喷流—沉积矿床。当时的形成环境为狼山裂陷槽中东升庙同生沉积盆地,同生断裂控制了矿体的形成与展布。文章叙述了东升庙矿区深部及东部外围的勘查过程,给出了对地质找矿工作的9点启示,验证了对矿床成因的认识程度往往决定找矿勘查的成效。 相似文献
3.
三种外边界的凝析气藏复合试井模型 总被引:2,自引:0,他引:2
针对传统凝析气藏油气分布模型存在的问题,建立一种新的三区复合凝析气藏试井模型,详细讨论了无穷大外边界条件下的情况,导出了井底拟压力的表达式。并延伸到定压、封闭外边界条件下,绘出了相应的典型曲线,分析了各种参数对典型曲线的影响。该模型更符合凝析气藏开采过程中的真实情形,对凝析气藏开采的分析研究具有重要意义。 相似文献
4.
随着我国建筑行业的高速发展,人们对建筑的结构质量也越来越重视。高强混凝土作为一种新型的建筑材料,在高层建筑结构中得到广泛了应用。作者结合自己多年的工作经验,通过工程实例,介绍了C60高强混凝土的原材料选择方法和配合比设计,高强混凝土的质量控制和养护。 相似文献
5.
从五十年代起,对织物的起球问题就有了大量研究,一般认为织物起球可分为三个阶段,即毛茸的产生、毛球的形成和毛球的脱落,并指出织物的整个起球过程与构成织物的纱线和纤维性状有极为复杂的关系,与织物的后加工整理也有密切的关系。近年来,国外学者对棉织物和涤/棉织物做了纤维疲劳对织物起球影响的研究。在研究织物起球机理的同时,测试织物起球的仪器也大量出现。就我国目前来说,已有引进的滚箱起球仪,马丁台尔型起球仪、刷式起球仪以及国产YG501型起球仪等。以往在进行织物仪器起球试验时,比较注重表观评定,而对起球的机理研究较少。为了… 相似文献
6.
7.
针对云服务层层转包带来的安全隐患,将信任管理引入云计算中,形成了量化的云计算信任模型,让用户可以在计算目标云服务商的信誉值时综合自己保存的历史信息、其他用户的评价、相关云服务商对其的评价等多方面因素,并按照一般规律通过相似度、活跃度等计算出各因素的加权系数,真实客观地得到目标云服务商的信誉值并判断其是否可信。实验结果表明,该模型能够辅助用户做出正确决策。 相似文献
8.
9.
10.
本文介绍了重庆市邹容广场地下洞室的变形监测原理和仪器设备安装 ,对地下洞室在上部建筑物荷载作用下的变形过程和特征进行了研究。 相似文献