摘要：网络技术的发展使得隐私保护日益引起关注.本文分析比较了数据摧毁和数据擦除技术在隐私保护方面的应用,阐述了数据擦除技术的发展现状.结合现代RLL码的发展,提出了一种基于m序列的数据擦除算法,并介绍了一个数据擦除系统设计的主要技术.

摘要：如何对三维模型进行特征提取是近年来出现的三维模型检索中的主要问题.文章给出了一种基于视点距离的特征提取算法,该算法利用正规化后的三维模型表面到观察点的距离信息生成六幅距离图像,然后对图像进行二维傅立叶变换并对变换后的频域信息进行低频采样从而得到三维模型的特征向量.该算法克服了基于三维投影的二维图像轮廓算法中丢失模型空域信息、缺乏对图像内部信息进行描述的缺点.实验结果表明,该算法比基于轮廓算法的检索精确度提高了19%.

摘要：该文作者曾提出了广义细胞自动机 (GCA)的原理和并行算法 ,并且应用于网络快速包交换等动态优化问题 .该文进一步讨论了这种新的广义细胞自动机的体系结构、算法的硬件实现及其电路设计 ,它们对于GCA的实际应用有重要意义 .GCA结构不同于Hopfield神经网络 (HNN)和细胞神经网络 (CNN) ,GCA由多层次多粒度宏细胞组成塔形结构 ,它具有多粒度的宏细胞动力学特征 ,相同粒度宏细胞之间没有交互 ,但不同粒度宏细胞之间存在一定程度的交互或反馈 .分析和实验表明 ,在问题求解的优化性、实时性、硬件实现复杂性等方面 ,该文给出的GCA结构和硬件实现 ,与HNN和CNN相比有诸多优点 .

摘要：目前基于UML的面向Agent建模语言可以满足Agent的语法要求,而没有很好地满足其语义要求.本文提出以图形语义域变换作为UML的扩充语义机制,分析和讨论了面向Agent建模语言(AML)的体系结构和基于扩展UML的Agent间相互作用的协议描述方法,并应用实例表现了该扩充的可行性,为标准Agent建模语言的形成具有一定的促进作用.

摘要：绿色计算中,复杂系统的绿色评价是一个重要的研究课题,其核心任务是判断运行时时间、空间资源消耗是否满足环境约束或限定.设计时,采用模型检测技术,自动、完备、高效地进行绿色评价,是一种新颖且有效的解决方案,但可能出现的状态爆炸问题将影响评价成败或效率.引入随机决策过程作为绿色评价模型;用时态逻辑刻画包含行为正确性及时间、空间资源约束的绿色评价指标;定义不确定语义理解下评价模型状态的互模拟等价规则,给出互模拟商的构造方法以及商模型调度,并比较等价语义下的行为机理;运用结构化归纳法证明互模拟等价保持评价结论.分析表明,互模拟等价可用作状态约简手段,为基于模型的绿色评价提供理论支撑和技术手段.