搜索结果: 1-6 共查到“计算机科学技术 图元”相关记录6条 . 查询时间(0.187 秒)
北京工业大学计算机图形学课件 图形学数学基础1 二维图元处理。
基于分形图元的规则构图
分形图元 对称 旋转
2009/10/12
针对分形构图，提出一种基于分形图元的规则构图方法。用规则来控制图案的绘制过程，以分形图元为基础进行图案的再创造，生成一类分形扩充图案。给出对称变换、旋转变换、融合变换等3种构图规则，以及相应的构图模型和图案样例。实验表明，该方法生成的图案新奇复杂且不失美观，扩充了分形图案的门类。
提出模型库系统中模型的三种表达方式——图形图元表达、正则表达式及模型运算树。它们可作为动态生成高效率模型体的有力手段，是模型库系统即时编译生成模型组件的基础。这为解决模型库系统实现过程中模型内容表达这一难题，提供理论基础及解答。最后，在此概念及原理基础上，给出了采用这三种表达方式展现原型系统中范例模型的具体过程。
基于图元的事件图生成算法
密码协议 事件图 形式化模型
2009/3/18
与单轮运行情形不同，多轮并发运行的密码协议存在更为复杂的安全性问题。并发运行密码协议的形式化分析对象包括密码协议的多轮并发运行和多个密码协议的并发运行两种情形，且二者具有统一的形式化模型。基于扩展的串空间模型和Spi演算理论，提出用于并发运行密码协议安全属性验证的事件图模型。图元是事件图的构造单元，它满足消息事件之间的通信关系和前驱关系约束以及消息语句的新鲜性约束。定义消息事件之间、图元之间以及消...