基于P2P网络的网构软件自适应性研究

P2P的网络环境具有网络的开放性、动态性和多变性,同时增强了网络的可控性,它提供了一种在大规模异构环境下进行资源共享的有效途径,可以降低网构软件自治和演化的难度.提出了建立在P2P网络拓扑结构上的网构软件模型,模型包括用来描述软件的系统架构、控制集合以及自适应构件库.网构软件的自适应性主要通过控制集合和构件库的共同作用来实现.自适应构件库通过引入构件副本、构件复用形式以及构件副本测试状态等概念来增强网构软件模型的自适应性.在P2P网络中每个Peer的本地都维护着一个本地构件库,而网络构件库是一个逻辑上集中、物理上分布的构件库系统,由分布在P2P网络中的符合构件接口的所有构件副本组成.     

用Petri网进行并发系统的描述与分析

本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。     

我国P2P网贷的刑法规制问题研究

P2P网贷平台运营模式包含传统运营模式和各种新型运营模式.新型的运营模式下,部分平台可能涉及非法吸收公众存款罪或集资诈骗罪等,需要刑法对其进行必要的规制.同时,刑法规制范围应以平台是否恪守信息中介这一职能为限,并通过对"集资款项用途"进行限缩解释以及适当提高入罪门槛进一步明确.     

P2P网贷行为的刑法规制问题研究

我国正处于互联网金融高速发展的时代,其中,最受瞩目的当属近年来迅速崛起的P2P网络借贷。这一新兴互联网金融业态为人们提供了更加便利的普惠金融服务并促成大量网贷交易。然而,拥有“辉煌成就”的P2P网贷却由于高社会危害性和高刑事风险性等因素现已落得被清退出市场的结局。从P2P网络借贷的概念和本质特征入手,对P2P网络借贷的违法行为模式进行梳理,同时结合司法实践,对P2P网络借贷可能涉及金融犯罪类型进行分析,并针对性地从P2P网贷金融犯罪之刑事法理认定、建立刑事监管联动防控机制等角度提出P2P网贷行为的刑法规制路径。     

基于Petri网的网络订票系统换乘问题的建模优化

针对网络订票系统换乘车次时只能换乘其他车次列车的问题,建立一种基于Petri网的流程模型对网络订票系统中换乘问题进行了优化.首先分析模型中各变迁行为轮廓的弱序关系; 然后在不影响订票流程的情况下,通过增加Petri网控制结构实现了换乘问题的优化,达到了合理的换乘目的.最后通过PIPE软件对优化模型进行了仿真模拟,结果表明优化模型安全、有界.     

黄石山背变电站 T/P 界线剖面沉积微相研究

黄石山背变电站 T/P 界线剖面的微相变化显示了 T/P 之间是连续沉积,放射虫硅质岩形成于陆棚静水环境,与海底火山喷发提供了大量的 SiO_2有关。     

城市交通网络的混杂Petri网建模

针对城市交通网络中的动态车流具有连续时间特性而动态信号灯具有离散事件特性的情况, 采用混杂Petri网建立了一个四相位信号交叉口模型，该模型包含了城市交通网络中的连续车流动态和离散信号灯动态.在此基础上分析了交叉口各个方向的输入、输出车流动态，并与四相位信号交叉口的物理模型相对比，结果表明该混杂Petri网模型能够较好地描述城市交通网络的混杂特性.仿真结果表明了混杂Petri网模型的有效性.     

基于Petri网的协议分析技术及工具

研究基于Petri网的协议分析技术及工具并对要开发的协议分析器工具软件进行需求分析和人机交互界面设计，进而阐述该工具主要功能模块实现的思路和算法，并将其应用于对AB通讯协议的描述和性能测试分析，表明所开发的工具的有效性。     

P91/T91钢的现场焊接和热处理工艺

对新型耐热钢材P91/T91焊接和热处理工艺进行了探讨,根据材质的特点制定了焊前和焊后热处理方案,实际应用表明该方法焊缝合格率达到100%.     

基于MPI的网络并行计算系统构建及分析

从硬件、网络配置及姗的使用3个角度详细阐述网络并行计算系统的构建方法和配置过程．在此基础上,采用基于IVIPI的并行程序设计方法进行并行计算的实验和测试,并结合加速比和效率的结果对系绞进行性能分析．实验证明,用局域网搭建的网络并行计算系统更适合于粗粒度的并行计算任务     

一种Mesh结构P/G网快速分析方法

提出了一个基于网络划分的层次化P／G网快速分析方法。其中，对于子网运算，通过对Cholesky分解法三角化对称正定阵的图模型分析，提出了基于图顶点消去排序的加速子网分析运算策略，并用基于MPI的并行结构实现了P／G网分析的并行运算。     

动态规则库构造及并行推理的扩展Petri网模型

专家系统技术的不断实用及其具体领域中的深入应用向人们提出在推理机制和效率上的更高要求．本文提出一种基于扩展Ｐｅｔｒｉ网模型描述的动态规则库构造方法，以及在此基础上所支持的并行推理能力．     

基于P2P校园网文件共享的设计

与传统的C/S模型比较,P2P在网络资源利用率、消除服务器瓶颈等多方面有明显的优势。当前主流P2P网络模型存在的可扩展性不高、效率低下等问题,严重阻碍了P2P系统的发展。在对当前P2P模型进行研究和分析的基础上,通过整合及改进,比较巧妙地设计了一种新型的适用于校园网络的文件共享模型。结果表明,在新型的模型下校园网的健壮性得到增强,网络拥挤的情况得到改善。     

一种基于P2P的网络存储系统

探讨了一种基于P2P的网络存储系统的设计与实现方法,针对系统的拓扑结构、资源检索策略、可靠性、安全性问题,提出了解决方案,并对系统的通讯方式进行了详细设计.初步的实验结果表明,该系统在现实条件下具有较高的可靠性.     

基于Petri网下递归关系的自控网模型

自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。     

基于应用层组播策略的P2P网络搜索模型研究

介绍了传统P2P网络的搜索模型,并分析了其存在的一些问题.针对这些问题,提出了一种基于应用层组播策略的搜索模型,它可以减少冗余搜索包,提高搜索效率,并且能够适应P2P网络拓扑的动态变化,实现良好的可扩展性和容错性.     

P2P网络中的激励机制分析

将P2P网络中的激励模型引入到流媒体点播系统的设计中,促使节点提高对系统的贡献,从而在节点之间建立一种公平的互相交易的环境。本文对P2P网络中基于微支付的模型、基于互惠的模型、基于信誉的模型进行阐述。在响应优先级、带宽占用率以及服务质量等方面,通过区分服务策略引起基于P2P的IPTV环境下终端节点间的竞争,从而提高IPTV效率。     

多事件模式并行CEP处理研究

为弥补复杂事件处理技术(Complex Event Processing,CEP)在大规模事件并行处理、共享事件关联以及整体运行能力优化等方面存在的不足.文中给出了一种进行了时间扩展的有色Petri网检测模型.利用该模型将CEP事件模式原子单元形式化描述为基本Petri网结构,同时给出了网结构的三种连接策略,以及多事件模式的合并算法.研究结果表明:以文中检测模型为基础的原型系统,能够有效共享中间结果,并且利用并行执行的进程有效减少总体处理时间.当同时运行的事件模式数量越大时,系统运行效率越高.