共查询到20条相似文献，搜索用时 250 毫秒
1.
WebGIS中包含有大量的图形图像信息,因这些信息的传输导致网络带宽更加紧张。为了缓解这个困境,介绍了一种使用XML来描述二维、与分辨率无关的矢量图形的语言SVG(Scalable Vector Graphics,可缩放矢量图形),并探讨其概念及特点,同时就SVG在WebGIS中应用的表示方法、用户交互以及坐标转换做了相应的脚本实现。 相似文献
2.
分析了SVG的特点以及当前Web图形处理技术的不足,为了更有效地组织空间数据和提高网络环境下图形交互功能,结合SVG的结构特点设计了图元数据库,提出了基于SVG的网络图形编辑系统模型。解决了图形编辑交互、SVG图形数据的网络传输等问题,有效减少了交互时网络数据的传输。 相似文献
3.
4.
机械产品并行设计过程具有多因素、离散、动态和并发等特点,尤其是并发性,它影响设计结果的稳定性和精度。本文利用Petri网良好的离散事件动态表达和计算能力,以及图形表示的直观性,建立并行设计问题的Petri网模型,并对模型的动态、并发问题进行了分析。 相似文献
5.
以矢量图格式将AutoCAD图形插入Word文档,可使插图保持CAD的特性和精度,无论图形大小如何变化,均不失真.本文介绍了在AutoCAD中以矢量图格式输出图形的方法和技巧,并对插入的效果作了比对,以供工工程技术人员在使用时参考. 相似文献
6.
7.
Petri网的研究通常利用网的几何结构.这样的结构不利于用计算机实现Petri网的计算工作.提出Petri网的代数结构.文中给出Petri网的代数定义,以及有关的概念的代数定义.Petri网的代数结构为Petri网的研究提供一种新的方法. 相似文献
8.
网上行政审批是当前深化行政管理体制改革的重要举措,也是行政审批工作的重要手段.网上行政审批是一个工作流过程,Petri网使用网状图形表示系统模型,能够表达并发事件,实现自动化.通过应用Petri网和工作流对网上行政审批主控模块建模,实现网上行政审批自动化. 相似文献
9.
本文根据FMS故障诊断系统知识具有不确定性及模糊性的特点,提出利用模糊Petri网来描述FMS故障产生和传播过程的故障诊断模型.首先介绍了模糊Petri网(FPN)的定义及用模糊Petri网表示产生式规则的方法,然后通过应用实例说明模糊Petri网的推理算法,最后还提出了规则库的维护方法. 相似文献
10.
针对空间机器人（Space Robots,SR）共享自主控制（Shared Autonomous Control,SAC）面临的模式平稳转换问题,首先讨论了SAC的概念及其操作模式;其次研究了SAC操作模式的相互转换及基于时间Petri网（Timed Petri Nets,TPN）的模式转换方式;最后设计了一种基于TPN的SR虚拟环境仿真系统,并通过计算机虚拟仿真实验验证了自主与遥控融合的SAC操作模式及其模式转换顺序的有效性。 相似文献
11.
刘跃建 《连云港职业技术学院学报》2013,(4):30-34
Web服务组合是web服务发展的一种新的方向,而Petri网作为形式化的建模工具,在服务组合中扮演着重要角色,不仅可以辅助服务组合的设计,还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能（AJ）的Web服务组合中的应用以及基于Petri网的Web服务形式化组合方法进行了综述,并指出了Petri网在服务组合工作中的作用和重要性。最后对研究进行了总结,指出了下一步的工作。 相似文献
12.
基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性. 相似文献
13.
在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需求,再用具有优先级策略的时间Petri网来图形化用例,以此来实现它们各自优势的互补。 相似文献
14.
周如旗 《广东教育学院学报》2005,25(5):99-102
在分析远程教育个性化服务系统行为特性以及用户学习活动中涉及的行为属性基础上,对普通Petri网进行基于属性抽取与整合操作的扩展,针对个性化远程教育系统建立基于扩展Petri网的形式化模型.从模型特性分析结果,它符合个性化学习活动特性和要求,能有效体现系统个性化功能特性. 相似文献
15.
就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。 相似文献
16.
介绍了Petri网的基本理论,分析了基于网络服务的分布式协同办公应用的特征,在此基础上提出了基于Petri网的分布式协同办公的通用智能模型,该模型具有语义明确、易于修改,并且易于验证的优点,最后以文档审批工作流为例给出了具体的模型实现过程． 相似文献
17.
秦奋涛 《河北北方学院学报(社会科学版)》2003,19(6):16-18
提出了一种基于Petri网的数据库逻辑设计方法,用Petri网统一了 数据库设计的整个过程,形成了新的数据库设计方法. 相似文献
18.
Petri网适合描述异步、并发事件驱动和资源共享的办公自动化工作流部分，使用Petri网进行过程建模可以显著地改进和优化业务流程，更好地实现业务流程控制。以物业办公中的工作联系单为例，进行了业务流程分析、Petri网建模，并给出了任务表和后续节点流向控制算法。 相似文献
19.
提出了一种基于流体随机Petri网的工作流响应时间概率分布计算方法.首先讨论了利用随机工作流网建模的一些相关问题,然后描述了如何将随机工作流网模型转化为流体随机Petri网模型,最后给出了该种流体随机Petri网模型的动态方程,说明工作流响应时间的概率分布可直接由流体随机Petri网模型的暂态解得到.该方法对工作流模型的结构没有提出任何限制,且工作流任务的处理时间可取任意概率分布,通过递归地使用网化简技术可有效地处理大型工作流模型. 相似文献
20.
WWW下基于Petri Net的协同编辑模型 总被引：2，自引：0，他引：2
袁红照 《安阳师范学院学报》2002,(2):16-19
工作流管理是一个以业务处理自动化为目标的新兴研究领域。近几年来Internet的发展深刻地影响着工作流管理系统。本文旨在用PetriNet这种非常适合描述离散动态系统的工具建立一个基于WWW环境的期刊协同编辑系统模型 ,使编辑流程规范化 ,也为后期开发提供可靠的理论基础 相似文献