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

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

虚拟现实中虚拟场景的建模技术

虚拟场景建模是虚拟现实技术中的关键技术之一 ,举例介绍分析了三种建模技术及其局限性 :基于图形渲染的建模技术充分利用计算机图形学技术进行虚拟环境的建模和渲染 ,交互性强 ,但计算量大 ,对硬件要求高 ;基于图像的建模技术计算简单 ,真实感强 ,但交互性差 ;基于图形与图像的混合建模技术结合以上两种建模技术的优点 ,既有真实感 ,又有交互性 ,但许多技术问题还待解决 .随着相关技术的发展 ,基于图形与图像的混合建模技术在构造复杂场景中必将得到广泛的应用 .     

一种融合电气量和开关量的电网Petri网故障诊断方法

对故障元件进行快速、准确地诊断,是实现电网在线调控运行的重要前提之一.基于Petri网的电网故障诊断方法因其建模清晰、逻辑缜密,得到了研究人员的广泛关注.但目前的方法大多针对开关量分析,对电气量的关注度相对较少,而电气量在准确性、容错性等方面比开关量都更具优势.基于此,提出了一种计及电气量和开关量的电网Petri网故障...     

基于Inventor的大型钢架桥三维建模方法

利用三维设计软件Inventor提供的API接口开发出大型钢架桥的参数化平台,该平台以参数化网轴为基础,对钢架桥杆件的截面形式建立图形数据库,并将杆件截面形式和轴线结合起来创建可视化三维模型,模型参数的控制和修改比较简单,缩短了设计周期,提高了设计质量,解决了大型钢架桥的建模设计问题,提高了桥梁的三维可视化仿真和管理水平.     

虚拟现实中虚拟场景的建模技术

虚拟场景建模是虚拟现实技术中的关键技术之一，举例介绍分析了三种建模技术及其局限性：基于图形渲染的建模技术充分利用计算机图形学技术进行虚拟环境的建模和渲染，交互性强，但计算量大，对硬件要求高；基于图像的建模技术计算简单，真实感强，但交互性差；基于图形与图像的混合建模技术结合以上两种建模技术的优点，既有真实感，又有交互性，但许多技术问题还待解决．随着相关技术的发展，基于图形与图像的混合建模技术在构造复杂场景中必将得到广泛的应用。     

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

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

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

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

配电网可靠性评估系统的设计

描述了配电网可靠性评估软件系统.该系统通过获取矢量图数据、识别电气元件,并采用自动拓扑技术实现了配网的网络建模功能,大大减轻了网络建模及数据录入的工作量,增加了数据的正确性.算例分析和现场应用表明了本系统的有效性和实用性.     

智能微网及其可靠并网研究

概述分布式发电、微网及智能电网的基本概念和运行特性.通过对微网系统并网的基本理论分析,提出实现可靠并网的几点要求.运用EMTDC/PSCAD对含光伏和风电模型的微网系统进行建模,通过仿真微网和大电网并网的可靠性标准,得到电力电子设备、电能质量和控制策略等方面对微网系统和外电网实现可靠并网的基本要求.该算例系统的仿真分析结果可以作为实现微网系统可靠并网的理论参考.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于LAPIK并联机器人的群钻数学模型

通过对基本型群钻相关参数的研究,结合KIM-750型虚拟轴测量加工中心的具体特性,建立了基于此并联机器人的基本型群钻数学模型,通过程序控制在该并联机器人上实现了群钻的自动模拟刃磨。     

基于Visual C#. NET的城市轨道交通设计系统的研究与实现

为提高城市轨道交通设计的工作效率,规范设计过程,提高工程量计算结果的准确性,借助Visual C#语言和.NET平台,完成了城市轨道交通设计系统的开发。该系统实现了城市轨道工程量统计和工程图自动绘制功能,具有标准、规范的设计信息输入接口和准确、详细的设计结果输出,避免了手工设计计算误差过大的情形,可以大幅提高城市轨道交通设计的工作效率,从而取得一定的技术经济效果。     

MQ400自动连续式纸盒商标模切机设计

本文在深入分析纸盒模切机基础原理的基础上，开发设计出一种新型的“平压平”式连续自动模切机，该机实现了模板的垂直及水平运动的合成动作，可实现连续自动模切，它既可用于纸盒模切，亦可用于商标模切．     

圆锥外螺纹的线阵CCD非接触检测方法

为了提高圆锥外螺纹尺寸检测的精度并实现自动化测量,提出了基于线阵CCD的非接触测量方法.建立了包括计算机运动控制、图像数据自动采集和尺寸计算的测量系统,该系统通过控制高精度的线阵CCD扫描外圆锥螺纹在平行光场中的投影来获取螺纹图像.针对正投影时螺旋线对螺纹牙的投影产生局部遮挡的现象,通过调整螺纹轴线与光轴的角度消除遮挡,获取完整的螺纹牙投影.1维CCD图像信号经过中值滤波处理后进行一阶差分提取螺纹牙的轮廓点.对螺纹轮廓分段拟合并以亚像素级的轮廓推导出螺纹尺寸的计算公式.实验表明,该系统可以完成各项螺纹参数测量,精度高于5μm,重复性好,易于实现自动化测量.     

基于面向对象法重合闸软件包的应用研究

介绍了基于面向对象法的自动重合闸整定软件包 ,该软件包基于面向对象的思想 ,具有图形、数据库和计算结合等特点 .该软件包在河南省南阳 110kV电网投入使用 ,较好地解决了实际问题 ,取得了良好的运行效果 ,具有较高的推广价值 .     

CAD产品参数化二维图形库设计

为构建CAD（Computer-Aided Design）产品的二维图形库,提出了基于VC（Visual C）的参数化设计方法。图形的几何形状通过调整参数修改和控制,图形的尺寸用对应关系表示,无需确定具体数值。根据参数化设计的原理并结合VC强大的绘图功能,可以实现参数化图形系统的设计。给出了用VC设计CAD产品二维图形库系统的方法及其实现过程。     

电厂系统逻辑图键盘编辑系统设计与实现

阐述了不用专门的图形输入设备,由键盘和显示器实现图形的输入输出和编辑功能的方法。该法对通常的图形数据存贮方法进行了改进,且不影响图形的存取速度,操作简单、方便、易学。     

轴强度设计中相关数据自动查取算法与自动计算程序设计

提出并采用多区间直线拟合的方法来处理对数坐标连续曲线,介绍了多区间直线拟合方法的原理和求解策略.利用VB语言建立了数据库处理轴强度设计中的连续曲线图表,利用VB程序语言来实现轴结构简图的自动生成,并实现轴强度自动设计的全过程,实现了计算机自动查询相关数据的功能.     

壳体类零件的参数化自动绘图

本文详述了用ＦｏｘＢＡＳＥ和ＡｕｔｏＬＩＳＰ实现壳体类零件的参数化设计新方法，并针对ＡｕｔｏＣＡＤ绘图软件功能的缺陷，论述了标准图框及形位公差的自动标注和正确绘制剖面线的方法。     

在自动控制理论课程中增加MATLAB语言内容的探讨

MATLAB语言作为主要面向数值计算、科学数据可视化以及系统建模和仿真的简捷、有效的编程工具 ,应该而且能够为自动化专业学生所掌握。在自动控制理论课程中增加有关MATLAB语言的内容 ,不仅有利于该专业学生更好地掌握自动控制理论 ,还能更进一步通过对MATLAB语言的学习掌握计算机辅助分析、设计控制系统的知识。