Comparison of conventional and active screen plasma nitriding of hard chromium electroplated steel

This paper considers the nitriding behavior of hard chromium electroplated steel by conventional plasma nitriding (CPN) and active screen plasma nitriding (ASPN) methods. Indentation test along the cross-section of the treated samples reveals that duplex treatment performed by two methods exhibits almost the same hardnesses. Furthermore, an increase in the time of plasma nitriding from 5 h to 10 h restores 30% of the hardness decline. Morphological studies show that surface particles formed on active screen plasma nitrided samples have orderly formed geometrical shapes while in conventional plasma nitriding they are in cauliflower shape. The reason for reaction between chromium and nitrogen seems to be the difference between thermal expansion coefficient of chromium oxide, chromium and steel substrate which results in partial breakdown of the oxide film. Moreover, the reducing of chromium oxide by hydrogen promotes the process. It looks as if nitriding treatment changes the corrosion behavior of the chromium coating from severe localized to uniform corrosion. Also active screen plasma nitriding treatment lowers the anodic dissolution 50-100 orders of magnitude which would be the result of full closure of surface microcracks.     

支持并行调度的多项目资源管理CPN建模

构建良好的多项目资源调度模型已成为项目型企业多项目管理计划与控制的关键性基础工作。在分析多项目并行调度特点的基础上,基于Petri网擅长描述随机性、任务间并发、同步、并行等系统特征的优势,克服当前已有的多项目并行调度模型的不足,构建了基于CPN的多项目并行调度模型。通过建模实例阐述了模型的仿真分析方法,证明了基于着色Petri网构建多项目并行调度模型的可行性和有效性。       

基于着色Petri网的联合反导作战系统建模

防空反导作战系统是一个复杂的军事系统,具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模,符合联合反导作战系统的特点,能够有效地分析联合反导作战系统的静态结构和动态行为。分析了联合反导作战系统的信息交换关系,建立了系统的CPN模型,对模型进行了验证和仿真。     

CPN网及其在构建良好程序结构中的应用

该文详细介绍了着色Petri网(CPN)的基本概念、原理和应用。作为设计良好的程序结构的工具,通过一个简单的实例来说明如何构建良好的程序结构。     

进路建立过程的时间有色petri网建模与仿真

计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过CPN Tools进行编辑和仿真,以VC++6.0为开发环境完成代码编写进行验证,体现时间有色Petri网描述联锁系统逻辑和性能特性的特点,以便在软件开发初期尽早发现系统的设计错误或缺陷,突出采用时间有色Petri网建模的可靠性和安全性。     

基于分层时间有色Petri网的支付协议公平性分析

电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠,与其他形式化方法相比,可以更有效地分析协议公平性。使用该方法对典型支付协议IBS协议进行分析,分析结果验证了所提模型和方法的有效性。     

策略驱动的自配置系统形式化建模及分析验证

使计算机系统具有自主配置的能力,可以解决复杂系统面临配置管理难度高和强度大的问题。本文针对策略驱动的自配置系统的配置问题,提出采用CPN建模技术对该类系统进行建模、分析与验证,保证系统自配置过程的正确性;分析了策略驱动自配置系统的基本结构,构造出该类系统的CPN模型,引入CTL的扩展--ASK-CTL描述系统配置过程中具备的性质;最后用CPN Tools2．2．0进行仿真与验证。     

基于CPN网络的电力客户信用风险预测

在分析影响电力客户企业公司财务状况主要因素的基础上,将一种新型特征映射网络—CPN网络理论应用于电力客户信用风险预测,建立基于CPN网络电力客户信用风险预测模型.采用实际数据对模型进行验证,并将其与LVQ网络模型、BP网络模型和传统模型相比较,证明了基于CPN网络电力客户信用风险预测模型具有较高的精度和较强的实用性.     

基于层次CPN的OpenFlow建模研究

CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制。在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程。通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性。最后给出了下一步的研究工作。