基于层次CPN的OpenFlow建模研究

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

塑料注射成型流动过程仿真

本文通过对塑料注射成型流动、保压过程的分析,得到一组描述注射成型流动、保压过程的控制方程,采用有限元/有限差分混合法进行求解,实现注射成型流动、保压过程仿真;为优化工艺参数、提高制品质量提供了有效的手段。     

无线传感器网络可靠性技术分析

由于无线传感器节点小体积、低功耗、有限资源等特色以及无线传感网络大规模、随机撒播、任务环境多变等特点,可靠性问题一直被视为制约无线传感器网络发展的重要因素。在分析其可靠性制约因素的基础上,调研提高无线传感器网络可靠性的研究方法,分别从节点以及网络两个方面介绍国内外主流的可靠性策略。调研无线传感器网络可靠性建模技术,提出可靠性建模技术的评价标准,从节点层次、网络层次分别概述其可靠性建模技术,并指出国内外对可靠性的研究所存在的问题以及无线传感器网络可靠性研究的发展前景。     

城市轨道交通客流预测算法设计与仿真

为了更好地解决城市轨道交通的客流预测问题,提出了基于混合神经网络与卡尔曼滤波器的客流预测多层次模型。首先采用ELAN神经网络实现客流量的初步预测;然后采用卡尔曼滤波器对神经网络预测结果进行修正,以进一步提高预测结果精度;最后为了验证模型的正确性,以上海地铁交通作为研究对象,进行了客流观测和预测模拟。实验结果表明,所提出的多层次模型比单纯其中一种算法能减少约0.8%的误差,并且具有更好的实际效果。     

Lerisk－i*框架自动建模与编辑工具介绍

在需求工程中,基于主体的i*建模框架(主要包括策略依赖模型及策略推理模型)已经成为最常用的早期需求建模与分析的工具之一,而且关于i*建模框架的编辑工具开发也有很多相关的研究工作。然而现有的这些工具往往只提供诸如模型图编辑、存储等基本功能,而笔者需要在需求工程小组的项目中为对需求文本进行建模的结果进行模型可视化,同时提供编辑存储及自动布局功能,并开发出新的基于i*建模框架的工具。文中首先对主流的i*建模工具进行了调研,研究了建模工具的基本功能,同时分析了其功能的不足点,在此基础上提出了新工具设计的功能补充点;然后对i*框架的布局问题进行介绍并详细描述了其自动布局算法的实现,给出了可视化工具的详细设计;最后在此工具的基础上,进行了实际需求文本的建模及模型编辑功能的实验,并将此工具与主流工具的功能进行对比,以展示本工具的功能特点。     

非线性规划在生物代谢仿真过程中的应用

随着系统生物学研究的不断深入,生物过程网络的规模逐步拓展,其模型的复杂程度也越来越高,数值积分等常规方法很难求解生物代谢网络这类大规模复杂动态系统,客观上需要新的分析方法去应对。针对典型的酿酒酵母糖酵解途径的动态模型,首先利用Matlab进行常规的数值积分求解,以此作为参照,提出将糖酵解的动态模型离散化后利用非线性规划解题器IPOPT进行动态仿真的思路,采用不同的离散步长,计算得到不同的仿真结果。计算结果显示,通过调整计算参数,IPOPT可得到与参照一致的仿真结果,这表明非线性规划可作为分析优化生物过程这类大规模复杂动态系统的新方法,为下一步进行模型参数估计、多目标动态优化等打下基础。     

一种应用于复杂组合软件的可靠性测试模型

当前复杂的组合型软件可靠性测试一直是一个难点,主要原因是无法多多种差异性较大的软件特征建立可约束的检测分析模型,一旦软件数量过多,模型会迅速陷入不收敛。为了解决这一问题,提出一种复杂组合差异性软件的可靠性分析模型。对组合软件以一种分解的思想对其进行建模。对分解后的软件特征进行重新分区建模。形成多个可测试的子服务特征。运用一种稳定概率统计的观点,对模型进行分析,分析不同区域组合后的稳定概率,进而代表组合后的可靠性结果。仿真实验结果表明,该种模型能改对较多软件组成的、差异性较大的大型软件可靠性进行更为合理的分析,模型鲁棒性较好,能较好完成可靠性分析的工作。     

SolidWorks Flow Simulation在臭氧均布器分析中的应用

正一、说明本例中臭氧均布器的主要设计目标是通过简单、安全可靠的结构方式,确保臭氧和烟气在0.2秒内混合均匀,并预留反应段,保证臭氧气体与待处理烟气的混合度,充分反应、充分氧化,为后端的吸收中和反应提供条件。因此,在给定烟气和臭氧流量的情况下,需要通过仿真分析,计算出能够满足要求的混合均匀度,从而设定合理的臭氧喷嘴个数,并进行合理的几何尺寸设计及空间排布。这样可以在设计阶段及时发现并纠正设计中的问题,确保产品质量和交货     

基于斯沃仿真系统的数控虚拟加工技术

随着计算机技术的普及应用,数控加工仿真系统因其功能强大、交互性好、操作便捷和安全可靠等优点,在数控技术相关课程教学中越来越得到广泛应用。本文以典型的轴类零件为研究对象,结合MasterCAM自动编程技术,重点介绍基于斯沃数控仿真系统的数控虚拟加工技术在教学中的应用。通过研究得出在虚拟环境中数控加工,不仅丰富了教学手段,提高了学生学习兴趣,还有效解决了在数控技术课程实验教学中因数控设备昂贵与资金短缺而造成的教学效果不理想、效率低的问题。     

SolidWorks文档属性及BOM的定制

正为了更好发挥SolidWorks软件的功能,对SolidWorks文档属性的应用进行深度挖掘,通过技巧突破软件的限制,可大大减轻三维设计后输出工程图等后续繁琐工作,且能定制符合企业标准的材料明细表。Dassault Systèmes SolidWorks是一个可以将3D实体建模与桌面程序的易用性相结合的功能全面的软件包,它提供了一套完整的工具集,用于创建、仿真、发布和管理数据,最大程度提高工程资源的创新和生产效率,所有这些解决方案协同工作,可让组织更好、更快、更经济高效地设计出产品。