基于并行状态自动机的工作流建模

为了实现工作流管理功能，首先要把业务过程从观实世界抽象出来，并用一种形式化疗法对其进行描述，其结果就是工作流模型。该文讨论利用并行自动机对工作流的形式化问题。基于对工作流和并行自动机的分析，提出了将工作流的概念映射到并行自动机概念上的方法，该方法可以把工作流联盟提出的工作流的4种结构映射到并行自动机的结构上。给出了并行自动机的结点转化图，即给出了工作流引擎的框架。并行自动机是一种图形的、数学化的计算模型，当工作流的模型一并行自动机建立起来后，为工作流的静态特性和动态特性的分析打下不坚实的基础，为进一步的研究作好了准备。     

基于Web的工作流系统的分布、分层建模和执行

许多传统的工作流管理系统都只提供单层的过程模型,整个业务流程都在一个过程模型中详细描述,使得工作流的模型过于复杂.文中引入工作流的分层模型和嵌套分布执行机制,增强了系统对异构、分布应用的支持力度,提高了对业务流程监视的可视程度,同时也给系统安全机制的实现提供了基础.文中着重讨论其体系结构、工作流模型的建立、工作流引擎和多引擎间的协调机制等.     

有限状态自动机的并行确定化及过程分析

本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究，详细分析了非确定有限自动机到确定有限自动机的并行转换方法及算法，并以实例给出了其间并行转化的过程。     

基于UML的工作流引擎建模的研究

本文主要使用uML建模技术,对工作流管理系统的核心部分进行建模,并通过用例视图、交互视图、状态机视图以及活动视图对工作流管理系统所应具有的功能层次进行了分析。     

基于UML的工作流建模

工作流模型是对工作流的抽象表示,也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点,在分析了传统工作流建模的不足之处的基础上,结合工作流公共数学描述,提出了基于UML的工作流建模方法,并详细分析了它对传统工作流建模的改进。     

一种基于有限自动机的软件工作流开发模型

软件开发模型很多,基于Web的三层结构的软件设计开发模型的关键是要考虑它的并发性。文章提出了一种基于有限自动机的Web软件开发模型。该模型对有限自动机进行了扩充;将扩充后的有限自动机转换成为分层状态图;根据分层状态图转换成为多功能视图;在此基础上进行软件开发。利用这个开发模型可以方便地进行需求分析和描述;只需开发子服务组件或模块,便可进行软件开发、系统扩充以及后来的系统重构。     

基于工作流的知识流建模与控制

知识在多个参与者之间的产生、传播与应用称为知识流.在知识密集型组织中,对业务过程的控制和对知识资产的管理具有紧密的依赖关系.工作流管理是实现业务过程控制的重要技术.当前的工作流过程元模型不支持对知识管理机制的表示.为此,提出了一个扩展的工作流过程元模型,以支持业务过程控制与知识管理的集成.在此基础上,对知识流的建模与控制进行了深入的研究.提出了一种知识流建模方法,通过5类知识流单元对知识传递与重用、人员协作与交流进行表示.针对知识流中的动态因素,研究了基于资源约束、知识需求变化和时间约束的知识流控制方法,以实现自适应的知识流控制,并给出了有关算法.为工作流技术与知识管理技术的有效结合提供了一个有益的途径.     

基于工作流的并行化Web服务合成技术研究

为了提高基于工作流的服务合成效率,满足用户高质量的应用需求,提出了基于工作流的并行化Web服务合成方案,并提出了流程划分算法.该方案依据服务发现模块的个数,将流程中的各个服务划分到不同的服务发现模块中,以实现服务发现的并行化,进而提高了整个流程的执行效率.通过实例阐明了该方案,并且表明了该方案的高效性,最后总结了其优点.     

支持状态机建模的工作流引擎研究

为了能清晰地描述存在较多审批环节和步骤跳转的业务流程,提出利用状态机为流程建模的方法。通过改进传统的关系结构工作流引擎,给出一个支持状态机建模的关系结构工作流引擎的设计方案,详细介绍该引擎的设计原理和实现柔性方法。最后通过一个示例,演示支持状态机建模的工作流引擎的工作机制和实例迁移的过程。原型已经应用到高校学费管理系统中。实践证明,该引擎可以有效地支持状态机建模,并缩短关键业务的开发周期。     

基于工作流的房产信息系统的研究与实现

工作流的引入是房产信息系统建设规范化和平台化的一个客观要求。文章介绍了工作流、工作流管理系统等相关概念，从面向过程的角度出发，将不同种类的房产管理业务高度概括，抽象为一个附带流转控制信息的虚拟档案袋，屏蔽不同业务的差异，从而在工作流平台上统一执行、流转。给出基于工作流的房产信息系统体系结构，并阐述虚拟档案袋和房产工作流引擎等核心组件的设计实现。     

一种无线信道多描述图像编码算法

提出了一种新的图像多描述编码算法，给出了多描述分解的算法和规则，并结合运动补偿时间域滤波(MCTF)进行多描述间的编码，针对无线信道的特点提出了多描述间分层的概念，以适应无线信道传输。实验结果表明，提出的空域分层多描述图像编码(spatial-layer multiple image coding, SL-MDIC)算法有效地利用了MCTF编码的特点，提高了中央信道的编码性能，同时对于收到单个描述或部分描述，解码的图像仍能获得较好的重构图像。     

一种基于整数小波变换的图像无损压缩方法

由于第二代小波变换可以实现图像的整数到整数的变换,而且图像的恢复质量与变换时边界采用何种延拓方式无关,完全可以克服由第一代小波变换所带来的缺陷。该文利用这个特性,提出了一种基于整数小波变换的图像无损压缩算法。该方法首先将图像进行整数小波变换,然后利用不同子带的小波系数分布特性,对不同的子带采用不同的预测方式,最后将预测误差进行哈夫曼编码。实验结果表明,该方法算法简单,有较好的压缩性能,与JPEG无损压缩模式相比较,有较大的优势。     

基于森林火灾平台的红外图像识别技术研究

森林火灾探测一直是森林资源保护工作中的老大难问题。早期的火灾探测技术多是基于火灾的烟雾和温度特征的,但其判别标准过于单一,误报率较高。随着计算机技术的发展和红外探测器的发明,出现了基于红外图像处理的森林火灾防护技术,该技术主要对红外探测器获得的森林现场的红外图像进行一定的处理后识别图像中是否有火灾出现。本文的主要工作是进行红外图像增强算法的研究,通过对各种算法的描述和仿真实验结果分析,提出一种相对较适合森林背景红外图像的处理算法一将基于频域处理的提升小波变换与直方图修正结合起来的红外图像增强算法。     

An adaptive GOP structure selection for haar-like MCTF encoding based on mutual information

In conventional motion compensated temporal filtering based wavelet coding scheme, where the group of picture structure and low-pass frame position are fixed, variations in motion activities of video sequences are not considered. In this paper, we propose an adaptive group of picture structure selection scheme, which the group of picture size and low-pass frame position are selected based on mutual information. Furthermore, the temporal decomposition process is determined adaptively according to the selected group of picture structure. A large amount of experimental work is carried out to compare the compression performance of proposed method with the conventional motion compensated temporal filtering encoding scheme and adaptive group of picture structure in standard scalable video coding model. The proposed low-pass frame selection can improve the compression quality by about 0.3–0.5 dB comparing to the conventional scheme in video sequences with high motion activities. In the scenes with un-even variation of motion activities, e.g. frequent shot cuts, the proposed adaptive group of picture size can achieve a better compression capability than conventional scheme. When comparing to adaptive group of picture in standard scalable video coding model, the proposed group of picture structure scheme can lead to about 0.2~0.8 dB improvements in sequences with high motion activities or shot cut.

基于G.729的网络丢包自适应语音编码器

文章分析了错误隐藏技术在不同的网络丢包情况下的性能以及不同参数的敏感程度,提出了一种非对称网络丢包错误保护技术,并与G．729语音编码器相结合,提出了一种固定码率12．0kbps的网络自适应语音编码器。实验表明其具有良好的效果。     

基于方向提升小波变换的多描述图像编码

本文提出一种基于方向提升小波变换的多描述图像编码方法, 以避免压缩图像在互联网和无线网络环境下因数据包传输出错或丢失而导致的图像质量严重下降. 基本思想是在空域将一幅图像按梅花形下采样为两个描述, 为解决传统空域下采样多描述编码技术编码效率低的问题, 提出能充分利用相邻像素相关性的方向提升小波变换, 并通过四叉树的分割实现方向的组织和选择. 边缘信道解码出的低分辨率图像, 通过插值算法实现原始分辨率单描述的图像重建. 中央信道解码出的图像, 通过数据融合算法实现两描述的图像重建, 进而进一步改善图像视觉质量     

基于UPPAAL的数据关联时序有限自动机模型验证

对数据关联过程建立了时序有限自动机模型,时序有限自动机时钟变量只取整数值,从而减小数据关联过程生成的状态空间。在一定的时间约束下,使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。     

一种基于多描述编码的视频传输方案

论文提出一种基于多描述编码的视频传输方案。该方案将一个视频源编码为多个码流(称为描述),各描述分别经过Reed-Solomon编码后,通过多个独立的信道传输。该方案不仅利用了信道编码的纠错能力,又利用了多描述编码的鲁棒性,模拟结果表明新方案在有噪信道上表现出较好的性能。