排序方式: 共有67条查询结果,搜索用时 0 毫秒
1.
根据城市路网的特点,提出了一种新的路网图的分割方法;在此基础上,提出两种网格最短路径并行算法GPSPA1和GPSPA2.这两种算法克服了传统并行标签算法只适合在共享内存的并行机器上使用的缺点,适合网格环境下使用.实验结果表明:分割器不能完全分割源点和目标点时,GPsPA2比GPSPA1效率高;完全分割时,两种并行算法的加速比大约都是3.GPSPA2应用于交通信息服务网格系统2.0版中. 相似文献
2.
本文首先讨论两个圈的强笛积的哈密顿分解问题,接着又讨论多个圈强笛积的哈密顿分解问题,最后将笛积和张量积的分解结果与强笛积的分解结果作了比较,得到了一个非常有趣的结果。 相似文献
3.
威布尔分布是描述部件寿伞的一种极为主要的分布,本文对确定威布尔分布的三参数,给出了一种试探性算法,方法简单、实用。 相似文献
4.
在大数据时代,数据已经渗透至各个行业,并且呈现出数量大、动态性、类型复杂等显著特征,尤其是互联网金融等为代表的典型行业.本文简要阐述了大数据的研究现状与重大意义,探讨了大型数据资源服务平台架构及其3个主要组成部分:数据资源识别和获取、数据资源存储和分析、服务支撑平台,并介绍了项目组在面向可信网络金融交易的大型数据分析研究与应用方面所开展的工作.具体来讲,围绕软件行为认证等关键技术,研究并开发了以行为认证为核心的可信网络金融交易系统,支持在线交易过程中产生的用户行为数据与软件行为数据的实时监控和动态展示. 相似文献
5.
蒋昌俊 《山东科技大学学报(自然科学版)》1995,(1)
本文提出Petri网的两种新的广义笛积运算,讨论了它们的代数性质,这些结果可以作为受控Petri网的分析或合成的依据。 相似文献
6.
研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法。首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充网T-不变量的求解上。在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求出一组可重复向量,而任一可重复向量都可被这组可重复向量非负有理系数线性表出。 相似文献
7.
无回路规则系统的Petri网验证方法 总被引:1,自引:0,他引:1
构建了无回路规则系统的加标ω-Petri网模型,产生了相应的可达树,利用可达状态反映规则系统所包含的所有可达关系,并记录;提出了可达状态的反向推演森林及其算法,实现规则系统命题间可达路径的显式化.在此基础上,给出了规则系统错误的判定定理及其检测算法,实现了结构错误的有效判定和分析. 相似文献
8.
物流管理系统是工作流管理系统的重要组成部分,是企业经营过程的核心,借鉴组合Petri网的思想,在组件技术和分布式对象技术的基础上,提出了基于过程组件的物流管理系统的层次结构模型,该模型中,可复用的中等粒度的过程组件通过内部建立数据流和控制规则库。屏蔽了精细粒度的原子性对象之间的调用关系,提高了组件的重用性,提出了重组策略,给出了该模型的Petri网映射模型。为模型的性质分析提供了可靠的分析工具。 相似文献
9.
蒋昌俊 《山东科技大学学报(自然科学版)》1990,(1)
文[1]给出了同阶块循环阵特征值计算的一个公式及其证明。将此问题推广到更一般的情况,给出同阶块α—循环阵特征值计算的公式及别的性质。同阶块α—循环方阵P_a为: 相似文献
10.
集合的划分问题已为人们所研究,然而集合族的划分问题未见有过讨论。本文讨论这个问题,并且把讨论的结果用于求完全p部图的色多项式,从而解决了图论中这个悬而未决的问题。 相似文献