摘要：在分析经济全球化时代工业设计新特征的基础上,结合全球范围内协同设计环境,提出了从使用者需求、产品设计,设计管理、设计资源、使用分析等多媒体技术的应用,并运用产品开发实例分析了多媒体在产品界面设计中应用的具体过程,

摘要：堆操作程序具有通过共享易变数据结构动态操纵堆内存单元的特性,使得内存安全性难以保证。针对这个问题,提出了一种域敏感的k-limit内存抽象模型,以支持动态调整抽象的粒度,取得静态分析在精度和效率上的平衡。分别从框架、性质、操作方面介绍了该内存模型,然后结合内存安全性的定义,在基于该模型的操作语义框架内定义了4种与内存安全性相关的错误类型,最后设计了基于该模型内存安全性检测的数据流迭代算法。

摘要：针对如何分解操作系统内核实验难度的问题,提出一种基于内核调试和抽象精化思想的实验设计方法,该方法聚焦几条内核执行路径,通过调试观察该路径在不同抽象程度的表现,从高层抽象开始,逐步加入更多的观察细节,直至完整的复杂底层状态,最后在分析和理解的基础上对内核进行改写。

摘要：江汉油田盐化工总厂一台浮头式氯气冷凝器,其原始资料情况如下: 设计压力(壳程/管程):1.6/1.6MPa; 设计温度(壳程/管程):-40/-40℃; 工作介质(壳程/管程):氯气/盐水; 容器类别:Ⅲ类;