共查询到18条相似文献,搜索用时 62 毫秒
1.
2.
3.
同步合成Petri 网系统可回复性的保持性 总被引:4,自引:0,他引:4
着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性. 相似文献
4.
5.
Petri网系统合成操作的活性保持性研究 总被引:1,自引:0,他引:1
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作.与以往研究不同,侧重从并发语言的角度讨论.定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式.这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件.最后分别给出条件使得合成的Petri网系统有活性保持性质. 相似文献
6.
7.
8.
为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成网保持有界性和活性的充分条件或充要条件;目前存在的合成方法大多对状态机、标识图或非对称选择网(AC)等进行合成,用于解决资源共享问题,而本文的方法可对一般的Petri网进行合成,解决子系统共享问题.本文的结果可为Petri网系统合成性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段. 相似文献
9.
10.
动态纹理合成技术研究综述 总被引:1,自引:0,他引:1
动态纹理是指描述某种动态景观的具有时间相关重复特征的图像序列,比如海浪、瀑布、火焰、烟雾等,它在视频制作、虚拟仿真、虚拟漫游中具有重要的应用价值。动态纹理的合成一直是计算机图形学的主要目标和难点之一, 本文主要研究综述了基于视频的动态纹理合成技术。基于视频的动态纹理合成技术不同于传统的基于物理仿真的方法,它不需要了解动态系统的原理,而是在对动态纹理样本进行分析和学习的基础上合成。文中对各种基于视频的动态纹理合成方法进行了比较和分析,总结了动态纹理合成的研究思路和指出了下一步的研究方向。 相似文献
11.
12.
意见综合——怎样达成共识 总被引:28,自引:1,他引:27
复杂系统问题的解决单靠数据、信息和模型是不够的,钱学森等提出综合集成方法要把专家、决策者的意见综合进去,然而,这些意见未必相同,因此要达成共识就有很多工作要做。本文从系统的角度探讨共识的定义、基本概念以及取得共识的过程、方法和工具。 相似文献
13.
14.
信息系统项目四元评价模型及其准确度研究 总被引:8,自引:0,他引:8
根据从定性到定量综合集成方法论理论 ,将改进的德尔菲、层次分析、灰色关联及模糊综合评价集成 ,提出了评价信息系统项目的四元评价模型 ,介绍了四元模型的工作步骤并对其准确度进行了分析和验证 . 相似文献
15.
16.
17.
在铷原子频标中,需要产生带有小数频率的微波信号,DDS(direct digital synthesis)逐渐成为实现该频率的最佳手段。首先DDS不仅能够产生小数频率,另一方面,DDS同时提供了一种频率微调手段,具有较细的频率分辨率。本文在介绍铷原子频标基本原理的基础上,提出并且实现了一种基于CORDIC(coordinated rotationdigital computer)算法的DDS。最后给出实现DDS的实例与实验结果。 相似文献
18.
共享合成Petri 网系统的活性保持性 总被引:2,自引:0,他引:2
讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件. 相似文献