搜索筛选:
搜索耗时0.0346秒,为你在为你在61,042,058篇论文里面共找到 8 篇相符的论文内容
类      型:
[期刊论文] 作者:祁方民,, 来源:金融科技时代 年份:2014
科学发展、和谐社会的一个重要内容就是“安全发展”、“以人为本,生命至上”。建立和完善应急体系,是及时有效开展应急处置工作的重要保障,是建设社会稳定、安全发展的保证,是实......
[期刊论文] 作者:祁方民, 来源:青海金融 年份:2010
目前国内部分地方性商业银行尚未开展网上银行业务,但在今后的业务拓展中,终究要涉足其中,而建立网上银行的安全问题不容忽视。本文就地方商业银行建立网上银行业务过程中需要注......
[期刊论文] 作者:祁方民, 来源:计算机与现代化 年份:2014
在Petri网精化概念的基础上,给出一种解决Petri网结点爆炸问题的方法,该方法针对精化的定义,从库所和变迁的约束条件入手,分析结点精化的可行性和方法,并给出证明。该方法的建立为......
[期刊论文] 作者:祁方民, 来源:金融科技时代 年份:2014
随着信息与网络技术的不断发展,"网络空间"已成为传统的陆、海、空、天等领域之外的"第五空间",是国家主权延伸的新疆域,其重要性和战略地位日趋明显。信息与网络的安全问题,影响......
[学位论文] 作者:祁方民, 来源:西北大学 年份:2008
Web服务的出现代表了分布式计算的最新要求。随着应用需要的不断提升,Web服务技术已从基础设施构建与概念推广阶段向大规模商业应用阶段快速发展,从而推动了支持B2B(business...
[期刊论文] 作者:牟力科,祁方民, 来源:中国电子商务 年份:2010
本文详细论述Linux操作系统下C/C++软件开发的Anjuta环境的的搭建,以方便给Linux操作系统下C++开发Anjura环境的搭建提供一个导引。...
[期刊论文] 作者:史立军,侯红,祁方民, 来源:计算机技术与发展 年份:2008
XML已成为Internet数据表示和数据交换的标准,XML在不同的领域得到了广泛的应用,越来越多的数据采用XML格式表示,因此如何有效存储和查询XML数据已成为研究的热点问题。对基于XM...
[期刊论文] 作者:祁方民,鱼滨,牟力科,窦洪喜,, 来源:计算机应用与软件 年份:2011
利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广......
相关搜索: