【摘 要】
：
Petri网和统一建模语言UML是当前工作流建模领域两种非常流行、功能强大的建模工具。Petri网便于描述，可以动态地运行，但缺乏层次；UML可以完整、细致地刻画系统，但量化不够，缺乏有
【机 构】
：
曲阜师范大学数学科学学院,济宁学院计算机系
【基金项目】
：
山东省中青年科学家科研奖励基金资助项目（2007BS01014）
论文部分内容阅读
Petri网和统一建模语言UML是当前工作流建模领域两种非常流行、功能强大的建模工具。Petri网便于描述，可以动态地运行，但缺乏层次；UML可以完整、细致地刻画系统，但量化不够，缺乏有效、严密的分析工具与方法。本文整合两种建模方法的优点，提出一种集成U．P建模的方法，该方法能够有效地描述系统，实现系统的模块化和模型重用，还能够对系统进行严密的分析，通过对模型仿真，找出其缺，羔和不足。
其他文献
视频结构化描述是对一种视频内容信息提取和应用的技术,它对视频内容按照语义关系,采用时空分割、特征提取、对象识别等处理手段,组织成可供计算机和人理解的文本信息的技术。本文介绍基于该技术的室内场景描述系统方案,系统实现对室内场景的描述以及相关描述数据的存储和分发。结果表明经过结构化描述的视频可提高应用效率。
将本体与与元数据结合,研究基于本体的海军军械保障元数据模型构建方法,此方法可用于组织、编辑和查询海军军械保障领域的元数据信息,能够描述海军军械保障领域各相关概念以
为了实现对现场的实时监控,本文详细阐述CAN总线与Ethernet两种异构网互连方案的设计方法,并设计一种新型的以NE64处理器为核心高性能嵌入式CAN-Ethernet网关。实际应用表明,
对C＆C08程控交换机数据库进行研究,通过具体实例和对比的方法对C＆C08交换机数据库在维护工作中的灵活运用进行初步探讨。
Contourlet变换结合了方向滤波组,具备小波变换不能表达的多方向性,能够很有效地捕获自然图像的边缘轮廓信息。在JPEG2000的压缩标准中,它采用了小波变换和死区均匀量化。鉴于JPEG2000标准,本文提出一套新的编码方案——Contourlet变换和最佳量化器(Lloyd-Max量化器)。同样,本文也将死区量化应用到最佳量化器中。
随着计算机网络的发展,以及PC的普及,校园网终端用户逐年增加。大量用户的激增给网络续费增加很大的工作量。本文基于VC＋＋6.0对校园网计费认证管理系统进行二次开发,实现DCBI批
在工业控制领域,上位机和下位机进行通信,一般都需要特定的驱动程序,组态软件InTouch与组态软件RSview32通信也不例外。OPC定义一个开放的接口,在这个接口上,基于PC的软件组
系统以嵌入式微处理器S3C2440和Linux为核心平台,采用USB摄像头作为图像采集设备,利用Linux下视频设备应用编程接口V4L2和Qt/Embedded实现图像的采集,实时显示和JPEG格式图片
结合人类视觉系统（Human Visual System,HVS）,对离散余弦变换（Discrete Cosine Transform,DCT）域水印算法进行改进,通过修改JPEG（Joint Photographic Experts Group,联合图像专家
传统的纸笔测验只给被试提供一个测验分数,计算机化自适应测验（CAT）不仅给出了被试的测验分数,还估计了被试的能力。但这两种方法都没有对学生的认知结构进行探索,认知诊断评价