Petri网的工作流模型建模研究

实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。     

TC-87L-V2 Series／TPMTouch版智能网络矩阵

产品功能及特色 ·基于标准版智能网络矩阵,高密度结构,模块化专利设计,单机箱支持256入输入64路输出,提供切换音视频艘制前端,联动报警的常规功能,报警输入,网络视频输出,CPU单元等功能模块可即插即用。     

佳乐（JIALE）A7智能数字社区系统

继去年推出A5之后,佳乐电器今年又推出一款全新的产品A7智能数字社区系统。和半数字系统的A5不一样的是,该系统采用ARM9处理器,基于纯TCP／IP通讯方式,采用“以数码家庭为基本单位,智能物业管理中心为中心节点,宽带数据网为数据传输媒介”的模式,并最大限度地做到各子系统在物业管理层上的系统集成,     

乐金（LG）XDI智能芯片

1、良好的色彩还原性：12位数字处理和独有的处理单元,兼容性强．彩色模式下水平清晰度达到570线：同时．具有独特的色序矩阵结构．能够在更广的色温范围内适应光源色温的变化,该芯片处理的图像画质能够得到清晰地表现。     

基于Petri网的软件演化过程

随着遗产软件系统的老化,软件演化已成为软件工程的一个新兴领域.对软件演化及过程的特征进行了描述,提出基于Petri网的软件演化过程;最后给出了软件演化过程的活性判断及优化算法.     

基于纹理和高斯密度特征的图像检索算法

直接从DCT域中提取图像的特征是提高图像的检索效率的方法.直接从压缩域中提取图像的高斯密度,即计算图像在8个方向上的分段累加值,形成一个8*4的二维向量,再结合图像的纹理特征来进行图像检索.为了验证算法的可行性,建立了10000幅图像的图像库.实验结果表明,该方法能够准确地检索出目标图像,有效地提高了图像检索的精度和速度.     

具反应扩散混合时滞Cohen-Grossberg神经网络的指数耗散性

利用扩散算子特性、M-矩阵性质和不等式分析技巧,在不要求神经网络激励函数的有界性、单调性、可微性以及平均时滞有界性的弱保守条件下,研究了一类具有反应扩散混合时滞的非自治Cohen-Grossberg神经网络的实不变集、全局指数稳定性和指数耗散性,并给出了相关的充分性条件.文中所使用的方法摒弃了常规构造适当的Lyapunov泛函的方法,克服了Lyapunov泛函难构造的困难,且得到的结果扩展和改进了其他文献结果.最后给出了一个数值例子来说明所得结果的有效性.     

线性时滞系统稳定性分析综述

时滞在工程领域广泛存在,对此综述了线性时滞系统的稳定性研究方法.从频域和时域两个角度详细介绍了各种方法的特点,着重讨论基于线性矩阵不等式(LMI)的分析方法,指出保守性是分析的重点.对现有结果的保守性进行比较和评述,并提出了改进的思路.     

基于二维混合模型的改进型重复控制器设计

针对一类线性系统,提出一种基于连续/离散二维混合模型的改进型重复控制系统设计方法.首先,通过分析重复控制系统中独立存在的控制行为和学习行为,建立了连续/离散二维混合模型,并将重复控制设计问题转化为一类连续/离散二维系统的状态反馈控制问题;然后,基于对重复控制过程的分析和二维模型,提出一种新型重复控制系统结构,并将重复控制器的设计问题转化为连续/离散二维混合系统的状态反馈设计问题;最后,应用二维Lyapunov 泛函理论和线性矩阵不等式方法,获得了重复控制器参数求解方法.

     

连续不确定模糊系统的静态输出反馈控制

对于一类状态矩阵、输入矩阵和扰动输入矩阵中均含有不确定项的连续T-S模糊系统,研究其静态输出反馈控制问题.用矩阵不等式的形式给出了该模糊系统可通过静态输出反馈控制稳定的充分条件,并将矩阵不等式的条件转化为迭代线性矩阵不等式,同时给出了相应的迭代算法.最后用数值仿真例子说明了该算法的有效性和收敛性.