面向对象框架在信息系统开发中的应用

通过数据表维护框架的设计讨论了面向对象框架在信息系统开发中的应用,给出了基于Proxy模式(代理模式)、UML类图及序列图的数据表维护框架的详细设计过程.数据表维护框架对应一个最小的语义单位,可以应用于不同行业的信息系统开发.     

THOR网在机器人装配系统装配质量预测和分析中的应用

装配质量对产品的性能和可靠性有直接的影响．基于一类高级的Petri网——THOR网，对机器人装配系统装配质量的预测进行了研究，提出了系统分析装配质量的模块化建模方法．该方法可以对各种装配策略和手段与装配质量间的关系进行研究，是实现机器人装配系统装配质量评价与控制的有力工具．     

基于面向服务架构的供应链风险预警与决策管理系统

为了能够对供应链运营过程中所遇到的风险进行事先识别与判定,及时地为供应链上所在企业决策提供参考和警告,进而有效防范风险,同时为了实现企业间异构数据和模型的快速整合,构建了基于面向服务架构(SOA)的供应链风险预警与决策管理系统(SSCRWMS).设计了系统的框架,实现了基于Web服务的风险预警模型、风险对策模型和异构数据集成平台,给出了系统的开发实例.SSCRWMS可以解决异构环境下数据的采集和模型的集成问题,使系统具有高度可扩展性,并能实现对分布式异构数据的高效采集和整合.     

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

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

基于混杂Petri网的食品加工生产过程建模

根据食品加工过程的混杂特性,提出了一种基于时延混杂Petri网与微分方程机理建模相结合的方法,并对某食品加工过程进行了建模和分析,其模型体现了连续过程和离散事件共存的特性,具有一般性.此模型可以应用于生产过程的优化调度.     

基于模糊Petri网的事故树模糊分析方法研究

为了降低获取现场采样数据精确值的难度并提高事故诊断的准确性,根据模糊事故树和模糊Petri网均具有描述事件发生因果关系链这一共同特征,采用模糊Petri网来表示事故树,建立了事故树的模糊Petri网模型,在Petri网中对事故树进行了模糊分析研究.该方法不仅可以对顶上事件各特征量进行估算,还能利用模糊Petri网推理算法进行事故诊断,实现了Petri网与事故树的紧密结合,使事故诊断更加切合实际.引入模糊集合理论到事故树分析方法,用模糊数来表示事件发生的概率,减小了获取底事件发生概率精确值的难度,在一定程度上修正了事故概率统计数据的误差.该方法可以将生产现场的实测数据与专家经验数据结合起来,使得分析结果更接近于工程实际.图2,表1,参13.     

一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

语用Web服务管理框架

为了弥补现有语义Web服务在动态性和交互性方面的不足,将语用Web引入到Web服务研究中,提出了语用Web服务技术,并将其应用于Web服务管理领域.面向语用Web服务管理分为4个层次:语法Web服务层,语义Web服务层,语用Web服务层,网络服务管理层.给出了语用Web服务与语义Web服务协作流程的实现场景.语用Web服务管理促进了服务和消费者之间理解和交互模式的改变.     

基于部分状态空间存储的Petri网库所界求解算法

Petri网是一种重要的形式化建模工具，有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界，主要思想为在生成状态空间过程中，通过引导消除可达图的部分回路同时结合T不变量的相关性质，以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验，通过对求解库所界的不同方法及其实验结果进行比较分析，说明了本文算法的有效性.     

矿尘迁移致生态系统损害级联传播评价研究

为了解决矿尘迁移致矿区生态系统损害级联传播评价问题,采用矿尘迁移路径构建迁移网络,明确潜在的危害来源路径,给出了生态系统损害级联传播Petri网仿真模型(PN-EDCP)的定义,阐述了将迁移路径网络抽象为Petri网模型的一般方法。通过向Petri网模型中引入库所对象属性与方法的概念,使得模型真实含义清晰,具备对生态系统对象间逻辑关系及损害级联传播路径的描述和分析能力,能够将矿尘迁移现象损害生态系统的过程直观展现出来。在实例研究中,使用PN-EDCP模型完成了仿真分析,并对损害度变化趋势及与之相关的级联路径进行了深入讨论。