您的位置： 专家智库 > >

祁方民

作品数：11 被引量：27H指数：3
供职机构：中国人民银行西宁中心支行更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术经济管理政治法律更多>>

合作作者

文献类型

  • 9篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 9篇自动化与计算...
  • 3篇经济管理
  • 1篇政治法律

主题

  • 5篇PETRI网
  • 2篇银行
  • 2篇软件项目管理
  • 2篇建模方法
  • 1篇地方商业银行
  • 1篇信号量
  • 1篇信息安全
  • 1篇信息安全风险
  • 1篇信息系统
  • 1篇形式化
  • 1篇形式化建模
  • 1篇形式化建模与...
  • 1篇央行
  • 1篇银行安全
  • 1篇银行业
  • 1篇银行业金融
  • 1篇银行业金融机...
  • 1篇应急
  • 1篇应急管理
  • 1篇应急管理体系

机构

  • 7篇中国人民银行...
  • 4篇西北大学
  • 3篇西安电子科技...
  • 2篇陕西职业技术...

作者

  • 11篇祁方民
  • 3篇牟力科
  • 3篇鱼滨
  • 2篇史立军
  • 1篇侯红
  • 1篇窦洪喜

传媒

  • 2篇金融科技时代
  • 1篇中国电子商务
  • 1篇计算机应用与...
  • 1篇系统仿真学报
  • 1篇计算机与现代...
  • 1篇青海金融
  • 1篇计算机技术与...
  • 1篇电子技术与软...
  • 1篇第十一届全国...

年份

  • 1篇2015
  • 3篇2014
  • 1篇2011
  • 2篇2010
  • 2篇2008
  • 2篇2007
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
Linux上Anjuta开发环境的搭建
2010年
本文详细论述Linux操作系统下C／C＋＋软件开发的Anjuta环境的的搭建，以方便给Linux操作系统下C＋＋开发Anjura环境的搭建提供一个导引。
牟力科祁方民
关键词：GLADEC++
网上银行安全之我见——以地方商业银行为例被引量：9
2010年
目前国内部分地方性商业银行尚未开展网上银行业务,但在今后的业务拓展中,终究要涉足其中,而建立网上银行的安全问题不容忽视。本文就地方商业银行建立网上银行业务过程中需要注意的安全问题进行了简单探讨。
祁方民
基于CCS的信号量形式化建模与验证被引量：1
2011年
利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。
祁方民鱼滨牟力科窦洪喜
关键词：信号量形式化建模进程代数
基于Petri网的软件项目管理建模方法被引量：6
2007年
一种新的对于Petri网的拓展方法—库所拓展提出,并在以软件项目管理过程为例分析建模对象的动态特性的基础上,说明了库所拓展Petri网在描述过程管理方面的特点和优势。同时分析了库所拓展Petri网如何迎合建模对象动态性特点及解决由此带来的设计管理工具难等问题,以尽量达到最优的设计目的。
祁方民鱼滨史立军牟力科
关键词：PETRI网软件项目管理
基于Petri网的软件项目管理建模方法
一种新的对于Petri网的拓展方法一库所拓展提出,并在以软件项目管理过程为例分析建模对象的动态特性的基础上,说明了库所拓展Petri网在描述过程管理方面的特点和优势。同时分析了库所拓展Petri网如何迎合建模对象动态性特...
祁方民鱼滨史立军牟力科
关键词：PETRI网软件项目管理过程管理
文献传递
Petri网结点精化及其应用
2014年
在Petri网精化概念的基础上,给出一种解决Petri网结点爆炸问题的方法,该方法针对精化的定义,从库所和变迁的约束条件入手,分析结点精化的可行性和方法,并给出证明。该方法的建立为今后利用Petri网进行建模提供了必要帮助。
祁方民
关键词：PETRI网精化
基于分层Petri网的Web服务组合建模与验证
Web服务的出现代表了分布式计算的最新要求。随着应用需要的不断提升，Web服务技术已从基础设施构建与概念推广阶段向大规模商业应用阶段快速发展，从而推动了支持B2B(1)usiness-t0business)和EAI(勘L...
祁方民
关键词：WEB服务组合建模分布式计算描述语言
文献传递
基层央行突发事件应急管理体系思考被引量：1
2014年
科学发展、和谐社会的一个重要内容就是“安全发展”、“以人为本，生命至上”。建立和完善应急体系，是及时有效开展应急处置工作的重要保障，是建设社会稳定、安全发展的保证，是实现和谐社会的必然需要。
祁方民
关键词：应急管理体系突发事件基层央行社会稳定应急体系
基于Petri网的语义Web服务自动组合方法
2015年
利用Web服务,开发人员可以进行应用程序的快速创建。而在Web服务数目逐渐增多的情况下,Web服务的组合就变得相对复杂。所以,有必要进行一种语义Web服务的自动组合方法的研究,从而解决Web服务组合困难的问题。因此,本文在利用Petri网的基础之上,对语义Web服务自动组合方法进行了研究,从而提出了一种算法来满足用户的请求的同时,进行用户行为的约束,进而为关注这一话题的人们提供一些参考。
祁方民
关键词：PETRI网语义WEB服务
银行业金融机构信息系统灾备建设问题分析与探索被引量：1
2014年
随着信息与网络技术的不断发展,＂网络空间＂已成为传统的陆、海、空、天等领域之外的＂第五空间＂,是国家主权延伸的新疆域,其重要性和战略地位日趋明显。信息与网络的安全问题,影响到一个国家的政治、军事、经济、文化以及社会生活的各个方面。而金融是一国经济的核心,金融乱则经济乱、人心乱。
祁方民
关键词：金融机构灾难备份信息系统信息安全风险灾备系统灾备中心
全选 清除 导出
共2页<12>
聚类工具0