排序方式: 共有36条查询结果,搜索用时 31 毫秒
11.
12.
基于模型检验技术的源程序分析研究 总被引:1,自引:0,他引:1
提出并实现了一种基于模型检验的源程序分析方法,该方法的主要步骤是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述源程序待验证的性质,通过使用NuSMV模型检验工具实施对源程序分析,实验验证表明,该方法能够给实现对源程序分析的目标. 相似文献
13.
张振方 《北京工业大学学报》1983,(1)
<正> 在信息的全息存儲系统中使用随机相移器,是使全息再现图象具有高冗度、高衍射效率、低燥声、高分辨率和高色调保真度的关鍵之一。北京工业大学激光研究室研制的散斑随机相移器,根据激光散斑强度在空间分布的随机性,在一定的条件下将散斑場记录在照相底片上,经漂白处理即可得到相位是随机分布的多阶相移器,它避免了用计算机制各相移器掩模的繁琐手续。 相似文献
14.
聚乙烯醇/膨润土杂化水凝胶的力学性能和溶胀行为 总被引:2,自引:1,他引:1
利用冷冻-解冻法制备了聚乙烯醇/膨润土杂化水凝胶. X射线衍射结果表明,膨润土以剥离形式分布在水凝胶基体中. 研究结果表明,与纯PVA5水凝胶相比,经过5个冷冻-解冻循环制备的含2%(w)膨润土的杂化水凝胶的拉伸模量、拉伸强度和断裂伸长率分别增加了44.0%, 74.2%和25.2%,而溶胀行为与5个循环的纯水凝胶相近. 含0.5%(w)膨润土的杂化水凝胶的拉伸模量和拉伸强度高于基体水凝胶,其在溶胀400 min时的溶胀度高于所有的样品. 相似文献
15.
16.
17.
18.
19.
20.
采用反复冷冻-解冻法制备了一系列的PVA/壳聚糖/淀粉水凝胶.测试了共混膜的力学性能、脱水率和溶胀度.结果表明:壳聚糖含量为2.7%的水凝胶具有最大的断裂延伸率,拉伸强度也较高.淀粉和壳聚糖的加入,改变了复合水凝胶的脱水率和溶胀度. 相似文献