基于三群落演员合作网络的分析

本文在RDP模型及最简化模型的基础上建立了一个基于三群落演员的合作网络模型,从影响度因子和导演与演员的双向选择下分析了模型演化过程中的网络性能特征,也说明了度分布、项目度分布与项目大小的关系,这些结果对电影市场的发展趋势有一定的预测和参考.     

循环矩阵和反循环矩阵的证明及运算在Mizar系统下的实现

本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定理、定义的实现过程的可行性都已经过Mizar检验系统的验证.