制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。     

多传感器信息融合的分层着色Petri网模型

该文以导弹攻击系统为例,提出了一种基于分层着色Petri网理论建立多传感器信息融合系统模型的方法。该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,同时给出融合中心的数据融合算法和指挥中心的神经网络解析算法。基于分层着色Petri网建模与分析方法有利于融合系统的性能分析和行为仿真的实现。     

着色Petri网在应急联动系统中的建模与仿真分析

在分析应急联动系统业务流程的基础上,引入着色Petri网,并利用支持Petri网建模与仿真的成熟工具CPNTools实现了应急联动系统流程的建模与仿真,同时对所建模型的性能进行了分析.     

构件系统结构的Petri网方法描述

通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。     

Petri网建模方法在网络仿真中的应用

首先介绍了Petri网原理及特点和Petri网建模的一般方法，然后以CSMA／CD网络为例给出仿真模型，最后总结Petri网建模优点并将Petri网建模与流程图进行了比较。     

基于有色Petri网的通信装备战场抢修效能评估

根据有色Petri网在离散动态系统建模中的强大优势，运用建模与仿真技术，对通信装备战场抢修效能进行了评估；运用有色Petri网（colored Petri net，CPN）工具对具体实例进行了仿真实现，其运行结果与该抢修系统的统计结果基本一致；证明了有色Petri网理论和仿真工具在本领域运用的可行性和科学性，为战场抢修系统的效能评估探索出了一种新的方法。     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

面向对象Petri网在制造系统建模中的应用

本文介绍了制造系统的概念及制造系统建模的目的和意义,针对制造系统建模的特点,利用面向对象Petri网（Object-oriented Petri Net,OOPN）对其进行建模和优化。系统地介绍了OOPN建模优点及其在系统建模中的应用现状,分析了制造系统建模特点,探讨了制造系统建模的具体流程。最后结合生产车间制造系统建模实例,进一步阐述了OOPN技术在制造系统建模中的应用。     

新型絮凝剂碱式聚硅硫酸铝的制备

目的　合成一种新型絮凝剂聚硅硫酸铝 ( PASS) .方法　采用一步法制备 PASS絮凝剂 .结果　对合成的絮凝剂与聚合硫酸铝 ( PAS)及 Al2 ( SO4) 3进行去浊性能比较 ,证明该絮凝剂性能优越 .结论　PASS是一种无毒高效的絮凝剂     

基于新型矢量排序的soft多结构形态学彩色图像处理

在HSV(hue,saturation,value)彩色空间提出了一种新型矢量排序方法.基于新型矢量排序,定义了形态学的基本算子,结合柔性多结构元素给出了新的彩色形态滤波和边缘检测方法.试验结果表明:与基于HSV矢量排序方法和其它改进方法相比,该方法具有更好的滤波性能,是一种自适应方法.     

基于恒压液压系统的ZL50装载机节能技术

为解决ZL50装载机油耗高的问题,构建了新的液压系统.首先阐明了恒压液压系统的节能原理,引出一种新型二次调节元件--液压变压器.随后建立液压变压器排量及压力的数学模型,并在液压变压器配流盘控制角-90°～90°内仿真,分析其排量与压力特性.在此基础上构建装载机新的液压系统,分析其工作过程并与原液压系统比较,得出其节能原...     

H-矩阵方程组的预条件迭代法

针对系数矩阵A为H-矩阵的线性方程组,引入了预条件矩阵I+Wβ.通过对系数矩阵施行初等行变换,提出了求解线性方程组的一种新的预条件Gauss-Seidel方法.给出了若A为H-矩阵,则(I+Wβ)A仍然为H-矩阵,并且得到了收敛性定理;从理论上证明了新的预条件Gauss-Seidel迭代法较经典的Gauss-Seidel迭代法收敛速度快;最后通过数值算例说明了新的预条件Gauss-Seidel迭代方法的有效性.     

A new semi-active suspension control strategy through mixed H2/H∞ robust technique

A new semi-active suspension control strategy through mixed H2/H∞ robust technique was developed due to its flexibility and robustness to model uncertainties.A full car model with seven degrees of freedom was established to demonstrate the effectiveness of the new control approach.Magneto-rheological(MR) dampers were designed,manufactured and characterized as available semi-active actuators in the developed semi-active suspension system.The four independent mixed H2/H∞ controllers were devised in order to p...     

短链有机酸的离子色谱法分析及海洋中短链有机酸在固体颗粒上的吸附交换等温线的确定

通过离子色谱的分离柱、淋洗液、流速及进样量的选择,找到一种对有机酸实用、快速的测定方法。并对海水状态下的有机酸进行了分析,得到一种新型有机酸 固体颗粒交换吸附等温线。     

基于立体视觉的月球车运动估计算法

为了满足月球车自主导航的需要,提出了一种仅仅依靠月球车视觉系统提供的图像序列实现月球车六自由度运动状态估算的定位方法。对尺度不变特征转换点(Scale invariantfeature transform,SIFT)特征点跟踪匹配方法和运动参数估计方法进行了研究。在特征跟踪匹配时,引入了两个新的匹配约束条件以准确建立月球车运动前后环境特征点的对应关系。根据获得的特征点对应关系求解月球车的运动参数时,提出了一种鲁棒的估计方法,即首先用随机抽样一致性(Random sampling consensus,RANSCN)结合单位四元数方法剔除数据中的误匹配点,并求出车体运动参数的预估值,然后以此预估值并利用Levenberg-Marquardt非线性优化算法对运动参数进行精确求解。最后,通过模拟场地试验验证了该运动参数估计算法的有效性。     

一种时延多智能体系统的分布式编队

针对具有定常时延的二阶积分器多智能体系统,提出一种不依赖时延的分布式编队控制律。通过引入编队误差的积分信息,设计一种新的分布式比例积分微分控制律。和当前的编队控制律相比,分布式比例积分微分控制律具有对部分恒偏差故障鲁棒的特性。利用Nyquist稳定性判据,通过分析系统开环传递函数的幅相曲线特性,给出独立于时延的编队控制律存在的充要条件。仿真结果验证了该方法的有效性。     

新型数控机床伺服系统驱动元件──电涡流快速离合器

本文介绍一种数控机床伺服新一代驱动元件，它是在电磁快速离合器、电涡流离合器二者的基础上取长补短结合研制的一种新型电涡流快速离合器，它用于数控机床伺服系统中，构成了新一代伺服系统．     

湿式多片换档离合器带排转矩的预测模型

为了研究湿式多片换档离合器带排转矩的形成机理,建立湿式离合器的带排转矩预测模型.根据黏性流体力学中层流理论的Navier-Stokes方程,考虑到分离间隙中冷却润滑油膜的离心惯性作用,推导油膜的径向速度模型.通过对径向速度的仿真分析,揭示离心惯性力会使油膜产生收缩的现象.为了描述这一现象引入等效外径的概念,利用油膜的表面张力作用求出等效外径.将等效外径应用于牛顿内摩擦定律推导新的预测模型,通过试验数据和传统模型验证了新模型的正确性和有效性.