分布式数据库并发控制的一个理论模型

本文引进带时间的Petri网,给出分布式数据库中并发控制中的时间标记算法(time stemp)的Petri网形式描述,并利用带时间的Petri网理论分析和验证时间标记法的有关性质。     

基于Petri网的Web个性化服务

Web站点的个性化服务功能,可以帮助用户快速找到其所需的信息。基于推荐系统是当前实现个性化服务的主要方法。这种个性化服务方法存在显示不直观和重复计算的缺点。本文给出了基于Petri网的Web个性化服务方法,克服了基于推荐方法的缺点,并讨论了进一步的研究工作。     

基于WGAN的语音增强算法研究

带噪语音可看成由独立的噪声信号和语音信号经某种方式混合而成,传统语音增强方法需要对噪声信号和干净语音信号的独立性和特征分布做出假设,不合理的假设会造成噪声残留、语音失真等问题,导致语音增强效果不佳。此外,噪声本身的随机性和突变性也会影响传统语音增强方法的鲁棒性。针对这些问题,使用生成对抗网络来对语音进行增强,给出一种基于Wasserstein 距离的生成对抗网络(Wasserstein generative adversarial nets, WGAN)的语音增强方法来加快训练速度和稳定训练过程。该方法无需人工提取声学特征,且使语音增强系统的泛化能力得以提升,在匹配噪声集和不匹配噪声集中都有良好的增强效果。实验结果表明,使用训练出的端对端语音增强模型后,语音信号的客观评价标准(perceptual evaluation of speech quality,PESQ)平均得到23.97%的提高。     

Modeling for parallel scheduling and performance evaluation of MANET using stochastic Petri nets

In this paper, Petri nets technique is introduced into mobile ad hoc networks (MANET) and a packet-flow parallel scheduling scheme is presented using Stochastic Petri Nets (SPN). The flowing of tokens is used in graphics mode to characterize dynamical features of sharing a single wireless channel. Through SPN reachability analysis and isomorphic continuous time Markov process equations, some network parameters, such as channel efficiency and, one-hop transmission delay, can be obtained. Compared with Those of The conventional performance evaluation methods, the above parameters are mathematical expressions instead of test results from simulator.     

协同神经网络及其在模式识别中的应用

本文介绍了协同神经网络的基本思想,重点研究了协同神经网络在模式识别技术中的应用题,包括动力学模型、网络结构及学习算法,同时与传统的Hopfield网络进行了比较。     

两个智力问题的增广Petri网模型

给出人携带狼,羊,白菜安全过河问题的增广Petri网模型及著名的用餐哲学家问题的一个无饥饿解的增广Petri网模型.     

排水管网的联合方式及趟数的合理选择

本文较系统地介绍了煤矿排水管网优化后的联合方式及其特点;论述了能耗与排水管网联合方式的内在联系;运用图解计算法求最佳排水管径的方法;利用理论上的等流量原理和装置效率高的原则确定及分析了排水管网趟数合理选择的步骤和方法,并列举了工作泵和工作管路趟数之间的数量关系,供工程中选用参考.     

引入Petri网概念的可视编程系统的设计

引进Ｐｅｔｒｉ网概念刻划图标（Ｉｃｏｎ）的动态行为和相互作用并给出一个可视化编程系统．通过例子说明本系统在编程阶段和程序运行阶段所采用的可视化技术     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

非马尔可夫随机Petri网的分析方法及应用

Petri网是模型并行系统和分布式系统的一种强有效的形式化工具.它能够很好地刻画系统的动态行为、分析系统的性能.目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型.文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望.