一类串图的优美性(英文)

给出了一些图的优美标号,特别给出了串图ω_(m_1,M_2…,m_n,m_(n+1))当m_1,m_2,…,m_n≡0(mod4),m_(m+1)≡3(mod4)的优美标号,以及串图ω_(m_1,m_2,…,m_(2n))当m_i≡2(mod4)(i=1,2,…,2n),m_(2k-1);<m_(2k)(k=1,2,…,n)时的优美标号。

串图的边色数

设G(V,E)为连通简单图,V(G)={v10,v20,…,vp0}.M(G,n)称为G的n级串图,其中V(M(G,n))={vij｜i=1,2,…,p;j=0,1,…,n},E(M(G,n))={vikvjk｜i=1,2,…,n;0≤k≤n,且vi0vj0∪E(G)}∈{vijvij+1｜i=1,2,…,p;j=0,1,…,n-1}.证明了对于n≥1,M(G,n)的边色数为其最大度Δ(M(G,n)).

从《本草通串证图》看江户末期和风本草图像的艺术特征

《本草通串证图》是江户末期和风本草图像的代表之一,在图像美学风格上具有典型的和风特征:图绘特征突出,强调写实;色彩丰富,协调统一。画面布局精心优化,文字排版层级清晰,图像美学风格表现优异,可谓集大成之作,在日本本草图像发展历史上具有重要地位。

安全协议的串空间图表示

串空间是安全协议的一种形式化描述,串空间图是它的图示化表示·定义开丛为串空间图的构造单元,并在开丛集上定义前缀算子和组合算子·通过开丛之间的前缀和组合运算,给出了无穷并发运行安全协议串空间图的生成方法·定义了开丛互模拟以及串空间图之间的互模拟等价关系,并给出用于消除串空间图冗余结构的化简规则·案例分析和与相关工作的比较表明,无冗余的串空间图为无穷并发运行安全协议的安全属性验证提供了一个有效的分析模型·

基于改进的特征图串法识别人体行为

视频的有效表达是识别行为的关键与难点。提出了一种改进的特征图串的视频表达方法,在动态规划框架下,利用子模优化方法和图匹配技术实现了行为的识别。首先,利用近年来被广泛应用的时空特征点探测器获取视频序列中的关键点;接着引入子模优化方法完成视频在时域上的划分;然后在每个时域区间内以关键点为节点形成图结构,使得行为视频的特征表示转化为有序的特征图串;最后基于重加权随机游走的图匹配方法和动态时间规整实现成对视频的匹配与对齐。通过2组公开数据集(KTH和UT-interaction)上的实验及与其他方法的比较,验证了本文方法是有效的、可行的。

关于R(m=C_4,C_(4K-1))图的优美性

本文证明了C4 串图及圈C4K 1的优美性 ,也证明了由C4 串图及圈C4K -1粘接而成的图R(m =C4 ,C4K -1)

任意串并拓扑结构的数据结构及遍历算法

提出了一个能够表示任意具有串并关系特点的拓扑结构的数据结构及其遍历算法．实践表明，这种数据结构及其遍历算法具有面向结点，输入参数最少，串并关系明确，遍历算法简洁。

密码协议主体角色进程表示

密码协议分析与设计的基础是对其进行形式化建模。将主体角色发送和接收消息的行为分别表示为相应的主体角色发送进程和接收进程,定义前缀(串行)和并发运算为主体角色进程演进的算子,并进一步将主体角色进程演进的状态系统描述为密码协议的串空间图。它为密码协议安全属性的验证提供了一个形式化模型。