面向互联网金融行业的大数据资源服务平台

在大数据时代,数据已经渗透至各个行业,并且呈现出数量大、动态性、类型复杂等显著特征,尤其是互联网金融等为代表的典型行业.本文简要阐述了大数据的研究现状与重大意义,探讨了大型数据资源服务平台架构及其3个主要组成部分:数据资源识别和获取、数据资源存储和分析、服务支撑平台,并介绍了项目组在面向可信网络金融交易的大型数据分析研究与应用方面所开展的工作.具体来讲,围绕软件行为认证等关键技术,研究并开发了以行为认证为核心的可信网络金融交易系统,支持在线交易过程中产生的用户行为数据与软件行为数据的实时监控和动态展示.     

关于“循环分块阵特征值求法”的一点注记

文[1]给出了同阶块循环阵特征值计算的一个公式及其证明。将此问题推广到更一般的情况,给出同阶块α—循环阵特征值计算的公式及别的性质。同阶块α—循环方阵P_a为:     

集合族的划分及其应用

集合的划分问题已为人们所研究,然而集合族的划分问题未见有过讨论。本文讨论这个问题,并且把讨论的结果用于求完全p部图的色多项式,从而解决了图论中这个悬而未决的问题。     

计算斐波那契数列和错位排列数的增广Petri网模型

本文给出了计算斐波那契数列和错位排列数的两个增广Ｐｅｔｒｉ网模型，然后给出了矩阵描述和状态方程分析，最后导出了已知输入值求其输出值的算法。     

确定威布尔分布三参数的一种计算方法

威布尔分布是描述部件寿伞的一种极为主要的分布,本文对确定威布尔分布的三参数,给出了一种试探性算法,方法简单、实用。     

Petri网的广义笛积运算（Ⅱ）

本文提出Ｐｅｔｒｉ网的两种新的广义笛积运算，讨论了它们的代数性质，这些结果可以作为受控Ｐｅｔｒｉ网的分析或合成的依据。     

图的强笛积哈密顿分解问题

本文首先讨论两个圈的强笛积的哈密顿分解问题,接着又讨论多个圈强笛积的哈密顿分解问题,最后将笛积和张量积的分解结果与强笛积的分解结果作了比较,得到了一个非常有趣的结果。     

无回路规则系统的Petri网验证方法

构建了无回路规则系统的加标ω-Petri网模型，产生了相应的可达树，利用可达状态反映规则系统所包含的所有可达关系，并记录；提出了可达状态的反向推演森林及其算法，实现规则系统命题间可达路径的显式化．在此基础上，给出了规则系统错误的判定定理及其检测算法，实现了结构错误的有效判定和分析．     

基于T-不变量的可重复向量的求解算法

研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法。首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充网T-不变量的求解上。在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求出一组可重复向量,而任一可重复向量都可被这组可重复向量非负有理系数线性表出。     

交通信息网格中的最短出行路径并行算法

根据城市路网的特点，提出了一种新的路网图的分割方法；在此基础上，提出两种网格最短路径并行算法GPSPA1和GPSPA2．这两种算法克服了传统并行标签算法只适合在共享内存的并行机器上使用的缺点，适合网格环境下使用．实验结果表明：分割器不能完全分割源点和目标点时，GPsPA2比GPSPA1效率高；完全分割时，两种并行算法的加速比大约都是3．GPSPA2应用于交通信息服务网格系统2．0版中．